無理数

無理数（むりすう）とは、既約分数で正確に表せる数（有理数）に対し、既約分数で表すことができない実数のこと。すなわち、分子・分母共に整数（分母は0でない）である分数で表すことができない実数のことである。

概要

もっとも有名な無理数は、２の平方根である。これ以外のものとしては、素数の平方根、円周率、自然対数の底などがある。無理数を小数で表記すると、どのような位取り記数法で表したとしても、循環しない無限小数になる。もし循環する場合は、「349」が循環するなら「349/999」、「542368556」が循環するなら「542368556/999999999」のようにして分数で表記できるからである。自然数の逆数を循環小数で表すプログラムを書いて実行してみると、けっこう面白い結果が出てくる。
また、有理数全体の集合は可算集合（アレフ・ゼロ。ℵ₀）であるのに対し、無理数全体の集合は非可算集合であるため、ほとんどすべての実数は無理数であると言える。
無理数であることを証明するには、背理法がよく使われるが、「背理法はキモチワルイ」と嫌う人も多く、「素因数分解の一意性」を前提として直接証明するというのが王道だとする数学者もいる。すなわち、「数学に王道なし」は説明不足だということでもある。