# How many ways to define sine and cosine?

Sometimes, there are many ways to give defintion to a mathmatical principle, for example the natural base logarithm.

thanks.

-
A lot. I think this question, as written, is too vague. –  Qiaochu Yuan Aug 26 '10 at 4:48
(I think I have figured out what bothers me about this question. This question presupposes that the ways of defining sine and cosine form a set. Really they form a category in which all of the objects are isomorphic...) –  Qiaochu Yuan Aug 26 '10 at 5:03
@Qiaochu Yuan: I'm not sure if your previous comment was meant absolutely serious. If so, how do you define the morphism set between two definitions of sine? –  Rasmus Aug 26 '10 at 9:27
@Rasmus: it was a metaphor. I just mean that one shouldn't think of the different definitions as unrelated, as one can get from any one to any other one. I also meant that it doesn't make sense to ask about the cardinality of the objects, since this is an "evil" question; cardinality is not preserved by equivalence of categories. –  Qiaochu Yuan Aug 26 '10 at 15:43

(This is by no means a comprehensive list.)

Right-triangle definition: the sine (cosine) of an acute angle is the ratio of the lengths of the leg opposite (adjacent to) the given angle to the hypotenuse of the triangle.

Bizarre Geometric Definition: the cosine of an angle in a triangle is $\frac{a^2+b^2-c^2}{2ab}$, where $a$ and $b$ are the lengths of the sides adjacent to the angle and $c$ is the length of the side opposite the angle; the sine of an acute angle is the cosine of its complement; the sine of an obtuse angle is the cosine of its supplement's complement. (edit: this one might be even worse than I'd originally thought as a definition, so perhaps just ignore it.)

Circular definition (1): the sine (cosine) of a magnitude of rotation is the vertical (horizontal) coordinate of the image of the point (1,0) under a rotation of the given magnitude centered at the origin.

Circular definition (2): the sine (cosine) of a directed angle with vertex at the origin and initial ray on the positive x-axis is the y-coordinate (x-coordinate) of the point of intersection of the terminal ray of the angle with the unit circle centered at the origin.

Power series definition: \begin{align} \sin x&=\sum_{n=0}^{\infty}\frac{(-1)^n}{(2n+1)!}x^{2n+1}=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\cdots \\ \cos x&=\sum_{n=0}^{\infty}\frac{(-1)^n}{(2n)!}x^{2n}=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\cdots \end{align}

Exponential definition: $$\sin x=\frac{e^{ix}-e^{-ix}}{2i};\quad\quad\cos x=\frac{e^{ix}+e^{-ix}}{2}$$

-
Constructing this list is a fun exercise for undergraduates. Some important definitions that ought to be included are (i) the infinite product representation of the sine, (ii) a myriad integral representations of the inverse trig functions, and (iii) solutions to ODEs. One could then add the linear algebra definition via dot products or cross products as well as more obscure ones at will, such as derivations from spherical or hyperbolic geometry, various infinite sums and products, etc. The importance of (i)-(iii) lies in their generalizations to elliptic functions, etc. –  whuber Aug 26 '10 at 15:21
whuber: (ii) in your list is definitely important in the extension to the theory of doubly-periodic functions. –  Guess who it is. Aug 27 '10 at 10:29

I like to define them by the differential equation:

$$y''=-y$$

and then, choosing the initial conditions we get these two functions. This also give rise nice definition for $\pi$ being the fundamental period for the solutions of these equations.

-
Proving their properties from this definition (especially the periodicity) is a wonderful exercise in a first course on (qualitative study of) differential equations. –  Andrea Ferretti Aug 26 '10 at 13:15

An interesting construction is given by Michael Spivak in his book Calculus, chapter 15. The steps are basically the following:

$1.$ We define what a directed angle is. $2.$ We define a unit circle by $x^2+y^2=1$, and show that every angle between the $x$-axis and a line origined from $(0,0)$ defines a point $(x,y)$ in that circle.

$3.$ We define $x = \cos \theta$ and $y = \sin \theta$.

$4.$ We note that the area of the circular sector is always $x/2$, so maybe we can define this functions explicitly with this fact:

$5.$ We define $\pi$ as the area of the unit circle, this is:

$$\pi = 2 \int_{-1}^1 \sqrt{1-x^2} dx$$

$6.$ We give an explicit formula for the area of the circular sector, namely:

$$A(x) = \frac{x\sqrt{1-x^2}}{2}+\int_x^1 \sqrt{1-t^2}dx$$

and show that it is continuous, and takes all values from $0$ to $\pi/2$. We may also plot it, since we can show that $2A(x)$ is actually the inverse of $\cos x$.

$7.$ We define $\cos x$ as the only number in $[-1,1]$ such that

$$A(\cos x) = \frac{x}{2}$$

and thus define

$$\sin x = \sqrt{1-\cos^2x}$$

$8.$ We show that for $0<x<\pi$

$$\cos(x)' = - \sin(x)$$

$$\sin(x)' = \cos(x)$$

$9.$ We finally extend the functions to all real values by showing that for $\pi \leq x \leq 2\pi$,

$$-\sin(2\pi-x) = \sin x$$

$$\cos(2\pi-x) = \cos x$$

and then that

$$\cos(2\pi k+x) = \cos x$$

$$\sin(2\pi k+x) = \sin x$$

-

Once you define sine, you can define cosine to be the sine of the complementary angle. i.e. cos(theta) = sin(pi/2 - theta). So you could reduce your question to asking for various ways of defining sine.

-

Click on all the "more"s - works of course for "cos" too!

-

I like good old definition using right angled triangle.

$$\sin\theta = b/c$$

$$\cos\theta = a/c$$

-
How can I make this image smaller? –  Pratik Deoghare Aug 26 '10 at 7:19

It depends what you expect from $Sin,Cos$ functions.

properties of $sin,cos$ can be summed up by two function $f,g$ having following (simple)properties :

$f^2+g^2 = 1$ , $f^'=g \text{ and } g^'=-f$, $f''=-f$

Now the question becomes in how many different ways a functions can be represented. Then you have the following list to begin with 1.infinite series Power,Partial Fraction, Wesisentein, inverse factorials 2. infinite fractions 3.Fourier, Lagrange , Mellin etc. integral transforms 4.Infinite producs 5.Gamma, Beta functions, and other exotic functions . . .

Now what you want to do is not to just focus on sin,cos in Eucliedean Geometry, but what is sin of an angle on the sphere? tan ? cos? what happens to them in a more general setting?

if you consider the functions by peridocity then this is what you want to look at: functional equations satisfying $f(x+k)=g(x)$ then you can find even more intresting functions having double peridocity i.e. functions that $f(x+k_1)=g(x)$ , $f(x+k_2)=g(x)$ or $f(x+k_1)=f(x)$ and $f(x+k_2)=f(x)$ where $k_1\neq k_2$.

There are uncountable many ways to look for something that in special case would become the sine and cos we know from elementary days , for example if you use hypergeometric series then sin and cos are jsut special values of the hypergeometric series, but their properties satisfies what we needed from elementary sin and cos.

It is not the definition that matters but for what purpose they are being defined for, for example wit the infinite Power series nobody can see the periodicity and the infinite zeroes of the sin and cos, but with infinite Product representation ( one still has to show the infinite series and the infinite product are the same thing), then it is obvious.

-