• 열​반 · 1071435 · 19시간 전 · MS 2021

    가운데에 뭔기호에요?

  • Point0 · 1256291 · 19시간 전 · MS 2023

    a | b 에서 b가 a로 나누어 떨어진다는 의미입니다

  • sa이코패스 · 1325705 · 19시간 전 · MS 2024

    이젠 님이 알려주시는군요..ㅋㅋ

  • 하할ㄹ · 1339220 · 18시간 전 · MS 2024
    회원에 의해 삭제된 댓글입니다.
  • 하할ㄹ · 1339220 · 17시간 전 · MS 2024

    이 문제 n<=2p 조건을 쓰면 간단한가요? ㅋㅋ 제 풀이는 이걸 안 썼는데 (어떻게 쓸지 모르겠어서..) 안 써서 그런가 좀 어려운 문제인 듯..

    답은 (n,p) =(2,2), (3,3)이다.

    i) 2|n
    2|(p-1)^n+1 => p=2 =>n|2 => n=2.

    ii) n은 홀수이고 p의 배수가 아님.
    n의 최소 소인수를 q라고 하자. p-1이 q의 배수가 아님은 당연하다.

    (p-1)^2n==1 (modq), (p-1)^(q-1)==1 (modq) (by 페르마 소 정리)
    => (p-1)^gcd(2n,q-1)==1 (modq) => (p-1)^2==1 (modq) (∵q는 홀수, (q-1,n)=1)
    => q|p(p-2)=>q|p-2 => p==2 (modq) (∵p와 q는 서로 다른 소수)
    => 0==(p-1)^n+1==1+1==2 (modq) => q=2 모순.

    iii) n은 홀수이고 p|n.
    v_p(n)=x라 하자.
    Lifting the exponent lemma에 의해
    x*(p-1)≤v_p((p-1)+1)+x => (p-2)x ≤ 1 => p≤3 => p=3 (∵x≥1)

    => n^2|2^n+1. 이는 imo 1990/P3이고, 답은 n=3 하나뿐이다.

    따라서 구하는 모든 (n,p)는 (2,2), (3,3)이 전부이다.

  • sa이코패스 · 1325705 · 16분 전 · MS 2024

    오 맞아요 이제 봤네요.. 난도를 낮추기 위해 필요한 조건이랄까요 ㅋㅋ

  • sa이코패스 · 1325705 · 14분 전 · MS 2024

    쉽게푼 버전입니다

  • 전곽의 전설이 될 뻔한 · 1192164 · 21분 전 · MS 2022

    n^(p-1) | (p-1)^n + 1 이므로
    n | n² | ... | n^(p-1) | (p-1)^n + 1

    i) p가 n의 약수
    p | (p-1)^n +1이므로 (-1)^n +1 = 0 (mod p)
    1) n 짝수
    2 = 0 (mod p)인 p = 2가 유일.
    n^(p-1) | 2 이므로 n <= 2, 따라서 1 < n <= 2인 짝수 n은 2뿐.
    2) n 홀수
    n = pk <= 2p이므로 k = 1, n = p
    따라서 준 식 p^(p-1) | (p-1)^p + 1
    한편
    (p-1)^p + 1
    = pCp p^p - pC(p-1) p^(p-1) + pC(p-2) p^(p-2) - ... - pC2 p² + pC1 P - 1 + 1
    = p² (pCp p^(p-2) - pC(p-1) p^(p-3) + ... - pC2 + 1) = f(p)
    p | pCi 이므로 p² | f(p)이고 p³ !| f(p)
    따라서 홀수 p는 3이 유일, 이때 n = 3

    ii) p가 n의 약수 x
    {n, n², ..., n^(p-1)} = {1, 2, ..., p-1} (mod p)
    따라서 (p-1)! = (p-1)^n + 1 (mod p)
    이때 (p-1)! = p-1 (mod p) 이므로
    p-1 = (p-1)^n + 1 = (-1)^n + 1 (mod p)
    p > 2인 소수 p에 대해 p-1 != (-1)^n이므로 불가

    (2, 2), (3, 3)

  • sa이코패스 · 1325705 · 15분 전 · MS 2024

    맞습니다!

  • sa이코패스 · 1325705 · 14분 전 · MS 2024

    윗댓 사진 풀이 참고해보세요!

  • 전곽의 전설이 될 뻔한 · 1192164 · 8분 전 · MS 2022

    저런 문제는 어디서 가져오는 건가요?
    작성하신 글 보니 저런 거 종종 올리시는 것 같은데..

  • sa이코패스 · 1325705 · 5분 전 · MS 2024

    경시 변형하거나 대부분 제가 만듭니다

  • 전곽의 전설이 될 뻔한 · 1192164 · 9분 전 · MS 2022

    약간의 오타가 있네요
    마지막줄 p-1 != (-1)^n + 1 (mod p)