227. The exponential values of the sine and cosine.

From the formula exp(ξ+iη)=expξ(cosη+isinη), we can deduce a number of extremely important subsidiary formulae. Taking ξ=0, we obtain exp(iη)=cosη+isinη; and, changing the sign of η, exp(iη)=cosηisinη. Hence 3cosη=12{exp(iη)+exp(iη)},sinη=12i{exp(iη)exp(iη)}. We can of course deduce expressions for any of the trigonometrical ratios of η in terms of exp(iη).

 

228. Definition of sinζ and cosζ for all values of ζ.

We saw in the last section that, when ζ is real, (1a)cosζ=12{exp(iζ)+exp(iζ)}, (1b)sinζ=12i{exp(iζ)exp(iζ)}.

The left-hand sides of these equations are defined, by the ordinary geometrical definitions adopted in elementary Trigonometry, only for real values of ζ. The right-hand sides have, on the other hand, been defined for all values of ζ, real or complex. We are therefore naturally led to adopt the formulae (1) as the definitions of cosζ and sinζ for all values of ζ. These definitions agree, in virtue of the results of § 227, with the elementary definitions for real values of ζ.

Having defined cosζ and sinζ, we define the other trigonometrical ratios by the equations (2)tanζ=sinζcosζ,cotζ=cosζsinζ,secζ=1cosζ,cscζ=1sinζ. It is evident that cosζ and secζ are even functions of ζ, and sinζ, tanζ, cotζ, and cscζ odd functions. Also, if exp(iζ)=t, we have (3)cosζ=12{t+(1/t)},sinζ=12i{t(1/t)},cos2ζ+sin2ζ=14[{t+(1/t)}2{t(1/t)}2]=1.

We can moreover express the trigonometrical functions of ζ+ζ in terms of those of ζ and ζ by precisely the same formulae as those which hold in elementary trigonometry. For if exp(iζ)=t, exp(iζ)=t, we have cos(ζ+ζ)=12(tt+1tt)=14{(t+1t)(t+1t)+(t1t)(t1t)}=cosζcosζsinζsinζ;(4) and similarly we can prove that (5)sin(ζ+ζ)=sinζcosζ+cosζsinζ. In particular (6)cos(ζ+12π)=sinζ,sin(ζ+12π)=cosζ.

All the ordinary formulae of elementary Trigonometry are algebraical corollaries of the equations (2)–(6); and so all such relations hold also for the generalised trigonometrical functions defined in this section.

 

229. The generalised hyperbolic functions.

In Ex. LXXXVII. 19, we defined coshζ and sinhζ, for real values of ζ, by the equations (1)coshζ=12{expζ+exp(ζ)},sinhζ=12{expζexp(ζ)}.

We can now extend this definition to complex values of the variable; i.e. we can agree that the equations (1) are to define coshζ and sinhζ for all values of ζ real or complex. The reader will easily verify the following relations: cosiζ=coshζ,siniζ=isinhζ,coshiζ=cosζ,sinhiζ=isinζ.

We have seen that any elementary trigonometrical formula, such as the formula cos2ζ=cos2ζsin2ζ, remains true when ζ is allowed to assume complex values. It remains true therefore if we write cosiζ for cosζ, siniζ for sinζ and cos2iζ for cos2ζ; or, in other words, if we write coshζ for cosζ, isinhζ for sinζ, and cosh2ζ for cos2ζ. Hence cosh2ζ=cosh2ζ+sinh2ζ. The same process of transformation may be applied to any trigonometrical identity. It is of course this fact which explains the correspondence noted in Ex. LXXXVII. 21 between the formulae for the hyperbolic and those for the ordinary trigonometrical functions.

 

230. Formulae for cos(ξ+iη), sin(ξ+iη), etc.

It follows from the addition formulae that 4cos(ξ+iη)=cosξcosiηsinξsiniη=cosξcoshηisinξsinhη,sin(ξ+iη)=sinξcosiη+cosξsiniη=sinξcoshη+icosξsinhη. These formulae are true for all values of ξ and η. The interesting case is that in which ξ and η are real. They then give expressions for the real and imaginary parts of the cosine and sine of a complex number.

Example XCV
1. Determine the values of ζ for which cosζ and sinζ are (i) real (ii) purely imaginary. [For example cosζ is real when η=0 or when ξ is any multiple of π.]

2. 2|cos(ξ+iη)|=cos2ξ+sinh2η=12(cosh2η+cos2ξ),|sin(ξ+iη)|=sin2ξ+sinh2η=12(cosh2ηcos2ξ).

[Use (e.g.) the equation |cos(ξ+iη)|=cos(ξ+iη)cos(ξiη).]

3. tan(ξ+iη)=sin2ξ+isinh2ηcosh2η+cos2ξ, cot(ξ+iη)=sin2ξisinh2ηcosh2ηcos2ξ.

[For example tan(ξ+iη)=sin(ξ+iη)cos(ξiη)cos(ξ+iη)cos(ξiη)=sin2ξ+sin2iηcos2ξ+cos2iη, which leads at once to the result given.]

4. sec(ξ+iη)=cosξcoshη+isinξsinhη12(cosh2η+cos2ξ),csc(ξ+iη)=sinξcoshηicosξsinhη12(cosh2ηcos2ξ).

5. If |cos(ξ+iη)|=1 then sin2ξ=sinh2η, and if |sin(ξ+iη)|=1 then cos2ξ=sinh2η.

6. If |cos(ξ+iη)|=1, then sin{\amcos(ξ+iη)}=±sin2ξ=±sinh2η.

7. Prove that logcos(ξ+iη)=A+iB, where A=12log{12(cosh2η+cos2ξ)} and B is any angle such that cosBcosξcoshη=sinBsinξsinhη=112(cosh2η+cos2ξ). Find a similar formula for logsin(ξ+iη).

8. Solution of the equation cos ζ=a, where a is real. Putting ζ=ξ+iη, and equating real and imaginary parts, we obtain cosξcoshη=a,sinξsinhη=0. Hence either η=0 or ξ is a multiple of π. If (i) η=0 then cosξ=a, which is impossible unless 1a1. This hypothesis leads to the solution ζ=2kπ±arccosa, where arccosa lies between 0 and 12π. If (ii) ξ=mπ then coshη=(1)ma, so that either a1 and m is even, or a1 and m is odd. If a=±1 then η=0, and we are led back to our first case. If |a|>1 then coshη=|a|, and we are led to the solutions 4ζ=2kπpmilog{a+a21}(a>1),ζ=(2k+1)π±ilog{a+a21}(a<1). For example, the general solution of cosζ=53 is ζ=(2k+1)πpmilog3.

9. Solve sinζ=α, where α is real.

10. Solution of cosζ=α+iβ, where β0. We may suppose β>0, since the results when β<0 may be deduced by merely changing the sign of i. In this case (1)cosξcoshη=α,sinξsinhη=β, and (α/coshη)2+(β/sinhη)2=1.

If we put cosh2η=x we find that x2(1+α2+β2)x+α2=0 or x=(A1±A2)2, where A1=12(α+1)2+β2,A2=12(α1)2+β2. Suppose α>0. Then A1>A2>0 and coshη=A1A2. Also cosξ=α/(coshη)=A1A2, and since coshη>cosξ we must take coshη=A1+A2,cosξ=A1A2. The general solutions of these equations are (2)ξ=2kπ±arccosM,η=±log{L+L21}, where L=A1+A2, M=A1A2, and arccosM lies between 0 and 12π.

The values of η and ξ thus found above include, however, the solutions of the equations (3)cosξcoshη=α,sinξsinhη=β, as well as those of the equations , since we have only used the second of the latter equations after squaring it. To distinguish the two sets of solutions we observe that the sign of sinξ is the same as the ambiguous sign in the first of the equations , and the sign of sinhη is the same as the ambiguous sign in the second. Since β>0, these two signs must be different. Hence the general solution required is ζ=2kπ±[arccosMilog{L+L21}].

11. Work out the cases in which α<0 and α=0 in the same way.

12. If β=0 then L=12|α+1|+12|α1| and M=12|α+1|12|α1|. Verify that the results thus obtained agree with those of Ex. 8.

13. Show that if α and β are positive then the general solution of sinζ=α+iβ is ζ=kπ+(1)k[arcsinM+ilog{L+L21}], where arcsinM lies between 0 and 12π. Obtain the solution in the other possible cases.

14. Solve tanζ=α, where α is real. [All the roots are real.]

15. Show that the general solution of tanζ=α+iβ, where β0, is ζ=kπ+12θ+14ilog{α2+(1+β)2α2+(1β)2}, where θ is the numerically least angle such that cosθ:sinθ:1::1α2β2:2α:(1α2β2)2+4α2.

16. If z=ξexp(14πi), where ξ is real, and c is also real, then the modulus of cos2πzcos2πc is [12{1+cos4πc+cos(2πξ2)+cosh(2πξ2)4cos2πccos(πξ2)cosh(πξ2)}].

17. Prove that |expexp(ξ+iη)|=exp(expξcosη),R{coscos(ξ+iη)}=cos(cosξcoshη)cosh(sinξsinhη),I{sinsin(ξ+iη)}=cos(sinξcoshη)sinh(cosξsinhη).

18. Prove that |expζ| tends to  if ζ moves away towards infinity along any straight line through the origin making an angle less than 12π with OX, and to 0 if ζ moves away along a similar line making an angle greater than 12π with OX.

19. Prove that |cosζ| and |sinζ| tend to  if ζ moves away towards infinity along any straight line through the origin other than either half of the real axis.

20. Prove that tanζ tends to i or to i if ζ moves away to infinity along the straight line of Ex. 19, to i if the line lies above the real axis and to i if it lies below.


225–226. The general power az Main Page 231. The connection between the logarithmic and inverse trigonometrical functions