24小时热门版块排行榜    

Znn3bq.jpeg
查看: 1963  |  回复: 12
【有奖交流】积极回复本帖子,参与交流,就有机会分得作者 Edstrayer 的 15 个金币

Edstrayer

版主 (著名写手)

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

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

是素数:试证:

回复此楼

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

大学数学习题汇刊专辑

» 猜你喜欢

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

青葱岁月圣诞夜,浪漫歌舞迎新年。
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
回帖支持 ( 显示支持度最高的前 50 名 )

Edstrayer

版主 (著名写手)

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

引用回帖:
11楼: Originally posted by 数学老学徒 at 2015-10-16 19:49:44
数学重要的是找到漂亮的联系,回到本原。

谢谢啊,数学的本质是能够尽可能简单地找到隐藏在繁杂的数字与形式之中的规律,…………找到漂亮完美的联系是一种手段和方法,………………与君共勉。
青葱岁月圣诞夜,浪漫歌舞迎新年。
12楼2015-10-17 07:26:27
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通回帖

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的回帖

Edstrayer

版主 (著名写手)

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

顶一个
青葱岁月圣诞夜,浪漫歌舞迎新年。
5楼2014-10-07 12:43:03
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Edstrayer

版主 (著名写手)

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

顶一个
青葱岁月圣诞夜,浪漫歌舞迎新年。
6楼2015-08-17 05:26:26
已阅   回复此楼   关注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的回帖

Edstrayer

版主 (著名写手)

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

引用回帖:
7楼: Originally posted by hank612 at 2015-08-19 01:42:37
我自己看了一下以前的回复, 不知所云. 数学不应该是这样的, 而是简单而深刻的.

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

设n>1, 1\leq m \leq \phi(n) 正整数. f(x1,x2,..., ...

一楼的结果对p=5时不成立。事实上,我们有:


而38不是5的倍数。
青葱岁月圣诞夜,浪漫歌舞迎新年。
8楼2015-08-19 08:00:03
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
引用回帖:
8楼: Originally posted by Edstrayer at 2015-08-19 08:00:03
一楼的结果对p=5时不成立。事实上,我们有:
\sum\limits_{1\leqslant i<j<k\leqslant 4}ijk=1\cdot 2\cdot 3+1\cdot 2\cdot 4+2\cdot 3\cdot 4=38
而38不是5的倍数。...

一楼的结果对p=5时成立。事实上,我们有:



而50是5的倍数。
We_must_know. We_will_know.
9楼2015-08-19 08:07:06
已阅   回复此楼   关注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的回帖
相关版块跳转 我要订阅楼主 Edstrayer 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[论文投稿] 急需审稿人!!! +3 陆小果画大饼 2026-04-21 3/150 2026-04-21 23:54 by jzy_123456
[考博] 申博/考博 +4 啃面包的小书虫 2026-04-17 8/400 2026-04-21 16:26 by 啃面包的小书虫
[考研] 295分求调剂 +6 ?要上岸? 2026-04-17 6/300 2026-04-21 08:18 by Equinoxhua
[考研] 085600材料与化工调剂 5+3 孜孜不倦2002 2026-04-19 6/300 2026-04-20 21:25 by babero
[论文投稿] 期刊推荐 +3 材料研究生 2026-04-15 5/250 2026-04-20 16:02 by 豆豆7758
[论文投稿] 有没有接收比较快的sci期刊呀,最好在一个月之内的,研三孩子求毕业 20+4 之护着 2026-04-16 7/350 2026-04-20 15:45 by 豆豆7758
[教师之家] 又一批高校组建人工智能学院 师资行吗 不是骗人吗 +4 yexuqing 2026-04-19 4/200 2026-04-20 14:47 by brantleo
[考博] 申博 +3 Xyyx. 2026-04-18 3/150 2026-04-20 10:44 by YuY66
[考博] 湖南大学刘巧玲课题组2026年第二批次博士研究生招生信息 +3 南风观火 2026-04-18 5/250 2026-04-20 10:13 by 南风观火
[考研] 求计算机方向调剂 +3 Toffee2 2026-04-16 6/300 2026-04-19 22:37 by ll叶
[考研] 294求调剂 +8 淡然654321 2026-04-17 9/450 2026-04-19 19:51 by Equinoxhua
[考研] 304求调剂 +8 castLight 2026-04-16 8/400 2026-04-19 17:14 by 中豫男
[考研] 求调剂 +6 苦命人。。。 2026-04-18 7/350 2026-04-19 16:27 by 中豫男
[考研] 294求调剂 +15 淡然654321 2026-04-15 15/750 2026-04-19 08:20 by cuisz
[考研] 0854求调剂 +23 门路摸摸 2026-04-15 27/1350 2026-04-19 01:59 by 烟雨流涯
[考研] 300求调剂 +12 橙a777 2026-04-15 12/600 2026-04-18 23:51 by 路病情
[考研] 接受任何调剂 +6 也就是栗子 2026-04-17 7/350 2026-04-18 17:20 by 涵竹刘
[考研] 260求调剂 +4 Zyt1314520.. 2026-04-17 5/250 2026-04-18 08:28 by babysonlkd
[考研] 急需调剂 +9 绝不放弃22 2026-04-15 10/500 2026-04-18 08:09 by chixmc
[考研] 322求调剂 +6 tekuzu 2026-04-17 6/300 2026-04-17 13:48 by Espannnnnol
信息提示
请填处理意见