Ya comentamos algo sobre Sophie Germain en este post sobre el último teorema de Fermat. Los trabajos de esta matemática francesa estuvieron dedicados principalmente a la teoría de números, y más concretamente al último teorema de Fermat. En el transcurso de estos trabajos Sophie fue capaz de encontrar muchos resultados interesantes. Lo que hoy os traigo un un descubrimiento sencillo y curioso que probablemente apareciera durante el estudio de algún problema más complicado.
El enunciado es el siguiente:
Sabiendo que
es un número natural mayor que
, demostrar que el número
es siempre un número compuesto (es decir, que no es primo).
Espero vuestras respuestas.
Actualización: Aquí tenéis la solución del juego dada por mimetist. El proceso lo podéis ver en los comentarios:
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Muy buen trabajo homero. Ten en cuenta que aunque a veces no se llegue a la solución de un problema el trabajo hecho no cae en saco roto, se suelen conseguir cosas interesantes.
Estáis hechos unos monstruos
Hola!
Felicidades a Mimetist por encontrar la solución!
He seguido analizando el camino que yo estaba siguiendo, y se llega a un punto donde la única factorización posible es la de Mimetist…
Por ejemplo:
5^4+4 = 629 = 17*37
15^4+4 = 50629 = 197*257
Tienen una descomposición prima que es justamente la factorización de Mimetist, por lo tanto, para terminar mi demostración, necesariamente iba a tener que utilizar la factorización de la otra.
De todas formas, creo que son resultados interesantes a los que llegué, a pesar de que no llevaban directo a la solución.
Saludos!
Exacto, esa es. Seguro que después de esto ya no se te olvida
Ahí va, es cierto… (a + b)(a – b) = a² – b²
Es casi de EGB, nunca me acordaba de estas fórmulas, siempre hacía las operaciones
(a^2+2)^2 – (2a)^2 = (a^2 + 2a + 2)(a^2 – 2a + 2)
Espero que ya no se me olvide xD
¿Cómo que no?. Suma por diferencia = diferencia de cuadrados. Tú llegaste a una diferencia entre dos cosas al cuadrado. Sólo te faltaba usar esa formulita al revés.
El trabajo que lleva homero es muy muy interesante. A ver si consigue terminarlo y nos lo enseña
.
Y no te preocupes, intentaremos poner más cosas de este estilo.
Saludos
Jejejeje, muchas gracias.
La verdad es que soy muy garrulo, por ahí no habría podido seguir porque (aunque me suena) no tengo ni idea de cual es la fórmula de la suma por diferencia (lo voy a mirar ahora, claro jeje).
Pero en cuanto se me ocurrió lo de los cuadrados supe que iba encaminado (más con los resultados).
Yo sigo pensando que la demostración que más mola es la de homero, pero me quedo donde él xD.
me ha encantado esto, espero que pongais más cosas así
¡¡Buah!! Mi demostración habría molado más de ser cierta, jajajajajaja
Lástima no darme cuenta de que todos los números enteros pertenecen a Z4, ya decía que estaba desentrenado, además me lié en lo de los 4n + {0, 1, 2, 3} y dije lo que no era.
Bueno, mimetist enhorabuena aunque has hecho un castillote muy mono.
mimetist plas plas plas:
a^4 + 4 = (a^2 + 2a + 2)(a^2 – 2a + 2)
Esto demuestra que a^4 + 4 es compuesto, ya que puedo descomponerlo como producto de dos números enteros.
Te he dicho que lo tenías terminado porque en este comentario llegaste en un momento a
[(a^2) + 2]^2 – 4a^2
Y de ahí, usando la suma por diferencia (formulilla dada en el colegio
) llegas a lo que has llegado en tu último comentario, y por tanto a la solución.
Buen trabajo gente
Dios, homero, tu forma de verlo está genial… mis hallazgos quedan a la altura del betún… aunque yo sí lo he conseguido. jejeje. Lo de Neok también suena genial, aunque para pertenecer a Z4 no es necesario sumar 4 a (a^4)… de hecho lo que estás demostrando es que TODOS los números enteros pertenecen a Z4, piénsalo: Cualquier número que dividas entre 4 va a tener resto 0, 1, 2 o 3. Aunque a lo mejor estás proponiendo otra cosa, me he perdido en lo de los números complejos… :S Bueno, allá va lo que he “conseguido”: Siguiendo con el… Lee más »
Buenas noches . Vamos a ver, vayamos por partes: – neok: si te digo la verdad no le llego a pillar muy bien el sentido de tus explicaciones. No sé dónde quieres llegar con lo de Z4. Cualquier número es congruente con 0, 1, 2 ó 3 módulo 4 sin necesidad de sumarle un 4. Lo único que podríamos decir es que a^2 + 4 es congruente con a^2 módulo 4, pero no sé a qué podríamos llegar con eso. Sobre otro tema: 4n + 1 no es siempre compuesto. Por ejemplo, para n = 3 obtenemos 13, que es… Lee más »
No había leído lo de Neok… a la primera no lo entiendo, pero parece interesante. Voy a pensarlo también.
Hola! No lo he podido resolver completo todavía, pero pude avanzar un poco más. Escribamos a de la siguiente forma: a = b + 10n, con b y n naturales. Nos interesa probar sólo los valores impares de b, porque los pares ya se demostraron. Entonces: a^4 + 4 = b^4 + 40*b^3*n + 600*b^3*n^2 + 4000*b*n^3 + 10000*n^4 + 4 Podemos ver que la última cifra de a^4 + 4 será la misma que b^4 + 4, debido a que todos los otros términos terminan en 0. Analizando cada caso: b : b^4 : última cifra + 4 1… Lee más »
Quería añadir algo para ver si consigo una explicación algo más clara para todos. a^4 tiene como resultado un entero positivo, al ser a>1, y al sumarle a este entero positivo el número cuatro, automáticamente este número pasa a pertenecer al conjunto de Z4 = {0, 1, 2, 3} (que si no lo llamo mal o no me equivoco es ese que he puesto) siendo 0, 1, 2, 3 las clases de equivalencia correspondientes (creo que era así, estoy algo desentrenado en teoría de números). Con esto tendríamos que cualquier número de esa ecuación (a^4 + 4) pertenece a Z4,… Lee más »
Ese más cuatro que hay me parece un tanto sospechoso, y creo que se podría realizar algún tipo de operación/demostración algo más compleja disminuyendo el conjunto de números a Z4. A lo mejor así se consigue algo distinto y novedoso, que conste no tengo ni idea de si lo que digo puede resultar útil ni tengo idea de la demostración. Pero supongo que todo número al que se le suma 4 siendo este número entero, pasa por consiguiente a pertenecer a Z4 y si pertenece a Z4 tiene que ser compuesto, ya que en este conjunto no está solamente el… Lee más »
Perdón:
(a^2 – 2)^2 + (a^2 + 2)^2 = 2 (a^4 + 4)
No estaba seguro de cuanto me había acercado, pero mientras escribía el comentario anterior me he dado cuenta de que:
(a^2 – 2)^2 = a^4 – 4a^2 + 4
y
(a^2 + 2)^2 = a^4 + 4a^2 + 4
Sumando las dos expresiones tenemos que:
a^4 + 4 = (a^2 – 2)^2 + (a^2 + 2)^2
Así que por ahí tiene que haber algo
Mmmm… he intentado hacer un cuadrado perfecto, pero tampoco he llegado a nada… me tengo que ir, así que si encuentro la solución la pondré por la noche. Estas son las ideas que se me han ocurrido por ahora: (a^4)+4 = [(a^2)^2] + (2^2) Para que sea más sencillo tomamos: A = a^2 (A^2) + 2^2 = A^2 + 2^2 + 4A – 4A = (A + 2)^2 – 4A = = [(a^2) + 2]^2 – 4a^2 De ahí se me ha ocurrido que podríamos cambiar el signo de la suma que hay elevada al cuadrado para ver qué salia:… Lee más »
No te equivocabas, con el impar se llega a un callejón sin salida xD
Bienmimetist, esa era la parte fácil
.
La de impar me da que te va a resultar complicada con el enfoque que le estás dando. Pero vamos, continúa, igual sale algo interesante
Lo de a > 1 es necesario ya que para a = 1 tenemos:
1^4 + 4 = 1 + 4 = 5
que es primo.
Ánimo
Si “a” es par:
a = 2k
por tanto:
(a^4)+4 = [(2k)^4]+4 = 16(k^4) + 4 = 4 (4k + 4)
El cual es un número compuesto (4 por algo).
Ahora estoy con “a impar”, este primer comentario es para que no se me adelanten jejeje
Además aquí no se utiliza que a sea mayor que 1, se cumple para “a” mayor o igual que cero.