十七用替换和假设的方法解决问题