• Frobenius · 711166 · 19/05/24 02:06 · MS 2016
    회원에 의해 삭제된 댓글입니다.
  • atbjudbkfcktsvjjd · 806881 · 19/06/10 00:01 · MS 2018

    자명 n^7은 mod p로 0부터 p-1의 모든 값을 가짐
    증명은 a^7=b^7 (mod p)라면 7s+(p-1)t=1 인 s, t가 존재하는데 페르마 소정리에 의해 a^(p-1)=b^(p-1) (mod p) 이므로 변형하면 a=b (mod p) 를 얻을 수 있음. 역은 자명히 성립
    ->증명됨
    따라서 2010이 아닌 어떠한 자연수가 와도 언제나 성립함

  • atbjudbkfcktsvjjd · 806881 · 19/06/10 00:03 · MS 2018

    p=7k+1이라면 존재 시 무한개이고 존재 안 할 수도 있음