应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 考博考研 » 一个级数求和的问题？
51/1返回列表
查看: 2309  |  回复: 12
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
【有奖交流】积极回复本帖子，参与交流，就有机会分得作者 Edstrayer 的 15 个金币
当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

Edstrayer

版主 (著名写手)

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

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

设是素数：试证：
回复此楼

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

大学数学习题汇刊专辑

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
青葱岁月圣诞夜，浪漫歌舞迎新年。
1楼 2014-04-20 01:51:44
已阅   回复此楼   关注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的回帖
查看全部 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, 给个红包，谢谢回帖
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的回帖
查看全部 13 个回答
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 大佬帮着分析今年的评审意见？该课题连续申请了三年了，明年要不要换个方向。 100+3 cai-11138 2026-08-31 11/550 2026-09-06 20:49 by archvillain
[考博] 售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急 +3 j5mmowWXNWxv 2026-09-05 4/200 2026-09-06 19:21 by eObJPa4gWmp6
[公派出国] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +3 jPDp0sc2B7zQ 2026-09-05 4/200 2026-09-06 18:09 by eObJPa4gWmp6
[论文投稿] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +4 jPDp0sc2B7zQ 2026-09-05 6/300 2026-09-06 18:01 by eObJPa4gWmp6
[找工作] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +3 jPDp0sc2B7zQ 2026-09-05 8/400 2026-09-06 17:49 by eObJPa4gWmp6
[教师之家] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +3 jPDp0sc2B7zQ 2026-09-05 9/450 2026-09-06 17:09 by eObJPa4gWmp6
[考研] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +3 jPDp0sc2B7zQ 2026-09-04 8/400 2026-09-06 17:09 by eObJPa4gWmp6
[博后之家] 广西大学-广州大学招聘博士后 欢迎广大优秀人才！！！ +5 SCSIOyxguo 2026-09-03 8/400 2026-09-06 15:06 by 可爱小花朵
[教师之家] 售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急 +3 j5mmowWXNWxv 2026-09-05 3/150 2026-09-06 13:09 by eObJPa4gWmp6
[考博] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +3 j5mmowWXNWxv 2026-09-05 4/200 2026-09-06 12:49 by eObJPa4gWmp6
[基金申请] 售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急 +3 j5mmowWXNWxv 2026-09-05 3/150 2026-09-06 12:49 by eObJPa4gWmp6
[博后之家] 售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急 +3 jPDp0sc2B7zQ 2026-09-05 8/400 2026-09-06 11:09 by eObJPa4gWmp6
[论文投稿] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +3 jPDp0sc2B7zQ 2026-09-04 8/400 2026-09-06 11:00 by eObJPa4gWmp6
[考研] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +3 jPDp0sc2B7zQ 2026-09-05 4/200 2026-09-06 07:20 by E1iiBLMU2XnD
[论文投稿] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +6 7ZYIEW2YWn72 2026-09-04 9/450 2026-09-06 06:00 by E1iiBLMU2XnD
[教师之家] 售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急 +8 CRJ0Aq2FtVH0 2026-09-03 15/750 2026-09-06 05:48 by E1iiBLMU2XnD
[基金申请] 面上没中，邀请各位路过的虫友分析一下分数 +12 jackleilei 2026-09-03 13/650 2026-09-05 18:10 by fireguard
[文学芳草园] 初秋的晨风 +4 阿美_Lml888 2026-09-04 6/300 2026-09-05 13:51 by 阿美_Lml888
[基金申请] 学科评审组评审是指会评吗？ +6 瞬息宇宙 2026-08-31 9/450 2026-09-05 13:11 by haizai99
[基金申请] 要骂人了，新模版改版就是要淡化问题凝练这种虚的东西，结果有个评委还在说凝练得不够 +9 瞬息宇宙 2026-08-31 17/850 2026-09-02 14:04 by anjeeshine
信息提示
关闭
请填处理意见
关闭