View source for Trigonometry

'''Trigonometry''' is the study of relations between the side lengths and angles of triangles through the '''trigonometric functions'''. It is a fundamental branch of mathematics, and its discovery paved the way towards countless famous results.

In contest math, trigonometry is an integral subfield of both [[geometry]] and [[algebra]]. Many essential results in geometry are written in terms of the trigonometric functions, such as the [[Law of Sines]] and the [[Law of Cosines]]; many more, such as [[Stewart's Theorem]], are most easily proven using trigonometry. In algebra, expressions involving the trigonometric functions appear frequently on contests. These are solved by clever usage of the trigonometric functions' countless [[Trigonometric identities | identities]], which can simplify otherwise unwieldy equations.

Outside of competition math, trigonometry is the backbone of much of analysis. In particular, Fourier Analysis is written almost entirely in the language of the trigonometric functions.

== Definitions ==
The trigonometric functions can be defined in several equivalent ways. The definition usually taught first is the right triangle definition, for its ease of access. An intermediate to olympiad geometry course usually uses the unit circle definition of trigonometry. Beyond the scope of contest math, the Taylor series definition of trigonometry is preferred in order to extend trigonometry to a complex domain.

=== Right triangle definition ===
The right triangle definition of trigonometry involves the ratios between edges of a right triangle, with respect to a given angle. The definitions below will be referring to angle <math>A</math>, with side lengths specified in the diagram. Because angle <math>A</math> must be less than <math>90^{\circ}</math> for the triangle to stay right, these definitions only work for acute angles.

* '''Sine''': The sine of angle <math>A</math>, denoted <math>\sin (A)</math>, is defined as the ratio of the side opposite <math>A</math> to [[Image:Trig_triangle.png|thumb|right|350px]] the hypotenuse. <cmath>\sin (A) = \frac{\textrm{opposite}}{\textrm{hypotenuse}} = \frac{a}{c}.</cmath>
* '''Cosine''': The cosine of angle <math>A</math>, denoted <math>\sin (A)</math>, is defined as the ratio of the side adjacent <math>A</math> to the hypotenuse. <cmath>\cos (A) = \frac{\textrm{adjacent}}{\textrm{hypotenuse}} = \frac{b}{c}.</cmath>
* '''Tangent''': The tangent of angle <math>A</math>, denoted <math>\tan (A)</math>, is defined as the ratio of the side opposite <math>A</math> to the side adjacent to <math>A</math>. <cmath>\tan (A) = \frac{\textrm{opposite}}{\textrm{adjacent}} = \frac{a}{b}.</cmath>

A common mnemonic to remember this is '''SOH-CAH-TOA''', where '''S'''ine = '''O'''pposite / '''H'''ypotenuse, '''C'''osine = '''A'''djacent / '''H'''ypotenuse, and  '''T'''angent = '''O'''pposite / '''A'''djacent

More uncommon are the reciprocals of the trigonometric functions, listed below.
* '''Cosecant''': The cosecant of angle <math>A</math>, denoted <math>\csc (A)</math>, is defined as the reciprocal of the sine of <math>A</math>. <cmath>\csc (A) = \frac{1}{\sin (x)} = \frac{\textrm{hypotenuse}}{\textrm{opposite}} = \frac{c}{a}.</cmath>
* '''Secant''': The secant of angle <math>A</math>, denoted <math>\sec (A)</math>, is defined as the reciprocal of the cosine of <math>A</math>. <cmath>\sec (A) = \frac{1}{\cos (x)} = \frac{\textrm{hypotenuse}}{\textrm{adjacent}} = \frac{c}{b}.</cmath>
* '''Cotangent''': The cotangent of angle <math>A</math>, denoted <math>\cot (A)</math>, is defined as the reciprocal of the tangent of <math>A</math>. <cmath>\cot (A) = \frac{1}{\tan (x)} = \frac{\textrm{adjacent}}{\textrm{opposite}} = \frac{b}{a}.</cmath>

The right triangle definition is most commonly taught in introductory geometry classes for its simplicity. However, it has its limitations. It only works if <math>\triangle ABC</math> is right, which means that the trigonometric functions are only defined when angle <math>A</math> is acute.

Even though it is defined using right triangles, trigonometry is just as useful when used on acute and obtuse triangles. The [[Law of Sines]] and [[Law of Cosines]] mentioned below generalize the right triangle definition to include all triangles.

=== Unit circle definition ===
[[IMage:Unit_circle_trig.png|thumb|right|300px]] Consider the [[unit circle]], the circle with radius one centered at the origin. Starting at <math>(1, 0)</math>, walk a distance <math>\theta</math> counterclockwise around the unit circle, as shown in the diagram. The coordinates of this point are defined to be <math>(\cos (\theta), \sin (\theta) )</math>.

As for the other trigonometric functions, <math>\tan (\theta)</math> is defined to be the ratio of <math>\sin (\theta)</math> to <math>\cos (\theta)</math>, and cosecant, secant, and cotangent are defined to be the reciprocals of sine, cosine, and tangent, respectively.

The benefit of this definition is that it matches the right triangle definition for acute angles, but extends their domain from acute angles to all real-valued angles. As such, this definition is usually preferred in intermediate to olympiad geometry settings.

=== Taylor series definition ===
The [[Taylor series]] for sine and cosine are used as their *definitions* in all higher mathematics. This meets the rigorous standards of real analysis, and gives a concrete way to extend the definitions of trigonometric functions from the real numbers to the full complex plane. The Taylor series for sine and cosine are shown below: <cmath>\sin (x) = \sum_{n=0}^{\infty} (-1)^n \frac{x^{2n+1}}{(2n+1)!} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots</cmath> <cmath>\cos (x) = \sum_{n=0}^{\infty} (-1)^n \frac{x^{2n}}{(2n)!} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots</cmath>
These formulas are not used in high school math competitions. However, they do appear on the [[Putnam]] and other undergraduate competitions.

== Applications in Geometry ==
While trigonometry is useful at any level, intermediate competitions are particularly fond of geometry problems demanding trigonometry. In addition to those mentioned, here are some highlights of the applications of trigonometry to geometry:

=== Law of Sines ===
The [[Law of Sines]] states that in any <math>\triangle ABC</math>, <cmath>\frac{a}{\sin A}=\frac{b}{\sin B}=\frac{c}{\sin C}=2R,</cmath> where <math>a</math> is the side opposite to <math>A</math>, <math>b</math> opposite to <math>B</math>, <math>c</math> opposite to <math>C</math>, and <math>R</math> is the [[circumradius]] of <math>\triangle ABC</math>. The law of sines is particularly handy in problems involving the circumradius, seeing extremely wide usage in intermediate geometry.

=== Law of cosines ===
The [[Law of Cosines]] states that in any <math>\triangle ABC</math>, <cmath>c^2 = a^2 + b^2 - 2ab\cos (C),</cmath> where <math>a</math> is the side opposite to <math>A</math>, <math>b</math> opposite to <math>B</math>, and <math>c</math> opposite to <math>C</math>. It is a generalization of the [[Pythagorean Theorem]] and is used to prove several famous results, such as [[Heron's Formula]] and [[Stewart's Theorem]]. However, it sees limited applicability compared to the Law of Sines, as usage of the Law of Cosines can get algebra-heavy. It is helpful to memorize common, "nicer" values of sine and cosine as it can come in handy in contests, especially if you wish to apply either this or the Law of Sines to problems.

== Trigonometric identities ==
[[Trigonometric identities]] are expressions true for all inputs involving the trigonometric functions. Due to the natural relationship between their definitions, these identities run numerous. In contest math, the most useful of these are:
* [[Pythagorean identities]]
* [[Angle addition identities]]
* [[Double angle identities]]
* [[Half angle identities]]
* [[Sum-to-product identities]]
* [[Product-to-sum identities]]

== See also ==
* [[Trigonometric identities]]
* [[Law of Sines]]
* [[Law of Cosines]]
* [[Stewart's Theorem]]

[[Category:Trigonometry]]
[[Category:Definition]]