雑談はここに書け！【６７】 (459ﾚｽ)
上下前次1-新
444: １３２人目の素数さん [sage] 10/02(木)00:56 ID:07eKl1iA(1/2)
>>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になるという条件に反する。
上下前次1-新書関写板覧索設栞歴
あと 15 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s