Difference of two squares
In algebra, the difference of two squares is an expression of the form a^2 - b^2, where a and b are real numbers or algebraic variables, which factors completely into the product (a - b)(a + b).[1] This fundamental identity allows for the simplification of quadratic expressions and the resolution of equations involving perfect squares.[1] The identity originates from ancient Greek geometry, where Euclid provided a proof in his Elements (circa 300 BCE), Book II, Proposition 5, demonstrating geometrically that the rectangle formed by two line segments equals the difference between the square on their average and the square on half their difference.[2] This geometric interpretation underpins the algebraic form and highlights its role in early mathematical reasoning about areas and proportions.[2] Beyond basic factorization, the difference of two squares plays a key role in number theory, particularly in Fermat's factorization method (developed in the 17th century), which expresses an odd composite integer n as x^2 - y^2 = (x - y)(x + y) to find non-trivial factors efficiently when the factors are close in value.[3] It also extends to more advanced contexts, such as solving Pell equations of the form x^2 - Dy^2 = 1 (where D is a non-square positive integer) and factoring polynomials over the integers or complexes.[4]Fundamentals
Definition
The difference of two squares is a fundamental algebraic identity expressing the difference between the squares of two quantities as the product of their sum and difference:a^2 - b^2 = (a - b)(a + b),
where a and b are real or complex numbers.[5] This identity holds in the field of complex numbers due to the commutative properties of addition and multiplication.[6] This factorization decomposes a quadratic expression of the form a^2 - b^2 into two linear factors, (a - b) and (a + b), facilitating simplification and further manipulation in algebraic contexts.[7] In such expressions, a and b may serve as variables or constants, assuming they are elements of a commutative ring where the operations are defined. For example, the expression x^2 - 4 factors as (x - 2)(x + 2). Similarly, the numerical case $9 - 1 = 8 can be rewritten using the identity as (3 - 1)(3 + 1).[7]