勾股定理已知三边求高