如何证明圆上若干点构成的多边形最大面积在正多边形时取到？ 第1页
1
yu-yiren-62 网友的相关建议:
单位圆上的凸 边形取得面积最大值时，圆心 必位于它的内部。
证明是很容易的。设 就是这凸 边形，圆心 位于它的外部，则 这 个顺时针排列的顶点必定位于单位圆的同一个半圆弧上。这时，显然有 考虑这三角形 假使我们调整 位置使它变为 这 是弦 中点与圆心 连线与圆的不在前述半圆弧上的那个交点，这时， 保持不变，但 显然变大了，于是总的 也将随之变大。这说明，如果圆心 位于凸 边形的外部，我们总可以调整顶点的位置、让圆心 变到形内以使凸 边形面积增大，于是结论得证。
单位圆上的凸 边形取得面积最大值时，必是正 边形。
基于 的结论，将的各个顶点分别与形内的 相连，并设
于是有 注意到 在 上是凹函数，于是依 不等式，成立 当且仅当 时成立等式。由此即证。
Huxley-84-43 网友的相关建议:
估算一个上界。思路是每一轮都寻求一条最短线段，将当前包含天使的多边形，按面积等分成两个新的子多边形。再假设天使的运气足够好，每次都瞬移到等分效率较低的子多边形。
直观看出，取平行于正三角形一条边的线段来等分其面积，等分效率最高。令此线段长度 ，三角形边长 ，则：
这样，初始正三角形被分成一个新的小正三角形和一个等腰梯形，易见等腰梯形的等分效率远高于新的小正三角形，于是根据假设，天使将瞬移到新的小正三角形当中。如此循环，至于无穷，天使将被锁定在初始正三角形的一个顶点。计算魔鬼走过的耗时路程：
记魔鬼速度 ，则捉住天使的时间：
这个题目如此离散，不借助于数值离散优化不易得到全局最优解，建议大家来改进这个上界吧。
按照 @yyx 说的圆弧线等分正三角形以及后续的扇形，上界可以改进为：
1
相关话题
3Blue1Brown 的视频是怎么制作的？这个不等式的证明方法有哪些？
怎么建立复数与实数的一一对应？
设r是有单位元的非零环若r是有限环，则r的素理想是极大理想如何证明？
怎么评价北大版的《高等代数》？
单调的环境下永生能让人变成傻子吗？
为什么在数轴上随便取一个点，一定取到的是无理数？
请问这个参数方程是怎么写出来的？
为什么说连续映射是一个拓扑概念？？
一个半径为1的圆周上有三个点，求三个点构成的图形的面积的期望值？
前一个讨论
这个矩阵的秩如何证明?
相关的话题
圆的半径为 1，求其内接正五边形边长？x+y+z=1 与x2+y2+z2=4 的交线 圆的半径怎么求？
中国普通民众的拓扑学知识是怎样的水平？
下列证明题（积分不等式）怎么证明?
如何评价安徽大学 2019~2020 第一学期高等数学期末考试？
数学和物理中这些符号到底念什么？来源是什么？
怎样从生化危机里的激光网格逃生？
这个题目怎么解?我一直没有思路。？
集合论与微积分？
有没有可能把 π 或 e 等无理数当成 1，这样就能使许多定理显而易见？
请问姜文华的学术水平在统计圈属于什么位置？
一个会读心术和一个能预知未来的人下棋，谁能赢？
如何直观地理解阿贝尔变换恒等式？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
对于多元线性回归，如何证明任一自变量的系数等同于忽略其他变量后一元线性回归的系数？
X[X]=10，其中[]表示取整，如何求解？
一个数学学霸是怎样练成的?
请问这个积分不等式怎么证明?
为何要引入同伦群，同伦群可以解决什么问题？
如何看待一山东14岁高中生高考数学149分、总分699分，考入中科大少年班？与前几天火的某位相比如何？
平面几何中圆与直线的统一性如何体现？
一个积分不等式，该怎么处理？
我的朋友是初三党，对于数学很有兴趣，怎么学习高等数学比较好呢？
数学教材是应该写的简洁抽象好，还是形象点好？
在边长为 1 的正方形中随机取三个点，构成三角形的面积期望是多少？
是否存在正整数a，b，c满足a²+b²=c²，当给定一个c值时，a，b有多种取值？
弧的长度与弦的长度之比的极限为1，能严格证明吗？
如何评价张益唐「如果在中国的大学，我就废了，根本无法取得现在的成就」这句话？
如何以AB为高尺规作图作等边三角形？
热爱数学是一种怎样的体验？