勾股定理的证明格式