無理数判定法
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/07/10 04:37 UTC 版)
任意の ε > 0 に対して不等式 0 < | α − p q | < ε q {\displaystyle 0<\left|\alpha -{\frac {p}{q}}\right|<{\frac {\varepsilon }{q}}} が有理数解 p/q を持つとき、α は無理数である。多くの無理性の証明はこれを用いている。これは α が無理数であるための必要条件でもある。
※この「無理数判定法」の解説は、「無理数」の解説の一部です。
「無理数判定法」を含む「無理数」の記事については、「無理数」の概要を参照ください。
- 無理数判定法のページへのリンク