勾股定理与逆定理的应用