단순 연분수

수학에서, **단순 연분수**() 또는 **정칙 연분수**()는 다음과 같은 꼴의 분수를 뜻한다.
:a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \cfrac{1}{\ddots}}}}
여기서 a_0은 정수, a_1,a_2,a_3,\dots은 유한 또는 무한 개의 양의 정수이다.

모든 단순 연분수는 유일한 실수를 나타내며, 모든 실수는 본질적으로 유일한 단순 연분수 전개를 갖는다. 실수의 단순 연분수 전개가 유한할 필요충분조건은 유리수인 것이다. 실수의 단순 연분수 전개가 순환일 필요충분조건은 2차 대수적 수인 것이다. 실수 x의 단순 연분수 전개가 순순환일 필요충분조건은 x가 2차 대수적 수이며, x>1이며, x의 (\mathbb Q(x)에서의) 켤레 \bar x가 -1을 만족시키는 것이다.

단순 연분수의 이론과 방법은 실수의 유리수 근사와 펠 방정식의 풀이 등에 사용된다.

단순 연분수를 이루는 수열의 선택은 임의적이며, 실수의 단순 연분수 전개의 근사분수들은 최적 유리 근사를 통해 특징지을 수 있다. 이는 일반적인 연분수가 지니지 않는 좋은 성질이다. 예를 들어, 대각 연분수는 일부 수열에 대하여 정의되지 않으며, 최근 정수 연분수의 근사분수들은 간단하게 특징지을 수 없다. 따라서 단순 연분수는 다른 종류의 연분수보다 널리 응용되며, 흔히 연분수로 줄여 부른다.

## 정의
정수 a_0\in\mathbb Z와 양의 정수 a_1,\dots,a_n\in\mathbb Z^+의 **유한 단순 연분수**()는 다음과 같다.
:[a_0;a_1,\dots,a_n]=a_0+\cfrac1{a_1+\cfrac1{a_2+\cfrac1{\ddots+\cfrac1{a_n}}}}

정수 a_0\in\mathbb Z와 양의 정수 a_1,a_2,\dots\in\mathbb Z^+의 **무한 단순 연분수**()는 다음과 같은 형식적인 식이다.
:[a_0;a_1,a_2,\dots]=a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \cfrac{1}{\ddots}}}}
만약 이 무한 단순 연분수의 유한한 절단 [a_0;a_1,\dots,a_n]들로 이루어진 수열이 어떤 실수로 수렴한다면, 무한 단순 연분수 [a_0;a_1,\dots,a_n]가 이 실수로 수렴한다고 한다. 즉, 무한 단순 연분수의 값을 다음과 같이 정의한다.
:[a_0;a_1,a_2,\dots]=\lim_{n\to\infty}[a_0;a_1,\dots,a_n]

양의 정수 k가 주어졌을 때,
* 주기 k의 **순환 단순 연분수**()는 다음과 같은 꼴의 무한 단순 연분수이다.
*:[a_0;a_1,\dots,a_{n-1},a_n,\dots,a_{n+k-1},a_n,\dots,a_{n+k-1},\dots]
* 주기 k의 **순순환 단순 연분수**()는 다음과 같은 꼴의 순환 단순 연분수이다.
*:[a_0;\dots,a_{k-1},a_0,\dots,a_{k-1},\dots]
순환 단순 연분수의 최소 주기를 줄여서 주기라고 한다.

유한 또는 무한 단순 연분수 [a_0;a_1,a_2,\dots]의 n번째 **근사분수**()는
:[a_0;a_1,\dots,a_n]
를 뜻한다. 이는 다음과 같은 점화식을 통해 정의할 수도 있다.
:[a_0;a_1,\dots,a_n]=h_n/k_n
:h_{-2}=0
:h_{-1}=1
:h_n=a_nh_{n-1}+h_{n-2}
:k_{-2}=1
:k_{-1}=0
:k_n=a_nk_{n-1}+k_{n-2}
이 경우 h_n와 k_n은 항상 서로소 정수쌍이다.

유한 또는 무한 단순 연분수 [a_0;a_1,a_2,\dots]의 **반근사분수**()들은 다음과 같은 꼴의 분수들을 뜻한다.
:[a_0;a_1,\dots,a_n,a]=(h_{n-1}+ah_n)/(k_{n-1}+ak_n)\qquad(n\in\mathbb Z^+,\;0\le a\le a_{n+1})

그 밖에도, 유한 또는 무한 단순 연분수 [a_0;a_1,a_2,\dots]에 대하여 다음과 같은 용어들을 정의한다.
* n번째 **부분몫**(): a_n
* n번째 **완전몫**(): [a_n;a_{n+1},a_{n+2},\dots]

## 성질
### 유한 단순 연분수
모든 유한 단순 연분수는 유리수이다. 반대로 모든 유리수는 정확히 두 가지 유한 단순 연분수로 나타내어지며, 이는 다음과 같은 꼴이다.
:[a_0;a_1,\dots,a_n]
:[a_0;a_1,\dots,a_{n-1},a_n-1,1]
유리수의 단순 연분수 전개는 유클리드 호제법을 사용하여 다음과 같이 구할 수 있다. 유리수 r/s가 주어졌을 때 (r\in\mathbb Z, s\in\mathbb Z^+), 유클리드 호제법에 따라
:\begin{align}
r_0 & =r \\
r_1 & =s \\
r_0 & =a_0r_1+r_2 & r_2 & 
인 r_0,a_0\in\mathbb Z 및 r_1,\dots,r_{n+1},a_1,\dots,a_n\in\mathbb Z^+가 존재한다. 이 경우 a_n\ge2이며,
:r/s=[a_0;a_1,\dots,a_n]=[a_0;a_1,\dots,a_{n-1},a_n-1,1]
이다.

### 무한 단순 연분수
모든 무한 단순 연분수는 항상 수렴하며, 극한은 항상 무리수이다. 반대로 모든 무리수는 무한 단순 연분수로 나타낼 수 있으며 그 방법은 유일하다. 무리수 x\in\mathbb R\setminus\mathbb Q의 연분수 전개
:x=[a_0;a_1,a_2,\dots]
는 다음과 같다.
:x_0=x
:a_0=\lfloor x\rfloor
:x_{n+1}=1/(x_n-a_n)
:a_{n+1}=\lfloor x_{n+1}\rfloor

무리수 x\in\mathbb R\setminus\mathbb Q와 그 단순 연분수 전개
:x=[a_0;a_1,a_2,\dots]
와 근사분수들
:x^{(n)}=[a_0;a_1,\dots,a_n]
이 주어졌을 때, 다음이 성립한다.
:x^{(0)}
즉, 짝수째 근사분수는 실제 값보다 작은 데 비하여, 홀수째 근사분수는 실제 값보다 크다. 또한 짝수째 근사분수는 증가 수열, 홀수째 근사분수는 감소 수열을 이룬다.

### 순환·순순환 단순 연분수
무리수 x\in\mathbb R\setminus\mathbb Q에 대하여, 다음 두 조건이 서로 동치이다.
* x의 단순 연분수 전개는 순환 단순 연분수이다.
* x는 (실수인) 2차 대수적 수이다. 즉, x는 어떤 정수 계수 2차 방정식의 근이며, 또한 이 2차 방정식의 판별식은 제곱수가 아닌 양의 정수이다. 즉, x=r+s\sqrt d인 제곱 인수가 없는 양의 정수 d\in\mathbb Z^+ 및 r,s\in\mathbb Q가 존재하며, 또한 s\ne0이다.

2차 대수적 수 r+s\sqrt d에 대하여, 다음 두 조건이 서로 동치이다.
* r+s\sqrt d의 단순 연분수 전개는 순순환 단순 연분수이다.
* r+s\sqrt d>1이며 -1이다.

### 최적 유리 근사

x\in\mathbb R가 실수, a\in\mathbb Z가 정수, b\in\mathbb Z^+가 양의 정수라고 하자. 그렇다면, 다음이 성립한다.
* |bx-a|=\min_{a'\in\mathbb Z,b'\in\mathbb Z^+}^{b'\le b}|b'x-a'|일 필요충분조건은 a/b가 x의 연분수 전개의 근사분수인 것이다.
* 만약 |x-a/b|=\min_{a'\in\mathbb Z,b'\in\mathbb Z^+}^{b'\le b}|x-a'/b'|라면, a/b는 x의 연분수 전개의 반근사분수이다. 그러나 그 역은 성립하지 않는다.

x\in\mathbb R가 실수이며, h_n/k_n가 x의 연분수 전개의 n번째 근사분수라고 하자. 그렇다면, 임의의 n=0,1,2,\dots에 대하여
:|k_nx-h_n|=\min_{a\in\mathbb Z,b\in\mathbb Z^+}^{b
이다.

x\in\mathbb R가 실수이며, h_n/k_n가 x의 연분수 전개의 n번째 근사분수라고 하자. 그렇다면, 임의의 n=0,1,2,\dots에 대하여 다음이 성립한다.
* 1/(k_n(k_n+k_{n+1}))\le|x-h_n/k_n|\le1/k_n^2. (물론, x가 무리수인 경우 엄격한 부등식이 성립한다.)
* 다음 두 부등식 가운데 적어도 하나가 성립한다.
** |x-h_n/k_n|
** |x-h_{n+1}/k_{n+1}|
* (후르비츠 정리) 다음 세 부등식 가운데 적어도 하나가 성립한다.
** |x-h_n/k_n|
** |x-h_{n+1}/k_{n+1}|
** |x-h_{n+2}/k_{n+2}|

반대로, 디오판토스 근사에 대한 **르장드르 정리**()에 따르면 다음이 성립한다. 임의의 x\in\mathbb R 및 정수 a\in\mathbb Z와 양의 정수 b\in\mathbb Z^+의 서로소 정수쌍에 대하여, 만약
:|x-a/b|
라면, a/b는 x의 연분수 전개의 근사분수이다.

### 펠 방정식

n\in\mathbb Z^+이 제곱수가 아닌 양의 정수이며, k가 \sqrt n의 연분수 전개의 주기이며, h_i/k_i가 \sqrt n의 연분수 전개의 i번째 근사분수라고 하자. 그렇다면, 펠 방정식
:x^2-ny^2=1
의 음이 아닌 정수해는 다음과 같다.
* 만약 k가 짝수라면,
*:(x_i,y_i)=(h_{ik-1},k_{ik-1})\qquad(i=0,1,2,3,\dots)
* 만약 k가 홀수라면,
*:(x_i,y_i)=(h_{ik-1},k_{ik-1})\qquad(i=0,2,4,6,\dots)
또한, 펠 방정식
:x^2-ny^2=-1
의 음이 아닌 정수해는 다음과 같다.
* 만약 k가 짝수라면, 해가 존재하지 않는다.
* 만약 k가 홀수라면,
*:(x_i,y_i)=(h_{ik-1},k_{ik-1})\qquad(i=1,3,5,7,\dots)
또한, (k의 홀짝성과 관계 없이) 다음이 성립한다.
:h_{ik-1}+k_{ik-1}\sqrt d=(h_{k-1}+k_{k-1}\sqrt d)^i\qquad(i=0,1,2,3,\dots)

## 예
예를 들어, 원주율 파이(\pi)의 근사분수들을 계산해 보자.

:
\begin{aligned}
a_0 & = \lfloor \pi \rfloor = 3 & u_1 & = \frac 1 {\pi -  3} \approx \dfrac {  113} {  16} =  7.0625 \\
a_1 & = \lfloor u_1 \rfloor = 7 & u_2 & = \frac 1 {u_1 -  7} \approx \dfrac {31993} {2000} = 15.9965 \\
a_2 &= \lfloor u_2 \rfloor = 15 & u_3 & = \frac 1 {u_2 - 15} \approx \dfrac { 1003} {1000} =  1.003
\end{aligned}

::(\lfloor x \rfloor는 x보다 작은 최대 정수)

이런 식으로 계속 나간다.

이를 반복하면, 무한 연분수
:
\begin {aligned} 
\pi & = [3; 7, 15, 1, 292, 1, 1, 1, 2, \cdots] \\
& = 3 + \cfrac{1}{7 + \cfrac{1}{15 + \cfrac{1}{1 + \cfrac{1}{292 + \cfrac{1}{1 + \cfrac{1}{1 + \cfrac{1}{1 + \cfrac{1}{2 + \cfrac{1}{\ddots}}}}}}}}}
\end {aligned}

를 얻는다.

\pi의 세 번째 근사분수는 [3; 7, 15, 1] = \frac {355} {113} = 3.14159292035\cdots이며,이는 실제 \pi 값에 매우 가까운 값이다.

## 참고 문헌

* 오정환, 이준복, 『정수론』, 교우사, 2003

## 외부 링크

* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 


분류:해석학 (수학)