이차 상호 법칙 (편집) (9)

(편집 필터 규칙)

=== 증명 3 ===
<math>g(a) = \zeta^{a\cdot0^{2}}+\zeta^{a\cdot1^{2}}+...+\zeta^{a(p-1)^{2}} =\sum_{n=1}^{p-1}\left(\frac{n}{p}\right)\zeta^{an} </math> 이라고 하자. <math>p</math>와 서로소인 홀소수 <math>q</math>에 대해

<math>\textup{(i)}\ \{g(1)\}^{q} =  \{ \sum_{n=1}^{p-1}\left(\frac{n}{p}\right)\zeta^{n} \} ^{q}</math>
* <math> \equiv  \sum_{n=1}^{p-1}\{\left(\frac{n}{p}\right)\zeta^{n}\} ^{q} =  \sum_{n=1}^{p-1}\left(\frac{n}{p}\right) ^{q}\zeta^{nq} =  \sum_{n=1}^{p-1}\left(\frac{n}{p}\right) \zeta^{nq} </math>
* <math>= \sum_{n=1}^{p-1}\left(\frac{q}{p}\right)\left(\frac{q}{p}\right)\left(\frac{n}{p}\right) \zeta^{nq} =  \left(\frac{q}{p}\right)\sum_{n=1}^{p-1}\left(\frac{nq}{p}\right)\zeta^{nq}</math>
* <math>=  \left(\frac{q}{p}\right)\sum_{l=1}^{p-1}\left(\frac{l}{p}\right)\zeta^{l} =  \left(\frac{q}{p}\right)g(1) \;  (mod\; q)</math>

<math>\textup{(ii)}\ \{g(1)\}^{q} =  g(1)\cdot[\{g(1)\}^{2}]^{ \frac{q-1}{2} }</math> 
* <math> =  g(1)\cdot\{(-1)^{\frac{p-1}{2}}p\}^{ \frac{q-1}{2} }</math> 
* <math> =  g(1)\cdot(-1)^{\frac{p-1}{2}\frac{q-1}{2}}p^{ \frac{q-1}{2} }</math> 
* <math> \equiv  g(1)\cdot(-1)^{\frac{p-1}{2}\frac{q-1}{2}}\left(\frac{p}{q}\right)\;  (mod\; q)</math>

<math>\textup{(i), (ii)}</math>에서

<math>\left(\frac{q}{p}\right)g(1)  \equiv  g(1)\cdot(-1)^{\frac{p-1}{2}\frac{q-1}{2}}\left(\frac{p}{q}\right) \;  (mod\; q)  </math>

<math> \left(\frac{q}{p}\right)  \equiv  (-1)^{\frac{p-1}{2}\frac{q-1}{2}}\left(\frac{p}{q}\right) \;  (mod\; q)  </math>

<math> \left(\frac{p}{q}\right)\left(\frac{q}{p}\right)  \equiv  (-1)^{\frac{p-1}{2}\frac{q-1}{2}} \;  (mod\; q)  </math>

* <math> \therefore \left(\frac{p}{q}\right)\left(\frac{q}{p}\right) = (-1)^{\frac{p-1}{2}\frac{q-1}{2}}\;  \;  (\because  \left(\frac{p}{q}\right), \left(\frac{q}{p}\right), (-1)^{\frac{p-1}{2}\frac{q-1}{2}} \in \{1, -1\})</math>

(임시 저장) (임시 저장 불러오기)

(↪️) (💎) (🛠️) (추가)

<math>\textup{(i), (ii)}</math>에서

<math>\left(\frac{q}{p}\right)g(1)  \equiv  g(1)\cdot(-1)^{\frac{p-1}{2}\frac{q-1}{2}}\left(\frac{p}{q}\right) \;  (mod\; q)  </math>

<math> \left(\frac{q}{p}\right)  \equiv  (-1)^{\frac{p-1}{2}\frac{q-1}{2}}\left(\frac{p}{q}\right) \;  (mod\; q)  </math>

<math> \left(\frac{p}{q}\right)\left(\frac{q}{p}\right)  \equiv  (-1)^{\frac{p-1}{2}\frac{q-1}{2}} \;  (mod\; q)  </math>

비로그인 상태입니다. 편집한 내용을 저장하면 지금 접속한 IP가 기록됩니다.

편집을 전송하면 당신은 이 문서의 기여자로서 본인이 작성한 내용이 CC BY 4.0에 따라 배포되고, 기여한 문서의 하이퍼링크나 URL로 저작자 표시가 충분하다는 것에 동의하는 것입니다.