18.23勾股定理及其逆定理的实际应用