题目:任意给4条边,求形成四边形面积最大值。
结论:形成的四边形的四个顶点都在它的外接圆上,面积S满足:
其中
这也即是圆内接四边形的面积公式。
证明过程:
首先我们把四边形的四个顶点和四条边顺次分别记为:A,B,C,D和a,b,c,d,角B和D分别记为,设面积为S
这样就可以写推导过程了:
,亦即 (1)
对于对角线AC,由余弦定理对于有:
消去AC得到:
(2)
将(1)^2+(2)^2后得到:
所以到了这里可以看出要使S最大,必须使等于-1.
这样就知道了,,所以这就证明了,S最大时,四点都在外接圆上。
然后我们继续化简S,我们进一步得到:
然后把后面的用平方差公式继续展开:
继续平方差公式展开得到:
现在我们设:,这样我们就得到了任意给4条边形成四边形面积最大值的公式:
同时它也是圆内接四边形的面积公式。
典型题目:HDU4386.