欧拉定理和费马定理
欧拉定理和费马定理
- 欧拉定理和费马定理(定理1,推论1)
- 定理1(欧拉定理)
- 推论1(费马小定理)
- 例1
- 费马定理的应用-尾数问题(命题1)
- 命题1
- 推论2
- 例2
- 欧拉定理的应用-纯循环小数的表示(定理2)
- 练习1
- 定义1
- 练习2
- 定理2
- 练习3
- 混循环小数的表示(定理3)
- 定理3
欧拉定理和费马定理(定理1,推论1)
定理1(欧拉定理)
设 m m m是大于 1 1 1的整数, ( a , m ) = 1 , (a,m)=1, (a,m)=1,则
a φ ( m ) ≡ 1 ( m o d m ) a^{\varphi(m)} \equiv 1 \pmod m aφ(m)≡1(modm)
欧拉是费马小定理的推广。
例 1: a = 3 , m = 10 a = 3,\ m = 10 a=3, m=10, gcd ( 3 , 10 ) = 1 \gcd(3,10) = 1 gcd(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 n a−1modn)
- 模幂快速计算(特别在密码学、RSA算法中非常重要)
- 推导 费马小定理(当 n n n 为素数时 φ ( 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 m m的一个既约剩余系
( 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 m m的一个既约剩余系
由剩余系的定义可知, 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 m ar1≡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 m aφ(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 m a1≡b1(modm).
于是我们只需要证明 r 1 r 2 … r m r_1r_2\dots r_m r1r2…rm与 m m m互素即可
因为 r 1 , r 2 , … , r φ ( m ) r_1,r_2,\dots,r_{\varphi(m)} r1,r2,…,rφ(m)是模 m m m的既约剩余系,所以这里面的任何一个与 m m m都是互素的,所以显然 r 1 r 2 … r m r_1r_2\dots r_m r1r2…rm与 m m m互素
于是我们就可以把 r 1 r 2 … r m r_1r_2\dots r_m r1r2…rm约去了,即有 a φ ( m ) ≡ 1 ( m o d m ) a^{\varphi(m)} \equiv 1 \pmod m aφ(m)≡1(modm)
推论1(费马小定理)
若 p p p是素数,则 a p ≡ a ( m o d p ) a^p \equiv a \pmod p ap≡a(modp)
或者也可以写成 a p − 1 ≡ 1 ( m o d p ) a^{p-1}\equiv 1 \pmod p ap−1≡1(modp)
证明也好证
我们先把要证明需要使用到的引理写出来: p p p是素数,且 a a a是整数,则 p ∣ a p \mid a p∣a或 ( p , a ) = 1 (p,a)=1 (p,a)=1
分类讨论一下
-
若 p ∣ a p \mid a p∣a,有 a ≡ 0 ( m o d p ) a \equiv 0 \pmod p a≡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 p ap≡0p=0(modp),a≡0(modp)由这两个式子,利用同余的传递性,
a p ≡ a ( m o d p ) a^p \equiv a \pmod p ap≡a(modp)
-
若 ( p , a ) = 1 (p,a)=1 (p,a)=1相当于在定理1中 p = m p=m p=m的情况,则有 a φ ( p ) = p − 1 ≡ 1 ( m o d p ) a^{\varphi(p)=p-1} \equiv 1 \pmod p aφ(p)=p−1≡1(modp)
再有 a ≡ a ( m o d m ) a \equiv a \pmod m a≡a(modm)易得 a p ≡ a ( m o d p ) a^p \equiv a \pmod p ap≡a(modp)
下面看下怎么用
例1
设 a ∈ Z + , a\in \mathbb{Z_+}, a∈Z+,则 a 5 a^5 a5与 a a a的个位数相同
即我们要证 a 5 ≡ a ( m o d 10 ) a^5 \equiv a \pmod {10} a5≡a(mod10)
我们先用穷举法证明。
a a a的个位数字可能为 0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 0,1,2,3,4,5,6,7,8,9 0,1,2,3,4,5,6,7,8,9
a 2 a^2 a2的个位数字可能为 0 , 1 , 4 , 9 , 6 , 5 , 6 , 9 , 4 , 1 0,1,4,9,6,5,6,9,4,1 0,1,4,9,6,5,6,9,4,1
a 3 a^3 a3的个位数字可能为 0 , 1 , 8 , 7 , 4 , 5 , 6 , 3 , 2 , 9 0,1,8,7,4,5,6,3,2,9 0,1,8,7,4,5,6,3,2,9
a 4 a^4 a4的个位数字可能为 0 , 1 , 6 , 1 , 6 , 5 , 6 , 1 , 6 , 1 0,1,6,1,6,5,6,1,6,1 0,1,6,1,6,5,6,1,6,1
a 5 a^5 a5的个位数字可能为 0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 0,1,2,3,4,5,6,7,8,9 0,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 2 a2≡a(mod2)⇒a4≡a2(mod2),a2≡a(mod2)
由传递性 a 4 ≡ a ( m o d 2 ) a^4 \equiv a \pmod 2 a4≡a(mod2)于是 a 5 ≡ a ( m o d 2 ) a^5 \equiv a \pmod 2 a5≡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 5 a5≡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)
聪明的读者可能已经发现了,个位数字变化的周期是4,刚刚我们用穷举法的时候已经看到了,于是我们有命题1
费马定理的应用-尾数问题(命题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 4 4为周期变化的)。
推论2
- 个位数字是 0 , 1 , 5 , 6 0,1,5,6 0,1,5,6的任何正整数幂,其个位数字仍是 0 , 1 , 5 , 6 0,1,5,6 0,1,5,6
- 2 n 2^n 2n的个位数字以 2 , 4 , 8 , 6 2,4,8,6 2,4,8,6为一个周期循环变化
- 3 n 3^n 3n的个位数字以 3 , 9 , 7 , 1 3,9,7,1 3,9,7,1为一个周期循环变化
- 4 n 4^n 4n的个位数字以 4 , 6 , 4 , 6 4,6,4,6 4,6,4,6为一个周期循环变化
- 7 n 7^n 7n的个位数字以 7 , 9 , 3 , 1 7,9,3,1 7,9,3,1为一个周期循环变化
- 8 n 8^n 8n的个位数字以 8 , 4 , 2 , 6 8,4,2,6 8,4,2,6为一个周期循环变化
- 9 n 9^n 9n的个位数字以 9 , 1 , 9 , 1 9,1,9,1 9,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^5 15+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 5 5
-
注意到 2020 2021 2020^{2021} 20202021的个位是按周期为 4 4 4来变化的, 2020 2020 2020是偶数所以 2020 2021 2020^{2021} 20202021是 4 4 4的倍数
然后我们看末位数字 2 2 2的变化情况 2 , 4 , 8 , 6 2,4,8,6 2,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 1011 1+2+⋯+2022=2023×1011的个位数 很容易知道为 3 3 3
欧拉定理的应用-纯循环小数的表示(定理2)
练习1
指出下列哪些小数是纯循环小数,哪些是混循环小数,并指出循环节和循环节的长度。
- 0.316311631116311116... 0.316311631116311116... 0.316311631116311116... 啥也不是,应该是无限不循环小数
- 0.31636363... 0.31636363... 0.31636363... 循环节为 63 63 63长度为 2 2 2
- 0.3333.... 0.3333.... 0.3333.... 很明显循环节长度为 1 1 1,循环节是 3 3 3
- 0.891643891643891643... 0.891643891643891643... 0.891643891643891643... 循环节长度是 6 6 6,循环节为 891643 891643 891643
- 0.23565787878... 0.23565787878... 0.23565787878...循环节为 78 78 78长度为 2 2 2
- 0.473473473. 0.473473473. 0.473473473. 这是有限小数。。。
其中 2 2 2和 5 5 5是混循环小数, 3 3 3和 4 4 4是纯循环小数。
定义1
对于一个无限小数 0. a 1 a 2 , … a n … 0.a_1a_2,\dots a_n\dots 0.a1a2,…an…( a n a_n an是 0 , 1 , 2 , … , 9 0,1,2,\dots,9 0,1,2,…,9之中的一个数,并且从任何一位以后不全是 0 0 0),能找到两个整数 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,\dots as+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 s s及 t t t是不止一个的。如果找到的 t t t是最小的,我们就称 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 t t称为循环节的
长度;若最小的 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 10 10都是互素的,因为是十进制 而 φ ( 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)=1 ba,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}<1 0<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}\dots ba=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)=1 10t−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 b 10φ(b)≡1(modb)
存在最小的正整数 t ≥ 1 t \ge 1 t≥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 b 10t≡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+a a10t−a=bq⇒a10t=bq+a
又 a > 0 a>0 a>0,由上式可以推出 a 10 t > b q , a10^t>bq, a10t>bq,而 b > 0 b>0 b>0等式两边都除以 b b b可知
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-1 q<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 <b 0<a<b而 a , b a,b a,b都是整数
所以有 q < 10 t ⇒ q ≤ 10 t − 1 q < 10^t \Rightarrow q\le 10^{t}-1 q<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 q a10t−a=bq≥a101−a=9a>0⇒q与 b b b同号, b > 0 ⇒ q > 0 b>0 \Rightarrow q>0 b>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 q q至少是一个一位数,至多有 t t t位数
由 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_t q=a1a2…at(t≥1)=10t−1a1+10t−2a2+⋯+101at−1+at
因为 q > 0 q>0 q>0所以 a 1 , … , a t a_1,\dots,a_t a1,…,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_t q=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,\beta 0<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 > 0 b=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 M M的范围
实际上上面那个 a 1 a_1 a1是不可能等于零的,我们使用反证法。
由前面的分析 2 μ − α ⋅ a = b 1 M + a 1 2^{\mu-\alpha}\cdot a=b_1M+a_1 2μ−α⋅a=b1M+a1
下面证 a 1 ≠ 0 a_1 \ne 0 a1=0
b = 2 α 5 β b 1 ⇒ ( b 1 , 2 ) = 1 b=2^{\alpha}5^{\beta}b_1 \Rightarrow (b_1,2)=1 b=2α5βb1⇒(b1,2)=1
我们假设 a 1 = 0 a_1=0 a1=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 b 2μ−αa=b1M⇒b1∣2μ−αa⇒b1∣a,b1∣b
从而 b 1 ∣ ( a , b ) = 1 b_1 \mid (a,b)=1 b1∣(a,b)=1从而 b 1 = 1 b_1=1 b1=1这与已知矛盾,故 a 1 ≠ 0 a_1 \ne 0 a1=0
所以 a 1 a_1 a1的范围为 0 < a 1 < b 1 0<a_1<b_1 0<a1<b1
下面我们从这个 除法找出 M M M的范围
由 2 μ − α ⋅ a = b 1 M + a 1 2^{\mu-\alpha}\cdot a=b_1M+a_1 2μ−α⋅a=b1M+a1可知 M ≥ 0 M \ge 0 M≥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)=1 ba,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)=1 0<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_1 b1中不含素因子 2 2 2
( 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+c a=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(这是已知条件,不用证)
所以由定理2 a 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}-1 0≤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)=1 0<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 a 5∣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 a 5∣a,则 ( a , b ) = 1 (a,b)=1 (a,b)=1是矛盾的
因而我们前面的假设是错误的既 ν < μ \nu < \mu ν<μ是错的,即 ν = μ \nu=\mu ν=μ
即 a b \dfrac{a}{b} ba的不循环的 位数恰好是 μ \mu μ.
至此,我们整个定理3的证明就完成了。