Sine

sine and cosine, abbreviated sin and cos, are basic trigonometric functions (which are, in their turn, basic elementary functions), used to express relations between angles and sides of right triangles). These functions are common in science and technology.

Various sources define trigonometric funcitons in different ways.

Geometric approach

In most countries, schoolchildren begin to study mathematics with arithmetics, elementary algebra and 2-dimensional Euclidean geometry (plane geometry). . When they learn about sin and cos, the students already have some idea about addition and measurement of angles, segments and areas; they already have accepted the axioms of Euclid, in particular his famous fifth parallel axiom, and they know the Pythagorean theorem. Therefore, the trigonometric functions are defined as ratios of the lengths of sides of the right-angled triangles, for example, the ratio of the length of a leg to that of the hypothenuse. We will outline this approach, but point out that an alternative approach is possible which does not rely on Euclid's axioms. This approach, which is more advanced in that it needs some knowledge of differential calculus, will be given in the next sextion.

Definition of sine and cosine in plane geometry

Fig .1. Acute angle α is ∠CAB; ∠CBA = 90°.

The most elementary definition of the functions sine and cosine follows from Fig. 1. We see a right-angled triangle ABC (black) with an acute angle α. By definition sinα is equal to the the length a of the side opposite angle α divided by the hypotenuse, which has length b. The cosine of α is the length c of the side adjacent to α divided by the length of the hypotenuse b:

$\sin \alpha \,{\stackrel {\mathrm {def} }{=}}\,{\frac {a}{b}},\qquad \cos \alpha \,{\stackrel {\mathrm {def} }{=}}\,{\frac {c}{b}}.$

Applying the same definitions to the complementary angle ∠DAC (= 90°−α) we find from the dashed blue triangle in Fig. 1,

$\sin(90^{\circ }-\alpha )=\cos \alpha ={\frac {c}{b}},\qquad \cos(90^{\circ }-\alpha )=\sin \alpha ={\frac {a}{b}}.$

We see that for complementary angles the functions sine and cosine are interchanged, hence the name "cosine" (short for "complementary sine").

The Pythagorean theorem states that b² = a²+c², so that we get the following important relation between the sine and the cosine functions

$(\sin \alpha )^{2}+(\cos \alpha )^{2}={\frac {a^{2}}{b^{2}}}+{\frac {c^{2}}{b^{2}}}={\frac {a^{2}+c^{2}}{b^{2}}}={\frac {b^{2}}{b^{2}}}=1.$

Since this elementary definition of sine and cosine is in terms of ratios of lengths, which are positive, the definition needs to be generalized in order to account for negative function values.

Cartesian definition

We recall that a vector r in a 2-dimensional plane can be represented by two Cartesian coordinates, which are real numbers: r = (x, y). These numbers are the projections of r on the x- and the y-axis, respectively. The length of r is denoted by |r| and is defined by

$|\mathbf {r} |\,{\stackrel {\mathrm {def} }{=}}\,{\sqrt {x^{2}+y^{2}}}.$

Assuming that the length of r is non-zero we can divide the components of the vector by it and obtain a unit vector e_r, which by definition has length unity. Unit vectors in the plane have their endpoints on a unit circle (circle with unit radius).

Consider Fig. 1 again. Assume now that the length b equals 1, then the vector e_AC pointing from point A to point C is a unit vector. Assume a Cartesian system of axes with the origin in A and let the x-axis be along A–B and the y-axis be along A–D. Clearly cosα = c is the projection of e_AC on the x-axis, i.e., cosα = c is the x-coordinate of this unit vector. Similarly sinα = a is the y coordinate of the unit vector. This observation leads to the following definition, which is a generalization of the earlier one.

Write e_x for a unit vector on the x-axis and e_y for a unit vector on the y-axis.

Definition: If e is a unit vector obtained from e_x by a positive (counter-clockwise) rotation over the angle α, then cosα is the x coordinate of e and sinα is the y coordinate of e:

$\mathbf {e} \,{\stackrel {\mathrm {def} }{=}}\,\cos \alpha \,\mathbf {e} _{x}+\sin \alpha \,\mathbf {e} _{y},\qquad |\mathbf {e} |\equiv 1=(\cos \alpha )^{2}+(\sin(\alpha )^{2}.$

The unit vector e is depicted (as a red vector with endpoint on the unit circle) in the four different quadrants in Fig. 2.

Fig. 2. Unit vector e (shown in red) in different quadrants. Projection on x-axis is cos α, projection on y-axis is sin α.

Signs of sine and cosine
Quadrant	Range α	cos	sin
I	00< α < 900	+	+
II	900< α < 1800	−	+
III	1800< α < 2700	−	−
IV	2700< α < 3600	+	−

Clearly, if α=0° then e = e_x. If α=90° then e = e_y. If α=180° then e = −e_x. Thus,

${\begin{aligned}\cos 0^{\circ }&=1,&\sin 0^{\circ }&=0\\\cos 90^{\circ }&=0,&\sin 90^{\circ }&=1\\\cos 180^{\circ }&=-1,&\sin 180^{\circ }&=0\end{aligned}}$

It is also clear from the definition that, when α is rotated over more than 360°, the unit vector is back at an angle between 0° and 360°. Therefore, for positive integer k,

$\cos(\alpha +360^{\circ }\cdot k)=\cos(\alpha ),\qquad \sin(\alpha +360^{\circ }\cdot k)=\sin(\alpha ).$

Negative angles are defined by rotating the unit vector clockwise. By definition reflection in the x-axis changes the components of the unit vector thus,

$x\mapsto x,\qquad y\mapsto -y$

Further one sees easily that α is mapped to −α under this reflection. That is, upon reflection α and the y-coordinate change sign and the x-coordinate is invariant (stays the same), hence

$\sin(-\alpha )=-\sin(\alpha ),\qquad \cos(-\alpha )=\cos(\alpha ).$

When one rotates the unit vector clockwise over more than 360° one arrives again at a position between 0° and 360°, so that for positive integer k,

$\cos(\alpha -360^{\circ }\cdot k)=\cos(\alpha ),\qquad \sin(\alpha -360^{\circ }\cdot k)=\sin(\alpha ).$

By standard arguments of plane Euclidean geometry one can compute the numerical values of sine and cosine for a few specific angles. The application of differential calculus (see later in this article) allows the computation of the function values for all angles. Thus, one obtains the graphs shown in Fig. 3.

Fig. 3. The functions sin(x) and cos(x) for x running from −360° to 360°

Sum formulas

The following equations hold:

${\begin{aligned}\cos(\alpha +\beta )&=\cos \alpha \cos \beta -\sin \alpha \sin \beta \\\sin(\alpha +\beta )&=\sin \alpha \cos \beta +\cos \alpha \sin \beta \end{aligned}}$

Proof

Fig. 4A: Rotated (green) unit vectors e_{x ′} and e_{y ′} expressed in original (black) unit vectors e_x and e_y.
Fig. 4B: Rotated (red) unit vector e_{x "} expressed with respect to the primed (green) vectors.
Fig. 4C: The vector e_{x "} expressed with respect to the unprimed (black) vectors

The proof is easiest in matrix notation. Because we do not expect readers to know this notation we give the proof in long-hand notation and only indicate briefly the equivalent matrix form. The unit vectors and angles that play a role in the proof are depicted in Fig. 4.

As shown in Fig. 4A, the singly primed (green) unit vectors are given in terms of the unprimed (black) unit vectors by

${\begin{aligned}\mathbf {e} _{x'}&=\cos \alpha \,\mathbf {e} _{x}+\sin \alpha \,\mathbf {e} _{y}\\\mathbf {e} _{y'}&=-\sin \alpha \,\mathbf {e} _{x}+\cos \alpha \,\mathbf {e} _{y}\end{aligned}}\quad \Longleftrightarrow \quad {\begin{pmatrix}\mathbf {e} _{x'}\\\mathbf {e} _{y'}\end{pmatrix}}={\begin{pmatrix}\cos \alpha &\sin \alpha \\-\sin \alpha &\cos \alpha \end{pmatrix}}{\begin{pmatrix}\mathbf {e} _{x}\\\mathbf {e} _{y}\end{pmatrix}}$

In Fig. 4B the doubly primed (red) unit vector e_{x "} is given in terms of the singly primed (green) unit vectors by

$\mathbf {e} _{x''}=\cos \beta \,\mathbf {e} _{x'}+\sin \beta \,\mathbf {e} _{y'}\quad \Longleftrightarrow \quad \mathbf {e} _{x''}=(\cos \beta ,\,\,\sin \beta ){\begin{pmatrix}\mathbf {e} _{x'}\\\mathbf {e} _{y'}\end{pmatrix}}$

In Fig. 4C the doubly primed (red) vector e_{x "} is given in terms of the unprimed (black) vectors:

$\mathbf {e} _{x''}=\cos(\alpha +\beta )\,\mathbf {e} _{x}+\sin(\alpha +\beta )\,\mathbf {e} _{y}\qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad (1)$

Substitution of the expression for the singly primed unit vectors (green) in terms of the unprimed vectors (black) into the expression for e_{x "} gives :

$\mathbf {e} _{x''}=\cos \beta (\cos \alpha \,\mathbf {e} _{x}+\sin \alpha \,\mathbf {e} _{y})+\sin \beta (-\sin \alpha \,\mathbf {e} _{x}+\cos \alpha \,\mathbf {e} _{y})$

Upon rearranging,

$\mathbf {e} _{x''}=(\cos \alpha \cos \beta -\sin \alpha \sin \beta )\,\mathbf {e} _{x}+(\sin \alpha \cos \beta +\cos \alpha \sin \beta )\,\mathbf {e} _{y}\qquad \qquad \qquad (2)$

(In matrix notation the last two expression are equivalent to the multiplication of a row vector with a square matrix). Putting Eqs. (1) and (2) for e_{x "} in terms of the unprimed unit vectors side by side, we find the equations to be proved. This conclusion is allowed because e_x and e_y are linearly independent.

Definition by differential equations

The definitions of derivative and integral do not refer to trigonometric functions, and the basic properties of integrals and derivatives (in particular the Cauchy-Kowalevski theorem of existence and uniqueness of solution of the Cauchy problem) can be deduced without reference to sin, cos, or any axioms of Euclidean geometry. Therefore, a natural and consistent way of defining the functions sin and cos is via differential equations. We will indicate the first derivative of a function with respect to its variable by a prime.

Definition

The functions sin and cos are solutions of the following system of equations

(1)    $\sin '(t)=~\cos(t)\,$

(2)    $\cos '(t)=-\sin(t)\,$

with conditions

(3)    $\sin(0)=0\,$

(4)    $\cos(0)=1\,$

Usually, it is assumed that the independent variable t is real; in that case, the values of the functions sin and cos are also real numbers. However, the definition above can be used for complex numbers too.

The present definition does not imply additional concepts about angles and sums of angles; and does not require the Pythagorean theorem or even the parallel axiom of Euclidean geometry. Furthermore the definition does not refer to the concept of the number Pi ($\,\pi$) and therefore can be used for the definition of $\,\pi$. But, one pays for this by having to deduce the naively-obvious properties of sin and cos from the system (1)–(4).

Sum of squares

Consider the function $\,z(t)=\sin(t)^{2}+\cos(t)^{2}$. From equations (1) and (2) it follows that $\,z'(t)=0$, i.e., $\,z(t)=z(0)=$constant . Evaluation of this constant from equations (2) and (3) gives $\,z(t)=1$ for all $\,t$, i.e.,

(5)    $\,\sin(t)^{2}+\cos(t)^{2}=1$

In this article, the superscript as indicator of exponentiation is always written last to specify the argument, avoiding the confusions.

For the equation (5) it follows, that for all real values of t the functions sin(t) and cos(t) are bounded:

(6)    $-1\leq \sin(t)\leq 1$

(7)    $-1\leq \cos(t)\leq 1$

These properties allow efficient bracketing of functions sin and cos.

Bracketing

Consider $sin(x)$ and $\cos(x)$ in the case $x>0$. From equation (1) it follows, that $\sin '(x)\leq 1$. Integration of the last inequality with respect to $x$ from 0 to $t$ gives: $\sin(t)-\sin(0)<t$. Using equation (3) we write

(8) $\sin(t)<t$ .

Rewrite (8) as $-t<-\sin(t)$ and apply equation(2):

$-t<\cos '(t)$

Integrating this inequality with respect to $t$ from 0 to $x$ gives:

$-x^{2}/2<\cos(x)-\cos(0)$

Using equation(4) gives

(9) $1-x^{2}/2<\cos(x)<1$

The last "<" just follows from equation (7). Using equation (1) gives

(10) $1-x^{2}/2<\sin '(x)<1$

Integrating equation (12) with respect to $x$ from 0 to $t$ gives

(11) $t-t^{3}/6<\sin(t)<t$

Rewrite it as

$-t<-\sin(t)<-t+t^{3}/6$

and apply equation (2):

$-t<\cos '(t)<-t+t^{3}/6$

Integrating this equation with respect to $t$ from 0 to $x$ gives

$-x^{2}/2<\cos(x)-\cos(0)<-x^{2}/2+x^{3}/6$

(12) $1-x^{2}/2<\cos(x)<1-x^{2}/2+x^{4}/24$

Continuing this exercise, one can obtain more and more narrow bounds for values of sin and cos.

However, even equations (9,12) are sufficient to see that both both sin and cos remain positive while, the argument is within (0,1) range. This property is used below to reveal periodicity of these funcitons.

Mathematical induction

Applying the mathematical induction, it is possible to show that for positive integer $N$

(13) $\sum _{n=0}^{2N+1}{\frac {x~(-x^{2})^{n}}{(2n+1)!}}\leq \sin(x)\leq \sum _{n=0}^{2N}{\frac {x(-x^{2})^{n}}{(2n+1)!}}$

(14) $\sum _{n=0}^{2N+1}{\frac {~~(-x^{2})^{n}}{(2n)!}}\leq \cos(x)\leq \sum _{n=0}^{2N}{\frac {(-x^{2})^{n}}{(2n)!}}$

and equality takes place only at $x=0$.

Is cos always larger than sin?

Consider the range $0<t<P$ such that both $\sin(t)$ and $\cos(t)$ are positive; let $P$ be exact upper bound of such interval. Within this interval, sin is monotonously increasing, and cos is monotonously decreasing. Therefore, there exist one and only one solution $p$ of the equation

(13) $\sin(p)=\cos(p)$

Let us estimate value of this solution.

Consider the special case, substitute $x=1$ into equation(13) and $t=1$ into equation(11). This gives

$\cos(1)<1-1/2+1/24=13/24$

$\sin(1)>1-1/6=5/6=20/24$

In such a way,

(14) $\sin(1)>\cos(1)$

hence,

(15) $p<1$.

Substitute $x=3/4$ into equation (11); this gives

(16) $\cos(3/4)>1-(3/4)^{2}/2=23/32$

(17) $\cos(3/4)^{2}>529/1024>1/2$

From equation (5) it follows that

(18) $\sin(3/4)^{2}=1-\cos(3/4)^{2}<1-529/1024<1/2$

(19) $\sin(3/4)^{2}<\cos(3/4)^{2}$

Both sin and cos are positive in the range (0,1); and, therefore,

(20) $\sin(3/4)<\cos(3/4)$

Therefore,

(21) $3/4<p<1$.

Symmetry and sense of number $P$

Change of variables $t$ to $-t$ and replacement $\sin$ to $-\sin$ keeps the system (1)-(4) invariant. This means that

(22) $\sin(-t)=-\sin(t)$

(23) $\cos(-t)=\cos(t)$

Consider replacement $t$ to $p-t$, cos to sin, and sin to cos. Due to equation (13), such a replacement preserves the equations (1-4); therefore,

(24) $\sin(p-t)=\cos(t)$

(25) $\cos(t-p)=\sin(t)$

Then, $P=2p$, and

(26) $\sin(t+P)=\cos(P)$

(27) $\cos(t+P)=-\sin(P)$

It follows, that functions sin and cos are periodic; and

(30) $2\pi =4P=8p$

is period. The deduction above can be used as definition of number $\pi$. In such a way, $\pi$ appears as half of period of functions which are solutions of equations (1,2).

For definition of $\pi$, equations (1,2) are sufficient: due to the linearity of equations and the translational invariance, conditions (3,4) do not affect the period; all the solutions with different conditions at zero have the same period.

From estimate (21) it follows that

(31)$3<\pi <4$

The improvement of this estimate using the expansions (13), (14) is possible but computationally non-efficient. The efficient algorithms for evaluation of $\pi$ are mentioned in the spacial article about Pi. Usually, the efficient algorithms require more efforts for the deduction.

Notes