直角三角形的三个角是90°,33°,57°
短直角边的长度12.5
长直角边的长度 = 12.5tan57° ≈ 12.5×1.5399 ≈ 19.25
斜边的长度 = 12.5/sin33° ≈ 12.5/0.5446 ≈ 22.95