Definition of Cosine


By Niranjan Srinivas on Wednesday, February 27, 2002 - 02:25 am:

In the result eix = cosx + isinx.....(1)
what is the definition of cosx ?

If cosx is defined as the series obtained,then the proof for (1) will become a matter of definition. If cosx is defined as the ratio adj/hyp in any right angled triangle, then how do we show that that series and this ratio are the same ?
can anybody enlighten me on this ?
Thanks !
Cheers,
Niranjan


By Tristan Marshall on Thursday, February 28, 2002 - 03:12 pm:
You were talking about the ratios for cos and sin:

cos = adj/hyp sin = opp/hyp

This is probably the way you first met sin and cos. From a few more trig identities, and a bit of geometry, we can 'prove' the derivatives of cos and sin:

d/dx(sin x) = cos x

d/dx(cos x) = -sin x

Then we can use Maclaurin's theorem. This says that if a function f is infinitely differentiable at 0, then

f(x) = f(0) + f(1) (0)x + [f(2) (0)/2!]x2 + ¼+ [f(r) (0)/r!] xr + ¼

where this series converges. It so happens that for cos and sin we get series that converge everywhere, and these series are:

cosx = 1 - x2 /2! + x4 /4! + ¼+ (-1)r x2r /(2r)! + ¼

sinx = x - x3 /3! + ¼+ (-1)r+1 x2r+1 /(2r+1)! + ¼

Also ex = 1 + x2 /2! + x3 /3! + ¼

And the formula for eiq can be obtained by comparing these series.

However, in higher analytical work, it is more usual to start by defining sin and cos as the power series, and then deducing the ratios. We do this using the formula for eiq.

The set of points z = eiq 0 £ q < 2p form a unit circle in the complex plane.

For this next bit, a diagram would help, but I can't manage to draw a good one, so you might want to try sketching one yourself.

If we choose a point z in the first quadrant of this circle (ie real and imaginary parts > 0) given by z = eiq and draw a line connecting z to the origin, then the formula for eiq tells us that the angle between this line and the positive real axis is q.

To see this, drop a line down from z to the real axis such that this line is perpendicular to the real axis. You now have a right-angled triangle, where the hypotenuse has length 1, the adjacent side has length cosq (the real part of z) and the opposite side has length sinq (the imaginary part of z).

This shows that the ratios work when the hypotenuse has length 1. By scaling, we see it is true for all right-angled triangles.