mir.pe (일반/어두운 화면)
최근 수정 시각 : 2024-09-20 11:14:54

카탈랑 상수

카탈란 상수에서 넘어옴

파일:나무위키+유도.png  
은(는) 여기로 연결됩니다.
1\에 대한 내용은 카탈랑 수 문서
번 문단을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
참고하십시오.

수학 상수
Mathematical Constants
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
[math(^\ast)] 초월수임이 증명됨.
[math(0)]
(덧셈의 항등원)
[math(1)]
(곱셈의 항등원)
[math(sqrt{2})]
(최초로 증명된 무리수)
[math(495)], [math(6174)]
( 카프리카 상수)
[math(0)], [math(1)], [math(3435)], [math(438579088)]
( 뮌하우젠 수)
[math(pi)]
(원주율)
[math(^\ast)]
[math(tau)]
(새 원주율)
[math(^\ast)]
[math(e)]
(자연로그의 밑)
[math(^\ast)]
[math(varphi)]
(황금수)
[math(i)]
(허수단위)
[math(G)]
(카탈랑 상수)
[math(zeta(3))]
(아페리 상수)
[math({rm Si}(pi))]
(윌브레이엄-기브스 상수)
[math(gamma)]
(오일러-마스케로니 상수)
[math(gamma_n)]
(스틸체스 상수)
[math(Omega)]
(오메가 상수)
[math(^\ast)]
[math(2^{sqrt{2}})]
(겔폰트-슈나이더 상수)
[math(^\ast)]
[math(C_n,)]
(챔퍼나운 상수)
[math(^\ast)]
[math(A,)]
(글레이셔-킨켈린 상수)
[math(A_k,)]
(벤더스키-아담칙 상수)
[math(-e, {rm Ei}(-1))]
(곰페르츠 상수)
[math(mu)]
(라마누잔-졸트너 상수)
[math(B_{2})], [math(B_{4})]
(브룬 상수)
[math(rho)]
(플라스틱 상수)
[math(delta)], [math(alpha)]
(파이겐바움 상수)
}}}}}}}}} ||
1. 개요2. 항등식3. 값4. 관련 문서

1. 개요

카탈랑 / Catalan's constant

카탈랑 상수는 벨기에의 수학자 외젠 샤를 카탈랑에 의해 정의된 상수로, 아래와 같은 식으로 정의된다. [math(C)], [math(K)] 등으로 표기하는 경우도 매우 흔하다.
[math(\displaystyle \begin{aligned}
G &= \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)^2} = \frac1{1^2} -\frac1{3^2} +\frac1{5^2} -\frac1{7^2} +\cdots \\
&\approx 0.9159655942
\end{aligned} )]
카탈랑 상수의 값은 소숫점 아래 육천억 자리까지 계산되었으나, 이 수가 유리수인지 무리수인지는 아직 밝혀지지 않았다. 따라서 이 상수에 디리클레 함수[1]를 취한 [math(\bold1_{\mathbb Q}(G))]의 값은 부정이다.

카탈랑 상수는 디리클레 베타 함수 [math(\displaystyle \beta(s) = \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)^s})]에서 [math(s=2)]인 경우이다. 참고로, 디리클레 베타 함수는 리만 제타 함수와 관련이 있고, 결국 리만 가설로 연결된다.

2. 항등식


위쪽 식에 [math(\arctan x)]의 매클로린 급수 전개식 [math(\displaystyle \arctan x = \sum_{n=0}^\infty \frac{(-1)^n}{2n+1} x^{2n+1})]을 대입한다.

[math(\displaystyle \begin{aligned}
\int_0^1 \frac{\arctan{x}}x \,{\rm d}x &= \int_0^1 \sum_{n=0}^\infty \frac{(-1)^n}{2n+1} x^{2n} \,{\rm d}x \\
&= \sum_{n=0}^\infty \frac{(-1)^n}{2n+1} \int_0^1 x^{2n} \,{\rm d}x \\
&= \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)^2} = G \qquad \blacksquare
\end{aligned} )]

[math(\displaystyle \int_0^1 \frac{\arctan{x}}x \,{\rm d}x = G)]에서 [math(x=\dfrac1t)]로 치환한 후 [math(arctan)] 함수와 [math(operatorname{arccot})] 함수의 관계식을 사용하면 아래쪽 식의 적분 항을 얻을 수 있다.

[math(\displaystyle \begin{aligned}
G = \int_0^1 \frac{\arctan{x}}x \,{\rm d}x &= \int_\infty^1 \frac{\arctan(1/t)}{1/t} \!\left( -\frac1{t^2} \,{\rm d}t \right) \\
&= \int_1^\infty \frac{\arctan(1/t)}t \,{\rm d}t \\
&= \int_1^\infty \frac{\operatorname{arccot}t}t \,{\rm d}t \qquad \blacksquare
\end{aligned} )]

}}}||

[math(x=\dfrac1t)]로 치환하면

[math(\displaystyle \begin{aligned}
\int_0^\infty \frac1x \operatorname{erf}\biggl(\frac1x\biggr) \!\operatorname{erfc}\biggl(\frac1x\biggr) {\rm d}x &= \int_\infty^0 t \operatorname{erf}(t) \operatorname{erfc}(t) \biggl( -\frac{{\rm d}t}{t^2} \biggr) \\
&= \int_0^\infty \frac1t \operatorname{erf}(t) \operatorname{erfc}(t) \,{\rm d}t
\end{aligned} )]

오차함수 및 여오차함수의 적분 표현식을 그대로 대입하면

[math(\displaystyle \begin{aligned}
\int_0^\infty \frac1x \operatorname{erf}\biggl(\frac1x\biggr) \!\operatorname{erfc}\biggl(\frac1x\biggr) {\rm d}x &= \int_0^\infty \frac1t \operatorname{erf}(t) \operatorname{erfc}(t) \,{\rm d}t \\
&= \int_0^\infty \frac1t \biggl( \frac{2t}{\sqrt\pi} \int_0^1 e^{-t^2y^2} \,{\rm d}y \biggr) \!\biggl( \frac{2t}{\sqrt\pi} \int_1^\infty e^{-t^2z^2} \,{\rm d}z \biggr) {\rm d}t \\
&= \frac2\pi \int_0^1 \int_1^\infty \int_0^\infty e^{-(y^2+z^2)t^2} \cdot 2t \,{\rm d}t \,{\rm d}z \,{\rm d}y
\end{aligned} )]

[math(t^2=x)]로 치환하면

[math(\displaystyle \begin{aligned}
\int_0^\infty \frac1x \operatorname{erf}\biggl(\frac1x\biggr) \!\operatorname{erfc}\biggl(\frac1x\biggr) {\rm d}x &= \frac2\pi \int_0^1 \int_1^\infty \int_0^\infty e^{-(y^2+z^2)t^2} \cdot 2t \,{\rm d}t \,{\rm d}z \,{\rm d}y \\
&= \frac2\pi \int_0^1 \int_1^\infty \int_0^\infty e^{-(y^2+z^2)x} \,{\rm d}x \,{\rm d}z \,{\rm d}y \\
&= \frac2\pi \int_0^1 \int_1^\infty \biggl[ -\frac{e^{-(y^2+z^2)x}}{y^2+z^2} \biggr]_{x\to0}^{x\to\infty} {\rm d}z \,{\rm d}y \\
&= \frac2\pi \int_0^1 \int_1^\infty \frac1{y^2+z^2} \,{\rm d}z \,{\rm d}y \\
&= \frac2\pi \int_0^1 \biggl[ \frac1y \arctan \biggl( \frac zy \biggr) \biggr]_{z\to1}^{z\to\infty} {\rm d}y \\
&= \frac2\pi \int_0^1 \frac1y \biggl[ \frac\pi2 -\arctan \biggl( \frac1y \biggr) \biggr] \,{\rm d}y \\
&= \frac2\pi \int_0^1 \frac1y \arctan y \,{\rm d}y \\
&= \frac{2G}\pi
\end{aligned} )]

참고로, 위 적분의 후반부에서 [math(arctan y +arctan biggl( dfrac1y biggr) != dfracpi2)] (단, [math(y>0)])임을 사용하였다.
}}}||

[math(\displaystyle \int_0^1 \frac{\arctan{x}}x \,{\rm d}x = G)]에서 [math(x=e^t)]로 치환하면 위쪽 식을 증명할 수 있다.

[math(\displaystyle \begin{aligned}
G = \int_0^1 \frac{\arctan{x}}x \,{\rm d}x &= \int_{-\infty}^0 \frac{\arctan{e^t}}{e^t} \cdot e^t \,{\rm d}t \\
&= \int_{-\infty}^0 \arctan{e^t} \,{\rm d}t \qquad \blacksquare
\end{aligned} )]

여기서 [math(t=-x)]로 치환한 후 [math(arctan)] 함수와 [math(operatorname{arccot})] 함수의 관계식을 사용하면 아래쪽 식을 증명할 수 있다.

[math(\displaystyle \begin{aligned}
G = \int_{-\infty}^0 \arctan{e^t} \,{\rm d}t &= \int_\infty^0 \arctan{e^{-x}} \,(-{\rm d}x) \\
&= \int_0^\infty \arctan \frac1{e^x} \,{\rm d}x \\
&= \int_0^\infty \operatorname{arccot} e^x \,{\rm d}x \qquad \blacksquare
\end{aligned} )]

}}}||

탄젠트 반각 치환을 사용하자. [math(t=\tan \dfrac x2)]로 치환하면 [math(x=2\arctan t)]이고 [math(\sin x = \dfrac{2t}{1+t^2})]이고 [math({\rm d}x = \dfrac{2\,{\rm d}t}{1+t^2})]이므로 다음과 같이 증명할 수 있다.

[math(\displaystyle \begin{aligned}
\int_0^{\pi/2} \frac x{\sin x} \,{\rm d}x &= \int_0^1 2\arctan t \cdot \frac{1+t^2}{2t} \cdot \frac{2\,{\rm d}t}{1+t^2} \\
&= 2\int_0^1 \frac{\arctan t}t \,{\rm d}t \\
&= 2G
\end{aligned} )]

}}}||

감마 함수의 반사 공식 [math(\Gamma(x)\Gamma(1-x) = \dfrac\pi{\sin\pi x})]를 사용하여 증명할 수 있다.

[math(\displaystyle \begin{aligned}
\int_0^{1/2} \Gamma(1+x)\Gamma(1-x) \,{\rm d}x &= \int_0^{1/2} x\Gamma(x)\Gamma(1-x) \,{\rm d}x \\
&= \int_0^{1/2} \frac{\pi x}{\sin\pi x} \,{\rm d}x
\end{aligned} )]

[math(\pi x=t)]로 치환하면

[math(\displaystyle \begin{aligned}
\int_0^{1/2} \Gamma(1+x)\Gamma(1-x) \,{\rm d}x &= \int_0^{1/2} \frac{\pi x}{\sin\pi x} \,{\rm d}x \\
&= \int_0^{\pi/2} \frac t{\sin t} \frac{{\rm d}t}\pi \\
&= \frac1\pi \int_0^{\pi/2} \frac t{\sin t} \,{\rm d}t \\
&= \frac{2G}\pi
\end{aligned} )]

}}}||

위쪽 식부터 증명하자. 우선 [math(x=e^t)]로 치환한 후 분모와 분자에 [math(e^{-2t})]를 곱하면

[math(\displaystyle \begin{aligned}
\int_1^\infty \frac{\ln x}{1+x^2} \,{\rm d}x &= \int_0^\infty \frac{te^t}{1+e^{2t}} \,{\rm d}t \\
&= \int_0^\infty \frac{te^{-t}}{1+e^{-2t}} \,{\rm d}t
\end{aligned} )]

[math(\displaystyle \frac1{1+e^{-2t}} = \sum_{n=0}^\infty (-1)^n e^{-2nt})]임을 이용하면

[math(\displaystyle \begin{aligned}
\int_1^\infty \frac{\ln x}{1+x^2} \,{\rm d}x &= \int_0^\infty \frac{te^{-t}}{1+e^{-2t}} \,{\rm d}t \\
&= \int_0^\infty t \sum_{n=0}^\infty (-1)^n e^{-(2n+1)t} \,{\rm d}t \\
&= \sum_{n=0}^\infty (-1)^n \int_0^\infty t e^{-(2n+1)t} \,{\rm d}t
\end{aligned} )]

여기서 이 정적분의 값은

[math(\displaystyle \begin{aligned}
\int_0^\infty t e^{-(2n+1)t} \,{\rm d}t &= \biggl. \frac{t e^{-(2n+1)t}}{-(2n+1)} \biggr|_0^\infty -\int_0^\infty \frac{e^{-(2n+1)t}}{-(2n+1)} \,{\rm d}t \\
&= \int_0^\infty \frac{e^{-(2n+1)t}}{2n+1} \,{\rm d}t = \biggl. \frac{e^{-(2n+1)t}}{-(2n+1)^2} \biggr|_0^\infty \\
&= \frac1{(2n+1)^2}
\end{aligned} )]

이므로 위쪽 식을 증명할 수 있다.

[math(\displaystyle \begin{aligned}
\therefore \int_1^\infty \frac{\ln x}{1+x^2} \,{\rm d}x &= \sum_{n=0}^\infty (-1)^n \int_0^\infty t e^{-(2n+1)t} \,{\rm d}t \\
&= \sum_{n=0}^\infty (-1)^n \frac1{(2n+1)^2} \\
&= G \qquad \blacksquare
\end{aligned} )]


한편, [math(\displaystyle \int_1^\infty \frac{\ln x}{1+x^2} \,{\rm d}x = G)]에서 [math(x=\dfrac1t)]로 치환하면 아래쪽 식을 증명할 수 있다.

[math(\displaystyle \begin{aligned}
G = \int_1^\infty \frac{\ln x}{1+x^2} \,{\rm d}x &= \int_\infty^1 \frac{\ln t^{-1}}{1+t^{-2}} \!\left( -\frac1{t^2} \,{\rm d}t \right) \\
&= \int_1^\infty \frac{\ln t^{-1}}{t^2+1} \,{\rm d}t \\
&= -\int_1^\infty \frac{\ln t}{t^2+1} \,{\rm d}t \qquad \blacksquare
\end{aligned} )]

}}}||

[math(\displaystyle \quad \int_0^1 \frac{\ln x}{1+x^2} \,{\rm d}x = -G)]에서
  1. [math(x=\tan t)]로 치환하면 위쪽 식을 증명할 수 있다.
    {{{#!wiki style="text-align:center"

[math(\displaystyle \begin{aligned}
-G = \int_0^1 \frac{\ln x}{1+x^2} \,{\rm d}x &= \int_0^{\pi/4} \frac{\ln \tan t}{1+\tan^2 t} \,\sec^2 t \,{\rm d}t \\
&= \int_0^{\pi/4} \ln \tan t \,{\rm d}t \qquad \blacksquare \\
\end{aligned} )]}}}
  1. [math(x=\cot t)]로 치환하면 아래쪽 식을 증명할 수 있다.
    {{{#!wiki style="text-align:center"

[math(\displaystyle \begin{aligned}
-G = \int_0^1 \frac{\ln x}{1+x^2} \,{\rm d}x &= \int_0^{\pi/4} \frac{\ln \cot t}{1+\cot^2 t} \,(-\csc^2 t \,{\rm d}t) \\
&= -\int_0^{\pi/4} \ln \cot t \,{\rm d}t \\
\therefore \int_0^{\pi/4} \ln \cot t \,{\rm d}t &= G \qquad \blacksquare
\end{aligned} )]}}}
}}}||

[math(\displaystyle \frac1{1+x^2y^2} = \sum_{n=0}^\infty (-1)^n x^{2n} y^{2n})]임을 이용한다.

[math(\displaystyle \begin{aligned}
\iint_{[0,1]^2} \frac1{1+x^2y^2} \,{\rm d}x\,{\rm d}y &= \int_0^1 \int_0^1 \sum_{n=0}^\infty (-1)^n x^{2n} y^{2n} \,{\rm d}x \,{\rm d}y \\
&= \sum_{n=0}^\infty (-1)^n \int_0^1 x^{2n} \,{\rm d}x \int_0^1 y^{2n} \,{\rm d}y \\
&= \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)^2} \\
&= G
\end{aligned} )]

}}}||

3.

소수점 이하 10000자리 [접기 · 펼치기]
0.9159655941 7721901505 4603514932 3841107741 4937428167 2134266498 1196217630 1977625476 9479356512 9261151062
4857442261 9196199579 0358988033 2585905943 1594737481 1584069953 3202877331 9460519038 7274781640 8786590902
4706484152 1630002287 2764094238 8259957741 5088163974 7025248201 1560707644 8838078733 7048990086 4775113225
9971343407 4854075532 3076856533 5768095835 2602193823 2395080072 0680355761 0482357339 4231914982 9836189977
0690364041 8086217941 1019175327 4314997823 3976105512 2477953032 4875371878 6658280823 6057022559 4194818097
5350971131 5712615804 2427236364 3985001738 2875977976 5306837009 2980873887 4956108936 5977194096 8726844441
6680462162 4339864838 9162804482 8150627302 2742073884 3117221827 2190472255 8705319086 8573542349 8539498309
9191159673 8846450861 5152499624 2370437451 7773723517 7544070853 8464401321 7483929999 4757244619 9754961975
8706400747 4870701490 9376788730 4586997986 0644874974 6438720623 8513712392 7363049985 0353922392 8787979063
3644032354 7845358519 2777778727 0906083031 9943013323 1671247615 8709792455 4791190921 2620185480 3963934243

4956537596 7394943547 3001438518 0705051250 7488613285 6412934495 9502298722 9831628948 1646162257 3989476231
8195420066 0718814275 9497559958 9836373037 6753385338 1354503127 6817240118 1407215346 8831683568 1686393272
9367758667 3925839540 6180333878 3068706490 1433486017 2981069921 7995653095 8187157911 5539560366 8903699049
3966753843 7758104931 8995538551 6262196253 3168040162 7375213012 0940604538 7950760538 2712319746 7900882369
1786155733 8912441722 3833938148 1207759942 9849172439 7668575632 7180688082 7998297937 8849432724 9346576074
9054387481 9526813074 4370462946 3589281027 6531705076 5479744948 3994895947 7092788591 1958487241 2786608408
8554597823 8124922605 0561009458 4486698958 5768716111 7178666233 6847409949 3855413210 9375528181 5525881591
5022282444 5444171860 9946588151 7664960782 2367897051 9269711312 5713754543 7012432967 3057246845 0158193130
1608776621 5650957554 6796667866 1708234768 2558133518 6819377456 5001456526 1704096074 6889539302 3479198060
0084245562 1751084234 7173638787 9369577878 4409337922 1989457534 0961647424 5546224787 8800292291 4803690711

5270795545 5054147826 8849818524 6005814466 5178681423 1541148785 5409966516 7385397276 1469701690 4391511490
0893330791 8457465762 0996775481 2313820154 3601098852 7216297701 0876157478 1735641636 9857035534 0672649351
9631695547 6721150777 2315900448 3382605161 1638343086 5139797225 1617413853 8129324801 1946362518 8008403981
9455390551 8210424606 2921852175 6024654860 1929767239 7405110395 2645692429 7864212424 0375189267 8729602717
7337873837 9978326676 2086119520 6791215126 3821192523 2940406920 5994386427 4693215338 8566711733 0827142408
3326592032 6075316592 8042310230 9973584003 9594034263 2227688070 1186819617 6780905631 5815978453 7637578356
3735902771 6488313102 8876937950 5350732080 1807581022 3823080317 6250432942 4722268391 2297129553 5135510431
4761886655 4743676921 8412018877 1617992285 6205635220 5470320069 1808688066 1211742040 6099241234 8760515406
8202262559 5048124858 9411873583 4682290423 0836155547 6947777083 1940874812 4916748929 0065936961 6416623436
8370754396 3838945144 0119556487 3813429212 2982001302 1079961922 4249244930 5199923585 8158082603 5249799850

5918669722 0123164897 1048307017 9352811222 8966355128 3174373523 9301140279 2389808744 5696483090 1320787765
8785362301 3542800016 2905587729 5006795876 1782473748 7137806004 2208445346 0450647024 4325808516 4777173903
1960286555 3832828141 5915248735 2633071505 1314788284 4999238663 2431981063 3651524331 1321463900 9333621591
6074448292 3457177454 8171695801 8168890017 5285645046 4891390904 2035602983 6045652425 2657972701 3858675765
3899302958 4492586921 8978864438 8819358114 5267705631 6060973768 4654083694 2302038168 2639245857 9107404870
8798778524 2614086871 5178575801 0060236817 0349179773 3622196629 5377189138 5311673996 5565885912 1646280155
8262987354 1376336076 0730200455 9120294665 7347571852 7453116338 4777648683 8248504116 3016052270 8694444270
3644251242 3639718149 9923496083 8959168258 0361647498 8104263948 3890042940 5504315021 9312686423 0059992926
3615406492 6266418658 3594904249 3715236220 6840394037 0108680740 0984400015 1246534353 5067233845 4694635760
2118676211 4341424761 1783410431 2730611678 2248833969 9155390913 1097323106 6781117485 5376790272 3184507654

5775699887 4113956861 4663158136 1573674061 8811259146 2039742340 1125882131 5690751757 5497965822 9689846231
3292572731 7533830231 3533232870 0565956885 3417520457 3932758183 5139823476 7800926142 6521074710 4566687631
3432566727 5929891952 5488490378 0904654648 8268575204 4546950538 1349830902 1460489718 3193877808 6340901416
8285484524 2480931043 4321772478 8778248739 4860618002 3341522591 4146138782 7005451709 7141045765 6614928953
1086724860 8048420437 6637936230 2136458177 9802272088 2738071736 7112998222 8906912576 3027779162 6510357625
7703810428 8680376054 6363033379 4036737769 6744757171 9187128039 5437096641 3877226626 8898373111 1160200451
8593973174 7646215428 3846016214 4526553720 2925520515 0494182800 3032550267 5790382527 8613963357 2720650890
3678201762 5857363660 2459644914 5335281410 3725168382 2090097101 9436802783 3670896331 4672497329 5039192592
9851496641 4498521873 3843701245 1746742187 1213110205 7261743401 3405687655 5104187866 5445189027 6500538217
8609412105 3538997849 0598218002 3067890821 6061413670 1839368702 8304544346 7805364995 6649505318 0837980207

9503658352 2762200650 6786177171 0956720056 2970302355 3593373869 7718328353 3755726234 4415664916 0057626666
0419908527 6789703504 1932955545 6874533884 2121304879 8620009287 0617800767 8592735175 3865236773 4853505306
6125396025 5362808093 5056256282 1347432394 3992224427 3971156275 5985244339 1041261804 3350698713 4104280978
4568695189 7766888265 0503756167 5915354731 7366813568 3353168588 4402667262 0319660078 5194905261 8190161355
4088321056 4405409027 2162044988 5104176129 2787884227 8518352007 0443946096 1571665543 4483928025 9250115630
6227650740 0503123514 1765652644 9943042570 5315022305 5223357663 4208943102 3858670606 3043029771 9853224212
0432986195 2863316219 9479803021 6511700718 5321676809 5061934167 2862846747 5330721100 5511854225 7586292926
8140638160 2461376952 0432786778 5235194089 7487799588 2626510188 5716752644 8964259516 2456081646 8058666260
5844328281 5376692095 0170013169 1093864391 4700333459 0670186879 9246483109 1818558481 0463111895 4767258303
6689226571 1699056543 1759988680 2867311458 7345754977 7440562265 8413379247 4271887007 8268554656 7822903364

6251538989 8481303382 8488015788 0664698448 0217166949 3817139985 6178771737 8778712739 9698342674 9997163226
8327257972 5721154228 2247158517 5485105077 9709615607 1837077138 3998265316 3653767581 2475187839 8350457588
3117907555 4568661739 5928729558 7193862192 2357387643 8607017401 0593597442 7858141127 1395680504 9612699600
4843458389 6436697014 7711403291 7806508492 5873008209 9061795875 8040299661 8292021820 6961557456 2881098022
3576195163 9678676266 0973679549 2343789154 1001857289 8981683785 8427303612 4484565324 2635348314 8925506480
7821982705 1836656213 7380923695 9077521516 9834652610 3237738415 0898306581 3648713091 8231383360 0559225400
1752627874 2124582625 2823708415 4906823317 6525686246 2456095643 3201249797 0680412465 2204170996 9381972852
7361263918 2295648243 4690428030 3582683293 5739279341 4496255282 7643618433 5426206641 3468315637 0222632876
8390879005 9716633258 0664331095 8818127532 4862789298 0094868158 9024527146 9241081839 4313034916 8733697658
1151940227 7339800954 0199925215 1434960734 1474539039 2304119908 9964039076 0329165111 9295510286 6674148788

8146370780 0552124855 6360181127 2094261309 8538014540 6153158542 2664625843 4161425950 1482368936 6366735542
8327200637 6074901810 8182214340 8619739115 4832854438 4315811917 3497228017 0417245957 2971660809 5285222104
7151238583 0056016372 1678131798 0009572563 5672059859 4136012596 4777049002 8817068063 0689443938 0904206627
4116418284 9088151323 5556768623 6301149153 6158353019 2951866940 8266688060 7174432972 1989087019 5003345427
1309363214 8089794753 1976335087 8060067351 4580188422 2411475843 5684595956 4201239274 6288926431 8570969317
5078143319 2768351309 1198749419 2376570553 2160176241 2261396759 5703448049 0314072757 9777662843 1505655127
7393854632 8959724219 2926469910 7855832088 9712330519 2289771726 0248197053 7196832391 8801026775 5856584529
8910140311 0550683658 3574883237 4814543556 7666180583 3306498942 3939943883 7996529632 5401019799 6341464287
8228337725 6296616846 9117201218 2866147440 4077735591 9892410751 2312600204 2456108959 2299313982 0601712131
1234380896 7375750143 1901377381 0588142008 0685832683 4886083591 9739558648 4536320854 8293526007 5146055373

1540568079 1511010486 7854204502 4317848121 7764069664 1654466861 9239210358 2308994427 7756117355 7266224125
0772436077 2601174557 2834330603 1810589904 0780191874 4900949254 0127974828 6924188618 8853577236 1897193373
8259474905 6970755345 2011531540 2733311828 3779761247 1701505762 5706465529 6799897182 2308738142 2674357748
5204949515 5493011531 2237349799 7582576182 0283175445 2121431136 7909142708 8810843423 8961583657 6573488488
6990189728 5510569345 6375561971 3623568051 0433375824 6047837406 7162905096 9122053094 9693422736 4588861618
0749732254 0290652651 5737420844 1696502868 2192896877 8018202291 6709817519 2630291660 7556054463 1057607509
8207841220 3746909440 3481232669 1252157124 3308701035 3789034900 0906643292 6437257797 5024182433 0284378092
1084480513 1449637450 4507208211 7288523799 3949048626 1381992522 0523930672 7369305935 2176372166 1889041942
7844146908 9937649018 4857137942 9452377041 3025010475 6988685409 3043365370 3029367695 2095638277 1770453471
9329069964 7498379824 1227697609 4331079408 5840310549 1213134469 6275752331 3373211080 3099242578 8565804104

0079831661 9455697015 9991762188 7866447194 3175469916 4974152025 1806448877 8879851669 6669050180 6961177895
3196777655 1199513657 8355296228 5756790257 2138603354 1608897984 6955972160 5713717345 9782925150 1311460097
9023730724 1203635433 5883448781 0363650252 1533751542 6356641550 6859162083 4877000812 7064546983 8423067413
5069739238 5488411364 2743338489 9180382076 5123559375 5905630124 1721917198 0889432932 1136501668 9536703579
5783718714 1292795182 3196775077 0527301435 5668909877 2815621393 8442321621 6216197142 9326170760 1370746636
0043976684 2321077254 4037792407 4191217701 9894286154 5330158425 1318351820 8113781913 8154235421 5596083899
6708562951 6895262671 9939664057 3419309148 9098184941 4821884118 1017814237 4557350988 4888258159 4204563198
4223214360 3174093407 1356176780 9014347986 9941905795 8943555583 0750700972 8837879249 0653344012 4683055020
0870508736 4565309555 7917071622 9994379623 7776319056 6337687723 7008874674 5395711078 1672472188 0043129578
7521446779 6449960511 8000342467 2524585953 9203204670 8808897893 1754117949 3224981308 9956418382 9537871503

4. 관련 문서


[1] 유리수인지 아닌지를 판별하는 함수.