勾股定理的逆定理及应用