今回は、全ての既約分数の計算結果が異なる理由について考える。
より大きい整数、より大きい任意の整数のときに以下の集合を求める。
は、分母と分子が両方とも、0より大きい整数になる全ての分数を表す。
集合Aの全ての分数に対して、の値をとから順に、ずつ増やして、以下の①~④の判定を繰り返すと、判定済みの既約分数は全て計算結果が異なる値になる。
①から以下の三つの集合を求める。
の分数の計算結果は、全て異なる値になって、より大きくなる。
の分数の計算結果は、になる。
の分数の計算結果は、全て異なる値になって、より小さくなる。
②集合から、それぞれ、可約分数として判定済みの分数を取り除いた集合を集合とする。
③集合Aにある、集合の分数を既約分数として判定済みにする。
④集合Aにある、集合の分数を倍分した、全ての分数を可約分数として判定済みにする。
上記の判定を繰り返すと、以下のようになる。
のときの判定では、集合に、のときに既約分数と判定された分数を倍分した可約分数が存在しない。
のときの判定では、集合に、のときに既約分数と判定された分数を倍分した可約分数が存在しない。