Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/ib/paper-1/10g/ii/solution

A nonzero polynomial of degree over a field has at most distinct roots in that field. For a proof, the factor theorem gives whenever . Distinct linear factors are coprime in , a unique factorization domain, so for distinct roots their product divides . Its degree is , giving . One may equivalently remove one linear factor at a time and argue by induction.
If the field has at least elements, this bound is attained by a product of distinct linear factors. For a fixed finite field with fewer than elements, the largest possible number of distinct roots is instead; multiplicities do not create more distinct roots. The zero polynomial is excluded since it has no finite degree.

New to topics? Read the docs here!