[경고] 아래 글을 읽지 않고 "연분수"를 보면 바보로 느껴질 수 있습니다.
거듭제곱(power)은 같은 수를 여러 번 곱하는 곱셈의 일반화 연산이다. 거듭제곱에 반대되는 연산으로써 어떤 수를 정수(整數, integer)와 소수(小數, decimal fraction)로 분리한 후 소수 부분을 분수로 한없이 거듭해서 표현하는 수는 연분수(連分數, continued fraction)라 부른다. 즉, 연분수는 소수처럼 실수를 표기하기 위한 반복적인 나눗셈이다. 예를 들면, 무리수(無理數, irrational number)인 오일러의 수(Euler's number) $e$를 다음과 같은 연분수로 나타낼 수 있다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjen4kNy_0UhmL2BIhrwxNhAEO-UUYC9Zk5_wRZphvoTRsPdVuwLx-tmHbRowmZMujGft7X5IhmZcUAk6wnAGWYItk-io_UxjLBfCFJwi5j0cPClJHXSeD195QgHbNLcFayIqACVjOyT2cG/s16000/cf1.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj3hruX629sV2y9O0imggEuVT3tQMMbiDKni4N5SEJv2pTM40JOvZW6NEks-PPLh5RzHR_6GVbPNKVdaZpgYnhfCy82WeUABaaSKHLelIovgovSoqy1CrKEGkwU3xOvzNTGjErqyA62qalW/s0/cf14.png)
여기서 $a_0$은 정수부(integer part), $0$ 혹은 자연수인 $a_n$[$n \ge 1$]은 부분 분모(partial denominator), $\rm K$는 독일어 연분수(Kettenbruch, 케텐브루흐)의 첫자이며 가우스Carl Friedrich Gauss(1777–1855)에서 유래한다. 식 (2)처럼 $a_n$이 사라지지 않고 계속 이어지는 연분수는 무한 연분수(infinite continued fraction)라 한다.
실수(實數, real number)를 쉽게 표현할 수 있는 소수 개념이 있는데도 수학자들은 왜 다소 복잡한 연분수를 고안했을까? 이 질문의 해답은 무리수 판정에 있다. 유리수중에는 소수가 계속 이어지는 무한 소수도 있기 때문에, 소수의 무한성만 가지고는 유리수와 무리수를 구별할 수 없다. 그래서 무한 소수를 정수의 비율로 표현할 수 있는지 혹은 없는지로 유리수와 무리수를 판정한다. 이 과정은 쉬워보이지만, 실제로 해보면 증명 과정이 만만하지 않다. 하지만 연분수는 이런 복잡한 과정을 거칠 필요가 없다. 식 (2)에서 $0$이 아닌 $a_n$이 계속 나온다면, 이 연분수는 항상 무리수가 된다. 반대로 $a_n$이 이어지다가 $0$이 되면, 이 실수는 유리수이다.
[무한 연분수와 무리수]
수렴하는 무한 연분수는 항상 무리수이고 연분수의 계수는 유일하게 결정된다.
[증명]
무한 연분수가 유리수에 수렴한다면, 무한 연분수를 다음과 같이 표기할 수 있다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi5qYh-Zq2Z2qqFlWzCFkAcUXkvGr0qJxwBHvbW8LEaUrq88-Y3fpfl4XuhBI2-YXkOiLdq256F8kcXQMgkHmqxBeocw_ALiSrYmujiIhZbrG0h88vdVaSiY-jRmEMJr3jfD64_0qiS2rhN/s0/cf9.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEigKflf7U9j0d0LfRtVCA-a90fPIWAbG4pFScOB0F4-F2oYOy1sgeAM2NXCMtTJSbGXswXQX3knYJ7v42Eyq9YfaJUsdHTjxltPYNeBVwAyXMwH8DSsk1FeTb2Rdwkc9apVISPZeNFAnKsk/s0/cf8.png)
여기서 유일한 $q_1, r_1$에 대해 $m_0$ = $q_1 r_0 + r_1$, $a_1$ = $q_1$, $r_1 < r_0$이다. 식 (4)에도 나눗셈의 유일성을 다시 적용한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjtl1XKQmLuBA2K0QWryAwkUozotvpokQBQiWxHeE_0FaVOzVDp8zLShRVzN7Rc9mnr3S5if68nNPACi9NEVqDaCGCt4XnAVTHg3ikqxnoy83LMK-FcY4uy5jiGR79K-qk7TVnuCkm0VJKf/s16000/cf10.png)
여기서 $r_0$ = $q_2 r_1 + r_2$, $a_2$ = $q_2$, $r_2 < r_1$이다. 식 (4), (5)처럼 연분수를 계속 만들어가면, $m_0 > r_0 > r_1 > \cdots > r_n$이 반드시 성립해야 한다. 하지만 $r_n$이 줄어들 수 있는 한계는 $0$이므로, 결국에는 $a_{n+1}$ = $0$이 나온다. 따라서 무한 연분수는 단순한 정수비로 표현될 수 없어서 무리수가 되어야 한다.
______________________________
밀접히 연결되는 연분수와 무리수의 관계를 이용해서, 어떤 양의 실수에 대한 제곱근이 무리수인지 아닌지를 쉽게 결정할 수 있다. 곱셈 공식에 따라 임의의 양의 실수 $x$를 다음과 같은 연립 관계로 공식화한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhZBhWmnFFikhfa7hxYk7ruhD-iFiN0Sz62hIcxeeYiOsI7llBvnvny6ihlTK8AFFHMR3U122FUw6qfrrr6a26GY-K0h8bfEuXAxazhW4bZc88um1QE1P9b02QBXm9EMoodAFYxf5axMMzn/s16000/cf11.png)
여기서 $x > 0$, 자연수인 $m$은 $m$ = $\lfloor \sqrt{x} \rfloor$를 만족, $\lfloor x \rfloor$는 바닥 함수(floor function) 혹은 $x$를 넘지 않는 최대 정수이다. 식 (6)은 $\sqrt{x}$에 대한 순환 관계이므로 $x$의 제곱근을 연분수로 표현할 수 있다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgiLi22mORLSDSsupxvDGhy0Q3OhcfxgP9_hck-Auys6Gs3EvHpKh1EYyiKDK2jNBzcMyFvIFc1QRP2agw0BrYgLg7TbyMwVvZHMKkdxW1NlD99UHP7mdeirmoSVeYGHjwRd1hhwlULS4ub/s16000/cf14.png)
식 (7)은 아름다운 연분수 표현식이면서도 어떤 수의 제곱근을 유리수로 근사하기 위한 효율적인 공식일 수도 있다. 예를 들어, $\sqrt{2}$는 다음과 같은 연분수와 동일하다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg2vj0SLeNODNLRUSHcPggbim4le_gjwYm9NMyCMNoS1nm6053MLznDjJMWFbbrY-7qOkQ-xv7apBfTr-LYK5Hi1vfKrr3_7FBZXJGOjNjcp0knyXgg1v6cy6cji4J0RPnpnPckv2x0uDCc/s16000/cf14.png)
여기서 $x$ = $2$, $m$ = $1$이다. 또한 식 (8)의 우변은 무한 연분수이므로, $\sqrt{2}$는 반드시 무리수여야 한다. 식 (7)에서 유도한 연분수는 식 (2)를 더 확장한 다음과 같은 일반화 연분수(generalized continued fraction)의 일종이다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgudcm0V-WDHWJkIsndw2-gfVqMEkpggqvhU6hjS7yXvE0SYpXx_54Mw1LgqRNWMaitQE2LrBGaYQcY8b9H15JBeY91T-J0mzn6rNBrk9eRyu2HAi-xakFQYPo6LNX55Itk-aUkng8ZmT2l/s16000/cf15.png)
여기서 $0$ 혹은 자연수인 $b_n$은 부분 분자(partial numerator)이다. 식 (9)에 대비되는 식 (2)를 단순 연분수(simple continued fraction)라고도 한다. 식 (9)의 부분 분자와 분모에 동일한 상수 $c_n$을 곱해서 약간 변형된 연분수를 만들어본다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgvjkfpHPCgMgKl-NNdSZwfI4G91F_klm-ob0Ljfwjnb0J7N4x4jTJwuFNG6yRnnkxGsa1g6W3VpvsbFdV-F6RJ5CcsclglIyDiFi8AVYnQf_L0V8esz77PoSS0b5EFkXzv1uVwdfS5Ql6K/s16000/cf16.png)
식 (10)에서 $c_{n-1} c_n b_n$ = $1$인 조건을 부여하면, 식 (9)의 일반화 연분수는 부분 분자가 모두 $1$인 단순 연분수가 된다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjuDBBQrPvFuwlHXci8cXhWNwOipbFh-927KG-Z38edaulcpic0HQl4EV4I5vUXdpXcSaq4-MHIxI-s64zmCdij2xBFIfLx-ureAaTqn9TDLB6WEAKNoVv7L3nHDS92TWqWF6dZswaEQcyB/s16000/cf17.png)
여기서 $c_0$ = $1$, $c_n$ = $1/(c_{n-1} b_n)$이다. 혹은 $c_n a_n$ = $1$인 조건에 의해 부분 분모가 항상 $1$인 연분수를 만들 수도 있다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgzHOxzWK1dSpbpPcM9lG0OWfD8C6QhuVSMd6AFYSCwuOW9R8Ud0bmRRaymlt3MwJM0oK5EBfgIdbbLE6vKOc0fpOuUeHD4UaQsEFcUVUMST6vgOIc5w_azBJKPsbvk_zE1kRUVoNBmo3Ft/s16000/cf18.png)
여기서 $c_0$ = $1$, $c_n$ = $1/a_n$이다.
식 (9)에 정의한 일반화 연분수의 수렴을 판정하기 위해, 연속된 분수 표현을 다음처럼 단일 분수로 바꾸어서 생각한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhOX9qeSgynF-U6nxNLWy_Ilf-KkePHvHeEd9-IgIgDkohEFtEJXVnpNnAutDZlzQDpjSXRLLC5lpK7nZ0UOra5nadBnm_rRfqV4U5BgCSVsq8JPxaaxsCYDl_lV4yItcOK-vXA9cHP-w07/s0/cf19.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjI5fe3RkUkmxjpPt8eBVEpuDVAgjPvpzO9qhmUvz2XQUSiSkSUVerpioly0DTDOrmQdEcuBZwdQZvU3Lvd2erW4jS616p-H813f2U1OsfayUjlUMo3pogWfaZZ03w1xR82SAPGnT3FvtY0/s16000/cf20.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhDwJR0v-y4IK1Rjoh6Ni7pWhlzY8HkHBaG6vbHP8dkiuGcwi1I3teV6E-CvkO-udKQysdWIKj2d2wEE0DTqx0qkz49y8HiUPEJ5qmdXbj3LPXHbx3pHya0Mw0wGlAVPGUO7UtaxthM-2v7/s16000/cf21.png)
여기서 $A_{-1}$ = $0$, $A_0$ = $1$, $B_{-1}$ = $1$, $B_0$ = $a_0$이다. 식 (13)에서 정의한 $A_n, B_n$은 각각 부분 분모와 분자에 대한 제$n$차 연속식(連續式, continuant)이며, $x_n$은 제$n$차 수렴식(收斂式, convergent)이다. 연속식 $A_n, B_n$에 대한 재귀 관계(recurrence relation)는 다음과 같다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjWxNPeucLfECHwZm1nI0FB10YhXpCQyGaN8wf7Lksr_cIDq1Xiy4MXetIADlz00ahd4I0KY6JuIPRPlcFtAMBe46r2ZYCYHKgmRWcw8VEalCgPV0FapI3MGJHNV9lvAZFH4PVtZpNw5vXW/s16000/cf22.png)
따라서 일반화 연분수의 수렴은 연속식 $A_n, B_n$의 비율인 수렴식 $x_n$의 극한이 유한함으로 정의한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj5S7EG_XlM6MnGjYsbFJJzLPQYfPoqEq8Q3Jz3YcXtLPYJ3lBn1Z8IaafYt_YqMlbVq9nqv1QpHCSeTlkX0XVia-_YI8nqor0keHGAYwbZ-5G5HmldlCE7V-c2FwkC4262Wlc2rFvfXQ8R/s0/cf23.png)
연속식 $A_n, B_n$의 상호 관계는 다음처럼 표현된다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj0AYpzS-G6gY7CiTVmsFKWZIbGFu_nSrWGPHjU7QTxyDp_uFJcI6atvUqj-BaGwf3bEMJNHIkz2KFttko4-UH9XuYGGQJKHvt2OI-IFxl1RxbFmeRc7ecmg5a9VuCAQ_oMh81Fo5qKVVFf/s16000/cf24.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhI171IODN-3zD0MfnCaR2ImH_h4Y661AmhRfzHpzzzjgH3qXOJ6UXPwSPQ7MOK6qjy5dn27sSDdK0ekdusMXC02K2ocVA34C-WQ-z88qdOP9biHnxuB5sGFygX7XITPT5bi5AVAMllNtmh/s16000/cf26.png)
연분수의 수렴성을 간단하게 증명하기 위해 식 (2)에 있는 단순 연분수를 고려한다. 식 (9)와 같은 일반화 연분수는 식 (11)과 같은 과정을 거쳐 단순 연분수로 바뀔 수 있다. 단순 연분수는 $b_n$ = $1$이므로, 수렴식 $x_n$의 차이가 굉장히 간단히 표현된다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgehtbyDrATlAvYDOg4pAaDsfVBxxUY1sNW0LMo6POzDcAyNVlJ9j5c_RAcM1F3RzJg9ADpzx0ZW5dtOx-1c5UrH7bPLiU4nErSobRR5RASNWZMP75GqgCpJszK5NinXPFkSByk_1jEJiZd/s16000/cf27.png)
여기서 $A_n > 0$이다. 식 (18)의 우변에 의해 수렴식은 증가와 감소를 반복한다. 그래서 식 (18)을 다음처럼 짝수와 홀수 수렴식(even and odd convergents)으로 구분해서 생각한다[1].
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhzw9oRNuCOgCVYi7PQfZXb5ilMjT8aGWoqDJJR83RXGzqLhp50ynOajkjROwlEeQWm-2ZNgv3cWH64CL8bv8VcmkSEAwCrPm3KS3J4pK-HxbVMygZ8Bcp5KcdBL6twPcReDVwUeiiBhMz6/s16000/cf28.png)
여기서 $a_n > 0$이다. 만약 $n$이 짝수라면, $x_0 < x_2 < x_4 < \cdots$가 성립한다. 혹은 $n$이 홀수인 경우는 $x_1 > x_3 > x_5 > \cdots$를 만족한다. 또한 식 (18)과 (19)에 의해, $x_{2n} < x_{2n+1} < x_{2n-1}$ 및 $x_{2n} < x_{2n+2} < x_{2n+1}$도 얻는다. 이를 모두 종합하면, 최종적으로 $n$에 대한 수렴식 $x_n$의 대소 관계가 다음처럼 표현된다: $x_0 < x_2 < x_1$, $x_0 < x_2 < x_3 < x_1$, $\cdots$,
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEglKII9EqSzckf1Oa1wAMzwxxS9MxMlW-C84_QcM6sSLHP6LvgLU5NDzbY6ZShvgDi17_7Tlcl9Ezil4MWYz9W41o8HPpWEjcAx3lN4adNFP2OGXHE9HdJqclXxraqgWcIYi3zhTqo9cirJ/s0/cf29.png)
따라서 단순 연분수의 수렴 특성을 다음처럼 확립할 수 있다.
[단순 연분수의 수렴]
부분 분모가 양수인 단순 연분수는 항상 수렴한다.
[증명: 수렴 정의]
단조 증감 수렴 정리(monotone convergence theorem)에 의해 짝수와 홀수 수렴식은 모두 수렴하며, 각 수렴값을 $x_e, x_o$라고 한다. 두 수렴값의 차이는 다음과 같다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhBaALshkPUhZ0wrTkmX0yCbSQxhk_c-uPLL_kysKYqsWq1v-XqDtH5uIq5kmjyuskZR9TpJt697zns42dfDL6xsJwna8FQlDe889Q15-gdEpwPod_KLG-IZOVeDp7fkZtNklg-6ldhDWDH/s16000/cf30.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEixCZ6gfKWmfJVtrdWPjoRg6yG8fksolJolVhwjYu98jcLxYJ4hSjfvOZRUiKt1UslQfygHSFURSkApnv_NThxbeUTvtzmH8-eInLelTjSt51jGz9t4MtQsCKLfjAFyUe2GtwN-MFCNw2KF/s16000/cf31.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgsLr98uQhqqxk_A0F4pePErU0YAOGuDE01kmz6gIFVn6sEDYC6SGy389BD0EhPZ10FTXxql4x06mStWAns37SCTpp6w7cwEFHNsKyGNrMiwKSAu4GqLlQr1D9OC2CgDXzquWzPAAAzFg0T/s16000/cf32.png)
여기서 $f[n+1]$ = $A_n$, $f[0]$ = $A_{-1}$ = $0$, $f[1]$ = $A_0$ = $1$, $n$이 음수이면 $f[n]$ = $0$이다. 식 (23) 분모의 인수 분해는 다음과 같다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjebGced6lMOESsm_jVHKt31ygHwvRAXgEKH-SnFqPJKtLKrsI1z8_hix476HCHkjM4kxu5r7P3NH9djE1l-_s3pMkQbpm7hG59a8FPbWkOk-8zy769uHpzAV5m2lZD9x4j6YwhOt16Ul-S/s16000/cf33.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjSa20JPfa8FAZsManeWtBFxBshSJjaF7pFKguirUp-2Kof41NDghxZ99URMrALvZTY5tAw4zSBoTFzeBSYwwL4v9laWPNoJFr3ePA0I6qx9da9n78cSlqxKC6px_kmTH0OFOyc4MIaclVJ/s16000/cf34.png)
따라서 $A_n$의 표현식은 다음처럼 공식화된다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjZEqaisVoM0jINrkrbQ_m-yC4nD7F0QwJAEMz30zerhdL4LYTLK1suEX-8whJOWsl6KMdezfYEo-FEM7VbN5witX5Rh9kx07695h5rMVcme1B-lxq2ElKuITuTcqlyH7uDyMqkOHIeWIfd/s16000/cf35.png)
식 (24)에 의해 $z_0 > 1$이 항상 성립하므로, $n$이 커질 때 $A_n$은 무한대로 발산한다.
[증명: 라이프니츠 기준]
식 (18)을 이용해서 수렴식 $x_n$의 수렴값 $x$를 교대 급수(alternating series)로 기술한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj9hEE5L283-8Iuy6qiOIANzIMZTAdzgfwJL0q2MK8tL3RoUwH54yQG9lxezMZ8CDfkiAj-LbpDSe9fJTg0mcfEiD0aDBrF9_NcqHBoMRmUcTfqKzH8EImDzsrcDGowYAI-pOIuyzzb5B-8/s16000/cf36.png)
______________________________
일반화 연분수의 부분 분자와 분모가 음수가 될 때는 오일러Leonhard Euler(1707–1783)가 1744년오일러 37세, 조선 영조 시절에 증명한 오일러의 연분수 공식(Euler's continued fraction formula)이 유용하다.
[오일러의 연분수 공식]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjaulkxHy3ilz1dNzs_qNdTtLItd0qhHo3dzsW1QNNVfxpze1uc9TCtOBeOCwgOE9M6TVBBvoR1ZEXK56CnKd_aWIx9h-9zLOqrXCvUO3Dmds9HiA09WOnwOsx7v169h7zrWLuZxE7LJ8JA/s16000/cf37.png)
여기서 거듭된 분수에 있는 모든 분모는 $0$이 아니다.
[증명: 라이프니츠 기준]
식 (28)에 대한 부분 합(partial sum) $x_n$을 정의한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgV8II4MTqdy5fL3_kuzVzrRJQI_9B0fUw9sbL7KMHvM6F2ZUh211OtOBSchPqQSrzl5iy5WmplPATzr8GPYQ0EzG9wYzh4WMzpN_FzNER7W1SYGxyv-D8TXTMFkN2CXm90R-QCVKCXjy9l/s16000/cf38.png)
식 (28)의 마지막식을 기반으로 유한한 $n$에 대한 연분수도 거듭된 나눗셈으로 표현한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhmWo_BPzbirjOfO2_nz_vjN616KNoTYxLxx4omoi9oY1-IMCX9weSNKHqTJFzPk9dZuaXH-7ylWM1ajaQ9evzLo3O9N2pIVaiDUXcG_nI10mdj0YnhtrveqNAhkKoXHHYiX7YkbbdNBos2/s16000/cf40.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgOnYQZt354vNak0LMZjtt1kTxug6xkd2wpukykL99udT46t_7bS4s4uFiCfe_P3m0ecFVIRKF_kDNR-gRUBOMia_AA9zUobjTj2VW39KnyZtd2PfqUIWIyPWVMMFNFWngYV0duFo_GmCEh/s16000/cf39.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhHAi-bDcPgh9hXJuG6Le0cLqJNWaicYI5m3vLyuECQECawuiDuY5Wf4p4erJerSiMlqptEsT3hLNjhPt1NoOVnM5UepBXKDI4x8-QHu7ciZV8Og7kNp9vBw8aHi2LqdNszhU6eFNPCt_qw/s16000/cf41.png)
여기서 $c_2$는 $b_2$에서 $b_{n+1}$까지 연속된 분수이다. 따라서 $n$을 무한대로 보내면, 수학적 귀납법에 의해 식 (28)이 증명된다.
______________________________
오일러의 연분수 공식은 다양한 연분수의 성질을 증명할 때 매우 유용하다.
1. 함수 표현식(function representation)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEimHeOA8xSgaF_E1PFAHoZqgvA6sldV22WfwLFVM8tOKmTttMW1XliqRbxcyjY7N6GsPsJt1yFIWuNYYCyYVgi0OWg18uLfAvuKnvpX3HBWXUzSPvvnM6DHZ8cWhxSc0PguSdEjkNjkT07f/s16000/cf42.png)
[증명: 라이프니츠 기준]
테일러 급수(Taylor series)를 이용해 지수 함수를 식 (28)의 첫째식처럼 표현한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgmDFrl03UWPzLl9N-Z4o5OFwfPgXq-aoGBLUuAvE9GW5LmeDtpRtjixyHXpaVcmN90kQp3DuP2lXw-8TpxRLtQaxvCOngLvslbLeG5oAwdEyPXpbwGuiEbo6uzVOf-qymMLbTSsMOblsGi/s0/cf43.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgW_gEAE52EsHqUtz3Fm-T0qrGtfUX_5ztYQqqs070rARm9F9yzohW4H_Y3QpbI-oYwrb-mb2w4ZeSbzujpjXXX67HRXiCYSO0cUyw7pxDDWWUy7BYWz9RtXeHr1nRvOfqSpJiZ8T7TdQTj/s16000/cf44.png)
______________________________
식 (1.1)에서 $x$ = $1$을 대입하면, 오일러의 수(Euler's number) $e$는 무리수임을 편하게 증명할 수 있다.
[탄젠트 역함수(arctangent function)]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgykjD5_FzFYjZ_IIyyet5qoRSpWI3W58jcQH-PbKsL8blJ1eiviNbOCO47NdIdyxkostitb2y5wjXEjt9wUckqwBUhSEQozxE8KGSTpdzCTl6MbUkC8gV1ompZCpt9PrGiJuAarN9MY5DZ/s16000/cf45.png)
[증명: 라이프니츠 기준]
그레고리의 급수(Gregory's series)를 조정해서 식 (28)의 첫째식처럼 만든다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhSiS0Cuac_JtAxhzwq909WRlzTZrNOSU5pIFm7rOookRied9tnvv5fQ4OOCFnupDGqrMsSxmE8PC3ha1Eohk5w349PKoCMtweOl-Xip3RS1SZ3aCLTSgBpMB7g0wgwiCOyb4fA9SbtzPwu/s16000/cf46.png)
식 (1.5)의 항을 이용해서 $\tan^{-1} x$를 연분수로 바꾼다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj4vD1pQL74rKp_xUMf9NxbDFVGTxvVAX04yKfoZAENmeatNltzEAZ9gHgzbfIg0LmgcNgURHRKHRPYBOS7J-ARISeYgd634-w-FwWACkuMXyebCDWWAB2qI6UKiUaWRQyzosDXGO0ImIyk/s16000/cf47.png)
식 (10)처럼 부분 분자에 적당한 계수를 곱해서 식 (1.4)로 만든다.
______________________________![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgMRUnvXDX3KJ28Qpb8e0iw8ncOvWSzZKLDRwPiZLs1-vSLfKz16mMpVf0eiIIpXxl8szq1J-T_b5c9n4OxXlL1Wj10ngxeMVrXtbQNw2C14Ufc3MsKmVZUKpg-X8aGZhMZrHTFTDfM2tag/s16000/cf48.png)
[람베르트 W 함수(Lambert W function)]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjWXOHaDaM3tYlDbNhoXcRmZeElC19xucFsGqCYjLCQ0mFrGZVVvFbhGK5gl06PiXhh6cgd0k0cOY0ps6y8pzw90XcCStPg4DTbF3X3D2Bvbjd8g0wBzDAmC8DUB53Dl2NvTHctCn77rieMxP9hQB_m2lEK_4Sivvn1A1nhou-HYkhrRS6LVw6LgJyIWVVC/s16000/cf.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhVaAI9sNVme2OPonenqggbd_qy8ewY-MLGhrUOWnqhQaaozbVc7rB72wA4Ekvbhjr_14Wrbp0i9U-BpGbEZ1KpfihUlX9PSVZ31_PB1I1xrD7jyBouN0RLcN9dES3bdCg4nQckcqatMnn9qh1idfsV9sId8nm-TjpbRCYWmBjO_WQNq3IcZ7NFZGlHPZ5w/s16000/cf.png)
[증명: 라이프니츠 기준]
람베르트 W 함수의 정의인 $w e^w$ = $x$를 변형하고 $w$ = $x \mathbin{/} e^w$로 표현해 식 (1.8a)를 얻는다. 식 (1.8b)를 만들기 위해 로그 함수를 정의식에 적용해 $w$ = $\log (x/w)$를 만든다.
______________________________람베르트 W 함수는 다가 함수(multi-valued function)이므로, 이 함수가 정의되는 가지(branch)를 구별해야 한다. 식 (1.8)은 주요 가지의 함수값을 나타낸다.
[참고문헌]
[1] Math Online, "Convergence of infinite continued fractions," Math Online. (방문일 2020-12-23)
댓글 없음 :
댓글 쓰기
욕설이나 스팸글은 삭제될 수 있습니다. [전파거북이]는 선플운동의 아름다운 인터넷을 지지합니다.