勾股定理的证明方法及简单应用