huhuyang2010 发表于 2023-5-30 05:53

一道数论题

本帖最后由 huhuyang2010 于 2023-5-30 09:42 编辑

n为任意不小于2的整数,证明:存在无穷多个正整数,不能表示为一个正整数的n次方和一个质数之和。

pmpm 发表于 2023-5-30 07:23

本帖最后由 pmpm 于 2023-5-30 10:02 编辑

蹲个答案……

Anderson 发表于 2023-5-30 07:58

我有一个绝妙的证法,可惜…

miaolihong 发表于 2023-5-30 09:22

命题可以等效为,在a^n和a^(n+1)之间,存在至少一个合数

huhuyang2010 发表于 2023-5-30 12:44

Anderson 发表于 2023-05-30 07:58
我有一个绝妙的证法,可惜…

费马在世,愿闻其详https://app.qianfanedu.cn/public/emotion/face_011.png

huhuyang2010 发表于 2023-5-30 14:52

哪位可以给个证明。
我卡在了,(a+1)^p - a^p不恒为质数(a为正整数,p为质数)。

eulerphi 发表于 2023-5-30 16:34

a^n-a^(n-1)=a^(n-1)(a-1);
n>=2,a^(n-1)不等于1,a^(n-)(a-1)必定不为素数。那么可找到无限多的a^n+pq

huhuyang2010 发表于 2023-5-30 17:31

任取正整数b,假设满足b^n=a^n+p,p为质数。
p = b^n-a^n = (b-a)(b^(n-1)+ ....)
因 b-a >= 2,p必为合数,所以必有b-a = 1, a= b-1。
若 p = b^n - (b-1)^n为合数,则无穷个b^n都符合要求(设合数的一个质因子为p1,则b+kp1(k为正整数)都能使p含p1因子)
若 p = b^n - (b-1)^n 为质数,则重新选 b'=b+kp(k为正整数),有 p' = b'^n - (b'-1)^n ≡ 0 (mod p) 且p' > p ,即p'为合数。
所以无穷个b^n均符合要求。

txyos 发表于 2023-5-30 18:07

Anderson 发表于 2023-05-30 07:58
我有一个绝妙的证法,可惜…

可惜手机没电了,流量不够了。
页: [1]
查看完整版本: 一道数论题