Originally from the CIA World Factbook 2000, with bits added from the U.s. Department of State site.
... "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, ...