Coseno irracional

El problema de esta semana es corto pero directo:

Demostrar que cos(1^\circ) es irracional.

Probablemente no os resulte demasiado complicado, pero quiero ver qué se os ocurre. Ánimo y suerte a todos y todas.

Autor: ^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes seguirme en Twitter o indicar que te gusta mi página de Facebook.

13 Comentarios

  1. Puede que haya opciones más sencillas, pero esta es la que se me ha ocurrido a mí. Consiste en partir del conocimiento de que cos\left(45^o\right) es trivialmente irracional y relacionarlo con el de su cuarentaicincoava parte. De las igualdades trigonométricas:

    \cos\left(nx\right)=\cos\left[\left(n-1\right)x+x\right]=\cos\left[\left(n-1\right)x\right)\cos x-\sin\left[\left(n-1\right)x\right]\sin x

    y

    \cos\left[\left(n-2\right)x\right]=\cos\left[\left(n-1\right)x-x\right]=\cos\left[\left(n-1\right)x\right)\cos x+\sin\left[\left(n-1\right)x\right]\sin x

    podemos despejar la siguiente relación que sólo involucra cosenos:

    \cos\left(nx\right)=2\cos\left[\left(n-1\right)x\right]\cos x-\cos\left[\left(n-2\right)x\right]

    Tomando n=45,x=1^o y aplicando esta fórmula sucesivamente, podemos llegar a que aparezcan sólo términos con n\in\left\{0,1\right\}, es decir, llegar a un polinomio en \cos\left(1^o\right), que además tendrá claramente coeficientes enteros por serlo también \cos\left(0\right)=1.

    Supongamos que \cos\left(1^o\right)\in\mathbb{Q}. Luego al sustituirlo en un polinomio con coeficientes enteros obtendríamos también un valor racional. Pero \cos\left(45^o\right)\in\mathbb{I}, con lo cual llegamos a una contradicción y demostramos que el coseno considerado no es, de hecho, racional.

    Publica una respuesta
  2. Corrección: en lugar de \mathbb{I} (que son los imaginarios) debería poner \mathbb{R}-\mathbb{Q}.

    Publica una respuesta
  3. Puede que Pi sea irracional, pero eso no implica que Coseno(x) donde x sea irracional, sea irracional, no se si me explico. Por ejemplo, Cos(2*Pi), es racional.
    Ya otro dia aprendo a usar latex.

    Publica una respuesta
  4. PelaoX, pero siempre podrás desarrollar el $\cos{x}$ en una serie de Taylor en la que aparecerán sumas de potencias de $x$, y por lo tanto también será irracional.

    Publica una respuesta
  5. Correción Pasotaman: el conjunto de los números imaginarios (complejos) se designa con \mathbb{C} y no con \mathbb{I}.

    Para designar a los números irracionales puede usarse tanto \mathbb{R}-\mathbb{Q} como \mathbb{I}.

    Publica una respuesta
  6. otra manera es poniendo el seno en funcion de el numero e y luego se tiene una relacion e elevado a la pi sobre 180 que es irracional.

    Publica una respuesta
  7. Jose los complejos tambien abarcan a los reales por lo tanto si nos referimos a los imaginarios una notacion es Im.

    Publica una respuesta
  8. Toda la razón. He de decir que en algún que otro libro sobre Teoría de Números he visto la notación para los irracionales expuesta más arriba.
    Siento el malentendido.
    Un Saludo.

    Publica una respuesta
  9. xator, el derarrollo en serie de potencias no sirve para demostrarlo, porque tambien se puede hacer el desarrollo del cos(Pi), que aunque sea una sumatoria de producto de irracionales (potencias de Pi), la suma es racional.

    Publica una respuesta
  10. Hola,
    Acabo de ver este post y se me ha ocurrido algo más corto, a ver qué os parece:
    \cos^21=\frac{1+\cos2}{2} y, si suponemos que \cos1\in\mathbb Q entonces se tendrá
    \frac{1+\cos2}{2}=\frac{a^2}{b^2}. De donde (1+cos2)b^2=2a^2 lo que es una contradicción.

    Publica una respuesta

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.

Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.

Envía un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *