>>646
((2b-a)(n+1)p-2bnの符号がどうなるのかを不等式で示しています。
p>1であれば正、p<1であれば負です。

>>647
その通りですが、その内容は一応書いています。実はp>1に方程式④の
解は1つですけれども。

>>649
p>1でbに関して単調減少ですからpについて解いた式のp=f(a,b=9)が最大値に
なると思います。

>>656
全て自分で証明するということにしているのでそうなっています。