は実数であるから、
(
は実数)とおける。
も実数なので同様に
(
は実数)とおく。
より
であるから、
,
となる。
は実数なので
となる。また、
である。
(i) のとき
が実数解を持つ条件は判別式が非負なので
すなわち
である。
また、 (n:整数)を
の範囲で解いて
となる。
(ii) のとき
が実数解を持つ条件は判別式が非負なので
より
ならば満たされる。
また、 (n:整数)を
の範囲で解いて
となる。
(i)(ii)を図示して(略)