欧拉定理和费马定理 - 教程

欧拉定理和费马定理(定理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=10gcd ⁡ ( 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}341(mod10)

欧拉定理的用途

  • 模反元素(逆元)的计算(比如求a − 1 m o d n a^{-1} \bmod na1modn
  • 模幂快速计算(特别在密码学、RSA算法中非常要紧)
  • 推导 费马小定理(当 n nn 为素数时 φ ( n ) = n − 1 \varphi(n) = n-1φ(n)=n1

该的证明是既约剩余系的一个应用,下面来证明一下。

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 mar1ri1(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)r1r2rφ(m)=(ar1)(ar2)(arφ(m))r1r2rφ(m)(modm)

这离我们要证的结论已经很近了,我们利用这一点:

a ≡ b ( m o d m ) , a \equiv b \pmod m,ab(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 ma1b1(modm).

于是我们只需要证明r 1 r 2 … r m r_1r_2\dots r_mr1r2rmm 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_mr1r2rmm mm互素

于是我们就可以把r 1 r 2 … r m r_1r_2\dots r_mr1r2rm约去了,即有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 papa(modp)

或者也可以写成a p − 1 ≡ 1 ( m o d p ) a^{p-1}\equiv 1 \pmod pap11(modp)

证明也好证

我们先把要证明需要使用到的引理写出来:p pp是素数,且a aa是整数,则p ∣ a p \mid apa( p , a ) = 1 (p,a)=1(p,a)=1

分类讨论一下

  1. p ∣ a p \mid apa,有 a ≡ 0 ( m o d p ) a \equiv 0 \pmod pa0(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 pap0p=0(modp),a0(modp)由这两个式子,利用同余的传递性,

    a p ≡ a ( m o d p ) a^p \equiv a \pmod papa(modp)

  2. ( 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)=p11(modp)

    再有a ≡ a ( m o d m ) a \equiv a \pmod maa(modm)易得a p ≡ a ( m o d p ) a^p \equiv a \pmod papa(modp)

下面看下怎么用

例1

a ∈ Z + , a\in \mathbb{Z_+},aZ+,a 5 a^5a5a aa的个位数相同

即我们要证a 5 ≡ a ( m o d 10 ) a^5 \equiv a \pmod {10}a5a(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}a5a(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 2a2a(mod2)a4a2(mod2),a2a(mod2)

由传递性a 4 ≡ a ( m o d 2 ) a^4 \equiv a \pmod 2a4a(mod2)于是a 5 ≡ a ( m o d 2 ) a^5 \equiv a \pmod 2a5a(mod2)

2 ∣ ( a 5 − a ) 2 \mid (a^5-a)2(a5a)

再有a 5 ≡ a ( m o d 5 ) a^5 \equiv a \pmod 5a5a(mod5)

5 ∣ ( a 5 − a ) 5 \mid (a^5-a)5(a5a)

于是有10 ∣ ( a 5 − a ) ⇔ a 5 ≡ a ( m o d 10 ) 10 \mid (a^5-a) \Leftrightarrow a^5 \equiv a \pmod {10}10(a5a)a5a(mod10)

我们有命题1就是聪明的读者可能已经发现了,个位数字变化的周期是4,刚刚我们用穷举法的时候已经看到了,于

费马定理的应用-尾数问题(命题1)

命题1

a , m ∈ Z + , a,m \in \mathbb{Z_+},a,mZ+,a m + 4 , a m a^{m+4},a^{m}am+4,am的个位数字相同(即正整数的正整数次幂的个位数字是以4 44为周期变化的)。

推论2

  1. 个位数字是0 , 1 , 5 , 6 0,1,5,60,1,5,6的任何正整数幂,其个位数字仍是0 , 1 , 5 , 6 0,1,5,60,1,5,6
  2. 2 n 2^n2n的个位数字以2 , 4 , 8 , 6 2,4,8,62,4,8,6为一个周期循环变化
  3. 3 n 3^n3n的个位数字以3 , 9 , 7 , 1 3,9,7,13,9,7,1为一个周期循环变化
  4. 4 n 4^n4n的个位数字以4 , 6 , 4 , 6 4,6,4,64,6,4,6为一个周期循环变化
  5. 7 n 7^n7n的个位数字以7 , 9 , 3 , 1 7,9,3,17,9,3,1为一个周期循环变化
  6. 8 n 8^n8n的个位数字以8 , 4 , 2 , 6 8,4,2,68,4,2,6为一个周期循环变化
  7. 9 n 9^n9n的个位数字以9 , 1 , 9 , 1 9,1,9,19,1,9,1为一个周期循环变化

这个其实不用记,稍微一想就知道怎么搞了。

例2

求下列各数的个位数字

  1. 2 100 + 3 101 + 4 102 2^{100}+3^{101}+4^{102}2100+3101+4102

  2. 2022 2020 2021 2022^{2020^{2021}}202220202021

  3. 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

  4. 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}21006(mod10),31013(mod10),41026(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+41025+3+6(mod10)故有个位数字为5 55

  5. 注意到2020 2021 2020^{2021}20202021的个位是按周期为4 44来变化的,2020 20202020是偶数所以2020 2021 2020^{2021}202020214 44的倍数

    然后我们看末位数字2 22的变化情况2 , 4 , 8 , 6 2,4,8,62,4,8,6很容易知道尾数为6

  6. 这个很容易想到例1的结果:a 5 ≡ a ( m o d 10 ) a^5 \equiv a \pmod {10}a5a(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+202251+2+3++2022(mod10)

    我们只需要求就是于1 + 2 + ⋯ + 2022 = 2023 × 1011 1+2+\dots+2022=2023\times 10111+2++2022=2023×1011的个位数 很容易知道为3 33

欧拉定理的应用-纯循环小数的表示(定理2)

练习1

指出下列哪些小数是纯循环小数,哪些是混循环小数,并指出循环节和循环节的长度。

  1. 0.316311631116311116... 0.316311631116311116...0.316311631116311116...啥也不是,应该是无限不循环小数
  2. 0.31636363... 0.31636363...0.31636363... 循环节为63 6363长度为2 22
  3. 0.3333.... 0.3333....0.3333....很明显循环节长度为1 11,循环节是3 33
  4. 0.891643891643891643... 0.891643891643891643...0.891643891643891643...循环节长度是6 66,循环节为891643 891643891643
  5. 0.23565787878... 0.23565787878...0.23565787878...循环节为78 7878长度为2 22
  6. 0.473473473. 0.473473473.0.473473473.这是有限小数。。。

其中2 225 55是混循环小数,3 334 44是纯循环小数。

定义1

对于一个无限小数0. a 1 a 2 , … a n … 0.a_1a_2,\dots a_n\dots0.a1a2,an(a n a_nan0 , 1 , 2 , … , 9 0,1,2,\dots,90,1,2,,9之中的一个数,并且从任何一位以后不全是0 00),能找到两个整数s ≥ 0 , t > 0 , s \ge 0,t > 0,s0,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.a1a2asas+1˙as+t˙

对于循环小数而言,具有上诉性质的s sst 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˙a2at(t1)=0.a1a2ata1a2at

所以有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=a1a2at+0.a1˙at˙=q+ba(q=a1a2at>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)(10t1)a=bqb(10t1)ab(10t1)

∃ u ∈ Z , \exist u \in \mathbb{Z},uZ,10 t − 1 = b u ⇒ 10 t − 1 ⋅ 10 + b ( − u ) = 1 10^t -1=bu \Rightarrow 10^{t-1}\cdot10+b(-u)=110t1=bu10t110+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 1t1使得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 b10t1(modb),aa(modb)a10ta(modb)

从而b ∣ ( a 10 t − a ) b \mid (a10^t-a)b(a10ta)利用整除定义∃ q ∈ Z , \exist q \in \mathbb{Z},qZ,a 10 t − a = b q ⇒ a 10 t = b q + a a10^t-a=bq \Rightarrow a10^t=bq+aa10ta=bqa10t=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<10tba,0<a<bab1

从而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<10tba10tbb1=10t(1b1)

b ≥ 2 , b \ge 2,b2,因为0 < a < b 0 < a <b0<a<ba , b a,ba,b都是整数

所以有q < 10 t ⇒ q ≤ 10 t − 1 q < 10^t \Rightarrow q\le 10^{t}-1q<10tq10t1

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 qa10ta=bqa101a=9a>0qb bb同号,b > 0 ⇒ q > 0 b>0 \Rightarrow q>0b>0q>0

所以有0 < q ≤ 10 t − 1 ( t ≥ 1 ) 0 < q \le 10^t-1(t \ge 1)0<q10t1(t1)

上式表明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+a10tba=q+baba=10tq+ba×10t

不妨设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=a1a2at(t1)=10t1a1+10t2a2++101at1+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(101a1+102a2++10tat)=10t0.a1a2at

带回去上面那个式子得到

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.a1a2at+10tba

这实际上是个递归公式我们不断的带入

就可以得到a b = 0. a 1 ˙ … a t ˙ \dfrac{a}{b}=0.\dot{a_1}\dots \dot{a_t}ba=0.a1˙at˙

练习3

将下列混循环小数表示为分数

  1. 0.8 3 ˙ 0.8\dot{3}0.83˙
  2. 0.4 6 ˙ 0.4\dot{6}0.46˙
  3. 0.6 3 ˙ 0.6\dot{3}0.63˙
  4. 0.32 1 ˙ 4285 7 ˙ 0.32\dot{1}4285\dot{7}0.321˙42857˙

下列定理3会给出什么样的分数可以换成一个混循环小数。

  1. 我们令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=325x=65

  2. 同样的办法我们可以做出剩下的这几题。

    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+32x=157

  3. x = 19 36 x=\dfrac{19}{36}x=3619

  4. 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+71x=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>0b1>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 (0a1<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=02 μ − α 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=b1Mb12μαab1a,b1b

从而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 0M0

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μba0M<10u(0M10μ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)=1as+bt=1as+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)=10<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}-10M<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=m1m2mμ=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=(101m1+102m2++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.m1m2mμ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.m1mν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=m1mν .c1˙cs˙=[10νba]+b1a1

由定理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=b1a10νb1a=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νb1a=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νb1a=2αb1a5βν

前面假设了μ = β \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νb1a)5(b1a)

有两种可能5 ∣ b 1 ′ 5\mid b_1'5b15 ∣ a 5 \mid a5a

5 ∣ b 1 ′ 5 \mid b_1'5b1,则( b 1 ′ , 10 ) = 1 (b_1',10)=1(b1,10)=1是不可能的

5 ∣ a 5 \mid a5a,则( a , b ) = 1 (a,b)=1(a,b)=1是矛盾的

因而我们前面的假设是错误的既ν < μ \nu < \muν<μ是错的,即ν = μ \nu=\muν=μ

a b \dfrac{a}{b}ba的不循环的 位数恰好是μ \muμ.

至此,我们整个定理3的证明就完成了。

posted @ 2025-07-16 15:08  yjbjingcha  阅读(28)  评论(0)    收藏  举报