이왕 재탕하는 김에
게시글 주소: 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년생#독학생 오르비의 주인이 될 기회 29 31
-
민생지원금으로 뿌려야 한다고 생각합니다. 덕코10분위들은 제외하고요.
-
한양대.. 0 0
한양대 미자공 그동안은 많이 돌았던 거 같은데 올해도 기대해볼만 한가요..(한 두...
-
홍대 추합이고 고대 추합이고 알빠노면 개추 ㅋㅋ 0 0
... 씨발!
-
지구 0 0
방학동안 우주 마스터하고 8월부터 지구랑 사문시작해도 괜찮을까요 지구는 내신으로...
-
친구랑 먹어야하는데ㅠㅠㅠ
-
대학교 장학금 0 0
1학기부터 학고반수하면 사라져요? 전학기 학점이랑 성적요건있던데 처음 한학기 받고...
-
홍대경영 0 0
400번이면 그냥 놓아주는게맞겠죠 이미 최초합한곳 있긴한데ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 안빠지겠죠
-
홍대 인문자전 예비 0 0
작년만큼은 돌까요 …
-
홍대 기시디 예비 1 0
홍대 기계시스템디자인공학과 예비 70번 받았는데 작년에 추합이 유독 엄청...
-
서울대 간호 농어촌 0 0
서울대 간호 농어촌 커트라인 알고계신분 있나요???
-
흠 0 0
조발을 안하는걸 보니 연대는 서연고에서 서고연으로 강등당해야 정신을 차리려나
-
연경제 최초 떡밥 굴린 사람 2 1
탈릅엔딩..
-
배달 뭐먹을까 추천좀 빨리 5 0
-
뻘 2 0
뻘
-
수학 수특 퀄 어떰 4 0
하루컷할만한가
-
기숙학원 관련해서 아무거나 다 괜찮으니 조언같은거 한줄이라도 써주세용... 기숙은...
-
연준의장바뀌면 1 0
금리내려가고 주식코인 존나오르니까 지금 비트주우면됌??
-
사 라 지 는 꿈을 꾸 곤해 0 0
방금 홍콩 여행 날아간 사람의 표정 ㅅㅂ 아 연대 아 연대 아 연대 아 연대...
-
옯평 ㅋㅋㅋㅋㅋㅋ 4 4
-
우리나라에 훌륭한 간호사가 나와야할텐데.. 우국지정이오.. 4 1
중대 간호대 쪽에 21세기 나이팅게일이 나오기를…..
-
오르비 입시 실적 <— 머임? 4 2
왜하는겨? 오르비북스 구매자 입시실적 오르비 인강 수강생도 아니고 걍 합격증 띡...
-
도형 자작 0 0
풀어보시고 피드백 부탁드립니당
-
배달음식을 시켜먹을건데 1 0
뭐 먹을까요??? 저녁으로 먹을거에요
-
D-218 0 0
시간 나름 빠른 듯 근데 언제쯤 날 놓아줄래 국방부야.. 우리 그래도 나름 오래 봤잖아
-
와우
-
이유가 무엇일까
-
고려대 26학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다....
-
외국인전형 취지가 무엇인가요 2 0
진짜 궁금해서그럼
-
안냐떼요 3 0
-
수2 수특은 4 1
수1보다는 잘 만들어진 것 같음 아직 다 풀진 못했지만 꽤 나쁘지 않은 문제들이 많음
-
(방송중) 그래서 말이지 오늘 아따시 늦잠을 자버려서 ~~ 앗…. (잠.....
-
인공지능학과 100번대인데 가망없으려나요..
-
연세 서강 한양 씀 6 5
개 시 발
-
동생얘기인데 2 0
올해 20살인데 재수를 하겠데 근데 정시 합격한 대학은 있어서 학고반수? 한다고...
-
렌즈 처음 껴봤는데 1 2
40분 걸려서 성공함 너무뿌듯함.. 확실히 안경 벗은게나은듯 헤ㅔㅎ헤헤
-
한림대의대 영어 1에서 2될때 감점 몇점인가요? 1 0
ㅈㄱㄴ
-
타베츠쿠소오 후타리데 쿠타바루마데에에
-
연세대 경제 핵빵은 어케됌 1 0
점공상 핵펑이라는 연경 ㄷㄷ
-
옯붕이들 안녕 0 0
-
신디디 각성 1 0
해줘
-
배불러 ㅜㅜ
-
그냥 원래 의사소통 능력치가 낮아서그런가 전화할때 다른거에 신경쓰면서 대화에 집중...
-
연세 한양 쓴 나 2 0
입학처 보는 눈이 정말 없었구나
-
Vkqjcoanck 3 0
ㅇ . 421개
-
연대 기다리시는분들 0 2
저만 이렇게 스트레스받는거 아니라고 해주세요ㅜㅜ 아힘들다 그냥 빨리좀 내라
-
고대는 높구나 0 2
크아악
-
뻘글 소재 고갈 3 0
소재 추천 좀 오늘은 새르비 참전 의사 있음
-
엄마가 0 0
구독자 1억명 않되면 접으래요
-
같은 학굔데 가군은 14->17등 나군은 11->20등이네요
-
성대 공학계열 4 0
최종컷 몇점이냐
신고했어요이게 진짜 재밋는 거거든요
바로 스크랩
통매음으로 고소했어요야하긴 해 이게
님 팔로잉 29998됨
눈버렷다
띠발
마지막만이해함
아니 또 어디로갓어