페리 수열 - 위키백과, 우리 모두의 백과사전 페리 수열 위키백과, 우리 모두의 백과사전. 둘러보기로 가기 검색하러 가기 수론에서, 페리 수열 ( 영어 : Farey sequence ) 은 0과 1, 그리고 그 사이에 있는 분모가 어떤 자연수 n 을 넘지 않는 기약진분수를 오름차순으로 나열한 수열을 말한다. 수학적으로 다음과 같이 정의할 수 있다. F n { displaystyle F - { n } } : 0 h k n { displaystyle 0 leq h leq k leq n } 이고 gcd ( h, k ) = 1 { displaystyle gcd ( h, k ) = 1 } 을 만족하는 h k { displaystyle { frac { h } { k } } } 를 오름차순으로 나열한 수열 한편, 페리 수열을 페리 급수라고 부르기도 하지만, 엄밀히 말해서 페리 수열의 각 항은 수열의 합이 아니기 때문에 페리 급수라는 표현은 잘못된 표현이다. 목차 1 성질 1. 1 수열의 길이 1. 2 이웃한 항 2 표 3 역사 4 참고 문헌 5 같이 보기 성질 [ 편집 ] 수열의 길이 [ 편집 ] n번째 페리
1 / 2, 4 / 7, 3 / 5, 5 / 8, 2 / 3, 5 / 7, 3 / 4, 4 / 5, 5 / 6, 6 / 7, 7 / 8, 1 / 1 } 역사 [ 편집 ] 1802년에 프랑스의 기하학자 샤를 아로 ( 영어 : Charles Haros ) 가 도입하였다. 이후 1816년에 영국의 지질학자 존 페리 1세 ( 영어 : John Farey, Sr. ) 가 이 수열을 재발견하였고, 이에 대한 추측을 발표하였다. 이 추측은 곧 오귀스탱 루이 코시가 증명하였다. 참고 문헌 [ 편집 ] ↑ Hardy, G. H. ; E. M. Wright ( 2008 ). 《 An Introduction to the Theory of Numbers 》 6판. Oxford University Press. ISBN 0 - 19 - 853171 - 0. 더 이상 지원되지 않는 변수를 사용함 ( 도움말 ) CS1 관리 - 추가 문구 ( 링크 ) 같이 보기 [ 편집 ] 하디 - 리틀우드 원 방법 원본 주소 " " 분류 : 수론숨은 분류 : 인용 오류 - 오래된 변수를 사용함CS1 관리 - 추가 문구영어 표기를 포함한 문서 둘러보기 메뉴 개인 도구 로그인하지 않음토론기여계정 만들기로그인 이름공간 문서토론
표기를 포함한 문서 둘러보기 메뉴 개인 도구 로그인하지 않음토론기여계정 만들기로그인 이름공간 문서토론 변수 보기 읽기편집역사 보기 더 보기 검색 둘러보기 대문사용자 모임요즘 화제최근 문서 보기임의 문서로도움말기부 도구 여기를 가리키는 문서가리키는 글의 최근 올리기특수 문서 목록고유 링크문서 정보위키데이터 항목이 문서 인용하기 다른 프로젝트 공용 인쇄 / 내보내기 책 만들기PDF로 다운로드인쇄용 판 다른 언어 日 本 語 中 文 링크 편집 이 문서는 2019년 3월 23일 ( 토 ) 01 : 56에 마지막으로 편집되었습니다. 모든 문서는 크리에이티브 커먼즈 저작자표시 - 동일조건변경허락 3. 0에 따라 사용할 수 있으며, 추가적인 조건이 적용될 수 있습니다. 자세한 내용은 이용 약관을 참고하십시오. 미국 및 다른 국가에 등록되어 있는 Wikimedia Foundation, Inc. 소유의 등록 상표입니다. 개인정보 정책 위키백과 소개 면책 조항 개발자 쿠키 정책 모바일 보기
displaystyle times h - { 3 } } { displaystyle } ( 2 ) x h 1 { displaystyle times h - { 1 } } 와 ( 1 ) x k 3 { displaystyle times k - { 3 } } { displaystyle } ( 2 ) x k 1 { displaystyle times k - { 1 } } 를 각각 계산하여 정리하면 h 1 h 3 = h 2 ( k 1 h 3 - h 1 k 3 ) { displaystyle h - { 1 } h - { 3 } = h - { 2 } ( k - { 1 } h - { 3 } - h - { 1 } k - { 3 } ) } k 1 k 3 = k 2 ( k 1 h 3 - h 1 k 3 ) { displaystyle k - { 1 } k - { 3 } = k - { 2 } ( k - { 1 } h - { 3 } - h - { 1 } k - { 3 } ) } 따라서, h 1 h 3 k 1 k 3 = h 2 ( k 1 h 3 - h 1 k 3 ) k 2 ( k 1 h 3 - h 1 k 3 ) = h 2 k 2 { displaystyle { frac { h - { 1 } h - { 3 }
1 / 1 } F4 = { 0 / 1, 1 / 4, 1 / 3, 1 / 2, 2 / 3, 3 / 4, 1 / 1 } F5 = { 0 / 1, 1 / 5, 1 / 4, 1 / 3, 2 / 5, 1 / 2, 3 / 5, 2 / 3, 3 / 4, 4 / 5, 1 / 1 } F6 = { 0 / 1, 1 / 6, 1 / 5, 1 / 4, 1 / 3, 2 / 5, 1 / 2, 3 / 5, 2 / 3, 3 / 4, 4 / 5, 5 / 6, 1 / 1 } F7 = { 0 / 1, 1 / 7, 1 / 6, 1 / 5, 1 / 4, 2 / 7, 1 / 3, 2 / 5, 3 / 7, 1 / 2, 4 / 7, 3 / 5, 2 / 3, 5 / 7, 3 / 4, 4 / 5, 5 / 6, 6 / 7, 1 / 1 } F8 = { 0 / 1, 1 / 8, 1 / 7, 1 / 6, 1 / 5, 1 / 4, 2 / 7, 1 / 3, 3 / 8, 2 / 5, 3 / 7, 1 / 2, 4 / 7, 3 / 5, 5 / 8, 2 / 3, 5 / 7, 3 / 4, 4 /
k 3 ) = h 2 k 2 { displaystyle { frac { h - { 1 } h - { 3 } } { k - { 1 } k - { 3 } } } = { frac { h - { 2 } ( k - { 1 } h - { 3 } - h - { 1 } k - { 3 } ) } { k - { 2 } ( k - { 1 } h - { 3 } - h - { 1 } k - { 3 } ) } } = { frac { h - { 2 } } { k - { 2 } } } } 물론, 후자의 성질에서 전자의 성질을 유도하는 것 역시 가능하다. [ 1 ] 한편, 페리 수열의 인접한 두 항 h 1 / k 1, h 2 / k 2 { displaystyle h - { 1 } / k - { 1 }, h - { 2 } / k - { 2 } } 의 중앙값 h 1 h 2 k 1 k 2 { displaystyle { frac { h - { 1 } h - { 2 } } { k - { 1 } k - { 2 } } } } 의 분모 k 1 k 2 { displaystyle k - { 1 } k - { 2 } } 는 항상 n { displaystyle n } 보다 크다. k 1 k 2 >
기호를 사용하여 | F n | { displaystyle | F - { n } | } 의 일반항을 나타내면 | F n | = 1 m = 1 n ( m ) { displaystyle | F - { n } | = 1 sum - { m = 1 } ^ { n } varphi ( m ) } 이웃한 항 [ 편집 ] 페리 수열 F n { displaystyle F - { n } } 의 연속된 두 항을 각각 순서대로 h 1 / k 1, h 2 / k 2 { displaystyle h - { 1 } / k - { 1 }, h - { 2 } / k - { 2 } } 라고 하면, k 1 h 2 - k 2 h 1 = 1 { displaystyle k - { 1 } h - { 2 } - k - { 2 } h - { 1 } = 1 } 따라서 페리 수열의 연속된 두 항의 차는 각 항의 분모를 분모로 갖는 단위 분수의 곱으로 표현할 수 있다. h 2 k 2 - h 1 k 1 = k 1 h 2 - k 2 h 1 k 1 k 2 = 1 k 1 k 2 { displaystyle { frac { h - { 2 } } { k - { 2 } } } - { frac { h - {
, h 2 / k 2, h 3 / k 3 { displaystyle h - { 1 } / k - { 1 }, h - { 2 } / k - { 2 }, h - { 3 } / k - { 3 } } 가 연속하는 페리 수열의 세 항일 때 h 1 / k 1, h 2 / k 2 { displaystyle h - { 1 } / k - { 1 }, h - { 2 } / k - { 2 } } 와 h 2 / k 2, h 3 / k 3 { displaystyle h - { 2 } / k - { 2 }, h - { 3 } / k - { 3 } } 는 각각이 페리 수열의 연속하는 두 항이므로 k 1 h 2 - k 2 h 1 = 1 { displaystyle k - { 1 } h - { 2 } - k - { 2 } h - { 1 } = 1 }... ( 1 ) k 2 h 3 - k 3 h 2 = 1 { displaystyle k - { 2 } h - { 3 } - k - { 3 } h - { 2 } = 1 }... ( 2 ) ( 1 ) x h 3 { displaystyle times h - { 3 } } { displaystyle } ( 2 ) x h 1 {
- { 1 } k - { 2 } } 는 항상 n { displaystyle n } 보다 크다. k 1 k 2 > n { displaystyle k - { 1 } k - { 2 } > n } 또한 인접한 두 항의 중앙값은 k 1 k 2 { displaystyle k - { 1 } k - { 2 } } 번 째 페리 수열 F k 1 k 2 { displaystyle F - { k - { 1 } k - { 2 } } } 에 처음 등장하며, 이 값은 항상 구간 ( h 1 k 1, h 2 k 2 ) { displaystyle left ( { frac { h - { 1 } } { k - { 1 } } }, { frac { h - { 2 } } { k - { 2 } } } right ) } 사이에 존재하게 된다. 표 [ 편집 ] n = 1... 8까지의 페리 수열은 다음과 같다. F1 = { 0 / 1, 1 / 1 } F2 = { 0 / 1, 1 / 2, 1 / 1 } F3 = { 0 / 1, 1 / 3, 1 / 2, 2 / 3, 1 / 1 } F4 = { 0 / 1, 1 / 4, 1 / 3, 1 / 2, 2 / 3, 3 /
2 이웃한 항 2 표 3 역사 4 참고 문헌 5 같이 보기 성질 [ 편집 ] 수열의 길이 [ 편집 ] n번째 페리 수열 F n { displaystyle F - { n } } 의 정의에 따라 F n { displaystyle F - { n } } 의 길이와 F n 1 { displaystyle F - { n1 } } 의 길이의 차이는, n1보다 작으면서 동시에 n1과 서로소인 자연수의 개수와 같다. 따라서 페리 수열의 길이에 관한 점화식은 오일러 피 함수를 이용해 다음과 같이 나타낼 수 있다. | F n 1 | = | F n | ( n 1 ) { displaystyle | F - { n1 } | = | F - { n } | varphi ( n1 ) } 즉, | F n | { displaystyle | F - { n } | } 은 계차가 ( n ) { displaystyle varphi ( n ) } 인 계차수열이고 | F 1 | = 2 { displaystyle | F - { 1 } | = 2 } 이기 때문에, 시그마 기호를 사용하여 | F n | { displaystyle | F - { n } | } 의 일반항을 나타내면 |
수론에서 페리 수열(영어: Farey sequence)은 0과 1, 그리고 그 사이에 있는 분모가 어떤 자연수 n 을 넘지 않는 기약진분수를 오름차순으로 나열한 수열을 말한다. 수학적으로 다음과 같이 정의할 수 있다. F n {\displaystyle F-{n}} : 0 ≤ h ≤ k ≤ n {\displaystyle 0\leq h\leq k\leq n} 이고 gcd (h, k) = 1 {\displaystyle \gcd(h, k)=1} 을 만족하는 h k {\displaystyle {\frac {h}{k}}} 를 오름차순으로 나열한 수열한편, 페리 수열을 페리 급수라고 부르기도 하지만, 엄밀히 말해서 페리 수열의 각 항은 수열의 합이 아니기 때문에 페리 급수라는 표현은 잘못된 표현이다.