b=9のときp=1+(a-c)/(2b-a)がp＞1の範囲に入らないことは有り得る。その場合は>>774の推論は成立しない。
b=9がp＞1の範囲に入らない条件というのは18-a＜0のことであるが、その18-a＜0のときには成立しないような理屈を18-a＜0のときに当てはめて矛盾が出た、だから仮定が誤ってる、としているのが間違いである。

…あれ？この説明されたのこのスレで何度目だっけ？