欧拉定理和费马定理 - 教程
欧拉定理和费马定理
欧拉定理和费马定理(定理1,推论1)
定理1(欧拉定理)
设m mm是大于1 11的整数,( a , m ) = 1 , (a,m)=1,(a,m)=1,则
a φ ( m ) ≡ 1 ( m o d m ) a^{\varphi(m)} \equiv 1 \pmod maφ(m)≡1(modm)
欧拉是费马小定理的推广。
例 1:a = 3 , m = 10 a = 3,\ m = 10a=3, m=10,gcd ( 3 , 10 ) = 1 \gcd(3,10) = 1gcd(3,10)=1,φ ( 10 ) = 4 \varphi(10) = 4φ(10)=4
则3 4 ≡ 1 ( m o d 10 ) 3^4 \equiv 1 \pmod {10}34≡1(mod10)
欧拉定理的用途
- 模反元素(逆元)的计算(比如求a − 1 m o d n a^{-1} \bmod na−1modn)
- 模幂快速计算(特别在密码学、RSA算法中非常要紧)
- 推导 费马小定理(当 n nn 为素数时 φ ( n ) = n − 1 \varphi(n) = n-1φ(n)=n−1)
该的证明是既约剩余系的一个应用,下面来证明一下。
设r 1 , r 2 , … , r φ ( m ) r_1,r_2,\dots,r_{\varphi(m)}r1,r2,…,rφ(m)是模m mm的一个既约剩余系
( a , m ) = 1 (a,m)=1(a,m)=1由上一节的定理3可知
a r 1 , a r 2 , … , a r φ ( m ) ar_1,ar_2,\dots,ar_{\varphi(m)}ar1,ar2,…,arφ(m)也是模m mm的一个既约剩余系
由剩余系的定义可知,a r 1 ≡ r i 1 ( m o d m ) , … , a r φ ( m ) ≡ r i φ ( m ) ( m o d m ) ar_1 \equiv r_{i_{1}} \pmod m,\dots, ar_{\varphi(m) } \equiv r_{i_{\varphi(m)}}\pmod mar1≡ri1(modm),…,arφ(m)≡riφ(m)(modm)
于是我们就有乘起来也是同余的
a φ ( m ) r 1 r 2 … r φ ( m ) = ( a r 1 ) ( a r 2 ) … ( a r φ ( m ) ) ≡ r 1 r 2 … r φ ( m ) ( m o d m ) a^{\varphi(m)}r_1r_2\dots r_{\varphi(m)}=(ar_1)(ar_2)\dots (ar_{\varphi(m)}) \equiv r_1r_2\dots r_{\varphi(m)} \pmod maφ(m)r1r2…rφ(m)=(ar1)(ar2)…(arφ(m))≡r1r2…rφ(m)(modm)
这离我们要证的结论已经很近了,我们利用这一点:
若a ≡ b ( m o d m ) , a \equiv b \pmod m,a≡b(modm),且a = a 1 d , b = b 1 d , ( d , m ) = 1 , a=a_1d,b=b_1d,(d,m)=1,a=a1d,b=b1d,(d,m)=1,则a 1 ≡ b 1 ( m o d m ) a_1 \equiv b_1 \pmod ma1≡b1(modm).
于是我们只需要证明r 1 r 2 … r m r_1r_2\dots r_mr1r2…rm与m mm互素即可
因为r 1 , r 2 , … , r φ ( m ) r_1,r_2,\dots,r_{\varphi(m)}r1,r2,…,rφ(m)是模m mm的既约剩余系,所以这里面的任何一个与m mm都是互素的,所以显然r 1 r 2 … r m r_1r_2\dots r_mr1r2…rm与m mm互素
于是我们就可以把r 1 r 2 … r m r_1r_2\dots r_mr1r2…rm约去了,即有a φ ( m ) ≡ 1 ( m o d m ) a^{\varphi(m)} \equiv 1 \pmod maφ(m)≡1(modm)
推论1(费马小定理)
若p pp是素数,则a p ≡ a ( m o d p ) a^p \equiv a \pmod pap≡a(modp)
或者也可以写成a p − 1 ≡ 1 ( m o d p ) a^{p-1}\equiv 1 \pmod pap−1≡1(modp)
证明也好证
我们先把要证明需要使用到的引理写出来:p pp是素数,且a aa是整数,则p ∣ a p \mid ap∣a或( p , a ) = 1 (p,a)=1(p,a)=1
分类讨论一下
若p ∣ a p \mid ap∣a,有 a ≡ 0 ( m o d p ) a \equiv 0 \pmod pa≡0(modp)则a p ≡ 0 p = 0 ( m o d p ) , a ≡ 0 ( m o d p ) a^p \equiv 0^p=0 \pmod p, a \equiv 0 \pmod pap≡0p=0(modp),a≡0(modp)由这两个式子,利用同余的传递性,
a p ≡ a ( m o d p ) a^p \equiv a \pmod pap≡a(modp)
若( p , a ) = 1 (p,a)=1(p,a)=1相当于在定理1中p = m p=mp=m的情况,则有a φ ( p ) = p − 1 ≡ 1 ( m o d p ) a^{\varphi(p)=p-1} \equiv 1 \pmod paφ(p)=p−1≡1(modp)
再有a ≡ a ( m o d m ) a \equiv a \pmod ma≡a(modm)易得a p ≡ a ( m o d p ) a^p \equiv a \pmod pap≡a(modp)
下面看下怎么用
例1
设a ∈ Z + , a\in \mathbb{Z_+},a∈Z+,则a 5 a^5a5与a aa的个位数相同
即我们要证a 5 ≡ a ( m o d 10 ) a^5 \equiv a \pmod {10}a5≡a(mod10)
我们先用穷举法证明。
a aa的个位数字可能为0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 0,1,2,3,4,5,6,7,8,90,1,2,3,4,5,6,7,8,9
a 2 a^2a2的个位数字可能为0 , 1 , 4 , 9 , 6 , 5 , 6 , 9 , 4 , 1 0,1,4,9,6,5,6,9,4,10,1,4,9,6,5,6,9,4,1
a 3 a^3a3的个位数字可能为0 , 1 , 8 , 7 , 4 , 5 , 6 , 3 , 2 , 9 0,1,8,7,4,5,6,3,2,90,1,8,7,4,5,6,3,2,9
a 4 a^4a4的个位数字可能为0 , 1 , 6 , 1 , 6 , 5 , 6 , 1 , 6 , 1 0,1,6,1,6,5,6,1,6,10,1,6,1,6,5,6,1,6,1
a 5 a^5a5的个位数字可能为0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 0,1,2,3,4,5,6,7,8,90,1,2,3,4,5,6,7,8,9
于是我们可能得到a 5 ≡ a ( m o d 10 ) a^5 \equiv a \pmod {10}a5≡a(mod10)
下面我们使用费马小定理证明
a 2 ≡ a ( m o d 2 ) ⇒ a 4 ≡ a 2 ( m o d 2 ) , a 2 ≡ a ( m o d 2 ) a^2 \equiv a \pmod 2 \Rightarrow a^4 \equiv a^2 \pmod 2,a^2 \equiv a \pmod 2a2≡a(mod2)⇒a4≡a2(mod2),a2≡a(mod2)
由传递性a 4 ≡ a ( m o d 2 ) a^4 \equiv a \pmod 2a4≡a(mod2)于是a 5 ≡ a ( m o d 2 ) a^5 \equiv a \pmod 2a5≡a(mod2)
故2 ∣ ( a 5 − a ) 2 \mid (a^5-a)2∣(a5−a)
再有a 5 ≡ a ( m o d 5 ) a^5 \equiv a \pmod 5a5≡a(mod5)
5 ∣ ( a 5 − a ) 5 \mid (a^5-a)5∣(a5−a)
于是有10 ∣ ( a 5 − a ) ⇔ a 5 ≡ a ( m o d 10 ) 10 \mid (a^5-a) \Leftrightarrow a^5 \equiv a \pmod {10}10∣(a5−a)⇔a5≡a(mod10)
我们有命题1就是聪明的读者可能已经发现了,个位数字变化的周期是4,刚刚我们用穷举法的时候已经看到了,于
费马定理的应用-尾数问题(命题1)
命题1
设a , m ∈ Z + , a,m \in \mathbb{Z_+},a,m∈Z+,则a m + 4 , a m a^{m+4},a^{m}am+4,am的个位数字相同(即正整数的正整数次幂的个位数字是以4 44为周期变化的)。
推论2
- 个位数字是0 , 1 , 5 , 6 0,1,5,60,1,5,6的任何正整数幂,其个位数字仍是0 , 1 , 5 , 6 0,1,5,60,1,5,6
- 2 n 2^n2n的个位数字以2 , 4 , 8 , 6 2,4,8,62,4,8,6为一个周期循环变化
- 3 n 3^n3n的个位数字以3 , 9 , 7 , 1 3,9,7,13,9,7,1为一个周期循环变化
- 4 n 4^n4n的个位数字以4 , 6 , 4 , 6 4,6,4,64,6,4,6为一个周期循环变化
- 7 n 7^n7n的个位数字以7 , 9 , 3 , 1 7,9,3,17,9,3,1为一个周期循环变化
- 8 n 8^n8n的个位数字以8 , 4 , 2 , 6 8,4,2,68,4,2,6为一个周期循环变化
- 9 n 9^n9n的个位数字以9 , 1 , 9 , 1 9,1,9,19,1,9,1为一个周期循环变化
这个其实不用记,稍微一想就知道怎么搞了。
例2
求下列各数的个位数字
2 100 + 3 101 + 4 102 2^{100}+3^{101}+4^{102}2100+3101+4102
2022 2020 2021 2022^{2020^{2021}}202220202021
1 5 + 2 5 + 3 5 + ⋯ + 2021 5 + 2022 5 1^5+2^5+3^5+\dots+2021^5+2022^515+25+35+⋯+20215+20225
2 100 ≡ 6 ( m o d 10 ) , 3 101 ≡ 3 ( m o d 10 ) , 4 102 ≡ 6 ( m o d 10 ) 2^{100} \equiv 6 \pmod {10}, 3^{101} \equiv 3 \pmod {10},4^{102} \equiv 6 \pmod {10}2100≡6(mod10),3101≡3(mod10),4102≡6(mod10)
于是2 100 + 3 101 + 4 102 ≡ 5 + 3 + 6 ( m o d 10 ) 2^{100}+3^{101}+4^{102} \equiv 5 + 3+6 \pmod {10}2100+3101+4102≡5+3+6(mod10)故有个位数字为5 55
注意到2020 2021 2020^{2021}20202021的个位是按周期为4 44来变化的,2020 20202020是偶数所以2020 2021 2020^{2021}20202021是4 44的倍数
然后我们看末位数字2 22的变化情况2 , 4 , 8 , 6 2,4,8,62,4,8,6很容易知道尾数为6
这个很容易想到例1的结果:a 5 ≡ a ( m o d 10 ) a^5 \equiv a \pmod {10}a5≡a(mod10)
于是1 5 + 2 5 + 3 5 + ⋯ + 2021 5 + 2022 5 ≡ 1 + 2 + 3 + ⋯ + 2022 ( m o d 10 ) 1^5+2^5+3^5+\dots+2021^5+2022^5 \equiv 1 + 2+3+\dots +2022\pmod {10}15+25+35+⋯+20215+20225≡1+2+3+⋯+2022(mod10)
我们只需要求就是于1 + 2 + ⋯ + 2022 = 2023 × 1011 1+2+\dots+2022=2023\times 10111+2+⋯+2022=2023×1011的个位数 很容易知道为3 33
欧拉定理的应用-纯循环小数的表示(定理2)
练习1
指出下列哪些小数是纯循环小数,哪些是混循环小数,并指出循环节和循环节的长度。
- 0.316311631116311116... 0.316311631116311116...0.316311631116311116...啥也不是,应该是无限不循环小数
- 0.31636363... 0.31636363...0.31636363... 循环节为63 6363长度为2 22
- 0.3333.... 0.3333....0.3333....很明显循环节长度为1 11,循环节是3 33
- 0.891643891643891643... 0.891643891643891643...0.891643891643891643...循环节长度是6 66,循环节为891643 891643891643
- 0.23565787878... 0.23565787878...0.23565787878...循环节为78 7878长度为2 22
- 0.473473473. 0.473473473.0.473473473.这是有限小数。。。
其中2 22和5 55是混循环小数,3 33和4 44是纯循环小数。
定义1
对于一个无限小数0. a 1 a 2 , … a n … 0.a_1a_2,\dots a_n\dots0.a1a2,…an…(a n a_nan是0 , 1 , 2 , … , 9 0,1,2,\dots,90,1,2,…,9之中的一个数,并且从任何一位以后不全是0 00),能找到两个整数s ≥ 0 , t > 0 , s \ge 0,t > 0,s≥0,t>0,使得
a s + i = a s + k t + i , i = 1 , 2 , … , t ; k = 0 , 1 , 2 , … a_{s+i}=a_{s+kt+i},i=1,2,\dots,t;k=0,1,2,\dotsas+i=as+kt+i,i=1,2,…,t;k=0,1,2,…
大家就称它为循环小数,并且容易地把它记作0. a 1 a 2 … a s a s + 1 ˙ … a s + t ˙ \displaystyle 0.a_1a_2\dots a_s \dot{a_{s+1}}\dots \dot{a_{s+t}}0.a1a2…asas+1˙…as+t˙
对于循环小数而言,具有上诉性质的s ss及t tt是不止一个的。若是找到的t tt是最小的,我们就称a s + 1 , a s + 2 , … , a s + t a_{s+1},a_{s+2},\dots,a_{s+t}as+1,as+2,…,as+t为循环节,t tt称为循环节的
长度;若最小的s = 0 , s=0,s=0,那小数就叫纯循环小数,否则就叫混循环小数。
练习2
将下列分数化为小数,并指出哪些是有限小数,哪些是纯循环小数,哪些是混循环小数。
1 2 , 1 3 , 1 4 , 1 5 , 1 6 , 1 7 , 1 8 , 1 9 \dfrac{1}{2},\dfrac{1}{3},\dfrac{1}{4},\dfrac{1}{5},\dfrac{1}{6},\dfrac{1}{7},\dfrac{1}{8},\dfrac{1}{9}21,31,41,51,61,71,81,91
1 2 = 0.5 , \dfrac{1}{2}=0.5,21=0.5,有限小数
1 3 = 0. 3 ˙ , \dfrac{1}{3}=0.\dot{3},31=0.3˙,纯循环小数
1 4 = 0.25 , \dfrac{1}{4}=0.25,41=0.25,有限小数
1 5 = 0.2 , \dfrac{1}{5}=0.2,51=0.2,有限小数
1 6 = 0.1 6 ˙ , \dfrac{1}{6}=0.1\dot{6},61=0.16˙,混循环小数
1 7 = 0. 1 ˙ 4285 7 ˙ , \dfrac{1}{7}=0.\dot{1}4285\dot{7},71=0.1˙42857˙,纯循环小数
1 8 = 0.125 , \dfrac{1}{8}=0.125,81=0.125,有限小数
1 9 = 0. 1 ˙ , \dfrac{1}{9}=0.\dot{1},91=0.1˙,纯循环小数
不难发现,纯循环小数的分母和10 1010十进制 而就是都是互素的,因为φ ( 10 ) = 4 \varphi(10)=4φ(10)=4(1除外)因此只有三个
进而这有一个定理
定理2
有理数a b , 0 < a < b , ( a , b ) = 1 \dfrac{a}{b},0<a<b,(a,b)=1ba,0<a<b,(a,b)=1能表示成纯循环小数的充要条件是( b , 10 ) = 1 (b,10)=1(b,10)=1
下面来证明一下
先来看充分性,缘于a b \dfrac{a}{b}ba能表示为纯循环小数且0 < a b < 1 0<\dfrac{a}{b}<10<ba<1,不妨设a b = 0. a 1 ˙ a 2 … a t ( t ≥ 1 ) = 0. a 1 a 2 … a t a 1 a 2 … a t … \dfrac{a}{b}=0.\dot{a_1}a_2\dots a_{t}(t \ge 1)=0.a_1a_2\dots a_ta_1a_2\dots a_{t}\dotsba=0.a1˙a2…at(t≥1)=0.a1a2…ata1a2…at…
所以有10 t a b = a 1 a 2 … a t + 0. a 1 ˙ … a t ˙ = q + a b ( q = a 1 a 2 … a t > 0 ) 10^t \dfrac{a}{b}=a_1a_2\dots a_t+0.\dot{a_1}\dots \dot{a_{t}}=q+\dfrac{a}{b}(q=a_1a_2\dots a_t>0)10tba=a1a2…at+0.a1˙…at˙=q+ba(q=a1a2…at>0)
( 10 t − 1 ) a = b q ⇒ b ∣ ( 10 t − 1 ) a ⇒ b ∣ ( 10 t − 1 ) (10^t-1)a=bq \Rightarrow b\mid (10^t-1)a \Rightarrow b \mid (10^t-1)(10t−1)a=bq⇒b∣(10t−1)a⇒b∣(10t−1)
∃ u ∈ Z , \exist u \in \mathbb{Z},∃u∈Z,有10 t − 1 = b u ⇒ 10 t − 1 ⋅ 10 + b ( − u ) = 1 10^t -1=bu \Rightarrow 10^{t-1}\cdot10+b(-u)=110t−1=bu⇒10t−1⋅10+b(−u)=1
利用裴蜀定理可知( b , 10 ) = 1 (b,10)=1(b,10)=1
至此充分性我们就证完了。
下面来看必要性
这个逻辑可能复杂一点,需要使用前面运用到的欧拉定理。
( b , 10 ) = 1 , (b,10)=1,(b,10)=1,由欧拉定理得10 φ ( b ) ≡ 1 ( m o d b ) 10^{\varphi(b)} \equiv 1 \pmod b10φ(b)≡1(modb)
存在最小的正整数t ≥ 1 t \ge 1t≥1使得10 t ≡ 1 ( m o d b ) , a ≡ a ( m o d b ) ⇒ a 10 t ≡ a ( m o d b ) 10^t \equiv 1 \pmod b, a \equiv a \pmod b \Rightarrow a10^t \equiv a \pmod b10t≡1(modb),a≡a(modb)⇒a10t≡a(modb)
从而b ∣ ( a 10 t − a ) b \mid (a10^t-a)b∣(a10t−a)利用整除定义∃ q ∈ Z , \exist q \in \mathbb{Z},∃q∈Z,有a 10 t − a = b q ⇒ a 10 t = b q + a a10^t-a=bq \Rightarrow a10^t=bq+aa10t−a=bq⇒a10t=bq+a
又a > 0 a>0a>0通过,由上式能够推出a 10 t > b q , a10^t>bq,a10t>bq,而b > 0 b>0b>0等式两边都除以b bb可知
q < 10 t ⋅ a b , 0 < a < b ⇒ a ≤ b − 1 q < 10^t \cdot \dfrac{a}{b}, 0 <a<b \Rightarrow a \le b-1q<10t⋅ba,0<a<b⇒a≤b−1
从而q < 10 t a b ≤ 10 t b − 1 b = 10 t ( 1 − 1 b ) q < 10^t\dfrac{a}{b} \le 10^{t}\dfrac{b-1}{b}=10^{t}(1-\dfrac{1}{b})q<10tba≤10tbb−1=10t(1−b1)
b ≥ 2 , b \ge 2,b≥2,因为0 < a < b 0 < a <b0<a<b而a , b a,ba,b都是整数
所以有q < 10 t ⇒ q ≤ 10 t − 1 q < 10^t \Rightarrow q\le 10^{t}-1q<10t⇒q≤10t−1
a 10 t − a = b q ≥ a 10 1 − a = 9 a > 0 ⇒ q a10^t-a=bq \ge a10^1-a=9a>0 \Rightarrow qa10t−a=bq≥a101−a=9a>0⇒q与b bb同号,b > 0 ⇒ q > 0 b>0 \Rightarrow q>0b>0⇒q>0
所以有0 < q ≤ 10 t − 1 ( t ≥ 1 ) 0 < q \le 10^t-1(t \ge 1)0<q≤10t−1(t≥1)
上式表明q qq至少是一个一位数,至多有t tt位数
由a 10 t = q b + a ⇒ 10 t ⋅ a b = q + a b ⇒ a b = q 10 t + a b × 10 − t a10^t=qb+a \Rightarrow 10^t \cdot \dfrac{a}{b}=q+\dfrac{a}{b} \Rightarrow \dfrac{a}{b}=\dfrac{q}{10^{t}}+\dfrac{a}{b}\times 10^{-t}a10t=qb+a⇒10t⋅ba=q+ba⇒ba=10tq+ba×10−t
不妨设q = a 1 a 2 … a t ( t ≥ 1 ) = 10 t − 1 a 1 + 10 t − 2 a 2 + ⋯ + 10 1 a t − 1 + a t q=a_1a_2\dots a_t(t \ge1)=10^{t-1}a_1+10^{t-2}a_2+\dots + 10^1a_{t-1}+a_tq=a1a2…at(t≥1)=10t−1a1+10t−2a2+⋯+101at−1+at
因为q > 0 q>0q>0所以a 1 , … , a t a_1,\dots,a_ta1,…,at不全为零
q = 10 t ( 10 − 1 a 1 + 10 − 2 a 2 + ⋯ + 10 − t a t ) = 10 t ⋅ 0. a 1 a 2 … a t q=10^t(10^{-1}a_1+10^{-2}a_2+\dots+10^{-t}a_t)=10^{t}\cdot 0.a_1a_2\dots a_tq=10t(10−1a1+10−2a2+⋯+10−tat)=10t⋅0.a1a2…at
带回去上面那个式子得到
a b = 0. a 1 a 2 … a t + 10 − t a b \dfrac{a}{b}=0.a_1a_2\dots a_t+10^{-t}\dfrac{a}{b}ba=0.a1a2…at+10−tba
这实际上是个递归公式我们不断的带入
就可以得到a b = 0. a 1 ˙ … a t ˙ \dfrac{a}{b}=0.\dot{a_1}\dots \dot{a_t}ba=0.a1˙…at˙
练习3
将下列混循环小数表示为分数
- 0.8 3 ˙ 0.8\dot{3}0.83˙
- 0.4 6 ˙ 0.4\dot{6}0.46˙
- 0.6 3 ˙ 0.6\dot{3}0.63˙
- 0.32 1 ˙ 4285 7 ˙ 0.32\dot{1}4285\dot{7}0.321˙42857˙
下列定理3会给出什么样的分数可以换成一个混循环小数。
我们令x = 0.8 3 ˙ ⇒ 10 x = 8 + 0. 3 ˙ = 8 + 1 3 = 25 3 ⇒ x = 5 6 x=0.8\dot{3} \Rightarrow 10x=8+0.\dot{3}=8+\dfrac{1}{3}=\dfrac{25}{3} \Rightarrow x=\dfrac{5}{6}x=0.83˙⇒10x=8+0.3˙=8+31=325⇒x=65
同样的办法我们可以做出剩下的这几题。
令x = 0.4 6 ˙ ⇒ 10 x = 4 + 0. 6 ˙ = 4 + 2 3 ⇒ x = 7 15 x=0.4\dot{6} \Rightarrow 10x=4+0.\dot{6}=4+\dfrac{2}{3} \Rightarrow x=\dfrac{7}{15}x=0.46˙⇒10x=4+0.6˙=4+32⇒x=157
x = 19 36 x=\dfrac{19}{36}x=3619
令x = 0.32 1 ˙ 4285 7 ˙ ⇒ 100 x = 32 + 1 ˙ 4285 7 ˙ = 32 + 1 7 ⇒ x = 9 28 x=0.32\dot{1}4285\dot{7} \Rightarrow 100x = 32 + \dot{1}4285\dot{7}=32+\dfrac{1}{7} \Rightarrow x=\dfrac{9}{28}x=0.321˙42857˙⇒100x=32+1˙42857˙=32+71⇒x=289
混循环小数的表示(定理3)
定理3
若a b \dfrac{a}{b}ba是有理数,其中0 < a < b , ( a , b ) = 1 , b = 2 α 5 β b 1 , ( b 1 , 10 ) = 1 , b 1 ≠ 1 , α , β 0<a<b,(a,b)=1,b=2^{\alpha}5^{\beta}b_1,(b_1,10)=1,b_1 \ne 1,\alpha,\beta0<a<b,(a,b)=1,b=2α5βb1,(b1,10)=1,b1=1,α,β不全为零,则a b \dfrac{a}{b}ba能够表示成混循环小数,其中不循环的位数是μ = m a x { α , β } \mu=max\{\alpha,\beta\}μ=max{α,β}。
这个证明难度不低,下面我们来一起证明一下这个定理。
不失一般性,设μ = β ≥ α \mu =\beta \ge \alphaμ=β≥α则
10 μ ⋅ a b = 10 μ a 2 α 5 β b 1 = 2 μ 5 μ ⋅ a 2 α 5 β b 1 = 2 μ − α ⋅ a b 1 10^{\mu}\cdot\dfrac{a}{b}=10^{\mu}\dfrac{a}{2^{\alpha}5^{\beta}b_1}=2^{\mu}5^{\mu}\cdot \dfrac{a}{2^{\alpha}5^{\beta}b_1}=\dfrac{2^{\mu-\alpha}\cdot a}{b_1}10μ⋅ba=10μ2α5βb1a=2μ5μ⋅2α5βb1a=b12μ−α⋅a
b = 2 α 5 β b 1 > 0 ⇒ b 1 > 0 b=2^{\alpha}5^{\beta}b_1 > 0 \Rightarrow b_1 > 0b=2α5βb1>0⇒b1>0
分子分母做个带余除法得2 μ − α ⋅ a = b 1 M + a 1 ( 0 ≤ a 1 < b 1 ) 2^{\mu-\alpha}\cdot a=b_1M+a_1\ (0 \le a_1 < b_1)2μ−α⋅a=b1M+a1 (0≤a1<b1)变形得
a μ − α ⋅ a b 1 = M + a 1 b 1 a^{\mu-\alpha}\cdot \dfrac{a}{b_1}=M+\dfrac{a_1}{b_1}aμ−α⋅b1a=M+b1a1
μ − α ⋅ a b 1 = 2 μ − α ⋅ a b 1 1 b ( 2 α 5 β b 1 ) = 10 μ ⋅ a b ^{\mu-\alpha}\cdot \dfrac{a}{b_1}=2^{\mu-\alpha}\cdot \dfrac{a}{b_1}\dfrac{1}{b}(2^{\alpha}5^{\beta}b_1)=10^{\mu}\cdot \dfrac{a}{b}μ−α⋅b1a=2μ−α⋅b1ab1(2α5βb1)=10μ⋅ba
从而有10 μ ⋅ a b = M + a 1 b 1 10^{\mu}\cdot \dfrac{a}{b}=M+\dfrac{a_1}{b_1}10μ⋅ba=M+b1a1
下面搞一搞M MM的范围
实际上上面那个a 1 a_1a1是不可能等于零的,我们应用反证法。
由前面的分析2 μ − α ⋅ a = b 1 M + a 1 2^{\mu-\alpha}\cdot a=b_1M+a_12μ−α⋅a=b1M+a1
下面证a 1 ≠ 0 a_1 \ne 0a1=0
b = 2 α 5 β b 1 ⇒ ( b 1 , 2 ) = 1 b=2^{\alpha}5^{\beta}b_1 \Rightarrow (b_1,2)=1b=2α5βb1⇒(b1,2)=1
我们假设a 1 = 0 a_1=0a1=0则2 μ − α a = b 1 M ⇒ b 1 ∣ 2 μ − α a ⇒ b 1 ∣ a , b 1 ∣ b 2^{\mu-\alpha}a=b_1M \Rightarrow b_1\mid 2^{\mu-\alpha}a \Rightarrow b_1 \mid a,b_1\mid b2μ−αa=b1M⇒b1∣2μ−αa⇒b1∣a,b1∣b
从而b 1 ∣ ( a , b ) = 1 b_1 \mid (a,b)=1b1∣(a,b)=1从而b 1 = 1 b_1=1b1=1这与已知矛盾,故a 1 ≠ 0 a_1 \ne 0a1=0
所以a 1 a_1a1的范围为0 < a 1 < b 1 0<a_1<b_10<a1<b1
下面我们从这个 除法找出M MM的范围
由2 μ − α ⋅ a = b 1 M + a 1 2^{\mu-\alpha}\cdot a=b_1M+a_12μ−α⋅a=b1M+a1可知M ≥ 0 M \ge 0M≥0
而M < M + a 1 b 1 = 10 μ ⋅ a b ⇒ 0 ≤ M < 10 u ( 0 ≤ M ≤ 10 μ − 1 ) M < M+\dfrac{a_1}{b_1}=10^{\mu}\cdot \dfrac{a}{b} \Rightarrow 0 \le M < 10^{u}(0 \le M \le 10^{\mu-1})M<M+b1a1=10μ⋅ba⇒0≤M<10u(0≤M≤10μ−1)
10 μ ⋅ a b = M + a 1 b 1 10^{\mu}\cdot \dfrac{a}{b}=M+\dfrac{a_1}{b_1}10μ⋅ba=M+b1a1两边同时除以10 μ 10^{\mu}10μ得
a b = M 10 μ ( 小数 ) + a 1 b 1 1 10 μ ( 循环节 ) \dfrac{a}{b}=\dfrac{M}{10^{\mu}}(小数)+\dfrac{a_1}{b_1}\dfrac{1}{10^{\mu}}(循环节)ba=10μM(小数)+b1a110μ1(循环节)
有理数a b , 0 < a < b , ( a , b ) = 1 \dfrac{a}{b},0<a<b,(a,b)=1ba,0<a<b,(a,b)=1能表示成纯循环小数的充要条件是( b , 10 ) = 1 (b,10)=1(b,10)=1
下面逐一验证条件,也即0 < a 1 < b 1 , ( a 1 , b 1 ) = 1 , ( b 1 , 10 ) = 1 0<a_1<b_1,(a_1,b_1)=1,(b_1,10)=10<a1<b1,(a1,b1)=1,(b1,10)=1
( a , b ) = 1 ⇒ a s + b t = 1 ⇒ a s + b 1 ( 2 α 5 β t ) = 1 ⇒ ( a , b 1 ) = 1 (a,b)=1 \Rightarrow as+bt=1\Rightarrow as+b_1(2^{\alpha}5^{\beta}t)=1 \Rightarrow (a,b_1)=1(a,b)=1⇒as+bt=1⇒as+b1(2α5βt)=1⇒(a,b1)=1
( 2 μ − α , b 1 ) = 1 (2^{\mu-\alpha},b_1)=1(2μ−α,b1)=1因为b 1 b_1b1中不含素因子2 22
( a 1 , b 1 ) = ( 2 μ − α a , b 1 ) = ( a , b 1 ) = 1 (a_1,b_1)=(2^{\mu-\alpha}a,b_1)=(a,b_1)=1(a1,b1)=(2μ−αa,b1)=(a,b1)=1(用到了:a = b q + c a=bq+ca=bq+c则( a , b ) = ( b , c ) (a,b)=(b,c)(a,b)=(b,c))
又( 10 , b 1 ) = 1 , 0 < a 1 < b 1 (10,b_1)=1,0<a_1<b_1(10,b1)=1,0<a1<b1(这是已知条件,不用证)
所以由定理2a 1 b 1 \dfrac{a_1}{b_1}b1a1是纯循环小数,记a 1 b 1 = 0. c 1 ˙ … c t ˙ \dfrac{a_1}{b_1}=0.\dot{c_1}\dots \dot{c_t}b1a1=0.c1˙…ct˙
因为0 ≤ M < 10 μ − 1 0 \le M < 10^{\mu}-10≤M<10μ−1
同样的手法,由定理2的证明可知M = m 1 m 2 … m μ = 10 μ − 1 m 1 + ⋯ + m μ M=m_1m_2\dots m_{\mu}=10^{\mu-1}m_1+\dots+m_{\mu}M=m1m2…mμ=10μ−1m1+⋯+mμ
故
10 μ a b = ( 10 μ − 1 m 1 + 10 μ − 2 m 2 + ⋯ + m μ ) + 0. c 1 ˙ … c t ˙ 10^{\mu}\dfrac{a}{b}=(10^{\mu-1}m_1+10^{\mu-2}m_2+\dots+m_{\mu})+0.\dot{c_1}\dots \dot{c_t}10μba=(10μ−1m1+10μ−2m2+⋯+mμ)+0.c1˙…ct˙
然后等式两边同时除以10 μ 10^{\mu}10μ
a b = ( 10 − 1 m 1 + 10 − 2 m 2 + ⋯ + 10 − μ m μ ) + 0. c 1 ˙ … c t ˙ × 10 − μ \dfrac{a}{b}=(10^{-1}m_1+10^{-2}m_2+\dots+10^{-\mu}m_{\mu})+0.\dot{c_1}\dots \dot{c_t} \times 10^{-\mu}ba=(10−1m1+10−2m2+⋯+10−μmμ)+0.c1˙…ct˙×10−μ
= 0. m 1 m 2 … m μ c 1 ˙ … c t ˙ =0.m_1m_2\dots m_{\mu}\dot{c_1}\dots \dot{c_t}=0.m1m2…mμc1˙…ct˙
于是a b \dfrac{a}{b}ba就可以表示成一个混循环小数的形式。
其实写到这证明还没有结束嘞。
使用反证法证明不循环的位数恰好是μ \muμ
假设a b = 0. m 1 ′ … m ν ′ c 1 ′ ˙ … c s ′ ˙ \dfrac{a}{b}=0.m'_{1}\dots m'_{\nu}\dot{c_1'}\dots \dot{c_s'}ba=0.m1′…mν′c1′˙…cs′˙
于是
10 ν ⋅ a b = m 1 ′ … m ν ′ . c 1 ′ ˙ … c s ′ ˙ = [ 10 ν ⋅ a b ] + a 1 ′ b 1 ′ 10^{\nu} \cdot \dfrac{a}{b}=m'_{1}\dots m'_{\nu}\ . \dot{c_1'}\dots \dot{c_s'} \\=[10^{\nu}\cdot \dfrac{a}{b}]+\dfrac{a_1'}{b_1'}10ν⋅ba=m1′…mν′ .c1′˙…cs′˙=[10ν⋅ba]+b1′a1′
由定理2有 0 < a 1 ′ < b 1 ′ , ( a 1 ′ , b 1 ′ ) = 1 , ( b 1 ′ , 10 ) = 1 0 < a_1'<b_1',(a_1',b_1')=1,(b_1',10)=10<a1′<b1′,(a1′,b1′)=1,(b1′,10)=1
10 ν ⋅ a b = [ 10 ν ⋅ a b ] ⋅ b 1 ′ + a 1 ′ b 1 ′ = a ′ b 1 ′ ⇒ 10 ν ⋅ b 1 ′ a = b a ′ 10^{\nu} \cdot \dfrac{a}{b}=\dfrac{[10^{\nu}\cdot \dfrac{a}{b}]\cdot b_1'+a_1'}{b_1'}=\dfrac{a'}{b_1'} \Rightarrow 10^{\nu}\cdot b_1'a=ba'10ν⋅ba=b1′[10ν⋅ba]⋅b1′+a1′=b1′a′⇒10ν⋅b1′a=ba′
⇒ 2 ν 5 ν b 1 ′ a = 2 α 5 β b 1 a ′ \Rightarrow 2^{\nu}5^{\nu}b_1'a=2^{\alpha}5^{\beta}b_1a'⇒2ν5νb1′a=2α5βb1a′
除以5 ν 5^{\nu}5ν得
2 ν b 1 ′ a = 2 α b 1 a ′ 5 β − ν 2^{\nu}b_1'a=2^{\alpha}b_1a'5^{\beta-\nu}2νb1′a=2αb1a′5β−ν
前面假设了μ = β \mu=\betaμ=β
有β − ν = μ − ν > 0 ⇒ β − ν ≥ 1 \beta-\nu=\mu-\nu> 0 \Rightarrow \beta-\nu \ge1β−ν=μ−ν>0⇒β−ν≥1
5 ∣ ( 2 ν b 1 ′ a ) ⇒ 5 ∣ ( b 1 ′ a ) 5 \mid (2^{\nu}b_1'a) \Rightarrow 5 \mid (b_1'a)5∣(2νb1′a)⇒5∣(b1′a)
有两种可能5 ∣ b 1 ′ 5\mid b_1'5∣b1′或5 ∣ a 5 \mid a5∣a
若5 ∣ b 1 ′ 5 \mid b_1'5∣b1′,则( b 1 ′ , 10 ) = 1 (b_1',10)=1(b1′,10)=1是不可能的
若5 ∣ a 5 \mid a5∣a,则( a , b ) = 1 (a,b)=1(a,b)=1是矛盾的
因而我们前面的假设是错误的既ν < μ \nu < \muν<μ是错的,即ν = μ \nu=\muν=μ
即a b \dfrac{a}{b}ba的不循环的 位数恰好是μ \muμ.
至此,我们整个定理3的证明就完成了。