Los valores irracionales de cosenos de angulos racionales 18

Ah, esos irracionales

En la fase final de la enseñanza fundamental y en los primeros años de la enseñanza media, los
números irracionales se presentan a los alumnos. En ese momento es simple decir que
números irracionales son números reales que no son racionales, o sea, no pueden ser escritos
como una fracción formada por números enteros en el numerador y en el denominador. De
un modo general y bajo una visión más realista, dado un número real cualquiera, no es tan
simple decir si es o no irracional. Para tener una rápida idea de la naturaleza de esta cuestión,
recordamos al famoso pi, una de las constantes más populares y conocidas de toda
Matemática que tuvo su irracionalidad probada sólo en 1761 por Johann Hein- rich Lambert
(ver (6). Que ha ocurrido xix siglos después pi fue estudiado por primeras vez, de manera mas
científica, por Arquimides de Siracusa (289 a.c – 212 a.c). ver una prueba elemental de
iurracional de pi en [17] . En esta discusión, existen ejemplos simples de números reales como
e+pi,e*pi, piê,pi^pi, eê y 2ê 2 y que aún no se sabe si son o no irracionales (ver [16). Por este
hecho, en general, los ejemplos de números irracionales presentados en la Enseñanza Media
se repiten en las clases y libros didácticos y, la mayoría de las veces, sólo V2, v3, pi, e y (base
de los logaritmos naturales o neperianos) son recordados.

Algunos libros didácticos traen la demostración de la irracionalidad de V2, momento en que los
alumnos se enfrentan al método de demostración por reducción al absurdo (si el lector aún no
conoce ese método de demostración, recomendamos el libro (3). Bien, volviendo a nuestro
tema, es natural preguntarse cómo encontrarlo,

2.1 Ah, esos irracionales ..

Bien. Volviendo a nuestro tema, es natural preguntarse como encotrar otros tipos de números
irracionales más allá de los anteriores, y si existe una manera simple de encontrar números
irracionales bien distintos.

En la búsqueda de responder a la pregunta anterior y encontrar otros tipos de números

irracionales, algunos ejemplos implican funciones trigonométricas, como es el caso de
cos45=v2/2 y de cos30 =v3/2 estos tipos de números irracionales implican una vez más raíces
conocidas en sus expresiones, y su irracionalidad deriva del hecho de que. v2 y v3 son
irracionales (Ejercicio 2.3), lo que ciertamente no es novedad alguna. Por otro lado, aún sobre
la función trigonométrica cosseno, se tiene coso =1, cos90 =0 y, de ahí, se ve que la función
coseno puede asumir valores racionales e irracionales para ángulos racionales.

Teniendo en cuenta las observaciones anteriores y midiendo los ángulos a en grados, una
cuestión oportuna sería preguntar para qué valores a, el número cos a es racional o irracional.
Como hemos visto, se sabe que algunos valores racionales del coseno, evaluados en ángulos
racionales, son 0, + 1,y 1/+-2 algunos valores irracionales del coseno evaluados en ängulos
racionales son +-v2/2 y v3/2 . En resumen, conocemos ångulo racionales para los cuales el
coseno tiene valores racionales e irracionales.
 La pregunta definitiva y más natural que llegamos es: considerando la función cos Q [-1,1],
a cos a, con ángulos a medidos en grados, para que los valores de número cosa es
irracional?

La respuesta de esta pregunta es sorprendente y es justamente la que demostraremos en este

capítulo: el coseno de un ángulo racional, medido en grados, sólo puede asumir uno de cinco
valores racionales, que son exactamente aquellos viejos conocidos: 0,+-1/2 Y +-1

Con ese resultado es posible dar vários y varios ejemplos de números irracionales (Ejercicio
2.9), que ayudan a complementar la lista de aquellos presentados usualmente en libros
didácticos y en las clases del enseñanza media. Por ejemplo, los números cos 13 °, cos (32) cos
(-529, 123) , arcos (3/5) y arcos (-0,49), etc, son todos irracionales.

Pasemos a la demostración del principal resultado enunciado anteriormente, que se basa en el

artículo (8).

Un teorema bien legal (y no muy conocido- sobre números irracionales)

El teorema que deseamos mostrar es el siguiente:

Teorema 2.2.1. Sea a un ángulo racional medido en grados. Entonces, cos a E Q si, y sólo si,
cosa E (-1, -1/2,0, 1/2,1).

Demostración. Probemos la parte no inmediata de las implicaciones: a, cosa EQ -> cosaE (-1,
-1/2,0, 1/2,1) la recíproca y la parte ya conocida

Comencemos definiendo la sucesión (2cos2^k a) kEN

Analicemos ahora los posibles arcos formado por la sucesión (2^k a) kEN. Por hipótesis, el arco
a es racional. Si a = 0, nuestra demostración termina, pues cos a = 1. En el caso a =/ 0,
necesitaremos saber cuántas veces (a) cabe en un arco de 360. Para ello, basta hacer una
división 360/a=m/n que resulta un numero racional con m,n E Z. En caso que ocurra n=/1
vemos, que a no cabría un numero entero de veces en 360, pero eso no tratara ningún
problema, como veremos a continuación.

Ahora, notemos valer a iguald a=360.n/m si a>0, por ejemplo, esta última igualdad nos dice
que para encontrar un arco de medida a basta, a partir del 0 °, dar n vueltas en el sentido
contrario a las agujas del reloj en el círculo trigonométrico y luego dividir ese arco encontrado
en m pedazos (en el caso a <0, basta andar en el sentido horario). Observemos que m.a=360.n
o sea si marcamos en el círculo trigonométrico los arcos a, 2a, 3a, .. etc, el arco (m +1) .a
coincide justamente con el arco a, y el ciclo se cierra. Esto significa que a partir del arco
(m +1).a los arcos están marcados en los mismos lugares de arcos ya marcados anteriormente:
(m + 1).a=a, (m + 2) a 2a, (m + 3) .a 3a, (véase la Figura 2.1). De ahí, la sucesión infinita a, 2a,
3a, …. la asume, en realidad, sólo m valores distintos de arco.

Por lo que vimos arriba, la secuencia (ka) as

por lo que vimos arriba, la secuencia (ka) KEN, asume sólo un número finito de posición en el
círculo trigonometrico y así, por más razón aun, lo mismo ocurre con la sucesión (2^ka)KEN,
consecuentemente,la sucesión (2cos2^ka)KEN, asume solamnte una cantidad finita de valores.
Por otro lado, recordemos que cos2a= 2cos^2a-1 donde 2cos2a = [2cos2a]^2 -2. De ahí se
puede proponer que 2cos2^2 a = [2cos2a]^2 -2 (ejercicio 2.10) y mas generalmente probar la
igualdad .

(2cos2^ka)=[2cos2^(k-1)a]^2 -2 KEN (2.1)

Como cos (a) es racional, vamos a suponer que 2cosa =a0/b0 EQ, con a0 y bo primos entre si,
o sea , mdc(a0,b0)=1 (esto es lo mismo que asegurar que la fracción a0/b0 es irreducible).
Sigue directamente de la recurrencia (2.1) Que 2cos2^ka =ak/bk EQ para todo KE NJ , de
hecho simple, cuya demostración será dejada a cargo del lector (ejercicio 2.111)

2cos 2 a ==[2cos a]^2 - 2 = a0 – 2b0^2/bo^2

Y mdc (a0,b0) =1 entonces mdc (a0^2 – 2b0^2 ) = 1. De hecho, suponiendo mdc (ao^2 -2bo^2,
bo^2)=/1 debe de existir un p EN, primo, tal que p|[a0^2 – 2b0^2] y p|bo^2. Luego, p|b0 y,
por ekl hecho de p |( a0^2 – 2b0^2) siguiente que p|a0, un absurdo, ya que mdc(a0,b0) = 1

Ahora, 2cos 2ª = a1/b1, donde a1 =a0^2 -2b0^2 y b1=b0^2. Probamos en el párrafo anterior
que mdc (a1,b1)=1 utilizando lo mismo razonamiento y la recurrencia (2.1), se tiene

2cos 2^2 a==[2cos a]^2 - 2 = a0 – 2b1^2/b1^2

Donde mdc(a1^2 -2b1^2, b1^2) = 1.

De ahí llamando a2=a1^2-2b1^2 y b2=b1^2, se tiene:

2cos 2^2 a ==a2/b2,

Con mdc(a2,b2) = 1

Repitinedo el razonamiento, inductivamente, y usando la recurrencia (2.1), Concluimos que:

2cos 2^k a ==ak/bk,

Con mdc(ak,bk)=1 , para todo kEN (ejercicio 2.12).

Para finalizar la demostración, necesitamos probar que bo = +-1. Supongamos entonces, por
contradicción, que b0=/+-1. Como la sucesión (2cos2^ka) KEN asume solamente un numero
finito de valores distintos, existe k1,k2 E N, k2>k1, tal que 2cos2^k1a=2cos2^2k2a, o sea,

Ak1/bk1=ak2/bk2. Una ves que bk=(b0)^2^k , y como k2>k1 , debemos tener

bk2/bk1=(b0)^(2^k-2^k1) divide ak2 . por otro lado, se puede verificar atraves de inspección
directa que (b0)^2^k2-2^k1 también divide bk2=(bo)^2^k2. Como mdc(ak2 , bk2) = 1
inferimos que b0^2^k2-2^k1 = +- 1, una contradicción pues habíamos supuesto bo =/ +-1 .
Asi tenemos bo=1 o b0=-1.

Notemos ahora que de |ao/bo|=|2cosa|<=2 , siguiente |a|<=2, asi , aoE{-2,-1,0,1,2}. Luego ,

2cos a= ao/bo E {-2, -1, 0, 1, 2} yu por tanto cos a E {-1, -1/2, 0, ½, 1}, como queríamos
demostrar .
2.3 Conclusión

Además de responder a las preguntas motivadoras para este estudio, utilizando el resultado
que probamos, y posibles dar ejemplos de diversos números irracionales envolviendo el
coseno de Angulo racionales medidos en grados. Basta con considerar los números cosB, con
angulos B E Q , tal que

CosB E/ {-1, -1/2, 0, -1/2, 1}.

Un hecho importante de ser citado y que el teorema 2.2.1 vale también en casos de la función
seno. Este resultado queda como ejercicio (ejercicio 2.14).

Pasemos ahora a los ejercicios, que complementan la demostración del teorema y traen varios
otros hechos interesantes para los lectores.
2.4 ejercicios

Ejercicio 2.1 . ¿Usted conoce un método mnemotécnico para encontrar los valores del seno y
del coseno de los ängulos de 30 °, 45 y 60?

¿Por qué los ángulos anteriores se llaman ángulos notables? Búsqueda.

Ejercicio 2.2 enuncie y demuestre la reciproca del siguiente resultado, probado en el teorema
2.2.1

A, cos a E Q -> cos a E {-1, -1/2, 0, ½, 1}

Ejercicio 2.3.

Ejercicio 2.3. Rellene las tablas a continuación con las palabras número racional, número
irracional y nada se puede afirmar Justifique matemáticamente sus respuestas .

Suma Numero racional Numero irracional

Numero racional
Numero irracional

Producto Numero racional Numero irracional

Numero racional
Numero irracional

Ejercicio 2.4. Teniendo la comprobación de que un número es irracional, utilice la tabla

anterior para dar varios otros ejemplos de números irracional. Sabiendo que pi, v2 y v3 son
números irracionales, dé seis nuevos ejemplos de números irracionales

Ejercicio 2.5. Analice las siguientes afirmaciones:

“los números irracionales son números que no se pueden expresar como fracciones”.

Esta afirmación es cierta, ¿por qué? ¿Está equivocada?, ¿por qué? .

Ejercicio 2.6 Demuestre que toda fracción formada por números enteros puede escribirse
como una expresión decimal finito o infinito y periódica, y viceversa.

Ejercicio 2.7. Demostrar que cualquier expresión decimal finita puede ser escrita como una
fracción de tipo k/2^m.5^n donde k E Z Y M,N E N U{0}
Ejercicio 2.8. Ahora bien, toda fracción formada por números enteros o tiene una
representación decimal finita o una representación decimal infinita y periódica, llamada
decima periódica. Esta última idea nos da una mejor caracterización de números irracionales
que presentaremos a continuación Números irracionales son números cuya expresión decimal
es infinita y no periódica. Utilice la formulación anterior de número irracional para dar tres
ejemplos distintos de números irracionales. Capriche

Ejercicio 2.9.

1. demuestra que los números siguientes son irracionales: cos 13 °, cos (32/47), cos (-529,
123), arcos(3/5) y arccost-0,49)

2. De forma explícita, cuatro ejemplos de números irracionales que no aparecieron en el

texto, datos por senos o cosenos de angos.

3. ¿Es posible resolver el elemento anterior usando una calculadora? Justifique,

matemáticamente, su respuesta. Tejidos

Ejercicio 2.10. Demuestre las siguientes igualdades:

1. (cos 2a)= [2cosa]^2 -2

2. (2cos2^2a)=[2cos2a]^2 –2
3. (2cos2^3a)=[2cos2^2a]^2-2
4. Demuestre la identidad

(2cos2^ka)=[2cos2^k-1a]^2 – 2 , KE N

Ejercicio 2.11. Usando la recurrencia

(2cos2^ka)=[2cos2^k-1a]^2 – 2 , KE N

demuestre que si 2 cosa=ao /bo E Q Q, entonces 2cos2^ka ==ak/bk E Q para todo k E N

Ejercicio 2.12. Usando el principio de inducción finita pruebe que si 2cosa == ao/bo con
mdc(ao, bo) == 1, entonces

(2cos2^ka)=ak/bk con mdc (ak, bk)==1para todo KE N

Ejercicio 2.13. por que la sucesión

(2^ka)k E N =(a, 2a, 4a, 8a, ...) asume sólo un número finito de posiciones en el círculo
trigonométrico?

Ejercicio 2.14 El Teorema 2.2.1 vale, cambiándose coseno por seno. Enuncie el teorema y da
una breve justificación de cómo demostrarlo en caso de una función seno

Sugerencia: sena == cos (90 ° a).