이왕 재탕하는 김에
게시글 주소: 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
초중고대학 n회 졸업 n = {2, 2, 3, 5} 임 ㅋㅋ
-
ㅅㅂ 3/8은 평백 70대던 내 현역시절때도 맞춘건데 현타오네....하... 누군...
-
길거리에 보이는 ㅈㄴ 잘생긴오빠들도 섹스한다는게 안믿김 0 0
진짜 한다고????
-
도코니 이타노 0 0
사가시테타요
-
질받. 0 1
09년생의질문받기 정치질문은ㄴㄴ
-
오후 2시부터 5시 호텔 몰려가는 2030女…‘이것’ 때문이었어 0 0
호텔업계 딸기시즌 맞아 애프터눈 티세트 선보여 호텔업계가 올 겨울에도 제철 과일...
-
수능 영어 1등급이 공부 하나도 안 하고 토익을 보면? 0 0
원래 카투사 때문에 780만 넘기려고 했는데 욕심이 생겨버림.. 딱 900만 찍고싶다
-
11년생입니다 질받해요 1 0
선넘질 ㄱㄴ
-
뭔가 자존감이 오르니까 2 0
사회성이 떨어진 듯 옛날보다 내 주장 펼치는 것에 거리낌이 없고 남한테 신경 쓰는...
-
나는 우측센백 많이했음
-
국힘, 北 '무인기 침투' 주장에 "李대통령도 외환죄 수사 대상" 2 1
[김민지 디지털팀 기자 kimminj2028@gmail.com] "李정부 내로남불...
-
제목 어그로가 조금 심했던 것 같습니다. 저는 ㅈ반고에서 내신 1.15이고 대학은...
-
11년생 질문 받아요 15 2
선넘질 가능
-
이과로 가자 3 2
-
08년생 질문받아요 질문해주세요 14 0
선넘질 ㄱㄴ
-
자도 자도 졸려 4 0
-
성대 나군 인문과학계열 점공률 0 0
성대 나군 인문과학 계열 진학사 점공률 봐주실 분 계신가요 쫄려서 스크롤도 못해서...
-
애니나 영화에서 남주랑 여주가 ㅈㄴ 진지한 분위기에서 같이 자고싶다고 고백하는 그런...
-
일단 입학하면 블러핑 철처히 해야지 11 1
절대! 들키면 안된다
-
띠니 1 0
심심띠니
-
남잔데 축구가 가장 싫음 12 0
공 날라오는게 ㅈㄴ 무서움
-
우리과 좀 친한 애들끼리만 다니고 갠플 성향 엄청 강한데 2년동안 딱히 큰 트러블 없었음
-
-
ㄹㅇ
-
아아묵어야지 2 0
산미없는걸루다가! 타기 직전까지 원두를 볶으란말이야
-
빈말을 잘 못함뇨 4 1
응원하지 않는 대상에겐 응원한다는 말을 안하고 잘지내길 바라지 않는 상대에겐 잘지내란 말도 안함뇨
-
알바하는데 몸이 너무안좋음ㅡㅡ 3 0
그어어어어어
-
다시시작해볼까 4 1
-
고등 폐급 후배 썰 7 1
친구가 부장인 동아리 동아리 최종 합격 공지내고 이제 동아리 단톡 파야되는 상황에...
-
의치한중에 졸업이 가장 쉬운곳 3 0
치임?
-
시급하다..
-
나이 이슈까지 고려하면 과의 독보적인 초특급찐따 확정인 나
-
고려대 26학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다....
-
아, 큰일입니다. 31 13
눈치도 사회성도 굉장히 없는데 대학가면 큰 일나는 건 아니겠죠?.
-
-
근데 방송부만 군기가 심한가 12 1
다른 부들은 다 조용한데 중,고교 방송부 출신들만 군기때문에 골골대던데
-
사실 메디컬 아니고 군기 없어도 눈치껏 행동해야함 10 6
저희는 선후배 안가리고 친구처럼 지내는 느낌이 강한데 밥사줫는데 감사인사도 없고...
-
약사는 대체만 문제가 아님. 8 0
건보 터지고 의사들한테 삥 뜯겨서 죽을때까지 하는 편돌이 상위버전으로 될수도 있음.
-
다들 근육맨이야 ㅠㅠ
-
제일 이해 안가는 군기 1위 4 0
초등학교 방송부 군기 너무 무서웟어 선배보면 안녕하십니까 무조건해야하고 어떤애...
-
실시간 인접 지역 산불 발생 1 0
설마 출동 안하겠지 제발
-
얼마됨?
-
척추척추척추 4 1
척척추
-
집밥 1위 반찬 뽑아보세용 5 0
-
메디컬 아니어도 지방대 중에 군기 있는 곳 있던데 3 1
ㅇㅅㅇ...
-
짜피 존재감없는 찐따로 지낼거라 군기라도 적었으면
-
성대 서강대 경제는 어떤가요 5 1
사탐런 때려서 문과로 왔습니다. 반수 생각이 계속 들기는 하는데, 제가 재수한거라서...
-
약대 갈바에 한의대 가셈. 6 2
대체 위험성 평생 안고 살아가면서 월600받던거 월300 받는 진정한 편돌이로 변할수도 있음.
-
90년대 순천향의대 군기 썰 9 1
아빠 레지던트때 교수님이 수술하는데 옆에서 졸고 있다고 교수가 구두로 정강이 걷어참
-
스블 들으려고 대성 끊었는데 0 0
스블 존재를 알기 전에 산 뉴런이 있는데 수2는 새거고 수1은 필기 1장 정도...
신고했어요이게 진짜 재밋는 거거든요
바로 스크랩
통매음으로 고소했어요야하긴 해 이게
님 팔로잉 29998됨
눈버렷다
띠발
마지막만이해함
아니 또 어디로갓어