直角三角形的面积等于斜边上高的平方