1. Show that if is a polynomial then is the coefficient of in the expansion of in powers of .
2. If is divisible by , then is divisible by : and generally, if is divisible by , then is divisible by .
3. Conversely, if and are both divisible by , then is divisible by ; and if is divisible by and by , then is divisible by .
4. Show how to determine as completely as possible the multiple roots of , where is a polynomial, with their degrees of multiplicity, by means of the elementary algebraical operations.
[If
is the highest common factor of
and
,
the highest common factor of
and
,
that of
and
, and so on, then the roots of
are the
double roots of
, the roots of
the
treble roots, and so on. But it may not be possible to complete the solution of
,
, …. Thus if
then
and
; and we cannot solve the first equation.]
5. Find all the roots, with their degrees of multiplicity, of
6. If has a double root, is of the form , then must be divisible by , so that . This value of must satisfy . Verify that the condition thus arrived at is .
7. The equation can have a pair of equal roots only if .
8. Show that has a double root if , where , .
[Put
, when the equation reduces to
. This must have a root in common with
.]
9. The reader may verify that if , , , are the roots of then the equation whose roots are and two similar expressions formed by permuting , , cyclically, is where It is clear that if two of , , , are equal then two of the roots of this cubic will be equal. Using the result of Ex. 8 we deduce that .
10. Rolle’s Theorem for polynomials. If is any polynomial, then between any pair of roots of lies a root of .
A general proof of this theorem, applying not only to polynomials but to other classes of functions, will be given later. The following is an algebraical proof valid for polynomials only. We suppose that , are two successive roots, repeated respectively and times, so that where is a polynomial which has the same sign, say the positive sign, for . Then say. Now and , which have opposite signs. Hence , and so , vanishes for some value of between and .