找回密码
 欢迎注册
楼主: geslon

[原创] 正多边形超难题一道

[复制链接]
发表于 2015-1-16 12:35:09 来自手机 | 显示全部楼层
找到奇数阶情况的严格证明了
由于$f(x)=x$得出$\tan(x)=\frac{\sin(t-x)}{r-\cos(t-x)}$得出$r\sin(x)=\sin(t)$
于是在$n>=4,r>1$时我们得出$f(x)=x$有且只有唯一解,也就是$f(x)$的不动点只有一个,
而在$n=3,r>1$时同样也可以得出$f(x)$的不动点只有一个,
这是因为$\sin^{-1}(\frac{sin(t)}{r})<\pi-t, \pi-\sin^{-1}(\frac{sin(t)}{r})>t$,所以$\pi-\sin^{-1}(\frac{sin(t)}{r})$不符合条件。
于是我们得出$f(x)$在$r>1$时有唯一不动点$x_1=\sin^{-1}(\frac{sin(t)}{r})$
我们已经知道函数$f(x)$最大值点为$x_0=t-\cos^{-1}(1/r)$
由于$sin(x_1)=\frac{sin(t)}{r},\sin(x_0)=sin(t)*1/r-cos(t)*\sqrt(1-1/{r^2})<sin(x_1)$
所以$x_0<x_1$.
另外$f(0)=tan^-1(\frac{\sin(t)}{r-\cos(t)})$
而$x_1=tan^-1(\frac{\sin(t)}{\sqrt{r^2-\sin^2(t)}})$
于是对于$n>=5, r>\frac{1}{2\cos(t)}$时,可以得出$r-\cos(t)<\sqrt{r^2-\sin^2(t)}$,也就是$f(0)>x_1$
于是我们知道在$r>\frac{1}{2\cos(t)}$时,
$f(x)$在区间$[0,x_1)$先增后减,而且$f(0)>x_1,f(x_1)=x_1$,所以\(f([0,x_1))\subseteq(x_1,f(x_0)]\),由于迭代时遇到大于t的值需要抛弃,所以可以看成\((x_1,t]\)的子集
同样,由于$f(x)$在区间$(x_1,t]$严格减,而且$f(x_1)=x_1$,所以\(f((x_1,t])\subseteq[0,x_1)\)
由此得出除了$x_1$意外,$f(x)$没有奇数阶周期点。
而对于$n>=7,\frac{1}{2\cos(t)}<=\frac{1}{2\cos({\2pi}/7)}=0.8019...$
所以对于$n>=7$的奇数阶多边形,都必然没有n阶周期点。
但是对于$n=5,\frac{1]{2\cos(t)}=1.618...$所以不能否定$n=5$的情况。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2015-1-16 20:37:41 来自手机 | 显示全部楼层
上面的方法可以顺便快速解决$n=4$的情况。容易看出,由于n=4时$\cos(t)=0$得出$x_0=x_1$也就是最大值点就是不动点。所以值域在$[0,x_1]$.于是周期点只能在这个区间,而这个区间f单调增,所以没有除不动点的周期点
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2015-1-16 20:44:16 来自手机 | 显示全部楼层
而$n=3$时$x_0>x_1$,也就是在区间$[0,x_1)$上$x<f(x)<x_1$所以不含周期点
同样对于区间$(x_1,t]$中的点必然$f(x)<x$,所以反复迭代必然一路变小直到不超过$x_1$所以也不能是周期点
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2015-1-22 17:58:50 | 显示全部楼层
我貌似找到n=3的一个反例了。E在BC边的延长线上,不知道算不算符合题目的要求。

三角形反例.png
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2015-1-22 18:54:13 | 显示全部楼层
延长线上的显然不算,不然,总是有解的。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2015-1-23 01:53:52 来自手机 | 显示全部楼层
总是有解的? 是指对任意n还是指对任意三角形?
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2015-1-23 07:31:47 来自手机 | 显示全部楼层
对任意n
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

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

GMT+8, 2024-11-22 12:54 , Processed in 0.036106 second(s), 17 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

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