이왕 재탕하는 김에
게시글 주소: https://orbi.kr/00074704975
전 글의 숫자들은 다음 공식에서 나옴
τ(d)는 d의 약수의 개수,
전 글의 숫자들은 여기 n에 24를 넣은거임
이 공식 증명 중에 하나를 소개하기 위해
1. 곱셈함수
1-1, 곱셈함수 정의
첫번쨰로 정수론 함수, 이건 간단한건데 정의역이 자연수면 정수론 함수임
정수론 함수중에는 곱셈함수라는 것들이 잇음
이건 머냐, 아래 명제를 만족하면 됨
x,y가 서로소일 때, f(xy)=f(x)f(y)
예시로는 약수의 개수, 약수의 합, 자신 이하의 서로소인 수의 개수 (오일러 피 함수) 등이 유명하고
f(x)=x^n도 당연히 곱셈함수, 르장드르 심볼도 곱셈함수임 (얘네 둘은 완전곱셈함수(x,y가 서로소가 아니여도됨))
f, g가 곱셈함수일 때, f*g가 곱셈함수임도 자명
1-2, 곱셈함수 << 왜 필요한가
이런거 찾아서 어따 쓰냐 할 수 잇는데
보통 정수론 함수들의 함숫값을 알아낼 때, 소수의 지수 꼴의 함숫값, 즉 f(p^e) 등의 꼴은 상당히 찾기가 쉬움
예를 들어, 약수의 개수만 봐도 τ(p^e)=e+1임을 누구나 알 수 잇음
그런데 첫째로 모든 소수의 지수 꼴들은 소수만 다르면, 서로소이고,
둘째로 모든 자연수는 유일하게 소인수분해가 가능함 (산술의 기본 정리)
따라서, 우리는 소수의 지수 꼴 함숫값을 알고, 곱셈함수임을 알면, 모든 자연수에 대한 함숫값을 알 수 잇다는 뜻,
ex) τ(n)=τ(p1^e1*p2^e2*...*pt^et)=(e1+1)(e2+1)...(et+1) 이런 식으로,
조금 더 생각하면 이런 생각도 가능, > 완전곱셈함수를 정의하는 이유는?
>> 소수에서의 함숫값만 알면, 모든 자연수에 대한 함숫값을 알 수 잇다.
2. 합함수
2-1. 합함수의 정의
f(n)이라는 정수론 함수가 잇을 때 다음, F(n)을 합함수라고 부름
또 간단한 예시
τ(n)은 n의 약수마다 1을 더한거이므로, 합함수라고 볼 수 잇음
2-2. 합함수 성질
합함수의 중요한 성질은,
f(n)이 곱셈함수이면, F(n)도 곱셈함수라는 거임
이 명제의 증명은 꽤나 어려운데 증명의 핵심은
x,y가 서로소일 때, xy의 약수는 x의 약수 a, y의 약수 b의 곱으로 유일하게 표현된다는 거임.
이 때, a와 b가 서로소임은 매우 자명함
근데 이거 아이디어는 진짜 어려운거라, 그냥 식 순서만 쓰겟음 식 따라가면서 ㅇㅇ 그렇구나 하면댐
(아이디어가 어려운거지 과정 이해하는건 안 어려움)
서로소인 x,y에 대해
마지막 식이 이해 안 갈 수 잇는데, 숫자 대충 넣고 써보다 보면 이해가 갈꺼임..
3. 맨 위의 식 증명
τ(n)이 곱셈함수이기 때문에, τ(n)^3도 곱셈함수고, 그 합함수도 곱셈함수고, 합함수 제곱한것도 곱셈함수임
>> p^e일 때만 증명하면 오카이다 (왜냐면 이 때 같으면 곱해서 만든것도 같을꺼잖음)
쨋든 그래서 p^e 넣어보면
1^3+2^3+3^3+...+(e+1)^3=(1+2+...+(e+1))^2 나오는데, 모두가 다 아는 그 식임
(그래서 보면, 이 항등식의 일반화가 맨 위의 식임을 알 수 잇음, 일반화된 공식을 자기자신으로 증명하는 점이 재밋음)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
며칠동안 너무 힘들었는데 술 마시니까 행복해졌어여
-
다들 행복해야한다.. 2 0
고마웠다..
-
드디어.. 2 0
쉴 수 있어...
-
서울은 약간 아이폰 같은거임 3 0
20대 기준으로 대게 뭔가 남들이 서울로 가서 살려고 하고 서울살면 있어보이니까...
-
원래는 시발점 끝내고 워크북 끝내고 수분감 들어가려하는데 센도 풀지 고민중입니다....
-
연진자 추합 0 0
앞사람들 지원한 거 봤을 때 적어도 40명은 빠질 듯?
-
외시중에 고민했는데 0 0
도서관이 더 예쁜 곳을 택함
-
아직까지 먹네 1 0
쉽지 않노
-
진짜 운동을 해야지 끝까지 할 수 있을텐데 운동을 하면 몸이 너무 아퍼 저번주에...
-
새벽 4시 반입니다 0 0
이제 디지털 화면을 끄고 꿈나라로 가실 시간입니다.
-
한때는 나의 모든 것 잡을 수가 없네지나쳐가는 모든 그대 모습이문틈에...
-
엉덩이 2 2
잘시간이야
-
열심히살아야하는데 5 0
아무래도망
-
라고 생각을 해봤지만 고작 서울라이프 하려고 인생을 팔아먹기에는…
-
아프지 말기 1 0
-
힘드노 2 1
아으
-
진학사 점공 게시판에 반수 이야기 나오는거 부터 뭔가 외롭지 않고 따뜻한 기분까지...
-
이제 양치하고 자야지 3 0
네~
-
미친 듯 사랑했는데 왜 4 0
정말 난 잘해줬는데 왜
-
지고 싶다
-
검고생 삼반수 핑까좀 3 0
작년수능 43445 9모 11313 능수 31313 국어만 복구하면 어케 안됨?
-
김승리 성대모사 1 0
이분 웰케 재밌냐
-
안녕여러분 4 0
접니다.
-
과탐러지만 지도퀴즈를 해봤어용 2 0
이정도면 세지 ㄱㄴ?
-
영어단어장 추천해주세요 3 0
능률보카어원편인가 그거 좋다는 얘기, 워드마스터(정확히 어떤 건지는 모르겠음)좋다는...
-
헬스터디 보는데 7 2
이채연님 10월 학평 성적이 국어 100 수학 96 영어 1 사탐 44 50임 와...
-
어캄???
-
자 잠깐마안 3 0
자 다들 지금 안자시면 내일 일어나는게 힘드시겠지 빨리 숙면을 취하시거데 빨리 자란 말이햐아
-
나를 못 믿겠군
-
지금 안자는 사람들 13 2
허~ 고개들어볼까?
-
자라 3 0
자라
-
전과때문에 잠이 안옴 7 3
안그래도 개쫄보덜덜충인데 ㄹㅇ 손발이 덜덜 떨려서 잠을 못자겠네 왜 홍대자전을 안갔을까 나는...
-
그냥주글게..
-
자작문제 만든거 공유할때 3 0
문제집 형식 vs 한개씩 따로 원래 문제집 형식으로 만들려했는데 만들고 시간 지나서...
-
삼반수 포텐 3 0
현역 수능(25수능) 22211 재수 6모 11111 재수 9모 12221 재수...
-
이거잘하면다외울수도잇겟는데 8 0
나쫌치는듯이거
-
인증해주샘 0 0
존잘오르비언들이보고시프음
-
흠. 이건 답이업군뇨 0 0
으우ㅏ아아아아앙
-
미적 3에서 올리신분 11 0
보통 이 등급대에선 기출 계속 보면 오르나요?
-
사랑을 하면 행복하단 말 0 1
그 말 내겐 왜 틀린 말 같죠눈물과 아픔 기다림까지도다 알것 같은데 사랑할 그대만 없네요
-
안녕하세요 18 0
기구하다
-
오르비가차게식었어 4 1
사람이없어... 원래 4시 50분~5시 10분정도는 가야 이정도 리젠인데
-
다들 점공상 갈 거 같은 대학 어디신가요?
-
열역학 조빠지게 어렵네요 3 0
독학중인데 고딩때 물리 선택할걸
-
수학 4 맞는 법 2 0
질문이 좀 이상하게 들리실 수도 있는데 예체능러라서 수학 4만 떠도 되는데 2,3점...
-
내가 수학실력 좆박았던 이유 7 0
고1때 ebs 정승제 들었는데 정승제가 답지 보@지 말래서 안봤음;; 당연히 해설도...
-
반가워요 5 0
오르비
-
현실적으로 재능? 노력? 0 0
진심 현실적으로 국어 100은 재능인것 같고 노력하면 1등급은 가능하다고 생각함...
-
지식거래소에서 저만의 PDF를 팔까 생각 중입니다 2 2
안녕하세요. Apocalypse II입니다. 밤에 갑자기 좋은 생각이 나서 1월...
-
고3때 언매하는 학교 있나 5 0
흠
신고했어요이게 진짜 재밋는 거거든요
바로 스크랩
통매음으로 고소했어요야하긴 해 이게
님 팔로잉 29998됨
눈버렷다
띠발
마지막만이해함
아니 또 어디로갓어