免費論壇 繁體 | 簡體
Sclub交友聊天~加入聊天室當版主
分享
返回列表 发帖

[数论] 一串自然数等幂和的整除性质

本帖最后由 hbghlyj 于 2019-12-11 12:25 编辑

由差分法知$1^m+2^m+...+n^m(m,n\in\mbb N^*)$是n的m+1次多项式,记为S(m,n),则
(1)S(1,n)|S(m,n),m>0
(2)S(2,n)|S(m,n)当且仅当m为偶数
(3)S(3,n)|S(m,n)当且仅当m为3的奇数倍
分享到: QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友

本帖最后由 hbghlyj 于 2019-12-11 12:29 编辑

(1)当m为奇数时利用$a+b|a^m+b^m$是非常容易证明的。
由于(n,n+1)=1,可将问题分解为证明P=2S(m,n)分别被n,n+1整除
$P = 2{n^m} + (1 + {(n - 1)^m}) + (2 + {(n - 2)^m}) + ... + ({(n - 1)^m} + {1^m}),$每项都能被n整除
$P = (1 + {n^m}) + (2 + {(n - 1)^m}) + ... + ({n^m} + {1^m}),$每项都能被n+1整除
--------补充一个结论--------
p为素数,则$(1+2+\cdots+n)^p\equiv 1+2^p+\cdots+n^p\pmod p,即\left(\frac{n(n+1)}2\right)^p\equiv S_p(n)\pmod p$
类似地,$S(m,n)\equiv S(mp,n)\pmod p$

TOP

回复 2# hbghlyj
Screenshot_2019_0725_142747.png
2019-7-25 14:40
找到一个类似的短文,还是只证了奇数情形

TOP

本帖最后由 realnumber 于 2019-7-25 20:07 编辑

(1)在n=3,m=2或4或6并不成立啊.S(1,3)=6
S(2,3)=15,S(4,3)=98,
---好象我理解错了,指多项式整除?混乱中

TOP

本帖最后由 hbghlyj 于 2019-12-11 12:11 编辑

回复 4# realnumber
是的。指多项式整除。
S(1,n)=$\frac12n(1+n)$
S(2,n)=$\frac16n(1+n)(1+2n)$
S(4,n)=$\frac1{30}n(1+n)(1+2n)(-1+3n+3n^2)$
所以S(1,n)|S(2,n)|S(4,n),而1|2|4

TOP

本帖最后由 realnumber 于 2019-10-22 09:30 编辑

记$S(m,n)=1^m+2^m+3^m+....+n^m$,n,m都是正整数.
可以用数学归纳法证明$n\mid S(m,n)$
m=2,3,4时有$n\mid S(m,n)$成立
假设m<k+1时,都成立
当m=k+1时  (以下都是:左边第2个二项式定理展开,抵消最高次后变右边)
\[ n^{k+2}-(n-1)^{k+2}=C_{k+2}^1n^{k+1}-C_{k+2}^2n^k+...-(-1)^{k+1}C_{k+2}^{k+1}n-(-1)^{k+2}\]
\[ (n-1)^{k+2}-(n-1-1)^{k+2}=C_{k+2}^1(n-1)^{k+1}-C_{k+2}^2(n-1)^k+...\]
\[......\]
\[1^{k+2}-(1-1)^{k+2}=C_{k+2}^11^{k+1}-C_{k+2}^21^k+...\]
以上n个等式相加得到
\[n^{k+2}=C_{k+2}^1S(k+1,n)-C_{k+2}^2S(k,n)+C_{k+2}^3S(k-1,n)-...-(-1)^{k+1}C_{k+2}^{k+1}S(1,n)-(-1)^{k+2}n\]
由归纳假设得到$n\mid C_{k+2}^1S(k+1,n)$----(*)
    即$n\mid S(k+1,n)$
由1,2可得即$n\mid S(m,n)$.
即$n\mid 1^m+2^m+...+(n-1)^m$,n用n+1替换得到
$(n+1)\mid 1^m+2^m+...+n^m$,又(n,n+1)=1
得到$n(n+1)\mid 1^m+2^m+...+n^m$,即S(1,n)│S(m,n)
     (*)有漏洞吗?比如k+2=tn时?又觉得可以了,k,n是不同的字母,---???

TOP

6楼对吗?确认一下hbghlyj

TOP

可能相关的一个问题:
证明不定方程$1^m+2^m+....+n^m=(n+1)^m$只有一组正整数解
(n,m)=(2,1)


这样可以吗?由6楼结论$n(n+1)\mid 2(1^m+2^m+....+n^m)$
即$n(n+1)\mid 2(n+1)^m$,因此只能是n=2
--不过林根老师并不认可.

TOP

返回列表 回复 发帖