Demostraciones de Las Identidades Trigonometricas
Demostraciones de Las Identidades Trigonometricas
Demostraciones de Las Identidades Trigonometricas
1. Dado dos números reales cualesquiera x, y ∈ R, ocurre una y solo una de las siguientes
posibilidades:
a) x < y.
b) x = y.
c) y < x.
Suponemos que el alumno ha estudiado en Bachillerato todas las propiedades anteriores. Aquı́
quedan escritas como recordatorio.
1
Ejemplo 1. |3| = 3, | − π| = π.
Definición 2. Dados dos números reales x, y ∈ R se define la distancia entre ellos mediante la
fórmula |x − y|.
Ejemplo 2. La distancia entre 3 y −7 es |3 − (−7)| = |10| = 10.
Comentario 1. Teniendo en cuenta la definición anterior se puede decir que |x| es la distancia del
número x al 0 pues |x| = |x − 0|.
Teorema 1. Propiedades fundamentales del valor absoluto:
1. |x| ≥ 0 para todo x ∈ R.
2. |x| = 0 y si solo si x = 0.
3. | − x| = |x|.
4. |xy| = |x| |y|.
5. |x/y| = |x|/|y| asumiendo siempre que y 6= 0.
6. |x| = |y| si y solo si x = y o x = −y.
7. −|x| ≤ x ≤ |x|.
8. Sea r > 0. |x| ≤ r si y solo si −r ≤ x ≤ r
9. |x − a| ≤ r si y solo si a − r ≤ x ≤ a + r
10. |x + y| ≤ |x| + |y|.
Demostración. No estudiamos la demostración pero hay que saber utilizar y comprender todos los
apartados del teorema.
Los intervalos son subconjuntos de R muy especiales. Vienen definidos del siguiente modo:
1. Intervalos abiertos
(a, b) = {x ∈ R : a < x < b}
2. Intervalos cerrados
[a, b] = {x ∈ R : a ≤ x ≤ b}
4. Intervalos no acotados:
(a, +∞) = {x ∈ R : a < x}
[a, +∞) = {x ∈ R : a ≤ x}
(−∞, a) = {x ∈ R : x < a}
(−∞, a] = {x ∈ R : x ≤ a}
(−∞, +∞) = R
2
Clases de números reales especiales:
N⊂Z⊂Q⊂R
2. Funciones
Definición 3. Sea D un subconjunto de números reales D ⊂ R. Una función real f definida sobre
D es una regla que asigna a cada número real x ∈ D un único número real f (x) ∈ R. Se escribirá
ası́
f : D → R.
Usualmente una función se determina por una fórmula, como por ejemplo f (x) = x3 + x + 2
o g(x) = 1/x. La fórmula nos explica como computar el valor f (x) dado x. El sı́mbolo x se llama
variable independiente o argumento de la función. El conjunto D se llama dominio de la función y
el conjunto de todas las imágenes de los elementos de D se llama rango o imagen de la función:
3
2. d(P1 , P2 ) = d(P2 , P1 ).
Definición 4. Dada una función f : D → R, su grafo o gráfica es el conjunto de puntos (x, y) del
plano carteasiano de la forma (x, f (x)), con x perteneciente al dominio de la función D:
El grafo de una función se puede dibujar y es lo que solemos llamar curva: una función no es
más que la expresión analı́tica de una curva.
La representación gráfica nos permite visualizar propiedades interesantes de la función y la
función nos permitirá descubrir propiedades de la curva.
Estudiaremos conceptos como: paridad, imparidad, periodicidad, crecimiento, decrecimiento,
concavidad, convexidad, curvatura, inyectividad, sobreyectividad, biyectividad, continuidad, deri-
vabilidad, comportamientos asintóticos, etc.
Las funciones se pueden combinar para generar nuevas funciones. Se puede: sumar funciones,
restar funciones, multiplicar funciones, dividir funciones (cuidado!), componer funciones, etc. Da-
mos por supuesto que el alumno conoce como realizar estas operaciones básicas con funciones.
A continuación estudiamos una posible clasificación de los tipos de funciones atendiendo a su
complejidad algebraica.
f (x) = a
f (x) = a + bx,
Su gráfica es una recta no horizontal cuya pendiente depende del valor del coeficiente b.
Los polinomios de grado dos son de la forma f (x) = a + bx + cx2 y su gráfica es una curva
parabólica (parábola).
4
2. Funciones racionales. Son cocientes entre polinomios
p(x) a0 + a1 x + ... + an xn
f (x) = = .
q(x) b0 + b1 x + ... + bm xm
El dominio de una función racional es R menos el conjunto de puntos donde se anula el
denominador q(x). Como el conjunto de puntos donde se anula un polinomio es a lo sumo
un conjunto finito de puntos resulta que el dominio de definición de una función racional es
todo R salvo a lo sumo un número finito de puntos.
3. Funciones radicales. Si n ∈ N es un número natural no nulo, la función
f (x) = x1/n
se llama función radical de exponente 1/n.
4. Funciones algebraicas. Funciones algebraicas son aquellas que se construyen a partir de
las funciones polinómicas mediante sumas, restas, productos, divisiones y radicación.
5. Funciones trascendentes. Las funciones que no son algebraicas se llaman funciones tras-
cendentes. Son trascendentes por ejemplo las funciones trigonométricas, las funciones expo-
nenciales y las funciones logarı́tmicas que estudiaremos en las siguientes secciones.
5
Definición 7. Se define la función tangente mediante la fórmula:
sin(x)
tan(x) := .
cos(x)
Vamos a aprovechar este apartado para presentar un desarrollo matemático de una teorı́a,
en este caso, de las funciones trigonométricas. En toda teorı́a matemática hay unos axiomas de
partida, una serie de enunciados que se consideran ciertos (en nuestro caso serán cuatro propiedades
fundamentales que listamos a continuación), a partir de los cuales por razonamiento lógico se
demuestran todos los teoremas que componen el cuerpo de la teorı́a. En nuestro caso, vamos a
demostrar con rigor matemático teoremas sobre las funciones trigonométricas. Cada teorema debe
ser demostrado usando sólo los axiomas, los teoremas previamente demostrados y las reglas de la
lógica. Por supuesto, muchos de los resultados son evidentes desde el punto de vista geométrico,
pero haremos el ejercicio de escribir las demostraciones analı́ticas para que el alumno tenga un
ejemplo de desarrollo de una teorı́a matemática.
Siguiendo el libro Calculus de T. Apostol, las propiedades fundamentales o axiomas de las
funciones trigonométricas que vamos a considerar son las siguientes:
1. (Dominio de definición) Las funciones seno y coseno están definidas en toda la recta real.
6
2. (Valores especiales) cos 0 = 1, sin(π/2) = 1, cos(π) = −1 para 0 < π un cierto número real
que representa la longitud de media circunferencia unidad.
7
Teorema 5. sin(0) = cos(π/2) = sin(π) = 0.
Demostración. Por el teorema anterior, si x = 0, sin2 (0) + cos2 (0) = 1; como cos(0) = 1 es
inmediato que sin(0) = 0.
Para x = π/2, como sin(π/2) = 1, igual que antes, cos(π/2) = 0.
Para x = π, como cos(π) = −1, sin(π) = 0.
Teorema 6. cos(x) = cos(−x) para todo x
Demostración. Poniendo y = 0 en la fórmula del coseno de la diferencia:
cos(−x) = cos(0) cos(x) + sin(0) sin(x) = cos(x).
8
Teorema 11. cos(x + y) = cos(x) cos(y) − sin(x) sin(y) para todo x y para todo y.
Teorema 12. sin(x + y) = sin(x) cos(y) + cos(x) sin(y) para todo x y para todo y.
Demostración.
sin(x + y) = − cos(x + y + π/2)
= − cos x cos(y + π/2) + sin(x) sin(y + π/2)
= cos(x) sin(y) + sin(x) cos(y).
Teorema 13. sin(x − y) = sin(x) cos(y) − cos(x) sin(y) para todo x y para todo y.
Demostración.
sin(π − x) = sin π cos x + cos π sin(−x) = sin x.
Demostración.
cos(π − x) = cos π cos x + sin π sin(−x) = − cos x.
a−b a+b
Teorema 16. sin(a) − sin(b) = 2 sin cos .
2 2
Demostración. Obsérvese que
9
Teorema 19. cos(2x) = 2 cos2 (x) − 1.
Demostración. cos(2x) = cos(x + x) = cos2 (x) − sin2 (x) = 2 cos2 (x) − 1.
Teorema 20. sin((n + 1)x) = sin(x) cos(nx) + cos(x) sin(nx).
Teorema 21. cos((n + 1)x) = cos(x) cos(nx) − sin(x) sin(nx).
Partiendo de las fórmulas ya conocidas sin(2x) = 2 sin(x) cos(x) y cos(2x) = 2 cos2 (x) − 1
podemos obtener las siguientes fórmulas:
cos(3x) = cos3 (x) − 3 sin2 (x) cos(x).
sin(3x) = 3 sin(x) cos2 (x) − sin3 (x).
cos(4x) = cos4 (x) − 6 sin2 (x) cos2 (x) + sin4 (x).
sin(4x) = 4 sin(x) cos3 (x) − 4 sin3 (x) cos(x).
cos(5x) = cos5 (x) − 10 sin2 (x) cos3 (x) + 5 sin4 (x) cos(x).
sin(5x) = 5 sin(x) cos4 (x) − 10 sin3 (x) cos2 (x) + sin5 (x).
√
Teorema 22. cos(π/4) = ( 2)/2.
2
√ 0 = cos(π/2) = 2 cos (π/4) − 1, luego cos(π/4) = 1/2. Como cos(π/4) > 0,
Demostración.
cos(π/4) = ( 2)/2.
√
Teorema 23. sin(π/4) = ( 2)/2.
√ √
Demostración. 1 = sin(π/2) = 2 sin(π/4) cos(π/4) = 2 sin(π/4), luego sin(π/4) = 1/ 2.
En la siguiente tabla recogemos los valores particulares más usados de las funciones trigo-
nométricas.
10
Teorema 24. tan(0) = 0, tan(π/4) = 1.
Demostración. Ejercicio.
Teorema 25. tan(x) = − tan(−x) y lo mismo para cot(x).
Demostración. Ejercicio.
No es necesario que el alumno se aprenda las demostraciones, pero sı́ que vamos a suponer que
el alumno conoce todas las propiedades demostradas en esta sección y que sabe utilizarlas.
Comentario 5. La función inversa es la función caracterizada por cumplir las dos condiciones
siguientes:
1. f −1 (f (x)) = x para todo x ∈ A;
arcsin(x) = y ⇔ sin(y) = x.
Teorema 27. La función cos(x) es una biyección estrı́ctamente decreciente del intervalo [0, π] en
el intervalo [−1, 1].
11
Demostración. Sin demostración.
Definición 15. La función inversa del coseno se llama arcocoseno y de nota por arc cos(x). Es
una función estrı́ctamente decreciente, definida en el intervalo [−1, 1] y con valores en el intervalo
[0, π]. Viene determinada por la fórmula
Teorema 28. La función tan(x) es una biyección estrı́ctamente creciente entre el intervalo (−π/2, π/2)
y R.
Demostración. Sin demostración.
Definición 16. La función inversa de la tangente se llama arcotangente y de nota por arctan(x).
Es una función estrı́ctamente creciente, definida en R y con valores en el intervalo (−π/2, π/2).
Viene determinada por la fórmula
arctan(x) = y ⇔ tan(y) = x.
2. Toma valores positivos, esto es, bx > 0 para cualquier x ∈ R y cualquier b > 0.
3. Si b > 1 la función bx es una función estrı́ctamente creciente y iyectiva entre R y (0, +∞).
5. b0 = 1
7. bx /by = bx−y .
8. (bx )y = bxy .
Todas estas propiedades aunque no demostradas, se dan por conocidas por el alumno.
Definición 18. Sea b > 0, b 6= 1. Se define el logaritmo en base b como la función inversa de la
función exponencial de base b. Se escribirá ası́ logb (x).
Comentario 7. Por la definición de inversa tenemos que y = logb (x) si y solo si by = x. Ası́ que
logb (x) es el único número real al que hay que elevar b para obtener x como resultado.
12
Las propiedades del logaritmo son las siguientes.
6. El dominio de logb (x) es el intervalo (0, +∞). y el rango de logb (x) es R. De hecho logb (x)
es una biyección entre ambos conjuntos.
De todas las bases posibles existe una de ellas que es especial. Se puede definir de las siguientes
formas geométricas.
Definición 19. Se define el número e como el único número real que cumple lo siguiente: el área
encerrada por la gráfica de la hipérbola y = 1/x entre las verticales x = 1 y x = e es exactamente
igual a 1.
e = 2, 71828...
Comentario 9. También puede definirse e como el único número real tal que la pendiente de la
recta tangente a la gráfica de la función exponencial ex en el punto (0, 1) sea igual a 1.
Definición 20. El logaritmo en base e se llama logaritmo neperiano y se nota ln(x) y también
log(x), sin escribir la base.
Las funciones hiperbólicas seno hiperbólico, coseno hiperbólico y tangente hiperbólica son com-
binaciones de la función exponencial de base el número e.
ex − e−x
Definición 21. sinh(x) = para todo x ∈ R.
2
ex + e−x
Definición 22. cosh(x) = para todo x ∈ R.
2
sinh(x) ex − e−x
Definición 23. tanh(x) = = x para todo x ∈ R.
cosh(x) e + e−x
1
Definición 24. cosech(x) = para todo x.
sinh(x)
1
Definición 25. sech(x) = para todo x.
cosh(x)
13
1
Definición 26. coth(x) = para todo x.
tanh(x)
La función cosh(x) es estrı́ctamente creciente en el intervalo [0, +∞) y establece una biyección
de dicho intervalo en sı́ mismo. La función inversa se llama argumento del coseno hiperbólico y se
notará por argcosh(x).
La función senh(x) es estrı́ctamente creciente en R, y establece una biyección de R en R. La
función inversa se llama argumento del seno hiperbólico y se notará por argsenh(x).
La función tanh(x) es estrı́ctamente creciente en R y establece una biyección de R en (−1, 1).
La función inversa se llama argumento de la tangente hiperbólica y se notará por argtanh(x).
14
6. Hoja de problemas.
1. Escribe en forma de intervalo o unión de intervalos
a) {x ∈ R : |x − 2| < 4}.
b) {x ∈ R : |3x + 4| < 5}.
c) {x ∈ R : x/(1 + x) < 0}.
2. Supongamos que |x − 4| ≤ 1.
3. Usa la desigualdad triangular para demostrar que ||x| − |y|| ≤ |x − y| para cualesquiera dos
números reales x, y.
Solución. Observa que
|x| = |(x − y) + y| ≤ |x − y| + |y|
y por lo tanto
|x| − |y| ≤ |x + y|
Del mismo modo puedo demostrar que
|y| − |x| ≤ |x + y|
o lo que es lo mismo
−|x + y| ≤ |x| − |y|
Entonces está claro que
||x| − |y|| ≤ |x + y|
por el teorema de propiedades del valor absoluto.
15
√
5. Estudia la función x2 . ¿Coincide con la función polinómica p(x) = x?
p √
Solución. No coinciden pues f (−1) = −1 y sin embargo (−1)2 = 1 = 1. No√son la misma
función. Pero sı́ es verdad que coinciden en el intervalo [0, +∞). Observo que x2 = |x|.
a) f1 (x) = |x − 1|
b) f2 (x) = 1/(1 + x2 ).
c) f3 (x) = x3 .
d ) f4 (x) = x4 .
7. Demuestra que la suma de dos funciones pares es una función par y lo mismo ocurre con las
funciones impares. ¿Qué ocurre con el producto?
Solución. Pongamos que f y g son pares. Entonces cumplen f (x) = f (−x) y g(x) = g(−x)
para todo x del dominio de definición. Es claro que
12. Determina la ecuación de la circunferencia de centro el punto (1, 1) que pasa por el punto
(−1, −1).
16
√
14. Sean x, y dos números reales mayores que 0. Demuestra que xy ≤ (x + y)/2 (la media
geométrica siempre es menor o igual que la media aritmética).
√ √
Solución: Sean x > 0, y > 0. Considera ( x − y)2 que siempre es ≥ 0 pues El cuadrado de
un númro real es siempre no negativo:
√ √ √ √
0 ≤ ( x − y)2 = x + y − 2 x y
y despejando convenientemente
√ √ √ x+y
xy = x y≤ .
2
√
15. Sea f (x) = x y g(x) = x − 1. Estudia el dominio de g ◦ f y de f ◦ g.
17. Sea f (x) = (3x + 2)/(5x − 1). Determina la fórmula de la función inversa, el dominio y el
rango de f y de f −1 .
√
18. Estudia la invertibilidad de f (x) = x2 y de g(x) = 4 − x.
19. La velocidad de escape de un planeta de masa M y radio R viene dada por la fórmula
r
2GM
v=
R
Representa la función v = v(R) suponiendo M una constante, determinando su dominio y
su rango, calcula la función inversa R = R(v). Lo mismo suponiendo R constante y v como
función de M .
17
25. Simplifica cos(arcsin(x)) y tan(arcsin(x)).
28. Demuestra las siguientes fórmulas especificando las condiciones sobre a y b para que tengan
sentido:
a) logb x = (logb a)(loga x)
1
b) logb a = .
loga b
loga x
c) 1 + loga b = .
logab x
29. Describe el conjunto de números reales que verifican:
2
a) 2x > 4x+1 .
2
b) ax ≥ (a2 )x+1 .
31. La energia (en julios) E radiada por un seı́smo de magnitud en la escala de Richter igual a
M viene dada por
log10 E = 4, 8 + (3M )/2.
Expresa E como función de M y demuestra que si M se incrementa en 1 la energı́a se
incrementa por un factor de aproximadamente 31.
32. Para todo número real x existe un único número entero [x] tal que [x] ≤ x < [x] + 1. Tal
número se llama parte entera de x. Representa la gráfica de la función parte entera f (x) = [x].
n
X
Solución. Considera la función g(x) = (ak x + bk )2 . Es una función no negativa. Es un
k=1
polinomiomde grado 2 que se puede escribir ası́
donde n n n
X X X
A= a2k , B = ak bk , C = b2k ,
k=1 k=1 k=1
18