数学研发论坛

 找回密码
 欢迎注册
查看: 318|回复: 9

[求助] 单位正方形总能够覆盖长为根号2的曲线段?

[复制链接]
发表于 2021-3-16 00:49:05 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有帐号?欢迎注册

x
命题:平面上任一可求长的曲线段,若曲线长度小于等于根号2,则存在一个单位正方形,可以把它“框”在里面。

结论应该成立吧。

或许证明很简单,但我没想出来,要是哪位朋友有直击要害的思路,烦请点拨一下。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-3-17 13:14:06 | 显示全部楼层
我们可以改为证明长度为$2\sqrt{2}$的简单闭曲线,总是能够被单位正方形覆盖。
我们只证明曲线是凸的情况,对于凹的曲线,我们总可以将曲线的一部分外翻,得到一个范围更大的封闭曲线,所以只要证明变换以后的曲线可以被覆盖即可。

对于凸曲线,我们可以先任意规定曲线上一个方向,然后每个点处的有向切线会互不相同。设切线方向为$\theta$和切线方向为$\theta+\pi$的两条切线的距离为$d(\theta)$,于是d是一个周期为$\pi$的连续函数。于是查看函数$f(\theta)=d(\theta)-d(\theta+\frac{\pi}2)$,我们容易得出必然存在某个t使得$f(t)=0$,即$d(t)=d(t+\frac{\pi}2)$。由于曲线是凸的,我们得到方向为$t,t+\frac{\pi}2,t+\pi,t+\frac{3\pi}2$处的四条切线包含曲线,而且这四条切线构成边长为$u=d(t)$的正方形,设四个切点依次分正方形四边长为$a,u-a,b,u-b,c,u-c,d,u-d$
由于曲线长度不超过$2\sqrt{2}$,根据勾股定理得出$2\sqrt{2} \ ge \sqrt{a^2+(u-d)^2}+\sqrt{d^2+(u-c)^2}+\sqrt{c^2+(u-b)^2}+\sqrt{b^2+(u-a)^2} \ge \frac{\sqrt{2}}2 (a+u-d+d+u-c+c+u-b+b+u-a)=2\sqrt{2}u$
所以得出了$u\le 1$,也就是曲线被单位正方形覆盖。

点评

哦哦哦……好了没问题了。  发表于 2021-3-19 08:59
感觉证明问题很大。  发表于 2021-3-19 08:56
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-3-17 16:43:42 | 显示全部楼层
mathe 发表于 2021-3-17 13:14
我们可以改为证明长度为$2\sqrt{2}$的简单闭曲线,总是能够被单位正方形覆盖。
我们只证明曲线是凸的情况 ...

如果有折线呢,这时切线怎么定义

点评

这个拐点有无穷个方向的切线。也就是如果左右切线方向分别为s,t那么所有(s,t)里面的方向的切线都在这个点。  发表于 2021-3-17 19:56
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-3-17 16:52:40 | 显示全部楼层
其实长对角线是根号2,角为60,120,60,120度的菱形就可以覆盖
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2021-3-17 16:59:20 | 显示全部楼层
哇,感谢。非常精彩。我知道要弄一个类似闭包的小正方形,但是没想到是把目标曲线扩大一倍再封闭……构成凸集边缘的曲线总是有类似左右导数一类的东西,这样一来,简单的凸闭曲线每一点可以定义一个切线。刚才我还想说,诸如圆弧+弦构成的闭曲线,或许会让论证出问题。就是两个圆弧与直线段衔接的尖点那里(用涂鸦板和上传图片都失败)。后来意识到,只要赋予尖点处的切线方向为一个合理范围,就可以统一讨论了。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-3-18 08:32:11 | 显示全部楼层
直接计算 这个定长曲线 在两条相互垂直的方向上的投影的线积分的最大值, 是否有可行的操作.

======
因为在直觉上,要想在一个直线方向上有最大的投影长度, [曲线的无限多个碎片都是趋向投影的方向] 曲线的整体是无限贴近 投影直线的方向.  同样的,  要能被 单位正方形"框"住,意味着 要能同时在两个方向上 无限逼近投影直线.
但因为 单位正方形只有一个自由度, 曲线要无限贴近这个框的 最长的那条内部直线的方向[也就是对角线] ,这个地方怎么操作逼近合适...
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-3-19 09:07:34 | 显示全部楼层
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2021-4-15 18:47 , Processed in 0.080031 second(s), 17 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

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