过两给定的点平分圆面积的最短曲线是什么？ 第1页
1
zeng-jia-xi-96 网友的相关建议:
变分法过于暴力了，我们简单一点，用初中几何+等周定理来做
如图，方便起见我们令两定点关于y轴对称且在单位圆上，然后先找到平分面积的圆弧。这里假定 ，对于 的情形易知最短的是直径，对于 由等周定理简单得是内切圆
蓝色弓形的面积为 ,因此红色部分的面积为
用 表示为
由 可以确定 的值，从而确定圆心O的位置。
接下来，我们画出两定点在圆O上对应的劣弧 ，其与单位圆上的劣弧围成一个固定区域（黄色部分），其面积为 ，具体值无关紧要。
现在，假定有一条曲线 过F和F'且平分圆面积，则 和 围成封闭曲线 ，其包围的面积为 等于圆O面积。根据等周定理，其周长必定不小于圆O的周长，从而 的总长必定不小于优弧 的长度；取到等号时 必然是圆，因此最小值点是唯一的。
综上所述，过两给定点且平分圆面积的最短曲线是圆弧（或直径），其圆心位置需要解一个超越方程才能得到。
Huxley-84-43 网友的相关建议:
估算一个上界。思路是每一轮都寻求一条最短线段，将当前包含天使的多边形，按面积等分成两个新的子多边形。再假设天使的运气足够好，每次都瞬移到等分效率较低的子多边形。
直观看出，取平行于正三角形一条边的线段来等分其面积，等分效率最高。令此线段长度 ，三角形边长 ，则：
这样，初始正三角形被分成一个新的小正三角形和一个等腰梯形，易见等腰梯形的等分效率远高于新的小正三角形，于是根据假设，天使将瞬移到新的小正三角形当中。如此循环，至于无穷，天使将被锁定在初始正三角形的一个顶点。计算魔鬼走过的耗时路程：
记魔鬼速度 ，则捉住天使的时间：
这个题目如此离散，不借助于数值离散优化不易得到全局最优解，建议大家来改进这个上界吧。
按照 @yyx 说的圆弧线等分正三角形以及后续的扇形，上界可以改进为：
1
相关话题
这个9题不等式右边怎么证明呢？这个数列问题困扰我一段时间，大佬有没有好的方法呢？
为何可以用不动点法求数列通项公式，可不可以解释一下？
格林公式的物理意义和几何意义是什么？为什么格林公式与路径无关？
有哪些用偏几何的方法来得到代数问题的优美解答的例子？
格林公式为什么不对称啊？
请问这个极限加上变限积分这种怎么计算?
你见过最恶心的函数是什么？
圆锥曲线中过任一顶点作相垂直的直线，过直线与曲线交点的直线过定点，这有什么射影几何的背景吗？
关于这个函数项级数，有没有一些研究成果？
前一个讨论
如果爱狗人士穿越到正在屠狗的樊哙面前会作何反应？
下一个讨论
连续函数一定可积吗?
相关的话题
为什么任给一个圆，它的圆周长和直径比值都是常数？无限循环小数的循环节长度是否可以取任意正整数值？如果可以，不同循环节长度的无限循环小数是否均匀分布？
二维空间的封闭是圆，三维空间的封闭是球，四维空间的封闭是什么？
你见过最恶心的函数是什么？
如何求得这个级数的和函数？
这道证明题该怎么做？
如图，这道题中的隐函数为什么可以设y=tx？
如何证明一个同时以1和π为周期的函数无最小正周期？
为什么房价的涨幅不可能长期超过“GDP涨幅+通货膨胀”?
为什么多项式的根是系数的连续函数？
既然点没有长度，为什么线段就有长度？
为什么帕斯卡定理涉及的恰好是内接「六」边形？
高一新生看欧几里得的几何原本好还是希尔伯特的几何基础好？
x=a，a为常数，这个图像是连续的吗？
调和级数变形一下成为收敛了，能给个证明吗？
为什么有那么多人不承认0.9无限循环=1，且振振有词？
在不引入坐标系的情况下能不能定义向量的方向？
如何直观地理解阿贝尔变换恒等式？
曲线 cosx + cosy = cos(x + y) 有什么性质？
如何证明一个同时以1和π为周期的函数无最小正周期？
所有数学表达式都有几何含义吗？
这个定积分怎么搞？
数学为什么需要证明一些看起来非常直观、明显的东西（比如定理）？
还是实变函数的，友友们帮帮忙?
如何用简单的方法证明「在周长一定时，圆的面积最大」？
四边不等的一般四边形如何求面积？
在有界闭区域上连续的多元函数一定有最大值和最小值是否正确？
下面这个题该如何做？
请问这到微积分证明题题怎么证?？
如何证明此不等式呢？