搜索
查看: 648|回复: 6

[高中数学] 高斯函数证明题

  [复制链接]
发表于 2024-7-5 20:48 | 显示全部楼层 |阅读模式 来自: 中国上海
设a是一个满足a^3-2a^2-1=0的实数.证明:对任意正整数n,数[a[a[an]]]-n 是一个奇数。
发表于 2024-7-6 09:27 | 显示全部楼层 来自: 中国上海
本帖最后由 小蝴蝶爸爸 于 2024-7-6 09:30 编辑

直觉告诉我,
首先预估一下三次方程几个实数根,范围多少?
然后可能还要把N按照奇偶分类。
借助一下高级的计算器,应该能凑出解法

 楼主| 发表于 2024-7-6 09:37 来自手机浏览器 | 显示全部楼层 来自: 中国上海
小蝴蝶爸爸 发表于 2024-07-06 09:27
本帖最后由 小蝴蝶爸爸 于 2024-7-6 09:30 编辑

直觉告诉我,
首先预估一下三次方程几个实数根,范围多少?
然后可能还要把N按照奇偶分类。
借助一下高级的计算器,应该能凑出解法

计算器算高斯函数有bug
发表于 2024-7-6 09:39 | 显示全部楼层 来自: 中国上海
随便找了个在线计算器算了一下
方程有唯一实数根
2.2055694304005904
发表于 2024-7-7 17:03 | 显示全部楼层 来自: 中国上海
有解答么?
发表于 2024-7-8 17:27 | 显示全部楼层 来自: 中国上海
本帖最后由 huhuyang2010 于 2024-7-8 17:37 编辑

我给一个不优美的证法。
a=2+1/(a^2)
[an]=2n+k,其中k=[n/a^2]
[a[an]]=2(2n+k)+q=4n+2k+q, 其中q=[(2n+k)/a^2]
[a[a[an]]]=2(4n+2k+q)+[(4n+2k+q)/a^2]
只要证明 n-1<[(4n+2k+q)/(a^2)]<n即可。
[(4n+2k+q)/(a^2)]<(4n+4n/a^2+n/a^4)/a^2= n*(2a^2+1)^2/a^6=n (要简单说明下这里等号取不到,比如k=n/a^2成立的话,an是整数,a为有理数,矛盾!)
[(4n+2k+q)/(a^2)]>(4n+4n/a^2+n/a^4-1/a^2-3)/a^2>n-1 <=> 4na^4+4na^2+n-a^2-3a^4>(n-1)a^6
<=> 4na^4+4na^2+n-a^2-3a^4>(n-1)(2a^2+1)^2,验证成立!
证毕。
发表于 2024-7-14 11:11 | 显示全部楼层 来自: 中国上海
我们证明[a[a[an]]]-n =2[a[an]]-1
利用上面的想法 a=2+1/(a^2)
[a[a[an]]]=[2[a[an]]+[a[an]]/(a^2)]=2[a[an]]+[[a[an]]/(a^2)]
由于a是无理数,因此[a[an]]/(a^2)<n,
我们证明[a[an]]/(a^2)>n-1
[a[an]]>[a(an-1)]>a(an-1)-1=a^2(n-1)+a^2-a-1>a^2(n-1)得证
您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|千帆网 ( 沪ICP备15002998号-1 )上海千教教育科技有限公司,邮箱:admin@qianfanedu.cn 举报电话:54804512

GMT+8, 2024-12-23 12:40 , Processed in 0.119710 second(s), 15 queries .

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