겔폰트 상수
겔폰트 상수 (Gelfond's Constant) 는 다음과 같습니다.
$$ e^{\pi} = 23.14069263277926900... $$
$e$는
자연로그의 밑 $e$
, $\pi$는
원주율 $\pi$
입니다.
겔폰트-슈나이더 정리에 의해
초월수
임이 밝혀져있고, 따라서 당연히
무리수
입니다.
무리성 증명
-