>>715
まあ、見た目のすっきり具合から言うと
aについて降冪に並べたくなるがな。

それはそれとして
a=b を代入して0になるんだから
a-b または b-a を因数に持つ、と気づけば
割り算して二次式→ｳﾏｰ、と。