Here is a rule you have probably accepted without interrogating it. If someone asks you to simplify 3x² + 5x², you confidently write 8x². But if they ask you to simplify 3x² + 5x³, you hesitate, then write 3x² + 5x³ — unchanged. Yet when the same two terms appear in a product, 3x² · 5x³, you happily multiply the coefficients, add the exponents, and produce 15x⁵. No hesitation, no "but they're different kinds".
Why the asymmetry? Why does addition demand that the exponents match, while multiplication is perfectly content with any pair of terms you throw at it? This is not a quirk of notation. It is a deep statement about what these two operations actually mean.
Addition combines same-kind quantities
Start with something you have known since you were six. "3 meters + 5 meters = 8 meters." Obvious. The units match, so the quantities combine.
Now try "3 meters + 5 seconds". You cannot write this as a single number with a single unit. There is no operation in physics that converts a length and a time into one merged quantity. You can write 3 m + 5 s on paper, but it remains a pair of two different things, not a single measurement.
This is exactly the situation with 3x² + 5x³. The term 3x² and the term 5x³ are different kinds of quantities. They do not grow at the same rate — when you double x, the x² term becomes four times as big, but the x³ term becomes eight times as big. If you merged them into a single expression like 8x^?, you would lose the information about how each piece behaves.
So x² and x³ are, for the purposes of addition, as foreign to each other as meters and seconds. Addition demands same-kind quantities. Different-kind quantities refuse to combine.
Multiplication creates a new kind
Now rewind to the physics world. "3 meters × 5 seconds = 15 meter-seconds." This is not nonsense. Meter-seconds is a genuine compound unit (it comes up in physics when you integrate velocity, among other places). The product of two different kinds produced a new kind, one that neither original quantity could express alone.
The same thing happens with 3x² · 5x³. The product is 15x⁵. And x⁵ is a legitimate new term, distinct from both x² and x³. You haven't merged two things of different kinds by force; you have generated a third kind that is the natural product of the first two.
So here is the key shift. In addition, different kinds resist each other. In multiplication, different kinds produce a new kind.
The algebra of why exponents add
Why does multiplication add exponents? Because x² means x · x and x³ means x · x · x. Concatenate them:
x² · x³ = (x · x) · (x · x · x) = x · x · x · x · x = x⁵
The string of x's is always combinable. There is no unit mismatch at the level of individual factors — every factor is just an x. Multiplication glues strings of x's together, and the total length (the exponent) is the sum of the original lengths.
Addition has no such gluing property. x² + x³ is not a concatenation. You cannot write it as a single string of x's with some length, because there is a plus sign between the two terms. The two products sit side by side, separate. There is nothing to merge.
Units, taken seriously
The physics analogy is more than a metaphor; it is a working model.
- Length × length = area. A new dimension.
- Area × length = volume. Another new dimension.
- Volume × time = something like m³·s, used in flow calculations. Still valid.
Each multiplication step legitimately produces a new dimension. You never get stuck.
But addition plays by a stricter rule:
- Length + length = length. Fine.
- Length + area = nonsense. There is no single physical quantity that is the sum of "3 meters and 5 square meters". You cannot plot such a sum on any meaningful axis.
The polynomial world inherits this exactly. x² + x³ is the algebraic analogue of "length + area". The two terms live in different dimensions and cannot be summed into one.
Worked examples
Run through these and notice what is happening in each case.
3x² + 5x² = 8x². Same kind (bothx²). Addition combines them.3x² + 5x³ = 3x² + 5x³. Different kinds. Addition leaves them separate.3x² · 5x² = 15x⁴. Same kind, but multiplication still produces a new kind (x⁴, notx²).3x² · 5x³ = 15x⁵. Different kinds, and multiplication combines them into a new kind.3x² + 5y = 3x² + 5y. Different variables, different kinds. Cannot combine.3x² · 5y = 15x²y. Different kinds, but multiplication happily produces the new compound termx²y.
Notice the pattern. Addition either combines (if like terms) or does nothing (if unlike). Multiplication always produces something.
Why multiplication "likes" different kinds
Multiplication is fundamentally a building-up operation. It takes component quantities and assembles them into a composite. A product like "meters × meters × seconds" becomes m²·s, a legitimate compound unit you can use in equations.
Every term in a polynomial is itself a product: 3x² is 3 · x · x. Every polynomial term is a coefficient multiplied by some number of copies of the variable. So multiplication of polynomial terms is just extending the product — gluing more factors onto the string. The operation is native to what polynomials are.
Addition, by contrast, is a grouping operation. It collects like things into a single bigger pile. If the things are not alike, there is no pile to make.
The same principle in calculus
This asymmetry is not confined to polynomial arithmetic. It shows up the moment you start doing calculus.
- Differentiation:
d/dx(x²) = 2x. The degree drops from 2 to 1. A new kind of term is produced. - Integration:
∫x² dx = x³/3 + C. The degree rises from 2 to 3. Thedxeffectively contributes another factor ofx, producing a new kind.
Both operations are fundamentally multiplicative in spirit — they change the dimension of the quantity. And both produce new kinds, the way multiplication does.
In polynomial algebra specifically
The precise rule for like terms in polynomial addition: two terms are "like" if they have the same variable(s) raised to the same exponent(s). 3x²y and 5x²y are like; 3x²y and 5xy² are not. Only like terms can be added. Unlike terms remain as separate summands.
The rule for multiplication: any two terms can multiply. You multiply the coefficients, and you add the exponents of each shared variable. New variables that appear in only one factor stay with their exponent. So (3x²y)(5xz) = 15x³yz.
The polynomial ring is closed under both addition and multiplication, but the two operations behave in different ways. Addition preserves kinds; multiplication generates them.
Recognition drill
For each expression, decide what happens:
4x + 3x— same kind, add →7x.4x + 3y— different kinds, cannot combine.4x · 3y— new kind,12xy.4x² + 3x⁴— different kinds, cannot combine.4x² · 3x⁴— new kind,12x⁶.4 · 3x— scalar timesx, same kind asx, equals12x.
The pattern is now visible. Addition asks, "are these the same thing?" Multiplication asks, "what new thing do these make together?"
Why the wrong rule feels tempting
The reason students sometimes write 5x² + 3x³ = 8x⁵ or 8x^(2+3) is that the pattern from multiplication leaks into addition. 5x² + 3x² = 8x² works because both terms are "x² stuff". Generalising to 5x² + 3x³ = 8x^? looks like the same move, but it isn't. In the first case the kinds match; in the second they don't.
The correct slogan to keep in your head: addition is a grouping operation, multiplication is a generating operation. Groups need matching members. Generators accept anything.
Closing
Addition groups same-kind quantities and leaves unlike ones separate. Multiplication takes any two quantities and generates a new kind from them. The asymmetry is not a polynomial quirk — it is fundamental to what + and · actually do, in arithmetic, in physics, and in every algebraic structure you will ever meet. Once you see it as the difference between grouping and generating, the "like terms" rule stops being a rule you memorise and starts being a rule you could not write down any other way.