El pasado fin de semana se celebró en Santander la Olimpiada Matemática Española 2012 (OME). Y al igual que ya hemos hecho por aquí en otras ocasiones, vamos a proponeros los seis problemas de esta edición en las próximas semanas.
Comencemos hoy con el primero del primer día, el viernes 23 de marzo:
Determinar razonadamente si el número
es irracional para todo entero no negativo
Que se os dé bien.
Agradezco enormemente a @juanripu que me haya enviado los enunciados para poner proponerlos a partir de hoy.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Para n par es fácil, pero para n impar tengo que pensar.
Tomando módulo 5 se resuelve sin muchas complicaciones
Y con modulo 2 tambien es sencillo
Es bastante sencillo, pero queda probar una cosa… «la raíz de todo número entero es irracional siempre que no sea entera?».
a(n) = 3n^2 + 2n + 2
Si n = 1 ó 3 (mod 4), a(n) = 3 (mod 4)
Si n = 0 ó 2 (mod 4), a(n) = 2 (mod 4)
Pero los cuadrados módulo 4 son únicamente 0 y 1, luego es imposible.
En cuanto a que la raíz de un entero no puede ser racional no entera, es fácil. Supongamos que u es entero y
con mcd(p, q) = 1. Entonces,
Pero esto es imposible pues p y q no tienen factores comunes y u es entero. A menos que
La aritmética modular es una de las grandes maravillas de las matemáticas. Yo lo había resuelto tomando módulo 4. Pero acabo de leer por aquí, que con módulo 5 y módulo 2 sale también bastante fácil.
Igual es que estoy obcecado, pero no acabo de verlo en estos módulos, pues no puedes usar el argumento de Ignacio, ya que el equivalente a(n) si es un cuadrado para algunos n (en el Z/5Z correspondiente)… Alguna indicación??
juanripu, con respecto a tu cuestión, una prueba general para raíces enésimas es la siguiente
https://gaussianos.com/una-demostracion-geometrica-de-la-irracionalidad-de-raiz-de-2/#comment-22207
Jorge, si se desea resolverlo usando congruencias módulo 5, con el mismo razonamiento para módulo 4, la única posibilidad compatible a priori es
. Pero si 
, entonces 
no puede ser cuadrado ya que el factor entre paréntesis no es múltiplo de 5.
Información Bitacoras.com…
Valora en Bitacoras.com: El pasado fin de semana se celebró en Santander la Olimpiada Matemática Española 2012 (OME). Y al igual que ya hemos hecho por aquí en otras ocasiones, vamos a proponeros los seis problemas de esta edición en las próxim……
Yo gane el bronce gracias a este problema XP
Por inducción es fácil, ¿no?
Lambda(1) al cuadrado = 7 ===> Lambda(1) es irracional
Lambda(n+1) al cuadrado = Lambda(n) al cuadrado + 6n +5 = Un irracional + un entero====> Lambda(n+1) al cuadrado es irracional ====> Lambda(n+1) es irracional
(Perdón por no escribirlo en latex)
Para n impar es algo mas complicado pero se resuelve sin complicaciones.
Estoy de acuerdo con «Soy feisimo» : Para «n» par, facilísimo y para «n» impar un poco mas complicado (no mucho), pero sin problemas
Yo lo demostre usando un poco de algebra abstracta, utilizando que $Q$ es cuerpo
\lambda_{n}=\sqrt{3n^{2}+2n+2}
=\sqrt{3}\sqrt{n+\frac{1+\sqrt{5}i}{2}}\sqrt{n+\frac{1-\sqrt{5}i}{2}}
Dado que $(Q,+,.)$ es cuerpo, entonces suponiendo que $\lambda_{n}=\frac{a}{b}$ entonces $\sqrt{3}\in\mathbb{Q}$ y $\sqrt{n+\frac{1+\sqrt{5}i}{2}}\in\mathbb{Q}$ y $\sqrt{n+\frac{1-\sqrt{5}i}{2}}\in\mathbb{Q}$
que es una contradiccion.
Por tanto, $\lambda_{n}\notin Q$
Si quereis os digo que os lo diga mi amigo que ha sio el que ha gano la olimpiada matemática http://www.latribunadealbacete.es/noticia/Z5709CA3B-E65C-F8E9-5F1137B36A436872/20120328/hijo/nieto/tobarre%C3%B1os/gana/olimpiada/matematica/nacional
Este es el más fácil de todos con diferencia, casi todos lo hicimos. La solución «oficial» consiste en separar por casos, si es par y si es impar. Se es par es directo, y si es impar toman congruencias módulo 8… Aunque yo lo hice sin congruencias y también salía muy fácil…
Su dificultad hace honor a que sea el problema nº1. Fácil fácil y casi todos lo consiguieron resolver sin problemas.
Vale facil, pero … ¿para que edad de niños es?
Un Saludo.