Re: [问卦] 质数到底有什么用?

楼主: jayfrog (寫不出coding)   2015-03-11 01:24:28
听说在睡前打一篇数学文有益睡眠,那今天就来谈谈一个很特别的function叫:
φ-function
φ-function 的定义方式很特别:给一个整数n>0,而所谓的φ(n)是指比n小并跟与n
互质的数的个数。
相信应该有人看不太懂这个定义,来个例子应该可以让大家比较好了解。
例:φ(30)=8。写成这样有没有比较好懂呢?(误
比30小并且跟30互质的正整数分别有:1,7,11,13,17,19,23,29 刚好是8个数
所以φ(30)=8。
我们再来看下一个例子:φ(9)=6。
因为比9小并且跟9互质的正整数分别是:1,2,4,5,7,8 刚好是6个数,所以φ(9)=6。
为什么要谈到这个呢?
想必大家应该都有听过费马小定理吧,其实有一个定理长得跟费马小定理很像,
叫做Euler-theorem。
费马小定理是长成这样:if p is a prime,then a^(p-1) ≡ 1 (mod p) as gcd(a,p)=1.
而Euler-theorem 则是这样:if n>0 and gcd(a,n)=1, then a^(φ(n)) ≡1 (mod n)
是不是长得很像呢?
(注:在这先说明一下符号的意思好了,所谓的gcd(a,p) 就是指a跟p的最大公因子,
这个我想大家的问题应该不大。比较大的是应该是 a ≡ 1 (mod p) 这个符号。
上面的符号是说 a除以p会余1的意思,用数学式写的话就是这样:a ÷ p = Q.....1
举个例子大概是 37÷5=7....2,所以就可以写成 37 ≡ 2 (mod 5) )
而眼尖的人应该发现了 如果p是质数的话,那φ(p)=p-1。
所以说Euler-theorem算是费马小定理推广。
而Euler-theorem的证明也没有很难就是了。
若给一大于0的正整数n,由φ(n)的定义可得知,有φ(n)个比n小的正整数与n互质
令这些数为:a_1, a_2,...,a_φ(n)。
若给定一个a 并且 gcd (a,n)=1
那下列的结果: a*a_1 ≡ b_1 (mod n)
a*a_2 ≡ b_2 (mod n)
.
.
.
a*a_φ(n) ≡ b_φ(n) (mod n)
然后将上面的式子全部乘起来就会得到
a^(φ(n))(a_1*a_2*....*a_φ(n)) ≡ b_1*b_2*...*b_φ(n) (mod n)
因为比n小并且跟n互质的数是固定的,所以任给a_i 一定会跟某一个 b_j一样
并且这些数都跟n互质,所以我们可以直接约掉。
之后就可以得到 a^(φ(n)) ≡ 1 (mod n) 这个结果了。
然后把n用质数代进去后,就可以证明费马小定理了。
好了,希望大家能有一个好眠的日子,我们明天见(?
作者: krishuang (五柳先生)   2015-03-11 01:26:00
又有好文可以看了
作者: qq251988 (皇民)   2015-03-11 01:26:00
感谢助眠
作者: azzc1031 (azzc1031)   2015-03-11 01:27:00
作者: ggBird (ggBird)   2015-03-11 01:28:00
躺在床上看这篇,睡不着了
作者: gy0178 (~~)   2015-03-11 01:29:00
头皮发麻
作者: peterscaa (lousai)   2015-03-11 01:30:00
糟糕 兴致来了
作者: jyekid (会呼吸的痛)   2015-03-11 01:33:00
废小马定理当初怎么发现的 好屌
作者: ma4wanderer (醉月湖之狼)   2015-03-11 01:36:00
你少说bj不会重复吧?
作者: waloloo (ARIAxヨシノヤ )   2015-03-11 01:38:00
我睡着了
作者: krishuang (五柳先生)   2015-03-11 01:39:00
有mod n在不是吗?
作者: ma4wanderer (醉月湖之狼)   2015-03-11 01:41:00
就不失一般性假设b1=b2 两式相减就有矛盾了
作者: rainfarmer (伴蓝比翼鸟)   2015-03-11 01:58:00
深夜好文 比仇肥宅文有深度多了
作者: daniel54088 (daniel54088)   2015-03-11 02:01:00
嗯嗯跟我想的一样
作者: ma4wanderer (醉月湖之狼)   2015-03-11 02:22:00
我就是说那句 要用我那句去证...你说我那句是你那句的结果 根本因果倒置= =

Links booklink

Contact Us: admin [ a t ] ucptt.com