CHAPTER IX

DE MOIVRE’S THEOREM AND APPLICATIONS

Definition of an, where a is complex and n is a rational number. For integral values of n, the definition has been given on pp. 140, 141. If n is fractional, it is equal to images, where p and q are integers, and there is no loss of generality in supposing that q is positive ; and then any value of z which satisfies the equation, zq = ap, is called a value of an. We reserve the notation, images for the principal value of an, as defined on p. 165.

De Moivre’s Theorem. If n is any rational number,

 

images

(i) First, suppose that n is a positive integer.

We have proved on p. 151, by actual multiplication, that

 

images

Putting θ1 = θ2 = … = θn = θ, we have

 

images

(ii) Next, suppose that n is a negative integer. Put n = – m. Then (cos θ + i sin θ)n = (cos θ + i sin θ)–m, and this, by definition, images, by (i).

But (cos mθ + i sin mθ)(cosmθi sin mθ) = cos2mθi2 sin2mθ = 1;

 

images

Therefore, if n is a positive or negative integer, there is only one value of (cos θ + i sin θ)n, and this value is cos nθ + i sin nθ.

(iii) Next, suppose that n is a fraction. Put n = images, where p, q are integers and q is positive.

In this case (cos θ + i sin θ)n is many-valued, and we shall prove presently that it has q values. At the moment, we merely wish to show that cos nθ + i sin nθ is one value of (cos θ + i sin θ)n.

By (i), images.

Also by (i) or (ii), cos pθ + i sinpθ = (cos θ + i sin θ)p;

 

images

images by the definition of an, given above, it follows that

 

images

The theorem is therefore proved for all rational values of n.

Writing – θ for θ, we see that cos nθi sin nθ is a value of (cos θi sin θ)n, for all rational values of n.

The values of (cos θ + i sin θ)images, where p, q are integers and q is positive.  De Moivre’s Theorem states that images is one value of (cos θ + i sin θ)images. Suppose that s(cos ϕ + i sin ϕ) represents any value of (cos θ + i sin θ)images.

Then, by definition,.

 

images

But s is positive, since it is the modulus of a complex number;

images sq – 1 requires that s = 1; since, if s > 1, sq > 1 and if 0 ≤ s < 1, sq < 1.

Also the other equations require that qϕ = pθ + 2rπ, where r is an integer or zero.

Taking, in succession, r = 0, 1, 2, …, (q – 1), we obtain the q values,

 

images

These q values are all distinct, because the angles given by r = r1, r = r2 differ by images, which is less than 2π, since |r1r2| < q.

Also, no further values are given by other values of r, because a,ny other value of r must differ from one of the numbers 0, 1,2, …, (q – 1) by a multiple of q.

If p, q are prime to one anothe:, the same results may be written, but in a different order, as

 

images

because the numbers 0, p, 2p, 3p, …, (q – 1)p are congruent (mod. q) to 0, 1, 2, …, (q – 1), in some order.

If p is not prime to q, the function (cos θ + i sin θ)images is taken to mean {(cos θ + i sin θ)p}images and has therefore q distinct values, viz., the q values of (cospθ + i sin pθ)images; these may be written,

 

images

but in this case, the expression images, where s is any integer, does not assume q distinct values and therefore does not represent all the values of (cos θ + i sin θ)images. Thus, the function images has the 8 values given by images, and is distinct from the two-valued function images; its 8 values are represented by

 

images

where s is any integer, has only 2 distinct values. Cf. Ex. IX. a, No. 8.

Principal Value of (cos θ + i sin θ)images.  The principal value of (cos θ + i sinθ)images is taken to be cis images, only if – π < θπ.

Otherwise, if k is the (positive or negative) integer such that – π < θ + 2kππ, the principal value of (cos θ + i sin θ)images is taken to be

 

images

For any given value of k, this can of course be reduced to the form, images where r is some integer less than q.

This definition of principal value holds whether p is prime to q

The reader should notice that the principal value of (cos θ + i sin θ)images, where – π < θπ, is not the same as the principal value of (cos pθ + i sin pθ)images, unless also – π < pθπ.

Further, the principal value of the qth root of (cos θ + i sin θ)p or the principal qth root of (cos θ + i sin θ)p is taken to mean the principal value of (cos θ + i sin θ)images, as defined above. Thus the principal value of the 8th root of (cos θ + i sin θ)4 means the principal value of (cos θ + i sin θ)images, and this is defined above as

 

images

where k is the integer given by – π < θ + 2kππ. The principal value of (cos θ + i sin θ)images is therefore the same as the principal value of (cos θ + i sin θ)images, but it is not the same as the principal value of (cos 4θ + i sin 4θ)images, unless, with the same notation as before, –π < 4(θ + 2kπ) ≤ π. Cf. Ex. IX. a, No. 10.

Values of z.images  Definition.  If r is any real positive number, and if p and q are integers, q being positive, the symbol images denotes the (unique) positive qth root of rp.

Every complex number, z, can be written in the form,

 

images

where

 

images

images the values of zimages may be written

 

images

where s = 0, 1, 2, … , (q – 1).

Thus there are q values, whether p is prime to q or not; and of these, since – π < θπ, the principal value is images

Geometrical Representation of Powers and Roots.  Fig. 76 represents the circle |z| = l in the Argand Diagram. The point P1 which represents the complex number (cos θ + i sin θ) lies on the circle, and the arc AP1, measured from the point A, (1, 0), is of length θ.

 

images

FIG. 76.

To apply the geometrical method of construction, given on p. 151, for the points representing the numbers

 

images

we construct in succession the triangles P1OP2, P2OP3, … , Pn–1OPn, each similar to ΔAOP1. The points P2, P3, … , Pn, being on the circle at arcual distances 2θ, 3θ, …, nθ from A, represent the numbers

 

images

This illustrates part (i) of de Moivre’s Theorem.

Suppose now, see Fig. 77, that Q, is the point on the circle which represents cos α + i sin α, and that we want to represent geometrically an nth root of that number. We shall have to find a point P on the circle such that the arc AQ = n. arc AP ; but as the arcual distance of Q from A can be regarded as α or α + 2π or α + 4π or … or α + 2rπ, where r is any integer, the arc AP may be taken as images, where r is any integer. This gives n points P, say P1, P2, … Pn, representing the n nth roots of cos α + i sin α. P1P2 … Pn is a regular polygon inscribed in the circle.

 

images

FIG. 77.

Note. The q values of (cos α + i sin α)images can also be represented in a similar way ; similarly the nth roots of c (cos α + i sin α) can be represented by the corners of a regular n-sided polygon inscribed in the circle, centre the origin, radius images.

Example 1. What is the principal value of images and what are its other values ?

 

images

images the principal value of images is

 

images

Also any value of images can be expressed in the form

 

images

where r = 0, 1, 2, 3, 4.

Example 2. Solve (x - l)n = xn.

Take the nth root of each side;

 

images

Multiplying each side by images,

 

images

where r = 1, 2, …, (n – 1).

Example 3. Points P and Q, in the Argand Diagram represent the complex numbers z and w. If |z| = 1 and if am z steadily increases from – π to + π, describe the corresponding motion of Q if

(i) w = zimages   (ii) w = images.

If images.

(i) For each position of P, there are 3 positions of Q, say Q1, Q2, Q3, which move continuously along the circle |z| = 1, anti-clockwise. Q1 moves from θ = – images to θ = + images; and at the same time, Q2 moves from θ = + images to θ = π, and Q3 moves from θ = –π to θ = + images.

(ii) images for – π < θ < π; images there is only one position of Q for each position of P, and Q moves from θ = – images to θ = + images.

EXERCISE IX. a.

1. Write down the square roots of

(i) cos 2θ + isin 2θ;

(ii) cos 3ϕisin 3θ;

(iii) sin θ + i cos θ;

(iv) i;

(v) –i.

2. Write down the cube roots of (i) cos 3θ + isin 3θ; (ii) 1; (iii) i; (iv) – i; (v) cos θi sin θ; (vi) sin θi cos θ.

3. Write down the values of (i) (– l)images; (ii) (– i)images; (iii) (1 + i)images; (iv) (1 – iimages)images; (v) 128images.

4. Write down all the roots of (i) x5 = 1; (ii) x4 + 1 =0.

5. Represent in the Argand Diagram (i) the cube roots of – 1; (ii) the fourth roots of i; (iii) the fifth roots of 32; (iv) (– 5 – 12i)3.

6. Simplify images.

7. Simplify images.

8. Give (i) the two values of images; (ii) the eight values of images; state which are the principal values.

9. Give the principal values of

 

images

10. Give (i) the principal 8th root of images;

(ii) the principal square root of images.

11. Find (i) the product, (ii) the sum, of the five values of (cos π + isin π)images. Of what equation are these five values the roots ?

12. Use the result of No. 4 (i) to write down factors of x5 – 1, and deduce that images.

13. Solve xn = 1. What is the sum of the roots ? If a is a root other than unity, prove that 1 + α + α2 + … + αn–1 = 0.

14. Find the roots of x6 = 1 which do not satisfy x2 + x + 1 =0.

15. Solve (x + i)6 + (xi)6 = 0.

16. Solve (1 + x)n = (1 – x)n.

17. Solve x2n – 2xn cos nα + 1 = 0.

18. Solve x9 + x5x4 = l.

19. If z = cis θ, express images in the form A + Bi, (i) for 0 < θ < π, (ii) for π < θ < 2π.

20. How many values are there of (i) iimages + (–i)images; (ii) iimages × (–i)images ?

21. Find the principal value of (1 + cos θ + i sin θ)images

 

images

22. A regular hexagon is inscribed in the circle |z| = 1 in the Argand Diagram, and one vertex represents cos a + i sin α. What do the others represent ?

23. Two points P and Q, in the Argand Diagram represent complex numbers z and w, the modulus of z being unity. P moves so that am z steadily increases from – π to + π.

Describe the corresponding motion of Q when

 

images

24. Answer the same question as in No. 23 for

 

images

25. Answer the same question as in No. 23 for

 

images

26. Answer the same question as in No. 23 for

 

images

27. By using substitutions of the form a = cis 2α in the identity,

 

images

prove that sin(θ1θ2)sin(θ3θ4) + … + … = 0.

Expression of Powers of cos θ and sin θ in terms of Multiple Angles. The student no doubt realises already the great importance of formulae, such as sin2θ = images(1 – cos 2θ), cos3θ = images(3 cos θ + cos 3θ), etc. Besides being essential for dealing with all kinds of identities, they are wanted, for example, for the integration of powers of sin θ and cos θ, and for the summation of series like ∑(sin2nθ), ∑cos2(θ + nϕ), etc. We shall now investigate expressions for

 

images

If cos θ + i sin θ = z, then cos θi sin θ = images;

 

images

also cos nθ, i sin nθ = zn and cos nθi sin nθ = images;

 

images

By means of (2) and the binomial theorem for a positive integral index, the functions cosnθ, sinnθ, cospθ sinqθ, etc., can be expressed in terms of z and expanded in powers of z and 1/z.

By means of (3), the expression in powers of z and 1/z can be replaced by cosines or sines of multiple angles.

Example 4. Express cos5 θ in terms of multiple angles.

from (2),

 

images

Check by putting θ = 0.

Example 5. Express sin5θ in terms of multiple angles.

from (2),

 

images

Check by putting θ = images.

Example 6. Express cos3θ sin4θ in terms of multiple angles.

from (2),

 

images

Check by putting θ = images.

Note. It is instructive to consider the form of the expansion in the general case. It is evident that cosnθ can always be expressed as a sum of cosines of multiples of θ, since it depends on the binomial expansion of images. Rut sinnθ depends on the expansion of images, which involves terms like images if n is even, and terms like images if n is odd. Therefore sinnθ can be expanded in terms of cosines or sines of multiples of θ according as n is even or odd. For the details, see Ex. IX. b, Nos. 15-18.

EXERCISE IX. b.

1. If z = cos θ + i sin θ, write down the values of images and images in terms of θ.

2. Express cos 7θ and sin 6θ in terms of cos θ + i sin θ.

Use the general method to express the following in terms of cosines or sines of multiples of θ.

3. cos3θ.

4. cos4θ.

5. cos7θ.

6. sin4θ.

7. sin7θ.

8. sin3θ cos θ.

9. cos4θ sin3θ.

10. cos5θ sin4θ.

11. Prove that 16 cos5θ – cos 5θ = 5 cos θ(1 + 2 cos 2θ).

12. Evaluate images by means of expansions in terms of multiples of θ.

13. Evaluate ∫sin4θ cos6θ dθ.

14. Explain how to find the value of

 

images

15. Prove that, if n is even, 2n–1 cosnθ = cos nθ + n cos (n – 2)θ + … and that there are images + 1 terms, of which the last is images. Show that the others after the first are the values of

 

images

16. Prove that, if n is odd,

 

images

17. Prove that 22n–1(–1)n sin2nθ

 

images

and give the general term.

18. Prove that 22n(–1)n sin2n+1θ

 

images

and give the general term.

19. If cos3θ sin4θ is expressed in the form

 

images

deduce by differentiation that A1 + 9A3 + 25A5 + 49A7 = 0, and find the value of A1 + 34A3 + 54A5 + 74A7. Verify the result by means of Example 6, p. 170.

Expansions of cos nθ, sin nθ, and tan nθ, where n is any positive integer. We have

 

images

and so, by equating the first and second parts of the two complex numbers,

 

images

 

images

Also cosnθ + i sin nθ = cosnθ (1 + itan θ)n ≡ cosnθ (1 + it)n, say, which gives the same results as before in the form

 

images

By division,

 

images

Expansion of tan (θ1 + θ2 + … + θn).

Similarly, cos (θ1 + θ2 + … + θn) + i sin (θ1 + θ2 + … + θn)

 

images

where ∑r denotes the sum of the products of tan θ1, tan θ2, … taken r at a time.

Equating the first and second parts of the complex numbers,

 

images

Formula (7) is easily remembered; it includes (6) as the special case when θ1, θ2, … θn are equal.

Formula (6) expresses tan nθ in terms of tan θ. Formulae (4), (5) can be transformed by means of the identity sin2θ + cos2θ = 1, so that, for example, cos nθ can be expressed entirely in terms of cos θ as in the example below. The general results will be discussed on p. 178.

Example 7. Express cos 6θ in terms of cos θ.

We have

 

images

EXERCISE IX. c.

From formulae (4) and (5) find expressions for

1. sin 5θ in terms of sin θ.

2. cos 5θ in terms of cos θ.

3. images in terms of cos θ.

4. cos 6θ in terms of sin θ.

5. Give the formulae for tan 4θ and tan 5θ in terms of tan θ.

6. What equation is satisfied by tan θ if tan 6θ = 0 ?

7. What equation is satisfied by tan θ if 7θ = images ?

8. Give the expansion of tan (θ1 + θ2θ3).

9. Give the relations holding between the tangents if (i) θ1 + θ2 + θ3 = π; (ii) θ1 + θ2 + θ3 + θ4 = 2π ; (iii) θ1 + θ2 + θ3 = images.

10. What results can be deduced from

 

images

where n is a positive integer ?

11. Give the last terms in the formulae (4) and (5), (i) if n is even, (ii) if n is odd.

12. Give the last terms of the numerator and denominator of the formula for tan nθ, (i) if n is even, (ii) if n is odd.

13. Show that the coefficient of cn in

 

images

14. Prove that images, and give the last term.

15. Prove that sec θ cos 5θ = 1 – 12 sin2 θ + 16 sin4θ.

16. In any triangle ABC, prove that

 

images

17. Find the equation whose roots are images.

18. If tan θ1, tan θ2, tan θ3, tan θ4 are the roots of the equation t4 + bt3 + ct2 + et + f = 0, find the value of tan (θ1 + θ2 + θ3 + θ4).

Summation of Series. Sum the series

 

images

Put cos θ + i sin θ = z.

Then

 

images

But images = cos θi sin θ and z + images = 2 cos θ;

 

images

images by equating the first and second parts, we have

 

images

and

 

images

These results may also be obtained by multiplying the given series by 1 – 2x cos ϕ + x2 and showing that in the product all the terms disappear except a few at the beginning and end.

Note. If |x| < 1, since images, we see that

 

images

and

 

images

Example 8. Sum the series

 

images

Put cos α + i sin α = α, cos β + i sin β = b.

Then the given series is the first part of the complex number

 

images

but

 

images

 

images

EXERCISE IX. d.

1. Sum to n terms,

 

images

Deduce the sum to infinity.

2. (i) Sum to n terms,

 

images

(ii) Deduce the sum to infinity if θ is not a multiple of π.

3. (i) Sum to n terms,

 

images

(ii) Deduce the sum to infinity if θ is not an odd multiple of images

4. If n is a positive integer, express images in the form A + Bi. when a = cis α, b = cis β.

What results can be deduced from the identity,

 

images

5. If n is odd, prove that

 

images

6. If n is even, sum the series

 

images

7. Sum to n + 1 terms,

 

images

8. Sum to n + 1 terms,

 

images

9. Prove that, in any triangle ABC, if b < c, the sum to infinity of images.

10. Use the identity,

 

images

to obtain an expansion for images.

11. Prove that, in any triangle ABC, cn = an cos nB +

 

images

to n + 1 terms.

12. If |x| < 1, find the coefficients of xn in the expansions in powers Of x Of

 

images

13. If θ is not a multiple of π, find the sum to infinity of

 

images

14. Sum to n + 1 terms,

 

images

15. Sum to n + 1 terms,

 

images

16. What results can be deduced by writing cis θ for z in

 

images

17. Sum to n terms,

 

images

18. Prove that, if |x| < 1,

 

images

Deduce that images for r = 0 to n, where 0! is taken to mean unity.

19. If ac > b2 and images, prove that images Can be expanded in powers of x and that the coefficient of xn is

 

images

where images.

20. Provethat

 

images

Expansions of cos nθ, sin nθ in terms of cos θ, sin θ separately.

We suppose that n is a positive integer, and we write cos θ = c, sin θ = s.

Forms of the Expansions.

(i) From images,

putting

 

images

we see that cos nθ is a polynomial in cos θ of degree n,

 

images

the last term being a1c if n is odd, and a0 if n is even.

(ii) Differentiation w.r.t. θ gives (cf. foot of p. 128) n sin nθ

 

images

 

images

the last term being b0 if n is odd, and b1c if n is even.

(iii) Changing θ to imagesθ, we get

if n is even,

 

images

and

 

images

and, if n is odd,

 

images

and

 

images

The forms of the results are easily recalled by means of the special cases when n = 2, 3, …; thus

 

images

can be expressed as polynomials in cos θ; and

 

images

can be expressed as polynomials in sin θ.

Relation between Consecutive Coefficients.

From    cos nθ = ancn + an–2cn–2 + … ≡ ∑arcr, by differentiating twice with respect to θ, (cf. foot of p. 128), we get

 

images

Equate coefficients of cr;

 

images

A similar result to (18) can be found, by the same process, for each of the expansions. Such results enable us to calculate all the coefficients, if one coefficient is known. In applying this method we begin by finding the first or the last coefficient of the expansion (12-17), according as we wish to have the result arranged in descending or ascending powers.

When one expansion has been obtained, any other expansion can be deduced rapidly from it by one of the methods given on p. 178.

The First and Last Coefficients.

(i) From images, it follows that

 

images

Also, if n is even, putting θ = images in (12), we have

 

images

And, if n is odd,

 

images

(ii) For the expansion of images, by differentiating as on p. 178, we see that, in (13), bn–1 = an = 2n–1.

Also, if n is even,

 

images

And, if n is odd,

 

images

(iii) The first and last coefficients in the expansions (14) to (17) can be obtained in the same way or may be deduced from the results of (i) and (ii) by writing imagesθ for 0.

Note. The numerical value of the coefficient of the term of highest degree is in every case 2n–1. As regards the sign to be attached, this can be conjectured from special cases. Thus, images and images suggest that the leading coefficient of images, when n is even, is images.

For convenience of reference., the various expansions are given in Ex. IX. e, Nos. 12-25. An example is added below to illustrate the method which should be followed in any required special case.

We have assumed that n is a positive integer. It is natural to enquire whether the expansions in Ex. IX. e, Nos. 14-17, 22-25 can be interpreted if n is fractional, when the series involved are evidently no longer finite. This involves a discussion which is beyond the range of this book; see Bromwich, Infinite Series, 1st ed., Ch. IX. § 68.

Example 9. Discuss, ab initio, the expansion of images, where n is even, in ascending powers of sin θ.

From

 

images

it follows that

 

images

Since n is even, by using c2 = 1 – s2, we can express cn–2, cn–4, etc., as polynomials in s.

Therefore images can be expressed as a polynomial of degree n – 1 in sin θ. [It cannot be expressed as a polynomial in cos θ.]

We may therefore write, for n even,

 

images

Differentiating,

 

images

Differentiating again,

 

images

Equating coefficients of sr,

 

images

But

 

images

images if n is even,

 

images

EXERCISE IX. e.

Which of the functions in Nos. 1-6 can be expressed as polynomials in sin θ, and which of them as polynomials in cos θ ?

In each case, use the methods of pp. 179, 180 to obtain (a) the term of lowest degree, (b) the term of highest degree.

1. sin nθ, if n is odd.

2. cos nθ, if n is even.

3. images, if n is even.

4. images, if n is odd.

5. images, if n is odd.

6. images, if n is even.

7. Assuming that cosnϕ = a0 + a2sin2θ + … + ansinnθ, where n is even, find the value of a0. Then find by differentiation the other coefficients.

8. Assuming that sin nθ = a1 sin θ + a3 sin3θ + … + an sinnθ, where n is odd, find the value of a1. Then find by differentiation the other coefficients.

9. Prove by differentiation that the constants in equation (13), p. 178, are connected by the relation,

 

images

10. Prove that images, where y = 2 cos 2θ.

11. Prove that images, where x = 2 cos θ.

12. images

13. images

14. n even, images

15. n odd, images

16. n even, images

17. n odd, images

18. n even, images

19. n odd, images

20. n even, images

21. n odd, images

22. n even, images

23. n odd, images

24. n even, images

25. n odd, images

26. What are the coefficients of cn–8 and cn–10 in the expansion of cos nθ in powers of cos θ ?

27. What result can be deduced from No. 24 by writing 2p for n and images for θ ?

28. Prove that

 

images

29. Prove that images.

30. Prove that images.

31. By writing x =cos θ + i sin θ, show how to express images as a polynomial of degree n in images.

32. Express images in terms of images.

33. Express images as a cubic in images.

34. Verify that the coefficient of c2r+1 in the expansion in No. 15 is the same as the coefficient of c2r+1 in the expansion of cosnfl in No. 12, if n is odd.

35. Verify that the coefficient of c2r in the expansion in No. 14 is the same as the coefficient of c2r in the expansion of cosnθ in No. 12, if n is even.

36. If y = sin nθ and θ = sin–1 x, show that

 

images

Differentiate this k times by Leibnitz’ Theorem and deduce that yk+2 = (k2n2)yk, where yr is the value for x = 0 of images. What are the values of y0, y1, y2, yk ? Obtain the result of No. 25 by assuming Maclaurin’s Theorem.

37. If y = cos nθ and ϕ = sin–1x, show that

 

images

Hence obtain the result of No. 22 by the method of No. 36.

EASY MISCELLANEOUS EXAMPLES

EXERCISE IX. f.

1. Solve x6 + x5 + x4 + x3 + x2 + x + l = 0.

2. Solve x12x6 + 1 = 0.

3. Solve (axb)n = (abx)n.

4. Solve (1 – xi)n + i(l + xi)n = 0.

5. Find which roots of x10 = 1 make x4 + x3 + x2 + x + 1 = 0.

6. If x5 = 1, prove that x4 + xx3x2 = 0 or ± images.

7. Given that tan α = 2, find tan 3α. Use the result to find the cube roots of 88 + 16i.

8. Expand images (1 – i){(1 – xi)n + i(1 + xi)n} in powers of x.

9. If images, expand in powers of x:

 

images

10. If x13 = l, x ≠ 1, and if y1 = x + x3 + x9, y2 = x2 + x5 + x6, y3 = x4 + x10 + x12, y4 = x7 + x8 + x11, prove that

 

images

11. Solve cis rθ = cis sθ where r, s are unequal positive integers.

12. Show that the roots of (1 – z)n = zn are of the form images + Bi.

13. Prove that the points which represent the roots of zn = (z + 1)n in the Argand Diagram are collinear.

14. Prove that |z| = 1, z ≠ 1, points representing images lie on an ortnogonai line-pair.

15. Prove that the points representing 1, –1, a + bi, and images are concyclic.

16. If the point which represents z moves on the circle |z| = 1, find the loci of the points which represent

 

images

17. If α, β are the roots of t2 – 2t + 2 = 0, prove that images, where cot ϕ = x + 1.

18. Sum to n + 1 terms, images.

19. Prove that

 

images

20. (i) Prove that images can exPressed as a polynomial in images of degree n. Find the coefficient of images and the constant term.

(ii) Also show that sin3ϕ is a factor of (2n + 1) sin θ – sin (2n + 1)θ.

21. If un = (n + 1) sin nθn sin (n + 1) θ, find the value of unun–1, and prove that 1 – cos θ is a factor of un.

22. Prove geometrically that, if z = cis θ, and – π < θ < π, then images as n → ∞

23. If cos3 θ sin4 θ ≡ A1 cos θ + A3COS 3θ + A5cos 5θ + A7 cos 7θ, prove that

 

images

24. Use the identity,

 

images

to show that

 

images

25. Use the identity,

 

images

to show that

 

images

26. Prove that

 

images

where s ≡ sin θ and n is a positive integer.

HARDER MISCELLANEOUS EXAMPLES

EXERCISE IX. g.

1. Express x7 + 1 as the product of four factors.

2. Express x8 + x7 + x6 + … + x + 1 as the product of four factors,

3. If images , and if r and p are prime to n, prove that

 

images

4. If p, q are real and (x + p)2 + q2 ≡ (x + a)(x + β), prove that images, where images.

5. If x = 2 cos θ, prove that images.

6. If un – 2un+1 cos θ + un+2 = 0, and also u1 = p sin θ + q cos θ and u2 sin 2θ + q cos 2θ, prove that un = p sin nθ + q cos nθ.

7. Deduce trigonometrical identities from the relation

 

images

8. If (1 + x)n = a0 + ∑arxr, where n is a positive integer, prove that

 

images

9. If r2 = a2 + b2 + c2 and images prove that

 

images

10. If ∑ cos θr = 0 = ∑ sin θr, prove that

 

images

where r and s are 1, 2, 3, 4, 5 and are unequal.

11. Prove that, if 2 (ad + bc) = (a + d)(b + c), the four points representing the complex numbers a, b, c, d are concyclic and form a harmonic range on the circle.

12. If a, b, c, A, B, C are real and ac > b2, AC > B2, prove that the points representing the roots of az2 + 2bz + c = 0, Az2 + 2Bz + C = 0 are concyclic with the origin if bC = cB.

13. If w, z are complex numbers such that |z| = 1 and images = 1 – z + z2, and if they are represented by the points P, Q prove that PQ, passes through the point (1,0) and that the x-axis bisects an angle between OP and OQ.

14. If α1, α2, α3, α4, α5 are the fifth roots of unity, prove that images, for r = 1 to 5, equals tan–1images + nπ where n is an integer or zero.

15. Use the relation images to prove that

 

images

where x = cot θ.

16. Prove that images, where x = cot θ.

17. Prove that

 

images

18. Prove that

 

images

19. Prove that

 

images

20. Prove that

 

images

21. Find the coefficient of xn in (1 + 2xcos θ + x2)n and deduce that images equals

 

images

22. If cr is the coefficient of xr in (xn + … + x–1 + 1 + x + … + xn)4, prove that

 

images

and deduce that

 

images

23. Prove that 2 cosec α ∑ {sin rα cos (nr) β}, for r = 1 to n – 1, is equal to

 

images

24. If p, q, r are any positive integers or zero, subject to p + q + r = n, prove that

 

images