勾股定理实际应用