(continue with 1986)
... is (b/a)x, we must have y = b/(2a), so we add the square of b/(2a) to both sides, ...