수 목록 - 무리수
2진법
1.001100111011101...
10진법
1.202056903159594285399738161511449990764986292...
16진법
1.33BA004F00621383...
연분수
1
+
1
4
+
1
1
+
1
18
+
1
⋱
{\displaystyle 1+{\frac {1}{4+{\frac {1}{1+{\frac {1}{18+{\frac {1}{\ddots \qquad {}}}}}}}}}}
아래쪽이 생략되었지만, 반복되지 않는 연분수이다.
수학 에서 아페리 상수 (Apéry's constant)는 여러 곳에서 발견되는 상수 이다. 이 상수는 양자전기동역학을 사용하는 전자의 회전자기율 (Gyromagnetic ratio)의 2차와 3차항 등 여러 물리학 문제에서 자연스럽게 나타난다. 또한 감마 함수 와 관련하여 물리학에서 종종 보이는 비율에서 지수함수를 포함하는 어떤 적분을 풀려고 할 때, 예를 들어 디바이 모형 의 2차원의 경우를 전개할 때 나타난다. 아페리 상수는
ζ
(
3
)
{\displaystyle \zeta (3)}
ζ
(
3
)
=
∑
k
=
1
∞
1
k
3
=
1
+
1
2
3
+
1
3
3
+
1
4
3
+
1
5
3
+
1
6
3
+
⋯
{\displaystyle \zeta (3)=\sum _{k=1}^{\infty }{\frac {1}{k^{3}}}=1+{\frac {1}{2^{3}}}+{\frac {1}{3^{3}}}+{\frac {1}{4^{3}}}+{\frac {1}{5^{3}}}+{\frac {1}{6^{3}}}+\cdots }
여기서
ζ
(
s
)
{\displaystyle \zeta (s)}
리만 제타 함수 를 가리킨다. 아페리 상수의 대략적인 값은 다음과 같다.
1.20205 69031 59594 28539 97381 61511 44999 07649 86292 ... (OEIS 의 수열 A002117 ) 아페리 상수의 역수
1
ζ
(
3
)
{\displaystyle {\frac {1}{\zeta (3)}}}
서로소 일 확률 과 같다.
1978년 6월 마르세유-뤼미니(Marseille-Luminy)에서 개최된 Journées Arithmétiques에서 로저 아페리(Roger Apéry )는
ζ
(
3
)
{\displaystyle \zeta (3)}
[ 1]
ζ
(
3
)
=
5
2
∑
n
=
1
∞
(
−
1
)
n
−
1
n
3
(
2
n
n
)
{\displaystyle \zeta (3)={\frac {5}{2}}\sum _{n=1}^{\infty }{\frac {(-1)^{n-1}}{n^{3}{{2n} \choose {n}}}}}
그러나 이러한 등식은 이전에 누구도 본 일이 없었고 더구나 앞쪽의 인수 5/2 조차도 어디서 나오는 건지 짐작하기 어려웠다. 청중들은 어떻게 그 등식을 찾았느냐고 묻자 아페리는 이렇게 대답하였다.
They grow in my garden.
그리하여 청중 중에서 누군가가 프로그램 가능한 HP 계산기를 가지고 있는 사람이 이 등식을 확인하였고, 자리수가 허용하는 한도에서 정확함을 확인하는 동안에 강연이 중단되기도 하였다. 결국 그의 기괴한 설명 스타일 덕분에 청중은 믿는 쪽과 믿지 않는 쪽으로 분리되었다.
여하튼 이후에 모든 것이 정확함이 밝혀졌다. 2개월 후인 8월, 헬싱키 에서 열린 세계 수학자 대회 에서 앙리 코앙 (Henri Cohen )은 완전한 증명을 소개하였다. 이 증명은 기본적으로 아페리의 강연을 토대로 하고 있지만, 코앙과 돈 재기어 의 아이디어를 포함하였다. 아페리의 증명은 Acta Arithmetica 저널에 수록되었다.[ 2]
Frits Beukers에 의한 간결화된 증명법을 소개한다.[ 2]
먼저 유리수라고 가정하여 모순을 이끌어 낸다. 르장드르 타입 다항식
P
n
(
x
)
{\displaystyle P_{n}(x)}
n
!
P
n
(
x
)
=
{
d
d
x
}
n
x
n
(
1
−
x
)
n
{\displaystyle n!P_{n}(x)=\left\{{\frac {d}{dx}}\right\}^{n}x^{n}(1-x)^{n}}
이 때 다음 등식이 성립함을 보인다.
∫
0
1
∫
0
1
−
log
(
x
y
)
1
−
x
y
P
n
(
x
)
P
n
(
y
)
d
x
d
y
=
A
n
+
B
n
ζ
(
3
)
lcm
[
1
,
…
,
n
]
3
{\displaystyle \int _{0}^{1}\int _{0}^{1}{\frac {-\log(xy)}{1-xy}}P_{n}(x)P_{n}(y)dxdy={\frac {A_{n}+B_{n}\zeta (3)}{\operatorname {lcm} \left[1,\ldots ,n\right]^{3}}}}
여기서
A
n
{\displaystyle A_{n}}
B
n
{\displaystyle B_{n}}
부분적분 과 아페리 상수가 유리수
a
/
b
{\displaystyle a/b}
0
<
1
b
≤
|
A
n
+
B
n
ζ
(
3
)
|
≤
4
(
4
5
)
n
,
{\displaystyle 0<{\frac {1}{b}}\leq \left|A_{n}+B_{n}\zeta (3)\right|\leq 4\left({\frac {4}{5}}\right)^{n},}
n
{\displaystyle n}
1772년에, 레온하르트 오일러 가 다음의 급수 전개를 얻었다.
ζ
(
3
)
=
π
2
7
[
1
−
4
∑
k
=
1
∞
ζ
(
2
k
)
(
2
k
+
1
)
(
2
k
+
2
)
2
2
k
]
{\displaystyle \zeta (3)={\frac {\pi ^{2}}{7}}\left[1-4\sum _{k=1}^{\infty }{\frac {\zeta (2k)}{(2k+1)(2k+2)2^{2k}}}\right]}
이 급수는 그 후에 여러 번 재발견되었다.
시몽 플루페 (Simon Plouffe)는 다음의 급수를 포함한 몇 개의 급수를 얻었는데 그것들이 반복될수록 여러 자리의 정확도를 제공할 수 있어서 주목할 만하다:
ζ
(
3
)
=
7
180
π
3
−
2
∑
n
=
1
∞
1
n
3
(
e
2
π
n
−
1
)
{\displaystyle \zeta (3)={\frac {7}{180}}\pi ^{3}-2\sum _{n=1}^{\infty }{\frac {1}{n^{3}(e^{2\pi n}-1)}}}
그리고
ζ
(
3
)
=
14
∑
n
=
1
∞
1
n
3
sinh
(
π
n
)
−
11
2
∑
n
=
1
∞
1
n
3
(
e
2
π
n
−
1
)
−
7
2
∑
n
=
1
∞
1
n
3
(
e
2
π
n
+
1
)
.
{\displaystyle \zeta (3)=14\sum _{n=1}^{\infty }{\frac {1}{n^{3}\sinh(\pi n)}}-{\frac {11}{2}}\sum _{n=1}^{\infty }{\frac {1}{n^{3}(e^{2\pi n}-1)}}-{\frac {7}{2}}\sum _{n=1}^{\infty }{\frac {1}{n^{3}(e^{2\pi n}+1)}}.}
다음을 포함하여 많은 추가된 급수 전개가 발견되었다:
ζ
(
3
)
=
8
7
∑
k
=
0
∞
1
(
2
k
+
1
)
3
{\displaystyle \zeta (3)={\frac {8}{7}}\sum _{k=0}^{\infty }{\frac {1}{(2k+1)^{3}}}}
ζ
(
3
)
=
4
3
∑
k
=
0
∞
(
−
1
)
k
(
k
+
1
)
3
{\displaystyle \zeta (3)={\frac {4}{3}}\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(k+1)^{3}}}}
ζ
(
3
)
=
5
2
∑
n
=
1
∞
(
−
1
)
n
−
1
(
n
!
)
2
n
3
(
2
n
)
!
{\displaystyle \zeta (3)={\frac {5}{2}}\sum _{n=1}^{\infty }(-1)^{n-1}{\frac {(n!)^{2}}{n^{3}(2n)!}}}
ζ
(
3
)
=
1
4
∑
n
=
1
∞
(
−
1
)
n
−
1
56
n
2
−
32
n
+
5
(
2
n
−
1
)
2
(
(
n
−
1
)
!
)
3
(
3
n
)
!
{\displaystyle \zeta (3)={\frac {1}{4}}\sum _{n=1}^{\infty }(-1)^{n-1}{\frac {56n^{2}-32n+5}{(2n-1)^{2}}}{\frac {((n-1)!)^{3}}{(3n)!}}}
ζ
(
3
)
=
8
7
−
8
7
∑
t
=
1
∞
(
−
1
)
t
2
−
5
+
12
t
t
(
−
3
+
9
t
+
148
t
2
−
432
t
3
−
2688
t
4
+
7168
t
5
)
t
!
3
(
−
1
+
2
t
)
!
6
(
−
1
+
2
t
)
3
(
3
t
)
!
(
1
+
4
t
)
!
3
{\displaystyle \zeta (3)={\frac {8}{7}}-{\frac {8}{7}}\sum _{t=1}^{\infty }{\frac {{\left(-1\right)}^{t}\,2^{-5+12\,t}\,t\,\left(-3+9\,t+148\,t^{2}-432\,t^{3}-2688\,t^{4}+7168\,t^{5}\right)\,{t!}^{3}\,{\left(-1+2\,t\right)!}^{6}}{{\left(-1+2\,t\right)}^{3}\,\left(3\,t\right)!\,{\left(1+4\,t\right)!}^{3}}}}
ζ
(
3
)
=
∑
n
=
0
∞
(
−
1
)
n
205
n
2
+
250
n
+
77
64
(
n
!
)
10
(
(
2
n
+
1
)
!
)
5
{\displaystyle \zeta (3)=\sum _{n=0}^{\infty }(-1)^{n}{\frac {205n^{2}+250n+77}{64}}{\frac {(n!)^{10}}{((2n+1)!)^{5}}}}
그리고
ζ
(
3
)
=
∑
n
=
0
∞
(
−
1
)
n
P
(
n
)
24
(
(
2
n
+
1
)
!
(
2
n
)
!
n
!
)
3
(
3
n
+
2
)
!
(
(
4
n
+
3
)
!
)
3
{\displaystyle \zeta (3)=\sum _{n=0}^{\infty }(-1)^{n}{\frac {P(n)}{24}}{\frac {((2n+1)!(2n)!n!)^{3}}{(3n+2)!((4n+3)!)^{3}}}}
여기서 P(n)은 다음과 같다.
P
(
n
)
=
126392
n
5
+
412708
n
4
+
531578
n
3
+
336367
n
2
+
104000
n
+
12463.
{\displaystyle P(n)=126392n^{5}+412708n^{4}+531578n^{3}+336367n^{2}+104000n+12463.\,}
이들 중 몇몇은 아페리 상수의 소수점 아래 수백만 자릿수를 계산하는 데 사용되었다.
Broadhurst(1998)은 계산될 수 있는 임의의 이진수를 받아들이는 급수 전개를 얻었다. 따라서 거의 선형시간 내에 상수가 계산될 수 있다.
아페리 상수는 다음과 같이 폴리감마 함수 를 이용해 나타낼 수 있다.
ζ
(
3
)
=
−
1
2
ψ
(
2
)
(
1
)
{\displaystyle \zeta (3)=-{\frac {1}{2}}\,\psi ^{(2)}(1)}
아페리 상수
ζ
(
3
)
{\displaystyle \zeta (3)}
아페리 상수
ζ
(
3
)
{\displaystyle \zeta (3)}
날짜
자릿수
발견자
1735년
16
레온하르트 오일러
알려져 있지 않음
16
아드리앵 마리 르장드르
1887년
32
토마스 요아너스 스틸티어스
1996년
520,000
그레그 J. 피 & 시몽 플루페
1997년
1,000,000
Bruno Haible & Thomas Papanikolaou
1997년 5월
10,536,006
Patrick Demichel
1998년 2월
14,000,074
Sebastian Wedeniwski
1998년 3월
32,000,213
Sebastian Wedeniwski
1998년 7월
64,000,091
Sebastian Wedeniwski
1998년 12월
128,000,026
Sebastian Wedeniwski
2001년 9월
200,001,000
Shigeru Kondo & Xavier Gourdon
2002년 2월
600,001,000
Shigeru Kondo & Xavier Gourdon
2003년 2월
1,000,000,000
Patrick Demichel & Xavier Gourdon
2006년 4월
10,000,000,000
Shigeru Kondo & Steve Pagliarulo
2009년 1월 21일
15,510,000,000
Alexander J. Yee & Raymond Chan
2009년 2월 15일
31,026,000,000
Alexander J. Yee & Raymond Chan
2010년 9월 17일
100,000,001,000
Alexander J. Yee[ 3]
2013년 9월 23일
200,000,001,000
Robert J. Setti[ 3]
2015년 8월 7일
250,000,000,000
Ron Watkins[ 3]
2015년 12월 21일
400,000,000,000
Dipanjan Nag[ 4]
2017년 8월 13일
500,000,000,000
Ron Watkins[ 5]
2019년 5월 26일
1,000,000,000,000
Ian Cutress[ 6]
2020년 7월 26일
1,200,000,000,100
김승민[ 7] [ 8]
정수 허수
i (
i
{\displaystyle i}
초월수
π e (
e
{\displaystyle e}
무리수 기타
![{\displaystyle \int _{0}^{1}\int _{0}^{1}{\frac {-\log(xy)}{1-xy}}P_{n}(x)P_{n}(y)dxdy={\frac {A_{n}+B_{n}\zeta (3)}{\operatorname {lcm} \left[1,\ldots ,n\right]^{3}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b29daa006c4effc3565a70ee597c7c00e6e5cac3)
![{\displaystyle \zeta (3)={\frac {\pi ^{2}}{7}}\left[1-4\sum _{k=1}^{\infty }{\frac {\zeta (2k)}{(2k+1)(2k+2)2^{2k}}}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/886d279e5edea854b33428eb4d8b194355adf377)
