A polynomial identity is an equation involving polynomials that holds true for every possible value of its variables, not just specific solutions. Unlike a regular equation where you solve for particular numbers, a polynomial identity is always true no matter what numbers you substitute in. The expression (a + b)² = a² + 2ab + b² is a classic example: plug in any values for a and b, and both sides will always be equal.
How Identities Differ From Equations
This distinction trips up a lot of people, so it’s worth being clear. A polynomial equation like x² + 3x + 2 = 0 is only true for specific values of x (in this case, x = -1 and x = -2). A polynomial identity is true for all values. The equation is a question: “Which values make this work?” The identity is a fact: “This always works.”
Think of it this way. If you expand (a + b)(a – b) by multiplying it out, you get a² – b². That’s not a problem to solve. It’s a structural truth about how polynomials behave. No matter what a and b are, whether they’re 3 and 7, or -100 and 0.5, or π and √2, the left side and right side will produce the same number.
The Most Common Polynomial Identities
You’ll encounter a handful of these repeatedly in algebra, and they’re worth memorizing because they show up constantly in factoring, simplifying expressions, and solving harder problems.
The four foundational identities are:
- (a + b)² = a² + 2ab + b², the square of a sum
- (a – b)² = a² – 2ab + b², the square of a difference
- (a + b)(a – b) = a² – b², the difference of squares
- (x + a)(x + b) = x² + x(a + b) + ab, a product of two binomials sharing a variable
Beyond those, several cube-related identities come up in more advanced work:
- (a + b)³ = a³ + 3a²b + 3ab² + b³
- (a – b)³ = a³ – 3a²b + 3ab² – b³
- a³ + b³ = (a + b)(a² – ab + b²), the sum of cubes
- a³ – b³ = (a – b)(a² + ab + b²), the difference of cubes
- (a + b + c)² = a² + b² + c² + 2ab + 2bc + 2ca
Each of these can be verified by expanding one side and confirming it matches the other. That expansion process is the simplest way to prove an identity is valid.
Why Polynomial Identities Are Useful
These identities are essentially shortcuts. When you see the expression 49x² – 25y², you could stare at it for a while, or you could recognize it as (7x)² – (5y)² and immediately factor it into (7x + 5y)(7x – 5y) using the difference of squares identity. That kind of pattern recognition speeds up everything from basic algebra homework to calculus.
They also work in reverse. If you need to expand (3x + 4)², you don’t have to write it out as (3x + 4)(3x + 4) and multiply term by term. The identity tells you the answer is (3x)² + 2(3x)(4) + 4², which simplifies to 9x² + 24x + 16. One step instead of four.
In more advanced math, identities help simplify complicated expressions, complete proofs, and transform problems into forms that are easier to work with. The sum and difference of cubes identities, for instance, are essential tools for factoring higher-degree polynomials that otherwise look intimidating.
How to Verify a Polynomial Identity
The most straightforward method is algebraic: expand one or both sides of the equation and show they simplify to the same expression. For example, to verify that (a + b)(a – b) = a² – b², you multiply out the left side. Distributing gives you a² – ab + ab – b², and the middle terms cancel, leaving a² – b². Done.
You can also test an identity by substituting specific numbers. If you plug in a = 3 and b = 2, the left side gives (5)(1) = 5, and the right side gives 9 – 4 = 5. But here’s the catch: testing with numbers can show an identity is false (if the two sides ever disagree, it’s not an identity), but it can’t prove one is true. Two sides might happen to match for the numbers you chose without matching for all numbers. Algebraic expansion is the only way to fully prove it.
For polynomials with many variables or very high degrees, there’s actually a clever computational approach called the Schwartz-Zippel method. It works by plugging in random values from a large enough set. If a polynomial isn’t identically zero, the probability of a random input accidentally producing zero is low, at most d/|S|, where d is the polynomial’s degree and |S| is the size of the set you’re picking from. By choosing a large set or repeating the test, you can become extremely confident in the result. This technique matters more in computer science than in a typical algebra class, but it illustrates how seriously mathematicians take the question of verifying identities.
The Degree of a Polynomial Identity
Every polynomial has a degree, which is the highest power of any term in the expression. In 3x² + 5x + 1, the degree is 2 because x² is the highest-powered term. For polynomials with multiple variables, you add the exponents within each term: in 4x²y³, the degree of that term is 2 + 3 = 5.
The degree of a polynomial identity is simply the degree of the polynomials involved. The difference of squares identity has degree 2 (the highest terms are a² and b²). The sum of cubes identity has degree 3. Knowing the degree helps you match expressions to the right identity. If you’re trying to factor a degree-3 expression, the cube identities are your tools, not the square ones.
Polynomial Identities in Higher Math
At the level of abstract algebra, the concept of a polynomial identity takes on deeper significance. An algebra (a mathematical system with its own rules for addition and multiplication) is called a “PI-algebra” if there exists some nonzero polynomial that evaluates to zero for every possible substitution of elements from that algebra. The simplest example: any system where multiplication is commutative (where ab always equals ba) satisfies the polynomial identity x₁x₂ – x₂x₁ = 0. That identity captures the entire concept of commutativity in a single polynomial expression.
This line of thinking, treating algebraic properties as polynomial identities, was pioneered by the mathematician Max Dehn in the 1920s and grew into a distinct branch of ring theory. It connects seemingly simple high school algebra to some of the most abstract structures in modern mathematics.