过两给定的点平分圆面积的最短曲线是什么？ 第1页
1
zeng-jia-xi-96 网友的相关建议:
变分法过于暴力了，我们简单一点，用初中几何+等周定理来做
如图，方便起见我们令两定点关于y轴对称且在单位圆上，然后先找到平分面积的圆弧。这里假定 ，对于 的情形易知最短的是直径，对于 由等周定理简单得是内切圆
蓝色弓形的面积为 ,因此红色部分的面积为
用 表示为
由 可以确定 的值，从而确定圆心O的位置。
接下来，我们画出两定点在圆O上对应的劣弧 ，其与单位圆上的劣弧围成一个固定区域（黄色部分），其面积为 ，具体值无关紧要。
现在，假定有一条曲线 过F和F'且平分圆面积，则 和 围成封闭曲线 ，其包围的面积为 等于圆O面积。根据等周定理，其周长必定不小于圆O的周长，从而 的总长必定不小于优弧 的长度；取到等号时 必然是圆，因此最小值点是唯一的。
综上所述，过两给定点且平分圆面积的最短曲线是圆弧（或直径），其圆心位置需要解一个超越方程才能得到。
Huxley-84-43 网友的相关建议:
估算一个上界。思路是每一轮都寻求一条最短线段，将当前包含天使的多边形，按面积等分成两个新的子多边形。再假设天使的运气足够好，每次都瞬移到等分效率较低的子多边形。
直观看出，取平行于正三角形一条边的线段来等分其面积，等分效率最高。令此线段长度 ，三角形边长 ，则：
这样，初始正三角形被分成一个新的小正三角形和一个等腰梯形，易见等腰梯形的等分效率远高于新的小正三角形，于是根据假设，天使将瞬移到新的小正三角形当中。如此循环，至于无穷，天使将被锁定在初始正三角形的一个顶点。计算魔鬼走过的耗时路程：
记魔鬼速度 ，则捉住天使的时间：
这个题目如此离散，不借助于数值离散优化不易得到全局最优解，建议大家来改进这个上界吧。
按照 @yyx 说的圆弧线等分正三角形以及后续的扇形，上界可以改进为：
1
相关话题
为什么不是所有函数都能用解析式表达？曲率处处不为零的闭曲线只能是闭凸曲线吗？
有界无穷数列是否必有单调子序列？
这个级数是怎么来的？
一道证明题，看看大家的思路是怎样的？
请问下面这个不等式如何证明？
一个10平方厘米的正方形和一个100平方厘米的正方形都由无数的点组成，那么为什么后者比前者大呢？
如何计算如图极限？
二维空间的封闭是圆，三维空间的封闭是球，四维空间的封闭是什么？
为什么函数的连续点构成可测集？
前一个讨论
如果爱狗人士穿越到正在屠狗的樊哙面前会作何反应？
下一个讨论
连续函数一定可积吗?
相关的话题
如何判断级数lnn/n^2(从1到无穷)收敛或发散？想问一下 如果三角形的两条边被一条直线所截 所截线段成比例 那么这条线与第三边平行吗?
代数、几何能否联系一起？
在本科数学阶段你学过最有趣的一门数学课是什么？为什么？
能分享一道如果“注意不到”就出不来的数学题吗？
一堆n维空间的由m个点组成的点集，m大于n，我们只知道它们之间的距离，能否判断所在空间的维数？
请问怎样去证明？
如何计算下面无穷级数的值？
这些无穷乘积展开式怎么证明?
如何证明多项式 f(x)＝1＋x＋x²/2!＋x³/3!＋…＋x^n/n! 只有一个实数根？
会不会有一条线段蕴含了宇宙所有的秘密？
是否所有简单闭曲线都同胚与圆周？
三边为 10 的四边形，如何使之面积最大？
如何将条件收敛级数 1-1+1/2-1/2+1/3-1/3+1/4-1/4+...证其发散？
柯西中值定理是怎样发现的？
收敛的序列是否存在单调的子序列（不要求严格单调）？
请问这个极限加上变限积分这种怎么计算?
有没有目前不知道是否收敛的级数?
突然想到一个问题：0.9999999… 真的等于 1 吗？
这道定积分怎么算（据说是某211期末考试题）？
对于所有的无穷小，能否把它们趋于0的速度定义为一个数，使得趋于0速度较小的一定是较低阶的无穷小？
这个数列问题困扰我一段时间，大佬有没有好的方法呢？
这个定积分怎么搞？
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
请问这个极限怎么做呢？
如何求此类极限?
如何证明算术平均的极限？
还是实变函数的，友友们帮帮忙?
有哪些让你感觉很有美感的数学分析题？