| 수학상수 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. 개요
겔폰트-슈나이더 상수는 [math(2)]의 [math(\sqrt2)]제곱, 즉 [math(2^{\sqrt2})]이다. 10진법 소수로 표현하면 [math(2.665144142690\cdots)] 정도의 값을 가진다. 힐베르트의 23가지 문제 중 “[math(a\neq 0, \log a\neq 0)]인[1] 대수적 수이고 [math(b)]가 유리수가 아닌 대수적 수일 때 [math(a^b)]은 초월수인가?”의 증명 과정에서 등장한 수이다.2. 역사
다비트 힐베르트가 자신의 문제들에서 리만 가설, 페르마의 마지막 정리, 그리고 [math(2^{\sqrt{2}})]의 초월성 증명이 이 순서대로 풀릴 것이라고 말했다. 실제로는 그 반대로 풀려서, 겔폰트-슈나이더 상수가 가장 먼저 초월수임이 밝혀졌고, 그 다음이 페르마의 마지막 정리고, 리만 가설은 현재까지도 풀리지 않았다. 1919년 쿠즈민이 이 상수가 초월수임을 밝혔고, 1934년 겔폰트와 슈나이더가 독자적으로 위의 [math(a^b)]이 초월수임을 증명했다.3. 용도
이 수의 제곱근인 [math(\sqrt2^{\sqrt2})]은 명제 '무리수의 무리수 제곱이 유리수가 될 수 있는가?'를 증명하는 데 쓰인다.[2] 이 수 자체나 그 제곱근이 초월수인지 아닌지, 심지어 무리수인지 유리수인지 몰라도 가능하다.[3] 단, [math(\sqrt2)]가 무리수라는 전제가 필요하다.[4]i) [math(\sqrt2^{\sqrt2})]가 유리수라고 가정할 경우, 무리수([math(\sqrt2)])의 무리수([math(\sqrt2)]) 제곱이므로 명제는 자명하게 참이다.
ii) [math(\sqrt{2}^{\sqrt{2}})]가 무리수라고 가정할 경우, 이 수에 무리수 [math(\sqrt2)]만큼 제곱하면 [math(\left(\sqrt2^{\sqrt2}\right)^{\sqrt2} = \sqrt2^2 = 2)]로 유리수가 얻어지므로 주어진 명제 역시 참이다.
i), ii)에 따라 명제 '무리수의 무리수 제곱이 유리수가 될 수 있는가?'는 참이다.
ii) [math(\sqrt{2}^{\sqrt{2}})]가 무리수라고 가정할 경우, 이 수에 무리수 [math(\sqrt2)]만큼 제곱하면 [math(\left(\sqrt2^{\sqrt2}\right)^{\sqrt2} = \sqrt2^2 = 2)]로 유리수가 얻어지므로 주어진 명제 역시 참이다.
i), ii)에 따라 명제 '무리수의 무리수 제곱이 유리수가 될 수 있는가?'는 참이다.
한편 무리수무리수=유리수는 로그를 이용해서 증명할 수도 있다. [math({\sqrt{2}}^{\log_2 9}=3)]이기 때문. 이건 [math(\log_2 3)]가 무리수라는 것만 추가로 더 보이면 되고, 이건 겔폰트-슈나이더 상수를 이용한 증명에서 [math(\sqrt{2})]가 무리수임을 보이는 정도의 수준이면 된다.[증명]
또는 [math(e^{\ln{10}} = \pi^{\log_\pi 10} = 10)] 도 가능하...지 않을까 싶은데, 이건 먼저 [math({\ln{10}})] 이 무리수임을 증명해야 하고 이걸 증명하려면 대개 [math(e)]가 초월수인걸 먼저 증명해야 하는 문제가 생긴다. 애초에 [math({\ln{n}})]가 [math({n})]이 1이 아닌 정수일 때 무리수라는 걸 확장해 증명한 게 겔폰트 슈나이더 정리이다. 반면 겔폰트 슈나이더 상수를 이용하면 겔폰트 슈나이더 상수의 제곱근인 상수[math({\sqrt{2}}^{\sqrt{2}})] 자체가 유리수든 무리수든 (무리수)(무리수)=(유리수)를 보일 수 있다.
참고로 겔폰트-슈나이더 정리와 린데만-바이어슈트라스 정리를 이용하면 [math(\pi)]가 초월수임을 귀류법으로 증명할 수 있다. [math(\pi)]가 대수적인 수라고 가정한 뒤, 오일러 등식에서 [math(i^i)]가 [math(e^{-\pi/2})]임을 유도한 뒤, 린데만-바이어슈트라스 정리에 따라 이 값은 대수적인 수일텐데, 겔폰트-슈나이더 정리에 의해 초월수라는게 유도되므로 모순이 발생한다는 흐름으로 증명한다.[6]
겔폰트-슈나이더 정리를 이용하여 [math(\log_2 3)]이 초월수임을 증명 가능하다. 링크
[1] 원래는 [math(a\neq 0, 1)] 뿐이었으나, 이후 [math(\log a\neq 0)]이라는 조건에서 초월수가 된다는게 밝혀졌다. 따라서 [math(a\neq 2ni\pi)]라는 조건이 추가되었다. 다만, [math(2ni\pi)]가 대수적 수가 되려면 [math(n=0)]인 [math(2ni\pi=0)]인 경우만 되는지라, 이 조건은 어디까지나 밑이 복소수더라도 허용한다라는 확장된 의미로 받아들여야 한다.[2] 유리수가 될 수 있다는 게 포인트. 당연하지만 모든 무리수의 무리수 제곱이 유리수가 되는 건 아니다.[3] 물론 겔폰트-슈나이더 상수가 초월수로 밝혀졌기 때문에 자명하게 무리수가 된다. 만약 [math(\sqrt2^{\sqrt2}=p)]가 유리수라면 [math(p^2)] 역시 유리수가 되어야 하지만, [math(p^2=2^{\sqrt2})]는 초월수이므로 자연스럽게 무리수가 되기 때문.[4] 증명은 [math(sqrt2)] 참고[증명] 귀류법을 써서 유리수라고 가정하자.[math( \log_2 3= \frac pq)]이면 [math(2^{ \frac{p}{q}} = 3)] 이고 [math( 2^p = 3^q)]이다. 이 때 [math(3>2)]이므로 [math(p>q)]인 양의 정수 [math(p,\,q)]가 존재하고 이때 [math(2^p)]는 짝수, [math(3^q)]는 홀수이므로 등식이 성립하지 않아 모순이다. 실수인 것은 실수의 완비성에 의해 [math( \mathrm{sup}\{x|2^x<3\})]이 실수임을 이용하면 된다.[6] 사실 여기까지 가지 않아도 린데만-바이어슈트라스 정리의 따름정리에 따라 [math(e^a)]에서 [math(a)]가 0이 아닌 대수적인 수라면 [math(e^a)]는 초월수라는 것을 이용하면 더 빠르게 증명이 끝난다.