勾股定理及其逆定理的综合运用