Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-08-27
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

A complex polynomial of degree n has exactly n roots counted with multiplicity

Statement

Let f∈C[x] have degree n≥1. Then there exist distinct complex numbers α1,…,αr and positive integers m1,…,mr such that f(x)=c∏j=1r(x−αj)mj for some c∈C×, with m1+⋯+mr=n. These exponents are uniquely determined by f. Equivalently, f has exactly n roots counted with multiplicity.

Facts & Assumptions

Given: A polynomial f∈C[x] of degree n≥1.

[L1]

Every nonconstant polynomial in C[x] splits over C (Every nonconstant polynomial in C[x] splits into linear factors).

[L2]

Splitting means a nonzero scalar times a product of linear factors (Polynomials that split and splitting fields of a polynomial or a family of polynomials).

[L3]

The polynomial ring C[x] is a unique factorization domain (For every field F, F[x] is a unique factorisation domain).

Proof

technique · direct
1.1L1L2construct

By [L1] and [L2], there are c∈C× and complex numbers β1,…,βn such that f(x)=c∏k=1n(x−βk). Let α1,…,αr be the distinct values among the βk, and let mj be the number of indices k with βk=αj. Then f(x)=c∏j=1r(x−αj)mj, and by construction m1+⋯+mr=n.

2.1L3step 1.1algebra

Suppose also that f(x)=c′∏j=1s(x−γj)nj with c′∈C×, distinct γj, and positive integers nj. In the UFD C[x], each linear factor x−α is irreducible, hence prime. Therefore the exponent with which x−α appears in a factorization of f is uniquely determined. After reordering, this gives r=s,γj=αj,nj=mj for every j. So the multiplicities are well defined.

3.1step 1.1step 2.1∎

Step 1.1 gives a factorization whose exponents sum to n, and step 2.1 gives uniqueness of those exponents. This is exactly the statement that a degree-n complex polynomial has exactly n roots counted with multiplicity.

Depends on

Used by

Dependency tree · two levels

12 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources