이왕 재탕하는 김에
게시글 주소: 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년생#독학생 오르비의 주인이 될 기회 31 32
-
이리와잇!
-
닉변스변 장점 2 0
어느정도 옯창력 높아지면 한 번씩 글 밀고 닉변프변하면 다시 새출발하는 느낌이 들어서 좋음
-
연치 쓰신분 있으신가요?? 0 0
어디까지 생존하는건지 알려주실분..
-
이걸 일제강점기 이야기로 해석하는게 당연하고 자연스러운건가? 5 0
난 아니라고 보는게 그냥 뭔가 지향하는 상황이면 다 통하는 내용이잖음 현대시...
-
쏘카 원래 이렇게 비쌈? 0 0
하루 빌릴거면 걍 렌트가 남? 배달비 ㅈㄴ 짜치네..
-
5마넌씩 후원해서 민심 돌려볼 듯 글고 오르비에 bbq 황올 랜덤 추첨을 하는 거임
-
물리2 기출 분석 잘해서 체화하면 만점권에 갈수있다 생각하시나요??? 1 0
교재가 많지않은과목이다보니 말이죠 어떻게들 생각하시나요???
-
연락하지마라 4 0
잘거니까
-
혼자라서 행복해 0 0
왜일까
-
으아 되는 예비인걸 알아도 불안해 13 1
만에하나떨어지면어떡하지어떡하지어떡하지
-
Ex) 개화 지문, 신분제 지문, 임철우(아버지의 땅) 등등 한국사 배경지식...
-
각각대학들 2027 기본계획표 보면 의대정원이 윤정권에서 확장했던 그 수자로...
-
미카리가 또 뭐했냐? 2 0
하 담당일진 출동해야됨?
-
피로해 0 0
ㄹㅇ
-
피자먹음 1 0
-
그럼에도 불구하고 코노 가고싶다
-
3월 계획 1 0
오르비 로갓하기 3모보기 국수영 찢고 오르비 돌아오기
-
카이스트 가고싶은사람 없음? 9 0
레어좀 가져가바 5만덕밖에 안해
-
형 간다 0 0
살아서 돌아올게 화욜날 보자
-
6평 하루전에 탈릅해야지 6 1
처첨한 6모 성적을 들켜서 수탐 리플리인게 들키면 안됨
-
2월계획 ㅁㅌㅊ 3 1
오르비에 똥글싸지르기
-
2월 계획이나 세워볼까? 1 0
ㅇㅇ
-
푸딩 16 1
귀엽지 ㅎㅎ
-
시대인재 단과 0 0
제가 시대인재 시스템을 잘 모르는데 한번 단과를 등록하면 그 이후로 쭉 가나요...
-
요즘근황딱정리해줄게 4 0
좆뺑이친다 이상
-
계잘싶광울 2 0
계산 잘하고 싶어서 광광 울었어
-
낼부터 혹한기 시작.. 3 0
어휴…
-
이거들어ㅏ 1 0
-
오늘의 허접 공부 3 0
영어 많이 한 거 같은데 왜 저러지? 오류 걸린듯
-
우우 1 1
우아아
-
내가 이런 말 잘 안 하는데...
-
옯붕이 ㅁㅌㅊ? 3 1
블아함 니케함 트릭컬함 원신함 붕스함 명조함 쿠키런함 프세카함 뱅드림함
-
-
나는야 공부 쉬었음 청년 0 0
수시조아 ㅎㅎ
-
수능이 커하로 나오면 0 0
사설 교육청 제외 평가원 모고보다 수능이 잘나오면 n수 접을 자신 있음? 대신...
-
2만원 써말아
-
투린이 인데 2 1
걍 이톞 적립하는게 나은가 입닥치고 적금넣는게 나은가 둘다 하기에는 사는게 빡빡해서
-
오르비 성비 7:3 인듯 5 0
여자분들이 생각보다 더 있음
-
당신 보고있는거 다 알아 0 0
진짜 연끊기싫음 보지마 미치겠으니까
-
쪼와요 쪼와요 13 0
물걸레질 쪼와요~
-
공부 안돼서 혼코노 갈라고 7 0
같이 부르잣
-
공부 쉬었음 0 0
거의 2딜째 쉰 듯
-
군병원 정신과 1 1
가도되나
-
질문) 물2 전압 기전력 차이 1 0
개념 강의들은 너무 두루뭉술하게 사전적으로만 서술해놔서 둘이 똑같은 거 같은데...
-
공부시간 내기했은데 0 0
졌음,,;
-
올해 외대 폭임? 0 0
??
-
금연 1주일 3 1
담배생각이 안 남 그래도 가끔은 피고 싶음
-
흐에엥 스피키내르지마세요 6 3
흐에엥에에에
-
하투하 이안 지우 진짜 미쳤네 5 0
너무 이쁜데 얘네뭐지?
-
Before after 어떻게 알고계신가요??? 4 0
시간상 이전에 이후에말고 공간상 ~앞에, ~이후에 이거 은근 좀 헷갈리는데 다들...
신고했어요이게 진짜 재밋는 거거든요
바로 스크랩
통매음으로 고소했어요야하긴 해 이게
님 팔로잉 29998됨
눈버렷다
띠발
마지막만이해함
아니 또 어디로갓어