如何证明圆上若干点构成的多边形最大面积在正多边形时取到？ 第1页
1
yu-yiren-62 网友的相关建议:
单位圆上的凸 边形取得面积最大值时，圆心 必位于它的内部。
证明是很容易的。设 就是这凸 边形，圆心 位于它的外部，则 这 个顺时针排列的顶点必定位于单位圆的同一个半圆弧上。这时，显然有 考虑这三角形 假使我们调整 位置使它变为 这 是弦 中点与圆心 连线与圆的不在前述半圆弧上的那个交点，这时， 保持不变，但 显然变大了，于是总的 也将随之变大。这说明，如果圆心 位于凸 边形的外部，我们总可以调整顶点的位置、让圆心 变到形内以使凸 边形面积增大，于是结论得证。
单位圆上的凸 边形取得面积最大值时，必是正 边形。
基于 的结论，将的各个顶点分别与形内的 相连，并设
于是有 注意到 在 上是凹函数，于是依 不等式，成立 当且仅当 时成立等式。由此即证。
Huxley-84-43 网友的相关建议:
估算一个上界。思路是每一轮都寻求一条最短线段，将当前包含天使的多边形，按面积等分成两个新的子多边形。再假设天使的运气足够好，每次都瞬移到等分效率较低的子多边形。
直观看出，取平行于正三角形一条边的线段来等分其面积，等分效率最高。令此线段长度 ，三角形边长 ，则：
这样，初始正三角形被分成一个新的小正三角形和一个等腰梯形，易见等腰梯形的等分效率远高于新的小正三角形，于是根据假设，天使将瞬移到新的小正三角形当中。如此循环，至于无穷，天使将被锁定在初始正三角形的一个顶点。计算魔鬼走过的耗时路程：
记魔鬼速度 ，则捉住天使的时间：
这个题目如此离散，不借助于数值离散优化不易得到全局最优解，建议大家来改进这个上界吧。
按照 @yyx 说的圆弧线等分正三角形以及后续的扇形，上界可以改进为：
1
相关话题
数学类课程定理的复杂证明有必要掌握吗？怎么评价北大版的《高等代数》？
是否存在一个函数，在它定义域内连续，递增，但处处不可导？
有哪些玩游戏时能使用的高等数学知识？
为什么度量空间中聚点等同于极限点？
如何通俗地解释什么是离散傅里叶变换？
我本科是信息与计算科学专业，想考研但是不知道选什么专业，在纠结考数学还是计算机？
数学学到什么程度可以进行下一部分的学习了？
如何简明地解释曲率（curvature）？
为什么三点决定一个圆，而圆规只需两点就决定了一个圆？
前一个讨论
这个矩阵的秩如何证明?
相关的话题
明明三角形是最稳定的结构，但是为什么在交往中三角反而不稳定呢？哪种形状的方糖拥有恒定的溶解速率?
数学有什么意义？数学中的一切都是人类自己编造的吗？
数学有什么意义？数学中的一切都是人类自己编造的吗？
实变函数鲁津定理的疑问？
如果K'/K=1/sqrt{2},那么k等于多少？
有哪些千年以上时间才解决的数学问题?
如何评价一些数学大佬在推导过程中的「我们不难发现…」、「显然有…」、「易得…」等语言?
为什么数学上证明必然正难则反易——补集思想，原理出处？
正三棱锥内切球的四个切点（两类）分别在三角形的什么位置？
两幂级数柯西乘积收敛半径大于等于较小者 怎么证明呢？
哪里找一些有难度的定积分题？
数学上激波和稀疏波的区别是什么？
万物的本质是数学的还是物理的？抑或是哲学的？
使用微积分能否计算出一个玉米棒上玉米粒的个数？（看问题描述，被怼怕了）?
曲线围成的面积存在但是真的可求吗？还是说看作一种定义？
会不会某个人已经证明了哥德巴赫猜想，却不愿意讲出来？
数学上存在0.000……01这种数吗？
如何才能让学的数学灵活起来，或者说融会贯通？
正三棱锥内切球的四个切点（两类）分别在三角形的什么位置？
最难的数学有多难？
人有什么是可以无限的？
连分式近似怎么操作？
一个猜想未被严谨证明也未被证伪时能否运用到科学研究或生产生活中？
圆上任选三点组成三角形，这个三角形是锐角、钝角和直角三角形的概率分别是多少？
如何只通过计算证明“两点之间，线段最短”？
一道三角最值如何思考？
如何看待阿里巴巴全球数学竞赛？对其他学科有哪些实际影响和意义？
一道高代行列式计算的题，是怎么样的思路呀？
如果把数学当成兴趣爱好，建议学什么，怎么学？