CHAPTER XII

FACTORS

It is known that, if a polynomial p0xn + p1xn–1 + … + pn of degree n is zero for x = c, then xc is a factor of it; also that, if the polynomial is zero for n different values x = c1, x = c2, … , x = cn, it must be identical with p0(xc1)(xc2) … (xcn).

This is also true when c1, c2, … , p0, p1, p2, … are complex numbers, see p. 142, Note 2 (iii).

We proceed to apply this result to factorize various trigonometrical expressions.

Notation for Products. Corresponding to the use of the symbol ∑ to represent sums, it is convenient to use Π to represent products.

Thus we denote f(1) .f(2) .f(3). images, or Π f(r) for r = 1 to n.

FACTORS OF ALGEBRAIC FUNCTIONS

Factors of xn – 1. xn – 1 = 0 if x is a value of images, and the n different values are given by images, for r = 1, 2, …, n.

Corresponding to each of these values we have a factor

 

images

Since r = – k and r = nk give the same value to images we may use 0, – 1, – 2, … as values of r instead of n, n – 1, n – 2, ….

(i) n even. We take r = 0, ±1, ±2, … ±(imagesn – 1), and imagesn, thus getting (imagesn – 1) pairs of factors, and the two single factors given by 0 and imagesn, i.e. 2(imagesn – 1) + 2, = n, in all.

The factors corresponding to r = ±k are

 

images

and their product

 

images

the factors corresponding to r = 0, r = images are x – 1, x + 1. Thus,

 

images

(ii) n odd. Here we take r = 0, ± 1, ± 2, …, ± images, which gives images, factors. Thus,

 

images

Factors of xn + 1. xn + 1 = 0 if

 

images

If n is even, we take 2r – 1 = ± 1, ± 3, …, ± (n – 1); and if n is odd, we take 2r – 1 = ± 1, ± 3, …, ± (n ± 2), and n; this last value gives the factor x – cos πi sin π = x + 1. Thus,

If n is even, we take 2r – 1 = ± 1, ± 3, … , ± (n – 1); and if n is odd, we take 2r – 1 = ± 1, ± 3, …, ± (n – 2), and n ; this last value gives the factor x – cos πi sin π = x + 1. Thus,

 

images

 

images

It should be remarked that, although the work of this chapter is in complex algebra, the formulae (1) (2) (3) (4) are true results of real algebra. If the products on the right were multiplied out we know that they would come to xn ± 1 because we have proved the equality in complex algebra. The results could be obtained, although not so shortly, by using only the methods of real algebra, see Ex. XII. a, Nos. 13, 14.

EXERCISE XII. a

1. In complex algebra what are the factors of x3 – 1 ?

2. In real algebra what are the factors of x3 – 1 ?

3. Obtain from first principles the factors of x4 + 1, and deduce quadratic factors not involving i. Show that these can also be found by writing x4 + 1 as the difference between two squares.

4. Find the complex factors of x5 – 1 ; deduce the real quadratic factors of x4 + x3 + x2 + x + 1. Verify the result by writing x4 + x3 + x2 + x + 1 = x2(x2 + x + 1 + images + images)" and putting x + images + y.

5. Obtain from first principles the quadratic factors of

 

images

6. Express x10x5 + 1 in quadratic factors.

7. Find the values of cos θ for which

 

images

8. If n is even, find the values of sin θ for which

 

images

9. If n is odd, find the values of sin θ for which

 

images

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

11. Write down the factors of x2n + l, and deduce those of (1 + x)2n + (l – x)2n.

12. Show that the solutions of (1 + x)2n + (1 – x)2n = 0 are

 

images

Deduce that images.

Hence prove that images.

13. If unx2n – 2xnan cos nθ + a2n, prove that

 

images

Hence prove by induction that x2 – 2ax cos θ + a2 is a factor of x2n – 2xnan cos nθ + a2n, and deduce that images is also a factor, where r is any integer.

14. Use No. 13 to factorize, by the methods of real algebra, xn – 1, when n is even. [Put a = 1, θ = 0.]

FACTORS OF TRIGONOMETRIC FUNCTIONS

We have shown, in Chapter IX., that certain functions, like cos nθ, sin nθ, are polynomials in cos θ or sin θ. The results are given in Ex. IX. e, Nos. 12-25. Corresponding to each of these results it is possible, by the method stated at the beginning of the present chapter, to obtain an expression in factors for each of these functions. An essential step in the process is to find the values of cos θ or sin θ for which the function vanishes, and the reader who has worked Ex. XII. a, Nos. 7, 8, 9 will already have found the values.

We will give the reasoning in full for one example, and the reader will then be able to supply it for the others. The results are given in Ex. XII. b, Nos. 3-13.

Factors of sin nθ when n is odd. It is known from Chapter IX., that, when n is odd, sin nθ is a polynomial,

 

images

of degree n in sin θ. To find the values of sin θ for which the polynomial is zero we put sin nθ = 0; this gives θ = images, and the n different values of sin θ are sin images for r = 0, ±1, ±2, … ± images.

The factors corresponding to r = 0, r = ± k are sin θ, sin θ – sin images, and sin θ + sin images, and the product of the last two is sin2θ – sin2 images; thus,

 

images

where A =the coefficient of sinnθ in the polynomial = images.

It is convenient, however, to divide each factor by a term images; thus

 

images

where images. It is not, however, necessary to use the value of A ; dividing each side of (6) by sin θ and making θ → 0, we get images thus,

 

images

and it has been proved incidentally that

 

images

From formula (8), images, but all the angles have positive sines;

 

images

Other results of this kind can be deduced from the factors of images, when n is even, and from the factors of cos nθ. See Ex. XII. b, Nos. 18-25.

Another deduction is often made from equation (7) by putting nθ = ϕ and making n → ∞, but, as explained in the Preface, the consideration of Infinite Products is held over for the companion volume. It is found that (see Ex. XII. f, Nos. 23, 24)

 

images

and, by putting ϕ = images in the first,

 

images

EXERCISE XII. b.

[For convenience of reference some results proved in the text are included.]

1. Obtain from first principles the factors of

 

images

regarded as functions of sin π.

2. Obtain from first principles the factors of

 

images

regarded as functions of cos π.

Verify some of the following results (Nos. 3-13) :

3. images.

4. images.

5. images.

6. images.

7. images.

8. images.

9. images.

10. If n is odd, images.

11. If n is even, images.

12. If n is odd, images.

13. If n is even, images.

14. Express images as a product of three factors.

15. Find the factors, if any, of sin nπ – sin nα, regarded as a function of sin π.

16. Show how to deduce No. 4 from No. 3.

17. By writing imagesπ for π in Nos. 10, 11, 12, 13, find the values of

 

images

where n may be odd or even. See footnote on p. 46.

18. Prove that images.

19. Prove that images.

20. Prove that images.

21. Prove that images.

22. If n is even, prove that images, and that

 

images

23. If n is odd, prove that images, and that images.

24. Evaluate images; each for n odd, and for n even.

25. Prove that the results of Nos. 20 and 21 hold when the sines are replaced by cosines.

26. Prove that images.

27. Prove that images.

28. Prove that images.

29. Prove that images.

30. Evaluate images.

31. Prove that images.

32. Prove that 1 + cos θ is a factor of 1 + cos 5θ and find the other factors.

33. Prove that 2 cos θ + 1 is a factor of 2 cos 5θ + 1, and find the other factors. Deduce that

 

images

34. Factorize x2n – 2xn cos nθ + 1, using Ex. XII. a, No. 10.

35. Prove that ch nx – cos na = images.

36. Prove that images

Factors of x2n – 2xn cos nα + 1. The equation

 

images

is a quadratic in xn, with roots cos nα ± i sin nα; thus the 2n values of x are images, for r = 0, 1, 2,…, (n – 1).

The product of the factors corresponding to r = k is

 

images

Many results can be deduced from formula (10).

(i) Putting α = 0, α = images and taking the square root, we get equations (1), (2), (3), (4). The reader should verify this.

(ii) Dividing by xn,

 

images

and, putting x = cos θ + i sin θ, we have

 

images

i. e.

 

images

This is the same as Ex. XII. b, No. 3, and can, of course, be proved directly in the usual manner.

(iii) Putting x = 1, α = 2β in (10),

 

images

Now, if 0 < β < images, each factor on the right is positive, and so is sin nβ. Also, as β increases, sin nβ changes sign whenever β passes through a value images, and at the same time one factor on the right changes sign. Thus the ambiguous sign is always a +, and

 

images

Similar results to (12) can be found by the substitutions indicated in Ex. XII. c, Nos. 1-5.

(iv) From (12), by taking logarithms

 

images

and, differentiating with respect to β,

 

images

This may also be proved by the methods of Chapter XI.

(v) De Moivre's and Cotes' Properties of a Circle. If A0A1A2 … An–1 is a regular polygon inscribed in a circle centre O, radius a, and P is a point such that OP = x, images(OA0, OP) = θ, then

 

images

images by formula (10),

 

images

or

 

images

This is called. de Moivre’s property.

 

images

FIG. 78.

If P lies on OA0 so that θ = 0, PA0 … PAn–1 = xn ~ an.

If OP bisects imagesAn–1OA0, so that θ = images, PA0.PA1 … PAn–1, = xn + an.

These special results are called Cotes’ properties.

Comparison of Series and Products. A number of identities can be obtained by comparing values obtained for the same function as a sum and as a product.

For example, if n is odd, images and also, from Ex. IX. e, No. 25,

 

images

is an identity.

Equating coefficients of s3 on the two sides,

 

images

a result which has been proved (p. 209) in another way.

Other results can be obtained by equating other powers of s, and by using the formulae for sin nθ (n even) and cos nθ.

The formula for ∑ cosec2(rπ/n) was used on p. 210 to prove that ∑I/n2 = π2/6. In some of the older text-books this result is obtained by equating coefficients of θ3 in the series and product expressions for sin θ, (see pp. 80 and 223). Such a process requires careful justification, and the product expression is itself obtained, not without difficulty, from equation (7). It seemed more satisfactory to deduce the sum ∑1/n2 directly from ∑cosec2(rπ/n), the infinite product being left for the companion volume.

EXERCISE XII. c.

By substituting ±1 for x, and 2β or 2β + images for α, in formula (10), prove the following results (Nos. 1-5).

1. images.

2. images, if n is odd.

3. images, if n is even.

4. images, if n is odd.

5. images, if n is even.

6. Show how to deduce Nos. 4 and 5 from No. 1, and Nos. 2 and 3 from formula (12).

7. What result can be deduced from No. 1, by taking logarithms of each side and then differentiating w.r.t. β ?

8. Simplify

 

images

9. Simplify images

10. Prove that images.

11. Prove that images.

12. Prove that images.

13. Prove that images.

14. A1A2 … An is a regular polygon inscribed in a circle, centre O, and radius a. P is a point on the circumference such that images POA1 = θ; prove that PA1 . PA2 … PAn = 2an sin images.

15. A square A1A2A3A4 and a regular pentagon B1B2B3B4B5 are inscribed in a circle of radius a; prove that the continued product of the chords ArBs is numerically equal to 2a20 sin 20θ, where 2θ is the angle subtended at the centre by any one of the chords.

16. A1A2 … A2n is a regular polygon inscribed in a circle centre O, radius a, and P is a point on the circumference such that images POA1 = θ; prove that the continued product of the perpendiculars from P to OA1, OA2, … OAn is 21–nan sin .

17. A0A1A2 … A2n is a regular polygon inscribed in a circle of radius a of which A0C is a diameter; prove that CA1 . CA2 … CAn = an.

18. With the data of No. 14, show that the continued product of the chords ArAs is images.

19. With the data of No. 16, if OB bisects A1A2, prove that the product of the perpendiculars from A1, A2, …, A2n to OB is a2n22–2n.

20. If n is even, prove that images.

21. If n is even, prove that images

22. If n is odd, prove that images.

23. If n is odd, prove that the sum of the squares of the products two at a time of the cosecants of

 

images

and deduce that images

24. Evaluate images, when n is even.

25. Evaluate images, for r = 1 to imagesn, when n is even, and for r = 1 to images(n – 1), when n is odd.

PARTIAL FRACTIONS

If f(x) and F(x) are polynomials in x of which f(x) has the smaller degree, and if F(x) ≡ (xa)g(x), where g(a) ≠ 0, then it is known from Algebra that

 

images

where A is independent of x, and h(x) is a polynomial of smaller degree than g(x).

The value of A may be proved to be images.

Alternatively, images. This limit can then be evaluated by algebraic methods; or, by using a theorem in the Calculus, we have

 

images

If F(x) ≡ c(xa1)(xa2) … (xan), where no two factors are equal, repeated applications of the above give

images

where Ar can be found by either of the methods described above.

These results are also true when a1, a2, … are complex.

Example 1. Express images as the sum of three partial fractions.

Since x3 – 1 ≡ (x – 1)(xw)(xw2), where images, we may write

 

images

A, B, C may be evaluated in any of the following ways :

 

images

It may be shown that these give images.

(ii) images

(iii) images

Similarly, images

and images

 

images

Note. The last two fractions can of course be combined, so as to give the ordinary result in real algebra,

 

images

Example 2. Express images as the sum of fractions with quadratic denominators.

The denominator is a polynomial of degree 2n – 1 in x, which is zero if images, where images.

This gives

 

images

 

images

where

 

images

because (cis α)2n = cis (rπ) = (– 1)r;

hence Ar = (– l)r .imagesi sin α cos2n–3α,

Writing – i for i, we have Br = – (– 1)r . imagesi sin α cos 2n–3α;

images the expression

 

images

Example 3. Express images as the sum of fractions.

 

images

The denominator is zero when

 

images

where images and images.

The value of Ar may be found in either of the following ways :

(i) images

(ii) images

Note. This result may also be obtained as follows :

From Ex. XII. b, No. 4, images;

 

images

Now differentiate each side w.r.t. θ.

EXERCISE XII. d.

1. Find the real partial fractions of images.

2. Express images in partial fractions with quadratic denominators.

3. Prove that images .

4. Express images in partial fractions with quadratic denominators.

5. Express images in partial fractions when n > 3.

6. If n is odd, prove that

 

images

7. Prove that images.

8. Prove that images.

9. Prove that images.

10. Prove that images.

11. Prove that images equal0 or images according as n is or is not a multiple of 3.

12. Express images sas a sum of n partial fractions.

13. Prove that images, and deduce an expression for images.

14. Prove that images.

15. If n is even and images, prove that images is the sum, for r = 1, 2, …, imagesn – 1, of

 

images

16. Prove that images.

17. Prove that images.

18. Prove that images.

19. Prove that

 

images

and express images in a similar form.

20. Prove that

 

images

21. Prove that

 

images

22. A1A2 … An is a regular polygon inscribed in a circle, centre O, radius α; P is a point of its plane such that OP = x, and images POA1 = θ prove that

 

images

EASY MISCELLANEOUS EXAMPLES

EXERCISE XII. e.

1. Express x2na2n as the product of n quadratic factors.

2. Express x6x3 + 1 in the form П(xa) and prove that

 

images

3. Prove that

 

images

4. Prove that

 

images

and deduce that images.

5. Express (x + 1)2n – (x – 1)2n in the form

 

images

and deduce the value images.

6. Express images as a product of factors linear in sin θ.

7. Prove that

 

images

Prove the following (Nos. 8-16) :

8. cos θ – cos ϕ is a factor of images.

9. images.

10. images.

11. images.

12. images.

13. images.

14. images.

15. images,

where m and n are odd, and 0 < m < n.

16. images

where m + n are odd, and 0 < m < n.

17. Express cosec (xa) cosec (xb) cosec (xc) in the form A cosec (xa) + B cosec (xb) + C cosec (xc), where A, B, C are independent of x; also extend to the case of 2n + 1 factors.

18. Express cosec (xa) cosec (xb) in the form

 

images

where A, B are independent of x; also extend to the case of 2n factors.

19. Express images in the form

 

images

where A, B, C, D are independent of x.

20. A1A2 … An is a regular polygon inscribed in a circle, centre O, radius a. PQ, QR are equal chords, such that imagesPOQ = α and imagesA1OQ = β. Prove that the product of the perpendiculars from A1, A2, … , An to the chord PR is 21–nan(cos nα – cos nβ).

HARDER MISCELLANEOUS EXAMPLES

EXERCISE XII. f.

1. Prove that cos 7θ – cos 8θ is divisible by 2 cos 5θ +1 and find the other factor.

2. Prove that

 

images

and factorize the expression on the right-hand side.

3. If m and n are odd co-prime integers, prove that images is a polynomial in cos θ of degree mnmn + 1, with factors of the form images, for values of r from 1 to mn – 1 which are not multiples of m or n.

4. Prove that images.

5. Write down the results obtained by taking the square root of each side in No. 4, (i) if n is even, (ii) if n is odd.

6. If n is even, prove that

 

images

and find a corresponding result when n is odd.

Prove the following (Nos. 7-14):

7. images

if n2 = 1 (mod 6).

8. images.

9. images.

10. images.

11. images.

12. images, if n is odd.

13. images.

14. images.

15. Prove that the product of the perpendiculars drawn from the vertices of a regular n-gon inscribed in the circle x2 + y2 = 9a2 to a tangent to the circle x2 + y2 = 25a2 is

 

images

where α is one of the angles between the tangent and a side of the polygon.

16. A regular polygon A1A2 … An is inscribed in a circle, centre O; P is a point in space such that the projection of OP on the plane of the circle makes an angle α with OA1; r1 and r2 are the greatest and least distances of P from the circumference, and 2s = r1 + r2, 2d = r1r2. Prove that PA1 . PA2 … PAn = images.

17. Prove that images.

18. Prove that images.

19. Prove that images,and deduce that

 

images

20. If N1, N2, …, Nm are the integers less than N and prime to it and images, prove that 2m sin N1αsinN2α … sinNmα = 1, unless N is itseli prime, in which case the product equals N.

21. If n1, n2, … nt are the integers less than 2n which are not powers of 2 (2° being reckoned as a power of 2), and if images prove that images.

22. Prove tbat

 

images

and determine the ambiguous sign.

23. Express sin x as an infinite product as follows:

(i) Differentiate θ cosec θ and θ cot θ; hence prove, for 0 < θ < ϕ < imagesπ, that θ cosec ϕ < ϕ cosec ϕ, and θ cot θ > ϕ cot ϕ.

Deduce that

 

images

(ii) If n is an odd integer, and r takes the values 1, 2, …, images(n – 1), prove that, for 0 < x < π,

 

images

(iii) Use equation (7), p. 222, and Example 7, p. 70, to deduce that images lies between two expressions which tend to sin x/x when n → ∞ .

This proves that, for 0 < x < π,

 

images

(iv) If 0 < (θ, ϕ) < imagesπ, prove that

 

images

and hence establish the result of (iii) for all values of x.

24. Use Ex. XII. b, No. 10, and the method of No. 23 above to express cos x as an infinite product.