上と同じようにやってみます。\\\end{eqnarray}と変形できます。場合は、次のように求めてもいいでしょう。\]となることがわかりました。おわりにここでは、整数解を求めるときに、不等式を用いて解の範囲を制限してから考える問題を見ました。大きいもの、小さいものに着目して、「等式を満たすなら、解はこの範囲だ」というのを求めることができました。整数解を求めるときに、積の値からしぼっていくやり方もありますが、ここで見たように、大きさで絞っていくやり方もあります。慣れないと思いつきにくいですね。いった条件式がない場合もあります。そのときは、自分で大小関係を仮定して、解を絞っていく必要があります。なると、さらに難易度が上がります。いうときは、「条件を満たす解は、大きさの制限があるようだ」ということに気づかなければいけません。条件式に具体的な値を入れてみて、試行錯誤するうちに思いつくしかないでしょう。