【2】 分母が奇数,分子が整数の分数で表せる有理数を「控えめな有理数」と呼ぶことにする.例えばはそれぞれと表せるから,ともに控えめな有理数である.個以上の有理数の控えめな有理数に対して,集合を,
と定める.例えばはと表せるから,の要素である.
(1) 控えめな有理数が定める集合の要素は控えめな有理数であることを示せ.
(2) でない控えめな有理数が与えられたとき,となる以上の整数が存在することを示せ.
(3) 控えめな有理数が与えられたとき,となる控えめな有理数が存在することを示せ.
(4) が属する集合はいくつあるか.ただしは控えめな有理数であるとし,とが異なっていても,であればとは一つの集合として数える.