이왕 재탕하는 김에
게시글 주소: 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
불안한눈빛과~ 그걸지켜보는 너어어어어~
-
답이 자연수가 아님 시발
-
겨울방학 전까지 풀 거 2권만 특특, 엑퍼0 제외
-
1안뜨면 좀 섭섭하지? 그게 내가 될까봐 걱정이야 ㅠㅠ
-
7월쯤에 올오카로 옛기출 보고 마닳로 최신기출 다 봤는데 올오카 들을 때 강의 내용...
-
제발
-
데뷔 20주년 맞는 빅뱅, 내년 美 음악 축제 '코첼라' 출연 2
4월 캘리포니아서 열려…캣츠아이·샤이니 태민도 공연 (서울=연합뉴스) 이태수 기자...
-
오노추 4
마나미콘 간 사람들 너무 부럽다
-
학프 마감인데... 슈발................. 하.......
-
물론 이번년도껀 아님
-
모두들 바밤바를 먹도록
-
아이러니~
-
난 잔다면 자는 남자야
-
모수 모의고사 0
신청해보신 분 있나요 학교에서 응시한다길래 신청하고 싶어서요 ㅜㅜ
-
이따구로 나오면 넘어간다 vs 검토한다
-
ㄹㅇㅋㅋ
-
지균 이거 머임 2
엄
-
Asmr듣고 4
푹자기..를! 실천하겠어요 안들은지 오래됐으니까 괜찮겟지
-
오공끝 0
예아
-
이거 학원에서 하는건가
-
애들한테 전번 빌려야댐 ㄹㅇㅋㅋ
-
근데 박종민쌤은 2
왜 쫑느임?
-
헐... 4
-
아 근데 너뮤 끔찍핫음 내 손으로 못 쓰겟음 이건
-
기하 풀꺼추천해주세여 18
-
50명이나 봤다니;;
-
9모 이렇게 본 반수생인데 영어는 키센스 들을 예정이고 언매는 마더텅 안 풀어서...
-
사문 이거 맞냐 3
작년 서바 8회엿나 그랬는데 아마 정답이 사회운동이 된다였거든?이상해서 물어보니까...
-
ㄹㅇㅋㅋ
-
임마 계속 침대위에 한마리씩 올라오는데 어떻게 없애지 나름 익충이라고 하긴 하던데 물린적은 없음
-
수헉 3~4등급이 과기대나 가천대나 국민대 같은 대학 수라논술로 붙는건 흔한일인가요...
-
굿바이 오르비 4
나 갓생 살꺼니까 이제 잘 못 볼 듯 ㄹㅇㅋㅋ 오르비 거의 안할 듯 ㄹㅇㅋㅋ
-
어차피 솔크 아니었던 적이 없어서 비교대상이 없음......
-
고등학교 기숙사살때 얘 세번나와서 죽일때까지 잠 못 잤음 근데 벽이랑 천장 다니는데...
-
색스 2
위이잉
-
쫑느쌤 문제 풀었는데 재밌구만 흐흐 쫑느모...
-
그냥 쌩재수할걸 1
어설프게 대학다닌다고 깝치다가 늦게 반수해서 시간만 버렸네... 김기현쌤 아이디어...
-
수분감 얼마나 걸리려나..
-
결제는 했는데 배송 요청이란 비대면 신청은 어디에 하면 돼?
-
손승연 1
지금들으면 이해하기어렵나요? 스킬 많이쓰시는편인가요?
-
고닉 되려면 5
뭐해야함??
-
나랑 상성이 안맞는건가 진짜 푸는 실모중에 젤 빡센거 같은데 일단 의문사가 개많이...
-
논문 읽기 코드 쓰기 플리 듣기 화상 회의 한 번에 가능 ㅋㅋㅋㅋㅋㅋ corne...
-
이제 스카 옴 1
달려보자노 민철게이야
-
프롬프트 대충 써서 최근 평가원 독서론 내용이 너무 많이 섞였다는 앙증맞고 사소한...
-
이러다가 갑자기 10
수능때 231114 같은 거 나오면 어캄
-
ㅋㅋ
-
카이스트 근황 7
신고했어요이게 진짜 재밋는 거거든요
바로 스크랩
통매음으로 고소했어요야하긴 해 이게
님 팔로잉 29998됨