재밌는 문제 풀어보셈요(10.16)(1500덕)
게시글 주소: https://iu.orbi.kr/00069510928
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그냥 바닥을 걷는 건 이미 충분하잖아 밖으로 나왔을 때, 눈이 소복히 쌓인 바닥이...
-
올해들어 벌써 대구에 눈3번째임ㅋㅋ 2023년 2024년은 거의 안왔는데..
-
영원히 오지 않을 줄 알았다...
-
레알 저새끼들 올라오는 거 보단 시티가 백배 남 시발 존나 무섭네
-
또 눈오네 0
-
얼버기 4
-
중대 경희대 이대
-
어제 xdk 복권 2등 된 기념으로 선착 1명 1000개 줄게 우우...
-
인스타에뜨던데 0
이 앱은 뭐하는거임?
-
안녕하세요 '지구과학 최단기간 고정 1등급만들기' 저자 발로탱이입니다. 지난 1년간...
-
작수 사문 했는데 공부할 때는 ㄹㅇ 즐거웠는데 수능 보고 채점할 때 개념문제 의문사...
-
돌아와... 0
우리가 잘못했어...제발 돌아와줘
-
덕분에일찍깸
-
얼버기 0
-
난 대전에서 재수하고 남친은 냥대다님 일요일만 쉬는데 외박도 거의 안될거고 이거 미치겠네ㅜ
-
자기네 홈에서 레알에 깨진건 펩취임이후 처음 아닌가
-
ㅎㅇ 오랜만 0
ㅇㅇ
-
철구에로:아니 얘들아 이게 어려워?
-
지구멸망하는거아님...?ㄹㅇ
-
눈치우고옴 대구에서 살다살다 ㅈㄴ많이오네 올해만 벌써 3번임 작년에는 쌓이지도 않더니..
-
아 ㅅㅂ 0
아니 ㅅㅂ 패스미스로 쳐먹히네 ㅗㅗㅗㅗㅗㅗㅗㅗㅗㅗ 2차전 베르나베우 원정??훗...
-
2:3 2
GGGGG
-
다시 2:2 2
어휴
-
무휴학 삼수 3
1. 원룸 + 15학점 들으며 학교 생활 + 수능 공부 병행 2. 2일 동안...
-
얼버쿨 4
아아아ㅏ아악 자고싶어요
-
언매/확통/생윤/사문 현역 : 36332 (77/34/80/91) 재수 :...
-
깨있었는데 지금은 자고 깨있으니 뭔가 낳군.
-
홀붕아 사랑해!!!
-
얼버기 3
-
가성비 좋은 거 많아졌네
-
음바페 동점골 0
...
-
ㅇㅂㄱ 7
-
학교 가기싫다 15
친한 애들이 없는 건 아닌데 그렇다고 자주 붙어다닌다고 할만한 그런 친구는 없고...
-
어째서,,,
-
정보) 현재 난리 난 N PAY 대란 요약 . jpg 0
https://sbz.kr/zdk1D
-
홀란 ㄴㅇㅅ!! 발데 중거리 ㅈㄴ무섭다 바페야 마지막 오픈찬스 놓쳐준거 ㅈㄴ고맙다...
-
잠 안온다 7
그냥 안잘래
-
프사 귀엽다 11
으흐흐흐
-
22수능 원서철까지는 글도 꽤 썼었는데 이젠...
-
얼버기 2
다시 잘 예정
-
지금 수학 시작할 건데 이미지커리로 미친개념-> 미친기분 시작편-> 미친기분...
-
정보) 현재 난리 난 N PAY 대란 요약 . jpg 1
https://sbz.kr/zdk1D
-
정말 큰 결단이 필요한 일 같다...
-
주변에도 그렇다고 하고 나도 그렇게 느끼고 실제 선배들이랑 우리 학년 비교해도...
-
어딜가야될까요
-
폰압한다는 얘기도 있던데 진짜면 ㅈㄴ 심심할듯 ;;
-
사문으로 갈아타서 처음 하려는데 개념 누구로 시작하는게 좋나요? 임정환도 있고 뭐...
-
시대기숙.. 0
평가원전형으로 우선선발 가능한데 우선선발도 무조건 낮반일까요? 그리고 혹시 교재비랑...
가운데에 뭔기호에요?
a | b 에서 b가 a로 나누어 떨어진다는 의미입니다
이젠 님이 알려주시는군요..ㅋㅋ
이 문제 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)이 전부이다.
오 맞아요 이제 봤네요.. 난도를 낮추기 위해 필요한 조건이랄까요 ㅋㅋ
쉽게푼 버전입니다
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)
맞습니다!
윗댓 사진 풀이 참고해보세요!
저런 문제는 어디서 가져오는 건가요?
작성하신 글 보니 저런 거 종종 올리시는 것 같은데..
경시 변형하거나 대부분 제가 만듭니다
그렇군요 감사합니다
약간의 오타가 있네요
마지막줄 p-1 != (-1)^n + 1 (mod p)
내친 김에 1990 imo P3 제 풀이도 올려봅니다.
n^2|2^n+1
n=1이면 조건을 만족한다.
n>1일 때, n의 최소 소인수를 p라고 하자.
2^(2n)==1 (modp), 2^(p-1)==1 (modp) (by 페르마 소 정리)
=> 2^(2n,p-1)==1 (modp) => 2^2==1 (modp) (∵(n,p-1)=1)
따라서 p=3이다.
Lifting the exponent lemma에 의해
2*v_3(n)=v_3(n^2)≤v_3(2^n+1)=v_3(2+1)+v_3(n) => v_3(n)≤1 => v_3(n)=1
n=3t라 하자. (t는 3의 배수가 아니다.)
t>1이면 t의 최소 소인수를 q라고 하면,
8^(2t)==1 (modq), 8^(q-1)==1 (modq) (by 페르마 소 정리)
=> 8^(2t,q-1)==1 (modq) => 8^2==1 (modq) (∵(t,p-1)=1)
=> q|63 => q=7 (∵q≠3)
2^n+1을 7로 나눈 나머지는 2,3,5만 가능하므로 모순, => t=1 => n=3
n=3일 때 확인해보면 해가 됨을 알 수 있다.
따라서 구하는 n은 1,3.
오 aops에서 봤던 풀이랑 비슷해요
근데 위에 풀이에서
q|p-2인 경우에 왜 쌍둥이 소수여야만 가능한가요?
q와 p가 모두 소수여서요 2차니 나는 소수쌍을 쌍둥이 소수라고 해요
그건 아는데 p-2가 꼭 소수이진 않잖아요, p-2가 합성수이고, q가 p-2의 약수일 수도 있는거 아닌가요
아 그렇네요. 아무생각없이 풀다보니까 그렇게 됬군요. 수정해서 올릴게요..ㅋㅋ
제가 그 부분에서 잠깐 막혔었는데 그냥 제 풀이처럼,
p==2 (modq) => 2==(p-1)^n+1==0 (modq) => q=2로 처리하는게 젤 간단한 듯요
맞아요. 제가 쓴 풀이 위에구해논 mod 식을 이용하는게 젤 간편하긴 해요
추가적으오 최대공약수 쪽으로 풀어서 접근해서 되는지 해보고 있었습니다