勾股定理的证明和逆定理