오일러의 토션트 정리 증명

오일러의 토션트 정리 증명

정리 1

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

설명

보자마자 페르마의 소정리를 일반화한 정리임을 알 수 있고, 실제로 증명법도 사실상 거의 똑같다.

증명

토션트 함수의 정의에 의해, $1 \le b_{i} \le m$ 중 $\gcd( b_{i} , m) =1$ 을 만족하는 $b_{i}$ 는 정확히 $\phi (m)$ 개 존재한다. 이들의 집합을 $$ B:= \left\{ b_{1}, b_{2}, \cdots , b_{\phi (m)} \right\} $$ 라고 하자. 그러면 $\gcd(a,m) = 1$ 이므로 $$ aB = \left\{ ab_{1}, ab_{2}, \cdots , ab_{\phi (m)} \right\} $$ 와 정확히 같은 집합이 된다. 따라서 $$ b_{1} b_{2} \cdots b_{\phi (m)} \equiv ab_{1} ab_{2} \cdots ab_{\phi (m)} \pmod{m} $$ 우변의 $a$ 를 묶어내면 $$ b_{1} b_{2} \cdots b_{\phi (m)} \equiv a^{\phi(m)} b_{1} b_{2} \cdots b_{\phi (m)} \pmod{m} $$ $\gcd( b_{1} b_{2} \cdots b_{\phi (m)} , m ) =1$ 이므로 양변에서 소거하면 다음을 얻는다. $$ a^{ \phi (m) } \equiv 1 \pmod{m} $$


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

댓글