24小时热门版块排行榜    

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

Edstrayer

版主 (著名写手)

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

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

是素数:试证:

回复此楼

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

大学数学习题汇刊专辑

» 猜你喜欢

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

青葱岁月圣诞夜,浪漫歌舞迎新年。
已阅   回复此楼   关注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的回帖
查看全部 13 个回答

Edstrayer

版主 (著名写手)

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

是素数,试证:



是素数,试证:

青葱岁月圣诞夜,浪漫歌舞迎新年。
2楼2014-04-20 07:39:57
已阅   回复此楼   关注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的回帖

hank612

至尊木虫 (著名写手)

★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
小木虫: 金币+0.5, 给个红包,谢谢回帖
Edstrayer: 金币+10, 很巧妙的证法,其实这几个题目也可以通过直接求和计算论证。 2015-08-19 07:41:36
引用回帖:
6楼: Originally posted by Edstrayer at 2015-08-17 05:26:26
顶一个

我自己看了一下以前的回复, 不知所云. 数学不应该是这样的, 而是简单而深刻的.

我们可以把Edstrayer的题目推广, 然后就知道题目真正想问的是什么了.

设n>1, 正整数. f(x1,x2,...,xm)为m个变量的齐次对称函数. (对称指f(...,xi,..,xj,...)=f(...,xj,..,xi,..), 对任意, 奇次指存在k, 使得)

引理: 若, f(x1,x2,...,xm)为m个变量的次数为k的齐次对称函数, 那么对于与n互素的任意整数a, (即 (a,n)=1), 均有
, 其中求和取遍n的既约剩余系中m元的互异元素组.

证明: 定义而已.

求和针对所有的(x1,...,xm), xi互不相同, 与n互素. 那么(a*x1,..,a*xm) 同样满足a*xi依旧互不相同, 与n互素.  对所有的(a*x1,..,a*xm)求和,自然就. 加上f是齐次对称的, 引理成立.

利用这个引理, 当n=p素数, , , 立刻得到费马小定理:

当n=p素数, m=3, f(x1,x2,x3)=x1*x2*x3, 立刻得到 Edstrayer 的定理. (包括一楼,二楼的, 同时成立), 并且知道p=5时定理依然成立.
We_must_know. We_will_know.
7楼2015-08-19 01:42:37
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 有时候,自然基金真的不能太认真 (我的申报经验) +9 majunge000 2026-08-11 11/550 2026-08-15 23:20 by botar
[基金申请] filecode=后面第一个是大写字母 +6 wangze12014 2026-08-14 7/350 2026-08-15 20:12 by gltch
[基金申请] 小木虫上这么多卖论文的,真有人买论文么?感觉没必要啊 +12 Tide man 2026-08-10 13/650 2026-08-15 16:34 by 氺木
[基金申请] 关于Filecode分析方法 +10 majunge000 2026-08-10 13/650 2026-08-15 12:26 by hanpeng972
[基金申请] 咱们一起用铁证分析2026国家社科基金中标与否 +7 启萌科技 2026-08-12 22/1100 2026-08-14 23:45 by Noways
[基金申请] 是这周出结果还是下周出结果? +4 yuleib84 2026-08-11 4/200 2026-08-14 23:05 by lfy8008
[基金申请] 奇怪,两个人的filecode固定段从头到尾一模一样 +8 布布和一二 2026-08-10 11/550 2026-08-14 14:58 by Equinoxhua
[基金申请] 应该是93bebmhtak前后十一个字符比较关键 +23 Lanmanbaby 2026-08-09 37/1850 2026-08-14 13:40 by Equinoxhua
[硕博家园] 请教兼职经验 +3 是阿文鸭 2026-08-09 3/150 2026-08-14 12:07 by HER12025
[硕博家园] 读博的好处 +4 lnee 2026-08-11 4/200 2026-08-14 10:20 by ahsoarli
[基金申请] filecode +15 documentary 2026-08-10 17/850 2026-08-14 10:08 by kissu88
[基金申请] FileCode能看出啥? +10 要乐观耀哥 2026-08-10 32/1600 2026-08-14 09:37 by 要乐观耀哥
[基金申请] 我的国基提前知道中了,可是同事的操作让我实在接受不了,怎么会有这样的人 +10 家与远方 2026-08-10 15/750 2026-08-14 02:08 by 绵羊哥哥
[基金申请] 静等基金结果 +8 gjjjzhong 2026-08-10 21/1050 2026-08-13 17:56 by 且听虎啸
[基金申请] 不应该看fileCode +7 且听虎啸 2026-08-12 9/450 2026-08-13 14:27 by flydreamws
[基金申请] Filecode 又变了,巨变 +3 WH3796 2026-08-12 4/200 2026-08-13 14:13 by 小木虫6752397
[基金申请] 2019年青年基金涵评意见,大家看看几个A,几个B? +11 Tide man 2026-08-11 11/550 2026-08-13 07:35 by 撸猫猫
[基金申请] 为什么网上很多人说本周 12号出结果 +6 瞬息宇宙 2026-08-10 7/350 2026-08-11 19:25 by Tide man
[基金申请] 什么时候出结果,有咨询渠道??? +3 Tide man 2026-08-11 3/150 2026-08-11 17:54 by kudofaye
[基金申请] 据悉今年马上要出结果了 +7 瞬息宇宙 2026-08-10 8/400 2026-08-10 12:42 by Vivilian
信息提示
请填处理意见