| 수학상수 Mathematical Constants | |||||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | [math(0)] 덧셈의 항등원 | [math(1)] 곱셈의 항등원 | [math(sqrt{2})] 제곱근 2[math(^\ast)] | [math(495)], [math(6174)] 카프리카 수 | [math(0)], [math(1)], [math(3435)], [math(438579088)] 뮌하우젠 수 |
| [math(pi)] 원주율[math(^{\ast\ast})] | [math(tau)] 새 원주율[math(^{\ast\ast})] | [math(e)] 자연로그의 밑[math(^{\ast\ast})] | [math(varphi)] 황금비[math(^\ast)] | [math(i)] 허수단위 | |
| [math(G)] 카탈랑 상수[math(^{\ast?})] | [math(zeta(3))] 아페리 상수[math(^{\ast?})] | [math({rm Si}(pi))] 윌브레이엄-기브스 상수[math(^{?})] | [math(gamma)] 오일러-마스케로니 상수[math(^{?})] | [math(gamma_n)] 스틸체스 상수[math(^{?})] | |
| [math(Omega)] 오메가 상수[math(^{\ast\ast})] | [math(2^{sqrt{2}})] 겔폰트-슈나이더 상수[math(^{\ast\ast})] | [math(C_n,)] 챔퍼나운 상수[math(^{\ast\ast})] | [math(A,)] 글레이셔-킨켈린 상수[math(^{?})] | [math(A_k,)] 벤더스키-아담칙 상수[math(^{?})] | |
| [math(delta)] 곰페르츠 상수[math(^{?})] | [math(mu)] 라마누잔-졸트너 상수[math(^{?})] | [math(B_{2})], [math(B_{4})] 브룬 상수[math(^{?})] | [math(rho)] 플라스틱 상수[math(^\ast)] | [math(delta)], [math(alpha)] 파이겐바움 상수[math(^{?})] | |
| [math(G)] 란다우 상수[math(^{?})] | [math(C_A)] 아르틴 상수[math(^{?})] | [math(zeta_n)] [math(1)]의 [math(n)]제곱근[1] | [math(operatorname{lb}3)] 3의 이진로그[math(^{\ast\ast})] | 1, 2, 3, 7, 11, 19, 43, 67, 163 헤그너 수 | |
| [math(^{?})] 유리수인지 무리수인지 밝혀지지 않음 | |||||
1. 개요
[math(\log_23)], [math(\operatorname{lb}3)][1]대략 1.58496...에 해당하며 로그의 정의에 따라 [math(2^x=3)]을 만족시키는 [math(x)]의 값이다. 로그의 성질에서 접할 수 있는 대표적인 초월수 중 하나이다.
거듭제곱근 중 대수적 수로 표현이 안 되는 상황에서 [math(\log_23)]의 도입은 그것을 표현할 수 있게 하는 대표적인 사례로 제시된다.
2. 초월수 증명
초월수임을 증명하는 과정은 다음과 같다. 먼저 무리수임을 증명하자. 귀류법으로, [math(\log_23)]이 유리수라고 가정하자. 다시 말해 어떤 0이 아닌 정수 [math(a)], [math(b)]가 있어 [math(\log_23=\frac ab)]일 것이다. 로그를 전개하면 [math(\sqrt[b]{2^a}=3)], 양변을 정리하면 [math(2^a=3^b)]. 가정상 [math(a)]와 [math(b)]는 0이 아닌 정수이므로 좌변은 소인수가 [math(2)], 우변은 소인수가 [math(3)]밖에 없어 해당 등식은 모순이다. 따라서 [math(\log_23)]은 무리수이다.이제 초월수임을 증명할 수 있다. 우선 [math(\log_23)]이 대수적 무리수라고 가정하자. 겔폰트-슈나이더 정리가 참임을 이용하여, 밑이 1보다 큰 자연수이고 지수가 대수적 무리수이면 이를 연산한 결과는 항상 초월수이다. 따라서 가정상 1보다 큰 자연수 [math(2)]를 밑으로 하고 [math(\log_23)]을 지수로 두면 결과값은 초월수일 것이다. 하지만 로그의 정의에 따라 밑이 [math(2)], 지수가 [math(\log_23)]일 때 그 결과값 [math(3)]은 초월수가 아니므로 모순이다. 따라서 [math(\log_23)]은 초월수이다.