ほとんど計算するだけですが、
証明する前にこの多項式のxの二乗の係数aは0ではない、
もしくはコレは二次方程式と書いといたほうがイイです。
何故なら
a=0の時、一次方程式になってしまうためです。