勾股定理中的方程