< User:Magnus Manske
... trinomial of the form x2 + 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, ...