本帖最后由 作者 于 2008-11-12 16:09:48 编辑
我来给个证明吧:图跟陈老师的差不多,$五边形ABCDE中,BD_|_CE,两者交点为M$, 记$/_BEC=alpha,/_BCE=beta,BE的中点为A^',圆O的半径是r$. 由五边形$ABCDE面积最大,知DeltaABE等腰,于是O,A^',A三点共线$; 又四边形$BCDE中,BD_|_CE,OA^'=1/2CD=rsin(pi/2-beta)=rcosbeta=>A^'A=r(1-cosbeta)$, (婆罗摩笈多定理:对角线垂直的圆内接四边形中,圆心到边的距离等于对边的一半) 这样$S_(ABCDE)=1/2BD*CE+1/2BE*A^'A=1/2(BE*CD+BC*DE)+1/2BE*A^'A(托勒密定理)$ $=1/2(2rsinbeta*2rcosbeta+2rsinalpha*2rcosalpha)+1/2(2rsinbeta)*r(1-cosbeta)$ $=1/2r^2(sin2beta+2sinbeta+2sin2alpha)<=1/2r^2(sin2beta+2sinbeta+2)=S(beta)$. 由$S^'(beta)=0=>cos2beta+cosbeta=0,cosbeta=1/2,S_(max)=1/4r^2(3sqrt3+4)$. 取最大值时$alpha=pi/4,beta=pi/3,不难得到A^'是半径OA的中点且AB=AE=CD=r$. 陈老师的猜测完全正确! |