证明三角形内最大矩形的面积是三角形面积的一半