En trigonometra el coseno de un ngulo agudo en un tringulo rectngulo se define como la razn entre el cateto adyacente* a ese ngulo y la hipotenusa

(*):

En virtud del teorema de Tales (**), este nmero no depende del tringulo escogido y, por lo tanto, est bien construido y define una funcin del ngulo Otro modo de obtener el coseno de un Angulo consiste en representar ste sobre la circunferencia goniometrica (***), es decir, la circunferencia unitaria centrada en el origen. En este caso el valor del coseno coincide con la abscisa del punto de interseccin del Angulo con la circunferencia. Esta construccin es la que permite obtener el valor del coseno para ngulos no agudos. En anlisis matemtico el coseno es la funcin que asocia un nmero con el valor del coseno del ngulo de amplitud, expresada en radianes, . Es una funcin trascendente y analtica, cuya expresin en serie de potencias es

La serie de potencias anterior proporciona a su vez la extensin de la funcin coseno al plano complejo del siguiente modo:

Donde i es la unidad imaginaria.

Coseno de una suma o resta de ngulos

Coseno de la diferencia de dos ngulos

Esta identidad trigonomtrica se muestra a partir del producto escalar de dos vectores.

Utilizando las dos definiciones de producto escalar se obtiene:

Por igualacin se define que

Las componentes de los vectores se pueden reemplazar como la proyeccin de su mdulo sobre los ejes, es decir

Reemplazando esta propiedad en ambos vectores nos queda

Extrayendo como factor comn los mdulos de los vectores en el segundo miembro

Simplificando nos queda la identidad trigonomtrica

Coseno de la suma de dos ngulos

Si hacemos

obtenemos la resta. Como el coseno es par, el signo no importa y cmo el seno es impar, el signo sale

Forma resumida

Coseno de un ngulo doble

Tenemos que

Hagamos Entonces

Coseno del ngulo medio

Ntese que con un simple manejo algebraico podemos obtener la frmula del coseno del ngulo medio. Sea

Como

la podemos escribir como

Sea Entonces obtenemos

y analizando los signos de la expresin para cada cuadrante, concluimos que:

Transformacin de una suma de cosenos en producto

Demostracin Sabiendo que Entonces

Hagamos

Entonces, resolviendo el sistema se tiene que

Reemplazando se obtiene

Anlogamente se demuestra para

Derivada del coseno

Segn la definicin de derivada:

lo que es Entonces, usando las frmulas anteriormente sealadas, se tiene que

Sabiendo que

y que el primer lmite queda determinado, entonces

*=

**=Primer teorema de Tales: Si por un tringulo se traza una lnea paralela a cualquiera de sus lados, se obtienen dos tringulos semejantes. Segundo teorema de Tales: Sea B un punto de la circunferencia de dimetro AC, distinto de A y de C. Entonces el tringulo ABC, es un tringulo rectngulo ***= Una circunferencia goniometrica tiene su centro en el origen de coordenadas y su radio es la unidad. La circunferencia goniometrica y los ejes de coordenadas delimitan cuatro cuadrantes que se numeran en sentido contrario a las agujas del reloj.