이왕 재탕하는 김에
게시글 주소: 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 37
-
이럼 더이상 못 돌아오는거? 아님 환원되는 법이 있나
-
인생망한듯 0 0
작수 76825인데 어떡할까요
-
오르비 보니까 수학풀고싶어진다 0 0
-
흠 0 0
흐음맨이야
-
그냥 한 번만 더 해볼까 1 0
설령 성공한다해도 진로상으로, 학벌 한두급간 올린것보다 1년 꿇는게 훨씬 큰...
-
궁금해여
-
노무현나옴 ㄹㅇ 로
-
소통이 잘 안되는것 같음 4 1
내가 존나 회피형이라 그런 듯 나도 직설적이게 말하고 싶은데 걍 어짜피 길게...
-
에피 설뱃 금테 귀여운 오르비언
-
하
-
내가 7살때로 돌아간다면 5 0
현재에 대한 기억만 있고 능지는 7살수준이라면 책읽었을거고 능지도 지금이랑 똑같으면 수학할듯
-
입학은 문과 사범대로 하고 0 0
2학년때 공대로 전과 신청하고 (성공했다면) 3학년때 철학 복수전공도 신청하고...
-
다들 안뇽 11 0
잘자여
-
술마시고 클래식듣기 0 0
눈물흘리기
-
점심으로 엽떡먹어야지 1 0
다들 잘자용 뽀뽀쪽
-
ㄹㅇ 평가원인가
-
선행 진짜 의미없는것같음 9 2
물론 아얘 의미없는건아닌데 어릴때 선행하는거 ㄹㅈㄷ 비효율적임 어릴땐 걍 책이나...
-
이해가안되네..
-
김치맛 과자 2 0
있으면 맛있을까
-
김장봉투랑 11 0
질소가스통만 잇으면 곧 끝낼 수 있음
-
옯스타 맞팔구! 3 1
k._sharp9
-
비트코인 이더리움 사주세요 0 0
설거지 뽀득뽀드득 깨끗하게 부탁드립니다
-
아무도 없군 4 2
이제부터 여기는
-
오르비 심연인 이유 7 1
심해생물이있어서
-
오늘 오틴데 40도야 2 0
절대 못 가
-
뭐지 5 1
어머니 아버지 다자고잇는데 평소에 고장난거 못본 센서등이 알아서 켜짐 끼야아아아악!!!
-
?
-
공부를 꼭 해야하는것이냐? 5 0
공부를 꼭 해야하는것이냐? 이 시발 ㅋㅋ 화1 하는애들 왜 다 사문으로 가지 나도 갈까
-
방금 게시물은 5 0
제가 잘못했습니다 개인적으로 해결할게요
-
사범대에서 공대 전과하고 2 0
철학 복수전공 신청하면 걍 존나 미친놈에 혼종인가 좋아보이진 않는데 하고싶어짐
-
무슨메타임 2 0
또나빼고얘기하네
-
니케 헤응 기다려 8 0
형아가 코스프레해줄게
-
난 그런 사람이 싫음 7 0
고인 물에서 벗어날 줄 모르는 인간. 시간은 흐르는데 계속 그 자리에 그대로 있음...
-
탈릅하기전 마지막 ㅇㅈ 6 2
-
지나간 내한에 미련을 갖지 말 14 0
어 형은 다녀왔거든요 ㅋㅋ
-
강사 누구들을지 못정함 9 0
내가 원하는강사) 잡소리없음 판서많음(담요단이라서ㅎㅎ) 말 느리고 현우진마냥...
-
진짜 최애 아티스트인데 해체를햇서...
-
탈릅하지마 8 1
-
인생 진짜 좆망한것같네 7 0
ㅠㅠ
-
오티가 새터임?? 11 0
뀨르릉??
-
근데 이거 어렸을때 너무많이봐서 별로 안땡긴다
-
이번주 내로 탈릅하겠습니다 3 0
뻘글,이상한글 많이 써서 죄송했습니다 감사했어요
-
지나간내한에미련을갖지말 1 0
씨발
-
탈릅메타냐 4 0
아이건아니지~~!!~!!!
-
머리를 자를까... 5 2
저 머리카락 길이로 에피딸수 있는 정도임
-
우울 하지말자 5 1
이게 진짜 존나 개처웃김 내가 먹는 모든 정신과 약보다 효과있음
-
나도 이제 슬슬 탈릅을 13 3
안함
-
서강대동강대 2 0
중심은강대 :)
-
다음주에 탈릅함 8 0
다들 바이
-
장화홍련 지린다 0 0
이것도 결말 까먹고 있었는데 소름이네...
신고했어요이게 진짜 재밋는 거거든요
바로 스크랩
통매음으로 고소했어요야하긴 해 이게
님 팔로잉 29998됨
눈버렷다
띠발
마지막만이해함
아니 또 어디로갓어