Two surprising facts, one article.

Surprise 1. The number 7 is a polynomial — and its degree is 0. Not undefined, not "no degree". Exactly zero.

Surprise 2. The number 0 is also a polynomial — and its degree is undefined. Not zero, not "−1", not "∞". The definition simply refuses to return a value.

So 7 and 0 are both constants, both polynomials, sitting next to each other on the number line — but the degree rule treats them completely differently. This is not a quirky convention imposed by authors. It comes straight out of the precise definition of "degree".

The definition of degree, precisely

For a polynomial p(x) = a_n x^n + a_{n-1} x^{n-1} + \dots + a_1 x + a_0, the degree of p is:

the largest integer k such that the coefficient of x^k is nonzero.

Three words are doing the work: largest, nonzero, and coefficient. The degree is not "the highest power you see written"; it is the highest k for which a_k \neq 0. Zero coefficients do not count. A term multiplied by 0 is, as far as the polynomial is concerned, not there at all.

This is the fork in the road. If the polynomial has at least one nonzero coefficient, the definition returns a number. If it has no nonzero coefficients at all — and the only polynomial like that is 0 itself — the definition has nothing to point at. That is what "undefined" means here: not "we refuse to say", but "the definition, applied literally, produces no output".

Apply to 7

Take p(x) = 7. You can write this as

p(x) = 7 \cdot x^0 + 0 \cdot x^1 + 0 \cdot x^2 + \dots

because x^0 = 1. The coefficient list is (7, 0, 0, 0, \dots).

Now apply the definition. What is the largest k with a_k \neq 0? Only a_0 = 7 is nonzero; every other a_k is zero. Exactly one index makes the cut: k = 0. So the degree is 0.

The same argument works for any nonzero constant — 5, -3, \pi, \sqrt{2}, 42/17 — each is a degree-0 polynomial, and each graphs as a horizontal line.

Apply to 0

Now take p(x) = 0. Its coefficient list is (0, 0, 0, 0, \dots) — every entry is zero.

Apply the definition. What is the largest k with a_k \neq 0? There is no such k. Not a single candidate. The definition asks for "the largest k such that..." and the answer is "there is no such k at all". The maximum of an empty set of integers is not a number — it is simply undefined.

This is the precise reason the degree of the zero polynomial is undefined: the set of indices the definition is supposed to maximise over is empty, and the maximum of an empty set is not a real number.

Why conventions vary

Different textbooks handle this differently. All of the following are in use:

All three are valid choices — definitions, not theorems. Pick one and be consistent. Indian school textbooks use "undefined"; university algebra often uses -\infty. Either way, when a problem says "let p be a polynomial of degree n \geq 0", the zero polynomial is being excluded by that phrasing.

Why the −∞ convention is nicer for algebra

Here is the algebraic reason -\infty is popular. One of the most useful theorems about polynomials says \deg(p \cdot q) = \deg(p) + \deg(q): when you multiply a degree-3 polynomial by a degree-2 polynomial, you get a degree-5 polynomial. The degrees add.

But watch what happens when q = 0. Then p \cdot q = 0, so LHS = \deg(0) and RHS = \deg(p) + \deg(0). If \deg(0) is "undefined", the rule breaks — you cannot even write the equation because one side is not a number. Every theorem using this rule has to add "assuming p and q are nonzero" as a footnote.

The fix: set \deg(0) = -\infty, with the arithmetic convention that -\infty + n = -\infty for any integer n. Then both sides equal -\infty and agree. The rule works universally, with no footnote. This is why -\infty is a common choice in ring theory — it is the value that makes the degree formula a total function instead of a partial one.

If you are writing for Class 9 students, though, you do not want to introduce -\infty just to make one theorem prettier. You would rather say "the degree is undefined for the zero polynomial, and the multiplication rule holds only when both factors are nonzero." Either path is fine; what is not fine is declaring \deg(0) = 0, because then the multiplication rule fails in both directions.

The zero-polynomial subtlety in theorem statements

Many theorems about polynomials start "Let p(x) be a nonzero polynomial...". That word is not decorative; it is essential. Take the theorem: Every nonzero polynomial of degree n has at most n real roots.

Why the qualifier? Because the zero polynomial p(x) = 0 has every real number as a root. p(1) = 0, p(17) = 0, p(\pi) = 0. Infinitely many roots, not n for any finite n — which would contradict the "at most n" bound. The qualifier carves out this degenerate case so the theorem can hold for everything else.

Zero polynomial vs "zero terms in a polynomial"

Don't confuse the zero polynomial with a polynomial that happens to have a zero coefficient.

The rule: the degree is the highest index with a nonzero coefficient. Zero coefficients don't contribute. Simplify first, then read the degree.

Leading coefficient follows the same rule

The same "nonzero" qualifier shows up when you look at the leading coefficient, which is defined as the coefficient of the degree term.

The leading coefficient inherits the undefinedness of the degree. There is no "degree term" to point at, so there is no leading coefficient either. Everything about the zero polynomial refuses to play along with the usual vocabulary.

Why this matters for computation

The undefinedness is not just a semantic game; it affects actual computations.

Short drill — what is the degree?

Cover the answers and work through each using "highest index with a nonzero coefficient".

  1. 5 — degree 0. Only a_0 = 5 is nonzero.
  2. 0 — undefined. Every coefficient is zero; no candidate.
  3. x^7 — degree 7.
  4. 0 \cdot x^3 + 2x + 1 — degree 1. The x^3 coefficient is zero, so it doesn't count.
  5. 3x^2 - 3x^2 + 5 — degree 0. The x^2 terms cancel; only 5 remains.

Problem 4 is the trap: the x^3 is written on the page, but its coefficient is zero — so the definition ignores it. Look at nonzero coefficients, not written terms.

The broader lesson

The zero polynomial is a degenerate case — a technical word meaning "the usual rules fail because some quantity has collapsed". A degenerate triangle has all three vertices on a line, so its area is zero. A degenerate conic is an ellipse shrunk to a point. The zero polynomial is the degenerate polynomial: every coefficient has collapsed to zero, so the usual concepts of degree and leading coefficient have nowhere to land.

That is why so many polynomial theorems open with "let p be a nonzero polynomial" — it is the author carving out the one case where the theorem genuinely breaks, so the rest can hold cleanly.

Closing

The asymmetry between 7 and 0 comes from the definition. Degree is "the largest k with a nonzero coefficient at x^k". The constant 7 has exactly one nonzero coefficient (at x^0), so the formula returns 0. The zero polynomial has no nonzero coefficients anywhere, so the formula has nothing to return. Different textbooks handle this differently — "undefined", "-\infty", rarely "-1" — but all respond to the same underlying fact: the zero polynomial is the one polynomial whose degree the definition cannot compute, because its list of nonzero coefficients is empty.