Prove that a polynomial of degree $d$ has at most $d$ roots (without induction)

Let $p(x)$ be a non-zero polynomial in $F[x]$, $F$ a field, of degree $d$. Then $p(x)$ has at most $d$ distinct roots in $F$.

Is it possible to prove this without using induction on degree? If so, how can I do this?

Solution 1:

If $p(x)$ were to have more than $d$ distinct roots in $F$, then it would have at least $d+1$ linear factors $(x - r_1), (x - r_2), \cdots$. This is impossible.

(Edit: see also Inceptio's comment.)

Solution 2:

I'm not sure if using the residue theorem counts, and this only works over $\Bbb C$, but :

Look at $\int P'(z)/P(z) \;dz$ where you integrate on a circle $|z| = r > |x_i|$.

As $r \to \infty$, this is equivalent to $\int d/z \;dz = 2id\pi$.
Meanwhile, the residue theorem says that the integral is $\sum 2i\pi \mu_i$ where $\mu_i$ is the multiplicity of the root $x_i$. Hence the number of roots, counted with their multiplicity, is equal to $d$, the degree of the polynomial.

Solution 3:

If $p(x)=0$ has a root $x=a$, then $p(a)=0$ and $p(x)=p(x)-p(a)$.

$p(x)-p(a)$ is the sum of terms like $c_rx^r-c_ra^r=c_r(x-a)(x^{r-1}+ax^{r-2}+a^2x^{r-3}+ \dots +a^{r-1})$

And since $x-a$ is a factor of every term, it is a factor of $p(x)$. So every root gives us a linear factor.

Suppose $p(x)=k(x-a_1)(x-a_2) \dots (x-a_d)$ of degree $d$ has the $d$ roots $a_1 \dots a_d$ and $b$ is distinct from all of these, then $p(b)$ is a product of non-zero factors, so cannot be equal to zero.

Is this a proof without induction? Difficult to say. For example, how do we prove that if $r$ divides each of $e_1, e_2 \dots e_n$ then it divides their sum?

But the division step, with $p(x)=(x-a)q(x)$ and $q(x)$ having strictly lower degree than $p(x)$ leads to a descending sequence of integers (the orders of the polynomials obtained by successive divisions) - and what we need to know for that is that (i) any strictly descending sequence of non-negative integers is finite; and (ii) we can bound the length of the sequence by $d$ - and we can do this by observing that there are $d$ non-negative integers less than $d$.

So it all depends on the properties of integers that we are allowed to assume - and that is because we need to say things about the degree of $p(x)$ - an integer, and we also need to do things like indexing the coefficients.