64 2017-1 한경대학교 응용수학과 정수론 강의노트 안 상 욱( ).hwp 오일러
5. -
오일러
5.1 - (Euler’s
정의 , . /과/보다
들의
. N를- .
예 N9q: -q ' )
주목 ⇔ N9/: -/ ' )
정리 , # 보다 N
9
qJ:
-qJ ' qJ ' )-qJ9
) ' 4q)
:
이다.증명
예
9
1(:
-1( ' 1 -Q 사실 S 와 S 보다 Q개.65 2017-1 한경대학교 응용수학과 정수론 강의노트 안 상 욱( ).hwp
보조정리 .
증명
정리: - N는.
증명
66 2017-1 한경대학교 응용수학과 정수론 강의노트 안 상 욱( ).hwp 정리 )보다.)J)q(J( ⋯ q3J3은.
이
,
9
q) J)' q)J) ' )
: 9
q( J(' q(J( ' )
:
⋯9
q3 J3' q3J3 ' )
:
- /
9
) ' 4q))
:9
) ' 4q()
:
⋯9
) ' 4q3 ):
이다
.
증명
예1∙1(∙M이므로N91Q#: -1Q#
9
) ' 4()
:9
) ' 41)
:9
) ' 4M ):
- 1Q# ∙4( )∙41
(∙4M L -SQ
정리 (보다N9/:은.
증명
67 2017-1 한경대학교 응용수학과 정수론 강의노트 안 상 욱( ).hwp 오일러정리
5.2 (Euler’s
보조정리 , . ,)& =(& ⋯ & =N9/:이/과 이면서
/보다/에
)& ==(& ⋯ & ==N9/:
들은
)& =(& ⋯ & =N9/:
합동이다
.
증명
68 2017-1 한경대학교 응용수학과 정수론 강의노트 안 상 욱( ).hwp 정리(Euler) , =N9/:≡ ) 9mod /:이다.
증명 / _) 이라고 .)& =(& ⋯ & =N9/: 이 / 과 이면서
/보다.
하여
어떤
/에
)& ==(& ⋯ & ==N9/:
들은
)& =(& ⋯ & =N9/:
합동이다
.
그러므로
,)≡=)′ 9mod /: & ==(≡ =(′ 9mod /: & ⋯ & ==N9/:≡=N9/:′ 9mod /:
여기서
,
$
=)′ & =(′& ⋯ & =N9/:′*
-$
=)& =(& ⋯ & =N9/:*
이다. 그러므로
9
==):9
==(:
⋯9
==N9/::
≡=)′=(′ ⋯=N9/:′≡=)=(⋯ =N9/: 9mod /:
이고 그래서
,
9
=)=(⋯=N9/::
=N9/:≡=)=(⋯=N9/: 9mod /:이다. 각? -)& (& ⋯ & N9/:에,
9
=?& /:
-)이므로9
=)=(⋯=N9/:& /:
-)이다 따라서. =N9/:≡ ) 9mod /:이다.따름정리(Fermat) , =q ' )≡) 9mod q:이다.
증명: =N9q:≡ ) 9mod q:이고,
q ' )≡) 9mod q:이다.
69 2017-1 한경대학교 응용수학과 정수론 강의노트 안 상 욱( ).hwp 정리(Gauss)임의의/에,
\
e 0 /
N9e:이다.
증명
\
e 0 /
N9e:라고. ,
\
e 0 )
N9e: -N9): -)이다.
/ -q)J)q(J( ⋯ q3J3은. v 도
. ,
9
q) J):
v9
q( J(:
⋯v9
q3 J3:
이고 각, ?-)&(& ⋯ & 3에,9
q?J?
:
-\
e0 q?J?
N9e:
- N9): , N
9
q?:
, N9
q?(
:
, ⋯ , N9
q? J?:
- ) ,
9
q? ' ):
,9
q?( ' q?:
,9
q?1' q?(:
, ⋯ ,9
q? J?' q?J? ')
:
- q?J?
이다 따라서
. ,
\
e 0 /N9e: -v9/: -9
q)J)
:
v9
q( J(:
⋯v9
q3 J3:
-)J)
q(J( ⋯ q3J3- /
정리 )보다. /보다
/N9/: 이다( . 증명
70 2017-1 한경대학교 응용수학과 정수론 강의노트 안 상 욱( ).hwp 정리: /에,
\
e 0 /4•9e: 이다e .
증명
\
e 0 /
N9e:라고.
\
e 0 /•9e:v9
4e/
:
-\
e0 /•9e: 4e/ -/
