椭圆焦点三角形面积公式推导