이왕 재탕하는 김에
게시글 주소: 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를 선물하세요.
-
이준석같이 똑똑해지고싶음 0 0
사실 멍청해서 누가 똑똑한지 모르겠음 그냥 말잘하는사람이되고싶음 말하는것마다 근거가 있엇음돟겠음
-
확통런 커리 추천좀 0 0
정시파이터였어서 내신 버렸고 당연히 이과라 미적하려고 고1 확률 부분 경우의수도...
-
고민 들어드립니다 4 0
시답잖은 건 얘기하지 말고
-
Oceans apart, day after day 0 0
And I slowly go insane
-
강대 들어가기 전 공부? 1 0
강대 위업 들어가려고 하는데요 개강이 2월 23일이라서 들어가기 전까지 마냥...
-
백두옹(수뱃) 그립다 5 0
이사람때메 옯에 재미붙였는데 조용히 탈릅함
-
ㅇㅈ 12 0
집 화장실에서 찍음 ㅋㅋㅋㅋ
-
그리고 점공한 놈들한테 5만원 페이백을 해주는걸로 제도를 개편해야함
-
문제 잘만든듯.. 맛있음
-
사탐 과탐 7 0
사탐 만점이랑 과탐 1 1이랑 얼추 비슷한거같은데 뭐가 쉬울까요? 의치한 노려보려고...
-
고양이 기르고 싶다 5 0
난 샴이 좋아
-
잘자콘 주세요 7 0
잘자…
-
정병호샘 되게 좋아보이는데 5 0
개념 돌리고 병호샘 따라가볼까
-
오르비 잘 3 0
자던가
-
안구건조증 심한 사람만 나는건가?
-
잔다 6 0
-
재밌는 일은 다 새벽에 일어나
-
오 4 2
르비
-
N수생 가산점 좀 줘라 0 1
재수실패하고 자살한 H모씨 다들 알잖아 왜그래
-
오늘 새르비 왜이럼 8 0
리젠 왜이러냐...
-
오랜 고민입니다
-
코끼리를 생각하지 말아보세요! 했을때 코끼리를 지울 수 없듯이 뭔가를 하면 안...
-
중졸, 참전용사 출신 총통 2 1
-
실패함 ㅅㅂ 인스타 안한대 이거 그냥 차인거지???
-
은테까지 4명!!! 4 0
어서어서
-
오르비하면 14 1
머리나빠짐
-
과외시급 얼마 받을수있을까요 0 1
소신쓴게 붙을거 아니면 중앙대 기공 갈것같습니다 백분위 화작98, 물리1 97이라...
-
'90 제1차 실험평가 '91 2차 실험평가
-
고대식 655 1 1
스보안 데과 인공지능줄 될만한곳있나요?
-
틀린 말 아닌거 같음
-
말그대로...가난하면, 부모지원없으면아무래도 반수해야하나요?그게더싸니까?....
-
시대갤 꿀잼인디 2 1
....재밌는뎁
-
서프 <-이새끼 좋은거냐 16 0
2.7이라고 잇올에서 문자옴 2월섶
-
나도 이제.나이가 많아짐 4 0
ㄹ ㅇ
-
음 화1 수능 풀어보니 42네 2 0
다시 들어가도 될듯
-
그이사와면 다 분장임
-
No one can rewrite the stars 3 0
How can you say you'll be mine
-
보현이 그렇게 유명하지는 않은가 10 3
이대생한테 물어봤는데 모름 사회적으로 그정도 이슈는 안됐었음? 나는 논란되기전에도...
-
동국약도 약펑 아닌가요? 2 0
나군에 원광치, 설대 항공우주공, 동국약 고민하다가 원광치 쓰고 궁금해서 미지원점공...
-
상평 국사가 머임 5 0
그런것도 있구나
-
아 답 좀 달아줘 부탁할게 4 0
운동하다가 열심히 하다가 벽 느껴져셔 이제 놔주고 체대 하려는데 국어랑 영어랑...
-
부산대 높공 -> 내년수능쳐서 '성공'했다고 말할정도가 되려면 어느라인가야함?부산대...
-
상평 국사… 이산수학… 6 1
윽 머리가
-
그냥 다른 사람이라 봐야함
-
내일 술 마시러 갈거야 1 0
나도 인스타에 짠 하는거 올리고싶더라
-
시대 수학 기출 0 0
이번주에 첫현강가는데 저번주에 시대기출책을 무료로 나눠줫엇다해서.. 이번주에...
-
복학 0 0
전적대 복학이 1/16일까지고 정시로 쓴 대학 결과 발표 전인데 어케해야 하나영...
-
고딩친구가 1 0
5명되나 없는 수준임
-
상평 국사 vs 과탐2 과목 1 0
뭐가 더 체감 난도 높았음?
-
15살 연대생
신고했어요이게 진짜 재밋는 거거든요
바로 스크랩
통매음으로 고소했어요야하긴 해 이게
님 팔로잉 29998됨
눈버렷다
띠발
마지막만이해함
아니 또 어디로갓어