勾股定理的证明方法及常用公式