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