雑談はここに書け！【６７】 (481ﾚｽ)
上
下
前
次
1-
新
444
: 10/02(木)00:56
ID:07eKl1iA(1/2)
AA×
>>422
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
444: [sage] 2025/10/02(木) 00:56:12.14 ID:07eKl1iA >>422の前半に書いたことを、命題の形で書くと 次のようになる。「良い近似分数列」とは、正確には この命題の条件をみたす分数列 q_iのことである。 命題 有理数の無限列 q_i(i=1,2,...)がある値αに収束し かつ、その値はq_iとは交わらない、すなわち αはq_iのどの元とも異なるとする。 有理数qを既約分数で書いたときの正の分母をd(q)とおいたとき 条件: lim_{i→∞} d(q_i)|α-q_i|=0 が成立するなら αは無理数である。 （証明）仮にαが有理数だとすると |α-q_i|≧1/(d(α)d(q_i))、したがって d(q_i)|α-q_i|≧1/d(α) となり 左辺がi→∞において0になるという条件に反する。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/444
の前半に書いたことを命題の形で書くと 次のようになる良い近似分数列とは正確には この命題の条件をみたす分数列 のことである 命題 有理数の無限列 がある値に収束し かつその値はとは交わらないすなわち はのどの元とも異なるとする 有理数を既約分数で書いたときの正の分母をとおいたとき 条件 が成立するなら は無理数である 証明仮にが有理数だとすると したがって となり 左辺がにおいてになるという条件に反する
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 37 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
ぬこの手
ぬこTOP
0.021s