勾股定理以及逆定理的实际应用