10進法で表記した有理数を2進法の小数で表記したときに，有限の桁数で表すことができる有限小数になるための特徴付けを与える．この応用として10進法で表記した有限小数が計算機上で誤差を含む数値かどうかの判定ができる．