勾股定理中的方程思想和常见模型