See Kent's presentation on another wiki website, http://www.c2.com/cgi/wiki?KentBeck
... 2xy + y2. Since "2xy" in this case is (b/a)x, we must have y = b/(2a), so we add the square of b/(2a) to both sides, ...