24小时热门版块排行榜    

CyRhmU.jpeg
查看: 1725  |  回复: 12
【有奖交流】积极回复本帖子,参与交流,就有机会分得作者 Edstrayer 的 15 个金币
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

[交流] 一个级数求和的问题?

是素数:试证:

回复此楼

» 收录本帖的淘帖专辑推荐

大学数学习题汇刊专辑

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

青葱岁月圣诞夜,浪漫歌舞迎新年。
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

数学老学徒

金虫 (小有名气)

★ ★ ★ ★ ★ ★
小木虫: 金币+0.5, 给个红包,谢谢回帖
Edstrayer: 金币+5, 谢谢 2015-11-02 17:59:49
未来属于开拓者
10楼2015-10-16 13:52:45
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 13 个回答

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

是素数,试证:



是素数,试证:

青葱岁月圣诞夜,浪漫歌舞迎新年。
2楼2014-04-20 07:39:57
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
引理1: 如果p>2是素数, (p-1)不整除正整数n, 那么 Sum_{1<= k <= p-1} k^n =0 (mod p)

证明:mod p 有原根 (可以参考https://zh.wikipedia.org/wiki/%E5%8E%9F%E6%A0%B9),设为c, 即c的阶为(p-1). 由n的条件知 c^n 不等于 1 (mod p). 然而
Sum_{1<= k <= p-1} k^n = c^n Sum_{1<= k <= p-1} k^n (mod p)
所以Sum_{1<= k <= p-1} k^n =0 (mod p)

引理2: Sum_{1<=i, j, k <=p-1} ijk =3! * Sum_{1<=i <j <k <= p-1} ijk + 3 * Sum_{1<= i ,k <= p-1} i^2*k

证明:好像是显然的,但讲不清楚, 略。

由引理1和引理2, 加上 3!=6 (mod p) 当 p>5时可逆, 所以命题成立
p |  Sum_{1<=i <j <k <= p-1} ijk.
We_must_know. We_will_know.
3楼2014-04-20 07:58:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
引用回帖:
3楼: Originally posted by hank612 at 2014-04-20 07:58:01
引理1: 如果p>2是素数, (p-1)不整除正整数n, 那么 Sum_{1<= k <= p-1} k^n =0 (mod p)

证明:mod p 有原根 (可以参考https://zh.wikipedia.org/wiki/%E5%8E%9F%E6%A0%B9),设为c, 即c的阶为(p-1). 由 ...

好像引理2 不对, 改成
Sum_{1<=i, j, k <=p-1} ijk =3! * Sum_{1<=i <j <k <= p-1} ijk + 3 * Sum_{1<= i ,k <= p-1} i^2*k - 2* Sum_{1<=k <= p-1} k^3
希望这次对的。

不过总感觉怪怪的, 好像什么都没说,只是捡了一个最软的柿子捏了捏 (指引理1),然后一路显然。。。
We_must_know. We_will_know.
4楼2014-04-20 08:04:19
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通表情 高级回复(可上传附件)
信息提示
请填处理意见