求45度直角三角形.已知直角长边数为8 求斜边长 公式