不等式 $x^2 - (a^2 - 2a + 1)x + a^2 - 2a < 0$ を満たす整数 $x$ が存在しないような定数 $a$ の値の範囲を求める問題です。
2025/6/14
1. 問題の内容
不等式 を満たす整数 が存在しないような定数 の値の範囲を求める問題です。
2. 解き方の手順
まず、不等式を因数分解します。
よって、 なので、不等式の解は
この不等式を満たす整数 が存在しない条件を考えます。
もし が整数の場合、 と の間の整数は のみなので、この不等式を満たす整数 が存在することになります。
が整数でない場合、区間 の幅は 2 です。この区間内に整数が含まれない条件は、区間の端点 と の間に整数が存在しないことです。
と の間に整数が存在しない条件は、ある整数 に対して、 かつ が成り立つか、あるいは かつ が成り立つことです。
最初のケースでは、 と より、 となります。これは矛盾します。
次のケースでは、 と の間に整数が存在しない条件を、 のように整数 を挟めば良いと考えることができます。
この不等式を変形すると、
より
より
よって、
区間 に整数が存在しない必要十分条件は、 または (nは整数) の場合です。しかし、問題文の不等式を満たす整数xが存在しないため、aは整数ではありません。
区間 に整数が含まれない条件は、ある整数 に対して が成り立つことです。このとき、 は成り立ちません。
整数 が存在しない条件は、 と の間に整数が存在しないことです。
が整数解を持たないということは、区間 の長さが 2 であるため、この区間が整数を含まないためには、 および がともに整数にならないか、あるいは が整数の場合に と の間の整数が存在しないことが必要です。しかし、 が整数の場合、必ず が整数解となるため不適です。
と の間に整数が存在しないためには、 となる整数 が存在する必要があります。
この時、 なので、この区間に整数が存在しないのは、区間幅が1以下の場合のみなので、との差が1以下であることが必要です。
となり矛盾。
であり、区間内に整数解を持たない条件を考えると、 もしくは (は整数)の場合を除く必要があります。 であれば が解、 であれば が解となり、いずれも解を持つため、該当しません。
との間に整数が存在しないためには、が整数解を持たないということは、ある整数nについて、かつが成立する必要があります。
となり、矛盾が生じます。
整数解を持たない条件から、区間の長さが2であるため、整数が1つもないということは、 もしくは となるようにするには、区間の幅が1以下でなければなりません。しかし、この問題の場合、区間の幅は常に2なので、整数解が存在しないということはありません。