「有理数」の版間の差分
削除された内容 追加された内容
→性質: 稠密性の証明 |
編集の要約なし |
||
71行目:
とする。このとき
:<math>\frac{1}{\beta-\alpha}<k\quad\cdots(1)\quad(k\in \
:<math>l-1<k\alpha<l\quad\cdots(2)\quad(l\in \
となるk,lが存在する。この式(1),(2)を用いると
:<math>\alpha<\frac{l}{k}<\frac{k\alpha+1}{k}=\alpha+\frac{1}{k}<\alpha+(\beta-\alpha)=\beta</math>
|