[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む46 (692レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
531
: 2017/11/24(金)12:27
ID:oy9GryqM(2/3)
AA×
>>530
[
240
|
320
|480|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
531: [sage] 2017/11/24(金) 12:27:01.13 ID:oy9GryqM (>>530の続き) 1):q≧k のとき。このとき、1/(q^{n+1})<|a−p/q|<1/q^n となる。 2):q<k のとき。cの定義から、k>q≧c≧2 であり、1/(k・q^n)<|a−p/q|<1/c^n≦1/2^n、 従って、高々有限個の J(n,a) の両方共に或る (p',q')=1 なる正整数 p', q' を用いて表された 有理数 p'/q' が存在して、1/( (q')^{n+1} )<|a−p'/q'|<1/(q')^n となる。 1)、2)から、nに対して高々有限個の J(n,a) の両方共に或る (p_n, q_n)=1 なる 正整数 p_n, q_n を用いて表された既約分数 p_n/q_n が定まって、各 (p_n, q_n) について p=p_n, q=q_n と略記することにすれば、高々有限個の J(n,a) の 有理数 p/q が定まって、1/( q^{n+1} )<|a−p/q|<1/q^n となる。 正整数nは任意であるから、nを条件 n≧1 の下で走らせれば、任意の正整数nに対して、同様なことが成り立つ。 [第2段]:任意の正整数nに対して、高々有限個の J(n,a) の両方共に或る (p,q)=1 なる正整数 p,q を用いて表された 有理数 p/q が定まって、1/( q^{n+1} )<|a−p/q|<1/q^n となるとする。このとき、任意の正整数nに対して 0<|a−p/q|<1/q^n なる J(n,a) の有理数 p/q が存在するから、超越数 a∈R はリウビル数である。 [第3段]:これで命題は示された。 http://rio2016.5ch.net/test/read.cgi/math/1510442940/531
の続き のときこのとき となる のときの定義から であり 従って高有限個の の両方共に或る なる正整数 を用いて表された 有理数 が存在して となる からに対して高有限個の の両方共に或る なる 正整数 を用いて表された既約分数 が定まって各 について と略記することにすれば高有限個の の 有理数 が定まって となる 正整数は任意であるからを条件 の下で走らせれば任意の正整数に対して同様なことが成り立つ 第2段任意の正整数に対して高有限個の の両方共に或る なる正整数 を用いて表された 有理数 が定まって となるとするこのとき任意の正整数に対して なる の有理数 が存在するから超越数 はリウビル数である 第3段これで命題は示された
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 161 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
ぬこの手
ぬこTOP
0.040s