이왕 재탕하는 김에
게시글 주소: 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를 선물하세요.
-
6∼12세 초등학생이 집안에서 아픈 가족을 돌보거나 설거지·농사일까지 떠맡는 ‘꼬마...
-
"일상" 을 일상언어적 논리로 틀리게 낸게 참 마음에 드네요
-
국어 고정 1 뜨다가 9모때 처음으로 2뜬 사람인데요 만점권까진 아니어도 백분위...
-
시대나 강대 강사컨 중에 도형 n제 ㄱㅊ은거 있나요? 3
사인법칙, 코법칙이랑 전체적으로 도형에 약해서 집중공략 하고싶은데 강사컨들중에 도형...
-
알러지만 아니였어도……
-
최대한으로
-
언매 98 확통 100 영어 2 한지 48 세지 48 받고 경한 뚫어보자 ㅈㅂ
-
뭐 푸는 게 제일 좋나요?? 김승리 아수라 따라가려고 하는데 그 전 커리는 올오카...
-
확통 한완기 사려고 하는데 미친기분, 4점기출처럼 오답률 높은 28-30만...
-
강의실 가는 사이에 신발이랑 바지 다 젖음;;
-
독서 5틀 문학 10틀 화작 3틀 59점 5등급 나왔는데 3등급 초반까지는 올리고...
-
힐링되네
-
가능세계 독서 3
저는 가능세계랑 플로리디 독서 지문이 하나도 어렵다고 생각이 안 드는데...
-
독재끊고 독서실 4
독재다니고 있는데 빌런너무많고 정신적으로 너무 힘듭니다.. 왕복 한시간 반인것도...
-
국어 실모 3
아침에 국어 실모 풀때마다 졸아서 너무 실모가 아까운데 극복하기 위해서 계속 아침에...
-
1교시 출동 4
어으 졸려
-
언매도 아니고 언어 한정 ㅇㅇ 예아 혜윰 언매도 검토 비스무리한 거 함
-
ㅅㅂ 이상 없음에 설명 탑재도 안 하네 이 평가원 #~# 왜 등속인데
-
개힘드네 1
다외움!!!!
-
하...
신고했어요이게 진짜 재밋는 거거든요
바로 스크랩
통매음으로 고소했어요야하긴 해 이게
님 팔로잉 29998됨
눈버렷다
띠발
마지막만이해함
아니 또 어디로갓어