已知三个角度数和高,求斜边长