I don't know, but your proof falls down (at least) because when you square root your completed squares either a-t/2 is negative or b-t/2 is negative.
so instead of a-t/2 = b-t/2
you should have
a - t/2 = t/2 - b

Don't forget a (non-zero) number will have two square roots!