当前位置: 首页 > news >正文

欧拉定理和费马定理

欧拉定理和费马定理

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

欧拉定理的用途

  • 模反元素(逆元)的计算(比如求 a − 1 m o d n a^{-1} \bmod n a1modn
  • 模幂快速计算(特别在密码学、RSA算法中非常重要)
  • 推导 费马小定理(当 n n n 为素数时 φ ( 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 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 ar1ri1(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)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 m a1b1(modm).

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

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

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

证明也好证

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

分类讨论一下

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

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

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

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

下面看下怎么用

例1

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

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

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

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

再有 a 5 ≡ a ( m o d 5 ) a^5 \equiv a \pmod 5 a5a(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)

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

费马定理的应用-尾数问题(命题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 4 4为周期变化的)。

推论2

  1. 个位数字是 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. 2 n 2^n 2n的个位数字以 2 , 4 , 8 , 6 2,4,8,6 2,4,8,6为一个周期循环变化
  3. 3 n 3^n 3n的个位数字以 3 , 9 , 7 , 1 3,9,7,1 3,9,7,1为一个周期循环变化
  4. 4 n 4^n 4n的个位数字以 4 , 6 , 4 , 6 4,6,4,6 4,6,4,6为一个周期循环变化
  5. 7 n 7^n 7n的个位数字以 7 , 9 , 3 , 1 7,9,3,1 7,9,3,1为一个周期循环变化
  6. 8 n 8^n 8n的个位数字以 8 , 4 , 2 , 6 8,4,2,6 8,4,2,6为一个周期循环变化
  7. 9 n 9^n 9n的个位数字以 9 , 1 , 9 , 1 9,1,9,1 9,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^5 15+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 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

  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 1011 1+2++2022=2023×1011的个位数 很容易知道为 3 3 3

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

练习1

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

  1. 0.316311631116311116... 0.316311631116311116... 0.316311631116311116... 啥也不是,应该是无限不循环小数
  2. 0.31636363... 0.31636363... 0.31636363... 循环节为 63 63 63长度为 2 2 2
  3. 0.3333.... 0.3333.... 0.3333.... 很明显循环节长度为 1 1 1,循环节是 3 3 3
  4. 0.891643891643891643... 0.891643891643891643... 0.891643891643891643... 循环节长度是 6 6 6,循环节为 891643 891643 891643
  5. 0.23565787878... 0.23565787878... 0.23565787878...循环节为 78 78 78长度为 2 2 2
  6. 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, 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,\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.a1a2asas+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˙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)=1 10t1=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 b 10φ(b)1(modb)

存在最小的正整数 t ≥ 1 t \ge 1 t1使得 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 10t1(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+a a10ta=bqa10t=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<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 <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<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 q a10ta=bqa101a=9a>0q b b b同号, b > 0 ⇒ q > 0 b>0 \Rightarrow q>0 b>0q>0

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

上式表明 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+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_t q=a1a2at(t1)=10t1a1+10t2a2++101at1+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(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,\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>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 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=b1Mb12μαab1a,b1b

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

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)=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)=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_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)=10<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 0M<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)=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=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' 5b1 5 ∣ a 5 \mid a 5a

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

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

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

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

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

相关文章:

  • Gerrit+repo管理git仓库,如果本地有新分支不能执行repo sync来同步远程所有修改,会报错
  • 飞牛使用Docker部署Tailscale 内网穿透教程
  • 【Linux基础知识系列】第十四篇-系统监控与性能优化
  • 校招 Java 面试基础题目解析学习指南含新技术实操要点
  • [特殊字符]解决 “IDEA 登录失败。不支持早于 14.0 的 GitLab 版本” 问题的几种方法
  • 51单片机——计分器
  • 【51单片机】0. 基础软件安装
  • 构建 MCP 服务器:第 2 部分 — 使用资源模板扩展资源
  • [蓝桥杯]采油
  • 影楼精修-AI衣服祛褶皱算法解析
  • Pytorch安装后 如何快速查看经典的网络模型.py文件(例如Alexnet,VGG)(已解决)
  • 中小制造企业的数字化转型,如何控制工业软件应用成本?
  • 中国制造名牌剃须刀:优质之选,情礼佳物
  • SpringCloud学习笔记-3
  • 2025主流智能体Agent终极指南:Manus、OpenManus、MetaGPT、AutoGPT与CrewAI深度横评
  • 服务器数据恢复—服务器raid5阵列崩溃如何恢复数据?
  • 编译原理笔记
  • 【Linux跬步积累】—— 网络编程套接字(二)
  • 有声书画本
  • 豪斯多夫距离 (Hausdorff Distance)在机器人轨迹规划中的应用
  • 大型网站开发收费/北京seo方法
  • 工业园区管委会网站建设方案/网店推广实训系统
  • 百度网站建设公司哪家好/国内十大搜索引擎排名
  • jsp网站源码 怎么用/白山网络推广
  • 做一个网站的计划书/潍坊做网站公司
  • 制作网站的网站/seo外链优化