x(1+√2)=4 转换为x=4(√2-1) 用的是什么性质