搜索

证明:有无穷个正整数n,满足n|(2^n)+2. 如果是归纳法,也请详细一点,谢谢...

发布网友 发布时间:2024-10-23 22:38

我来回答

1个回答

热心网友 时间:18小时前

考虑递推数列a[n]: 满足a[n+1] = 2^(a[n])+2, a[1] = 2.
易见数列各项均为偶数, 且严格递增.
用数学归纳法证明a[n] | 2^(a[n])+2对任意正整数n成立.
为证明需要, 证明加强的命题: a[n] | 2^(a[n])+2且a[n]-1 | 2^(a[n])+1, 对任意正整数n成立.

n = 1时, 显然成立.
假设n = k时结论成立, 即a[k] | 2^(a[k])+2 = a[k+1], 且a[k]-1 | 2^(a[k])+1 = a[k+1]-1.
设a[k+1] = b·a[k], a[k+1]-1 = c·(a[k]-1).

由a[k] > 1, a[k+1] = 2^(a[k])+2不是4的倍数, 又a[k]为偶数, 故b为奇数.
因此由2^(a[k]) ≡ -1 (mod 2^(a[k])+1), 有2^(a[k+1]) = (2^(a[k]))^b ≡ (-1)^b = -1 (mod 2^(a[k])+1).
即a[k+1]-1 = 2^(a[k])+1 | 2^(a[k+1])+1.

又由a[k+1]-1为奇数, 可得c为奇数.
因此由2^(a[k]-1) ≡ -1 (mod 2^(a[k]-1)+1),
有2^(a[k+1]-1) = (2^(a[k]-1))^c ≡ (-1)^c = -1 (mod 2^(a[k]-1)+1).
即2^(a[k]-1)+1 | 2^(a[k+1]-1)+1, 于是a[k+1] = 2^(a[k])+2 | 2^(a[k+1])+2.

综上, n = k+1时结论成立.
由数学归纳法原理, 命题对任意正整数n成立.
声明:本网页内容为用户发布,旨在传播知识,不代表本网认同其观点,若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。
E-MAIL:11247931@qq.com
Top