免費論壇 繁體 | 簡體
Sclub交友聊天~加入聊天室當版主
分享
返回列表 发帖

[几何] 凸六边形ABCDEF,AB=AF=AD=BE=CF=a,BC=EF=CD=DE=1,求a的最大值.

凸六边形ABCDEF,AB=AF=AD=BE=CF=a,BC=EF=CD=DE=1,求a的最大值.
分析一下条件的个数,可以发现,这个六边形如果存在,就只能有有限个.
设AO=x,BO=y,则DO=d-x,CO=e-y,设∠AOB=∠COD=α($0<\alpha<\frac\pi2$),
由余弦定理,$\led-2  x y\cos \alpha+x^2+y^2=a^2\\-2  (a-x) (a-y)\cos \alpha+(a-x)^2+(a-y)^2=a^2\\2 \left(2 \cos^2 \alpha-1\right) y (a-y)+(a-y)^2+y^2=1\endled$,
消去x,y得$8 a^4 \cos ^3\alpha -12 a^4 \cos ^2\alpha +4 a^4 \cos \alpha -4 a^2 \cos \alpha -a^4+6 a^2 -1=0$
计算$\cos\alpha$的判别式:$-64 (a-1)^2 a^8 (a+1)^2 \left(23 a^4-194 a^2+27\right)\ge0$说明a必须介于方程$23 a^4-194 a^2+27=0$的两正根(约为0.376232和2.8798)之间才能有实数解.即
$\sqrt{\frac{97-26 \sqrt{13}}{23}}\le a\le\sqrt{\frac{26 \sqrt{13}+97}{23}}$
用ggb画出图就会看到一个不连续的现象:当a慢慢接近2.8798时图形几乎没有变化,当a=2.8798时也没变化(这时方程有两个相等的实根),当a>2.8798时图形突然消失了(那两个实根变成了虚根).整个过程中六边形都是凸的.
注:如果放到直觉去想一下,这是不太可能的,因为六边形的边长连续改变,如果一直是凸的,怎么可能弄不动而卡死呢.哈哈,还是代数描述精确一些.
凸六边形 (1).gif
2020-10-15 21:45
分享到: QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友

怎么证明那三条对角线一定共点?

TOP

回复 2# 色k
不知道,当时是靠对称性想的,请问您是怎么证明的呢

TOP

回复 3# hbghlyj

我也不会。

PS、为节约空间,编辑了 1# 的 gif(减少了帧数之余还让它循环播放),体积由 600+k 减至 80+k。

TOP

如果不限制为“凸六边形”,可构造出那三条对角线不共点的反例如下:
QQ截图20201017222216.png
2020-10-17 22:22

上图中,BC=CD=DE=EF=1,CD⊥DE,BC∥EF,AB=AF=a,AB⊥AF。
则可以证明 AD=BE=CF=a,从而六边形 ABCDEF 满足条件。
冇钱又冇样、冇型又冇款、冇身材又冇文采、冇学历又冇能力、冇高度冇速度冇力度兼夹冇野做!(粤语)
口号:珍爱生命,远离考试。

TOP

返回列表 回复 发帖