사용자:Sangjinhwa/작업실4: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
35번째 줄:
{{수학 변수|e}}의 지속적인 연분수를 사용하여 {{수학 변수|e}}가 리우빌 수가 아니라는 것을 보여줄 수 있다(비록 지속적인 분수의 부분적인 몫은 무한대이다). [[쿠르트 말러]]는 1953년에 {{pi}} 또한 리우빌 수가 아니라는 것을 증명했다. 결국 주기적이지 않은 경계 항을 갖는 모든 무한 연분수는 초월적(결국 주기적인 연분수는 2차 무리수에 해당함)이라고 추측된다.<ref>{{괄호 없는 하버드 인용|Adamczewski|Bugeaud|2005}}</ref>
 
== 초월수로 입증된 수 ==
==Numbers proven to be transcendental==
초월수로 입증된 수:
Numbers proven to be transcendental:
 
* {{math수학|1=''[[e (mathematical자연로그의 constant)|e]]<sup>a</sup>''}} if에서 {{mvar수학 변수|a}} is [[Algebraic대수적 number|algebraic]]이고 and0이 nonzero아닌 경우 (by린데만-바이어슈트라스 the [[Lindemann–Weierstrass theorem]]정리).
* {{pi}} ([[원주율]], 린데만-바이어슈트라스 정리).
*[[pi|{{pi}}]] (by the [[Lindemann–Weierstrass theorem]]).
* {{math수학|1=''e''<sup>''π''</sup>}}, [[Gelfond's겔폰트 constant상수]], as well as또는 {{math수학|1=''e''<sup>−''π''/2</sup> {{=}} ''i<sup>i</sup>''}} (by the [[Gelfond–Schneider겔폰트-슈나이더 theorem정리]]에 따름).
* {{math수학|1=''a<sup>b</sup>''}}, where여기서 {{mvar수학 변수|a}} is대수적이지만 algebraic0이나 but1은 not 0 or 1, and아니며 {{mvar수학|b}} is무리수인 irrational algebraic대수이다 (by겔폰트-슈나이더 the정리에 Gelfond–Schneider따름). theorem),특히 in다음과 particular:같다.
:: {{math수학|1=2{{sup위 첨자|{{sqrt제곱근|2}}}}}}, the [[Gelfond–Schneider겔폰트-슈나이더 constant상수]] (or또는 Hilbert힐베르트 number)
* {{math|[[trigonometric function수학|1=sin]] ''a''}}, {{math수학|1=cos ''a''}}, {{math수학|1=tan ''a''}}, {{math수학|1=csc ''a''}}, {{math수학|1=sec ''a''}}, and {{math수학|1=cot ''a''}}, and their이들의 [[Hyperbolic쌍곡선 functions함수|hyperbolic쌍곡선 counterparts상대]], for0이 any아닌 nonzero대수적 algebraic number {{mvar수학 변수|a}}, expressed in의해 [[radian라디안]]s (by린데만-바이어슈트라스 the정리)에 Lindemann–Weierstrass따름)으로 theorem)표현한다.
*The [[Fixed코사인 point함수의 (mathematics)#Attractive고정점. fixed방정식에 points|fixed대한 point]]고유한 of실제 the cosine function (also referred to as the [[dottie number]]정답인 {{mvar|d}}) – the unique real solution to the equation {{math수학|1=cos ''x'' {{=}} ''x''}},. where여기서 {{mvar수학 변수|x}} is in radians (by the Lindemann–Weierstrass theorem)라디안이다.<ref name="wolfram_dottie">{{cite web인용|last1성1=Weisstein|first1이름1=Eric W.|title제목=Dottie Number|url=http://mathworld.wolfram.com/DottieNumber.html|website웹사이트=Wolfram MathWorld|publisher출판사=Wolfram Research, Inc.|access-date확인날짜=232016년 July7월 201623일}}</ref>
* {{수학|[[자연로그|ln]] ''a''}}에서 로그 함수의 분기에 대해 {{수학 변수|a}}가 대수이고 0 또는 1과 같지 않은 경우 (린데만-바이어슈트라스 정리에 따름).
*{{math|[[natural logarithm|ln]] ''a''}} if {{mvar|a}} is algebraic and not equal to 0 or 1, for any branch of the logarithm function (by the Lindemann–Weierstrass theorem).
* {{math수학|[[Logarithm로그 (수학)|log]]<sub>''b''</sub> ''a''}} if에서 {{mvar수학 변수|a}} and {{mvar수학 변수|b}} are동일한 positive정수의 integers검정력이 not아닌 both powers of the same integer경우 (by the겔폰트-슈나이더 Gelfond–Schneider정리에 theorem따름).
* {{수학|1=''[[람베르트 W 함수|W]]''(''a'')}}의 모든 분기에 대해 {{수학 변수|a}}가 대수이고 0이 아닌 경우 (린데만-바이어슈트라스 정리에 따름), 특히 오메가 정수의 {{수학|1=Ω}}.
*{{math|''[[Lambert W Function|W]]''(''a'')}} if {{mvar|a}} is algebraic and nonzero, for any branch of the Lambert W Function (by the Lindemann–Weierstrass theorem), in particular: {{math|Ω}} the [[omega constant]]
* {{수학|1={{제곱근|''x''}}{{아래 첨자|''s''}}}}, 자연수의 제곱 초근은 정수이거나 초월이다 (겔폰트-슈나이더 정리에 따름)
*{{math|{{sqrt|''x''}}{{sub|''s''}}}}, the [[Tetration#Square super-root|square super-root]] of any natural number is either an integer or transcendental (by the Gelfond-Schneider theorem)
* {{math수학|1=[[gamma감마 function함수|Γ]](1/3)}},<ref>{{harvnb괄호 없는 하버드 인용|Le Lionnais|1979|p=46}} via Wolfram Mathworld, [http://mathworld.wolfram.com/TranscendentalNumber.html Transcendental Number]</ref> {{math수학|1=Γ(1/4)}},<ref name = "Chudnovsky">{{harvnb괄호 없는 하버드 인용|Chudnovsky|1984}} via Wolfram Mathworld, [http://mathworld.wolfram.com/TranscendentalNumber.html Transcendental Number]</ref> and, {{math수학|1=Γ(1/6)}}.<ref name = "Chudnovsky" />
* 0.64341054629..., [[Cahen's카앵 constant상수]].<ref>{{harvnb괄호 없는 하버드 인용|Davison|Shallit|1991}}.</ref>
*The [[Champernowne모든 constant]]s,양의 the정수의 irrational표현을 numbers연결하여 formed형성된 by무리수인 concatenating representations[[챔퍼나운 of all positive integers수]].<ref>{{harvnb괄호 없는 하버드 인용|Mahler|1937}}.</ref><ref>{{harvnb괄호 없는 하버드 인용|Mahler|1976|p=12}}.</ref>
* {{math수학|1=Ω}}, [[Chaitin's차이틴 constant상수]] (since계산 it불가능한 is a non-computable number숫자임).<ref>{{harvnb괄호 없는 하버드 인용|Calude|2002|page=239}}.</ref>
* The이른바 so-called프레드홀름 ''Fredholm constants,'' such as상수는<ref name="Kempner" /><ref>{{harvnb괄호 없는 하버드 인용|Allouche|Shallit|2003|pp=385,403}}. The name"프레드홀름 수"'Fredholm라는 number'이름은 is틀린 misplaced:이름이다. Kempner켐프너는 first proved수가 this초월적이라는 number것을 is처음 transcendental,증명했고 and403쪽에 the기록된 note내용에 on따르면 page프레드홀름은 403 states that Fredholm never수를 studied연구하지 this않았다고 number한다.</ref><ref name="Sha1999">{{harvnb괄호 없는 하버드 인용|Shallit|1999}}.</ref>
*:<math>\sum_{n=0}^\infty 10^{-2^n} = 0.\textbf{1}\textbf{1}0\textbf{1}000\textbf{1}0000000\textbf{1}\ldots</math>
:which또한 also10을 holds대수적 by replacing 10 with any algebraic {{math수학|1=''b'' > 1}}로 대체해도 유지된다.<ref name="Lox1988">{{harvnb괄호 없는 하버드 인용|Loxton|1988}}.</ref>
* [[가우스 상수]].
* The [[Gauss's constant|Gauss constant]].
* The2개의 two렘니스케이트 [[lemniscate constant]]s상수인 {{math수학|1=''L''{{sub아래 첨자|1}}}} (sometimes denoted as때로는 {{math수학|1=''ϖ''}})라고 and표시하기도 함)과 {{math수학|1=''L''{{sub아래 첨자|2}}}}.
* The앞에서 aforementioned Liouville constant for any algebraic언급한 {{math수학|1=''b'' ∈ (0, 1)}}에 대한 리우빌 상수.
* The프루에-튀에-모르스 [[Prouhet–Thue–Morse constant]]상수.<ref>{{harvnb괄호 없는 하버드 인용|Mahler|1929}}.</ref><ref>{{harvnb괄호 없는 하버드 인용|Allouche|Shallit|2003|p=387}}.</ref>
* 코모르니크-로레티 상수.
*The [[Komornik–Loreti constant|Komornik-Loreti constant.]]
* Any고정 number베이스와 for관련된 which수가 the스튀름 digits단어를 with형성하는 respect임의의 to some fixed base form a [[Sturmian word]].<ref>{{harvnb괄호 없는 하버드 인용|Pytheas Fogg|2002}}.</ref>
* For {{math수학|1=''β'' > 1}} 경우
::<math>\sum_{k=0}^\infty 10^{-\left\lfloor \beta^{k} \right\rfloor};</math>
:where여기서 <math>\beta\mapsto\lfloor \beta \rfloor</math> is the [[floor바닥 함수와 천장 함수|바닥 function함수]]이다.
* 3.300330000000000330033... and its reciprocal역수인 0.30300000303..., two모저-더 numbers브라윈 with수열에 only의해 two0이 different아닌 decimal위치가 digits주어지는 whose2개의 nonzero소수 digit자릿수만 positions가지는 are2개의 given by the [[Moser–de Bruijn sequence]] and its double숫자이다.<ref>{{harvnb괄호 없는 하버드 인용|Blanchard|Mendès France|1982}}.</ref>
*The number {{math수학|1={{sfrac수직분수|''π''|2}}{{sfrac수직분수|''Y''{{sub아래 첨자|0}}(2)|''J''{{sub아래 첨자|0}}(2)}}-''γ''}}, where에서 {{math수학|1=''Y''{{sub아래 첨자|''α''}}(''x'')}} and {{math수학|1=''J''{{sub아래 첨자|''α''}}(''x'')}} are베셀 Bessel functions and함수이고 {{mvar수학 변수|γ}} is the [[Euler–Mascheroni constant|Euler오일러-Mascheroni마스케로니 constant상수]]이다.<ref>{{Cite저널 journal인용|last1성1=Mahler|first1이름1=Kurt|last2성2=Mordell|first2이름2=Louis Joel|date날짜=1968-06-041968년 6월 4일|title제목=Applications of a theorem by A. B. Shidlovski|url=https://royalsocietypublishing.org/doi/10.1098/rspa.1968.0111|journal저널=Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences|volume=305|issue=1481|pages=149–173|doi=10.1098/rspa.1968.0111|bibcode=1968RSPSA.305..149M|s2cid=123486171}}</ref><ref>{{Cite저널 journal인용|last=Lagarias|first이름=Jeffrey C.|date날짜=2013-07-192013년 7월 19일|title제목=Euler's constant: Euler's work and modern developments|arxiv=1303.1856|journal저널=Bulletin of the American Mathematical Society|volume=50|issue=4|pages=527–628|doi=10.1090/S0273-0979-2013-01423-X|issn=0273-0979|doi-access=free}}</ref>
 
== 초월수가 될 가능성이 있는 수 ==