✨ Best Answer ✨
0<a<1の場合を考えます。
「n<x<2n(①)のもと、f(x)<0(②)となる整数xが存在する(★)」ための必要十分条件を考えるのに、注目すべきは「軸の位置および単調増加性」と「f(n)、f(2n)が0より大きいか小さいか」です。
軸の方程式は模範解答にある通りx=n-1/2です。①の左側の外にあることに注意すると、①の範囲でf(x)は単調増加します。つまり、xが増加すればかならずf(x)も増加します。
このことから、①の範囲でxを整数に限定すると、f(x)が最小となるのはx=n+1としたf(n+1)です。単調増加性よりf(n+1)よりf(n+2)の方が大きく、f(n+2)よりf(n+3)の方が大きく…と続いていきます。
またf(n)<0およびf(2n)>0より、★が成り立つには少なくともf(n+1)<0が必要です。
なぜなら、f(n+1)<0が成り立たない、すなわちf(n+1)≧0である場合、f(x)<0となるxが他に存在していなければなりませんが、単調増加性によりf(n+2)、f(n+3)、…、f(2n-1)はすべてf(n+1)より大きくなるため、これらはすべて0以上となってしまいます。すなわちf(x)<0となるxは存在しなくなってしまいます。
ゆえにf(n+1)<0は★となるための必要条件です。逆に、f(n+1)<0であるときx=n+1が他ならぬ★を満たすxであることから、f(n+1)<0は★となるための十分条件でもあります。
よってf(n+1)<0は★となるための必要十分条件です。
a>1の場合も同様に示せます。
あぁなるほどぉ!めっちゃ感動!!!
回答ありがとうございました!