이왕 재탕하는 김에
게시글 주소: 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를 선물하세요.
-
#07년생#08년생#독학생 오르비의 주인이 될 기회 37 36
-
나도 성훌 하고싶다 1 1
ㅠㅠ
-
흠
-
Infinite Myself 0 0
들으셈뇨
-
모순 책 재밌던데 사랑이야기도 좋고, 술술 잘 읽히는 문학책으로 ㅊㅊ좀 감성도 좀 챙기고
-
연도별 원탑 2 0
01:김유연 02:박소현 03:윤서연 04:김채연 05:공유빈 06:박시온...
-
사문이 메가패스 효율이 좋긴함 0 1
윤성훈 최적 강사 하나하나가 압도적인건 아닌데 둘다 들을수있는게 너무 좋음...
-
국어 글 읽는 방법을 알려주는 선생님 추천해주세요 0 0
인강 패스는 대성, 이투스 있고, 수능 문제를 푸는 것 보단 논술을 잘하기 위해서...
-
페이커 이제 갔네 0 2
고전파가 왔었구나
-
ㄷㅅㅎ 0 1
대상혁
-
생윤 조언 부탁드립니다.. 1 0
제가 원래 인강 듣는 걸 별로 안좋아하는데.. 고3 현역이구요 생윤 내신준비...
-
쪼아요~ 쪼아요~ 0 0
물걸레질 쪼아요~
-
가장 재밌게 본 웹툰 4 2
일진녀 과외하기
-
암막커튼 숭배하기 2 1
햇빛거부하기
-
술 아예 못먹는 사람은 4 0
대학생활 어케함? 몸이 좀 안 좋아서 술은 물론이고 탄산음료도 못 마심 초중고딩때...
-
친척 안만나니 좋네 8 1
그냥 사람 만나는 게 두렵다
-
생각해보니까 구글폼 링크를 안가렸는데 딱히 피해보는쪽 없는거같으니 걍 냅둬도되는거같기도
-
난정말이지우주최악이야 1 0
캬컄
-
하숙 하신분들 4 0
하숙 로망 있는데 하신분들 있으신가요…?
-
서울 바로옆 농어촌 되는곳이 8 1
진짜 개꿀인것같음 내가 서울시 끝자락 마곡 사는데 (곧 이사 가서 그냥 깜) 솔직히...
-
고딩때 낙태 해본 의대생 e컵 누나가 결혼하자면 어케할거임? 7 1
고딩때 놀거 다 놀고 성적은 유지해서 인설의 들어감 메디컬 이채연 김범준 세종대...
-
현재 예비고2고 고1 모고 기준 1~높2 왔다갔다 합니다 작수 비문학만 시간재고...
-
학교가 싫다 2 0
학교가 그대로 폐교해버렸으면 좋겠어
-
26학년도 수학 자료 팔아요 0 1
스러너 26 27 28 29 30회강k 26, 30회 토탈리콜 현강 12~16주차...
-
저는 몇년째 대성만쓰고 있는데 메가만 사시는 분들은 누구 들으려고 사는건지 궁금함...
-
아 이어폰 아예망가졋네 5 2
목요일은 되어야 새거오는데 그동안 오른쪽 귀로만 살아야해..
-
뭔가 기분이 묘함뇨 공교육의 학생회와 전혀 다른 존재라는 걸 아는 데도 불구하고 말이죠
-
과외알바를 생각하시는 분들을 위한 매뉴얼&팁입니다. 5천원 커피값에 미리 하나...
-
광운전자 가면 4 1
학점잘따면 삼성 가나요 대학원안가고 개꿀인대 인서울 낮은학교라 학점 따기도...
-
어디 학교를 선택하건 둘 다 똑같이 좋은 느낌
-
추가모집 0 0
예비 보통 많이도나? 이채연 윤현수 윤전 대성 원숭이 나무에서 떨어져
-
다 들었어 2 2
니가 그때 걔랑 만날때
-
이안 개예쁘네 4 1
09원탑
-
일어난지 5시간째 4 1
햄부기 두개먹고 비스듬하게 누워앉아서 릴스만 봤는데 배고파짐
-
시간표가 왤케 잘게 쪼개져있냐
-
-
피부미용 전문병원 열어도 레이져 이런거 써도 ㄱㅊ은데, 보톡스 이런것만 못하는건가요
-
t1은 또 지고있네 ‘ㅅ’ 0 1
1세트 이긴거 본적이 진짜 드문거 같기두
-
지원군 모집합니다 0 1
빼애액
-
180경희대는 ㅈㄴ 부럽네 2 1
시발 걍 뒤질까
-
ㄹㅇ 한병이 제일 무난하지 않을까 ｡◕‿◕｡
-
공부하는 여자애들도 4 1
화장함?? 아침에 30분씩 걸리고 학교에서도 매만져야되지않나
-
근데 다들 국어할때 커리따라갔음? 14 1
나 강기분 끝났는데 새기분으로 바로 넘어갈지 마닳하다가 넘어갈지 고민중인데 이렇게...
-
평화로운 날이다 0 1
요즘은 지하철에서 갓난아기들 보는게 넘 어려워졌지만 그럼에도 불구하고 되게 귀엽다...
-
닉추천받음 8 3
역시 탈릅한 애들 닉을 먹어야 하나
-
탈릅 0 1
탈모온 릅신
-
사는 것이 귀찮다
-
명절때도 공부할거임
-
설날에 추가로 배포할거 2 2
28예시문항 해설지
-
어디야 집이야 안 바쁨 나와봐 0 2
너네 집 앞이야 너에게 하고픈 말이 있어
-
와 변리사하고 싶다 0 1
메이져약대 토익 980 학점 4점대 변리사 자격증 ra 인턴경력 그 귀한 김앤장에서...
신고했어요이게 진짜 재밋는 거거든요
바로 스크랩
통매음으로 고소했어요야하긴 해 이게
님 팔로잉 29998됨
눈버렷다
띠발
마지막만이해함
아니 또 어디로갓어