logo

オイラーのトーシェント定理の証明 📂整数論

オイラーのトーシェント定理の証明

定理 1

gcd(a,m)=1    aϕ(m)1(modm) \gcd(a,m) = 1 \implies a^{ \phi (m) } \equiv 1 \pmod{m}

説明

この定理がフェルマーの小定理を一般化したものであることがすぐにわかり、実際、証明法もほぼ同じである。

証明

オイラーのφ関数の定義によると、1bim1 \le b_{i} \le mgcd(bi,m)=1\gcd( b_{i} , m) =1 を満たす bib_{i} の正確な数は ϕ(m)\phi (m) 個存在する。この集合を B:={b1,b2,,bϕ(m)} B:= \left\{ b_{1}, b_{2}, \cdots , b_{\phi (m)} \right\} としよう。すると、gcd(a,m)=1\gcd(a,m) = 1 だから aB={ab1,ab2,,abϕ(m)} aB = \left\{ ab_{1}, ab_{2}, \cdots , ab_{\phi (m)} \right\} は全く同じ集合になる。だから、 b1b2bϕ(m)ab1ab2abϕ(m)(modm) b_{1} b_{2} \cdots b_{\phi (m)} \equiv ab_{1} ab_{2} \cdots ab_{\phi (m)} \pmod{m} 右辺の aa をまとめると、 b1b2bϕ(m)aϕ(m)b1b2bϕ(m)(modm) b_{1} b_{2} \cdots b_{\phi (m)} \equiv a^{\phi (m)} b_{1} b_{2} \cdots b_{\phi (m)} \pmod{m} gcd(b1b2bϕ(m),m)=1\gcd( b_{1} b_{2} \cdots b_{\phi (m)} , m ) =1 で両辺を消すことにより、以下を得る。 aϕ(m)1(modm) a^{ \phi (m) } \equiv 1 \pmod{m}


  1. Silverman. (2012). A Friendly Introduction to Number Theory (4th Edition): p72. ↩︎