找回密码
 快速注册
搜索
查看: 2393|回复: 5

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

[复制链接]

3149

主题

8388

回帖

6万

积分

$\style{scale:11;fill:#eff}꩜$

积分
65401
QQ

显示全部楼层

hbghlyj 发表于 2020-10-15 11:00 |阅读模式
凸六边形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

15

主题

958

回帖

1万

积分

积分
12454

显示全部楼层

色k 发表于 2020-10-15 16:12
怎么证明那三条对角线一定共点?

3149

主题

8388

回帖

6万

积分

$\style{scale:11;fill:#eff}꩜$

积分
65401
QQ

显示全部楼层

 楼主| hbghlyj 发表于 2020-10-15 22:38
本帖最后由 hbghlyj 于 2024-11-23 12:12 编辑 发到math.stackexchange.com/questions/5002388/prove-a-reaches-maximum ... ts-are-on-an-ellipse

730

主题

1万

回帖

9万

积分

积分
93623
QQ

显示全部楼层

kuing 发表于 2020-10-15 22:39
回复 3# hbghlyj

我也不会。

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

730

主题

1万

回帖

9万

积分

积分
93623
QQ

显示全部楼层

kuing 发表于 2020-10-17 22:26
如果不限制为“凸六边形”,可构造出那三条对角线不共点的反例如下:
QQ截图20201017222216.png
上图中,BC=CD=DE=EF=1,CD⊥DE,BC∥EF,AB=AF=a,AB⊥AF。
则可以证明 AD=BE=CF=a,从而六边形 ABCDEF 满足条件。

3149

主题

8388

回帖

6万

积分

$\style{scale:11;fill:#eff}꩜$

积分
65401
QQ

显示全部楼层

 楼主| hbghlyj 发表于 2024-12-13 17:01
kuing 发表于 2020-10-15 14:39
回复 3# hbghlyj

我也不会。

昨天在 MSE 中收到了回复 math.stackexchange.com/a/5010844/745350

手机版|悠闲数学娱乐论坛(第3版)

GMT+8, 2025-3-4 16:21

Powered by Discuz!

× 快速回复 返回顶部 返回列表