展开 已知斜边直角三角形面积公式