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.
Gaussianos recibió el Premio Prisma 2018 a la mejor web/red social. Haz click en la imagen si quieres saber más.
Los Premios Prismas son una iniciativa de los Museos Científicos Coruñeses para premiar la difusión de la cultura científica y apoyar a profesionales que trabajan en este campo. Más información en Premios Prismas.
Si quieres recibir los artículos de Gaussianos en tu mail, haz click en la imagen.
Únete a la iniciativa Yo construí el poliedro de Császár. Haz click en la imagen para conocer todo los detalles.
Y visita este set de Flickr para ver las construcciones de los lectores de Gaussianos.
entero impar. Demostrar que la ecuación
, siendo 
.
Una duda que me ha surgido. Aunque no es el caso, ¿podríamos considerar una identidad matemática como una ecuación con infinitas soluciones?
¡Lo tengo!
Pista: Sustituir z=t^2.
Perdón, tal y como yo lo he hecho no se cumple mcd(x,y,z)=1.
Información Bitacoras.com…
Valora en Bitacoras.com: Hoy lunes os dejo el problema de esta semana. Ahí va el enunciado: Sea entero impar. Demostrar que la ecuación admite infinitas soluciones enteras , siendo . A por él. Entra en Gaussianos si quieres hacer algún comentario……
Hagamos x=2^(2k)-1 e y=2^(2k)+1, tendremos:
x^2 + y^2 = 2^(2k+1)+2 que se satisface para cualquier valor de k.
Luego tenemos infinitas ternas formadas por dos impares consecutivos x e y que, con z=2 tienen su m.c.d =1 y el exponente de z es siempre un impar igual 0 mayor que 3.
Las primeras soluciones tienen, como valores x, y, z, y n los siguientes:
1, 3, 2, 3
3, 5, 2, 5
7, 9, 2, 7
15, 17, 2, 9
etcétera. Hay otras soluciones que no responden a las mismas fórmulas como por ejemplo 3, 11, 2, 7, lo que me sugiere que existe una fórmula más general, pero basta la encontrada para probar la infinitud de soluciones. investigaré si las hay con z distinto de 2.
En la solución de JJGJJG, me queda la duda de si el enunciado exige que haya infinitas soluciones para cada n. En ese caso, no serviría puesto que cada n fija una única terna de números.
El enunciado no dice explícitamente que deban ser infinitas las soluciones para cada n.
Sería deseable demostrar que es así, sin embargo, resulta fácil encontrar soluciones que no responden a la fórmula empleada y con z distinto de 2, por ejemplo:
Para n=3, 1, 47 y 13
Para n=5, 163, 271 y 10
Para n=7 17, 279 y 5
Confío en que, entre todos, hallemos una demostración más general.
Como curiosidad anticipo que entre todas las ternas x, y, z, que he obtenido, para diversos valores de n, nunca son compuestos los tres. Pueden ser primos uno o dos o los tres.
JJGJJG, el enunciado inicialmente fija un
impar. Para la ecuación correspondiente a ese 
deben buscarse infinitas soluciones (primas relativas).
Voy a indicar la manera de obtener infinitas soluciones para cada m.
Hacemos k tal que m=2k+1
Elegimos dos números primos entre sí cualesquiera, a y b.
Hacemos z=a^2+b^2
Hacemos c=z^k
Sean x=ac-b, y=a+bc.
Entonces (x,y,z) es una solución.
En efecto, x^2+y^2=(ac-b)^2+(a+bc)^2=(a^2+b^2)•(c^2+1)=z•(z^2k+1)=z^m+z
Queda por ver que x,y,z son primos entre sí pero si un primo p divide simultáneamente a x,y,z divide simultáneamente a x,y,c luego dividiría simultáneamente a a y b lo que no es posible pues los hemos elegido primos entre sí.
¡Bravo! pcrdeg
¡Excelente, pcrdeg!
Muy bueno y completo
Esto está de pm, pero… Bien, está claro el contexto de justificación y, como siempre, hay que, digamos, extraer el contexto de descubrimiento. Es decir, no falla la regla en al menos las tres últimas demostraciones en este blog, en las que ha habido que sacar con dificultad un comentario que responda al «cómo demonios se te ha ocurrido eso.» (y gracias que nos lo han dicho)
A mí el ¡Como demonios! me recuerda los algoritmos de la Aritmética de Diofanto.
No tengo problemas en contar cómo se me ocurrió la solución. Lo que no sé es si aclarará algo.
En primer lugar tanteé buscando algunas soluciones sencillas sin encontrar grandes resultados.
Luego tuve la impresión de que quizá los números complejos tendrían algo que ver en el asunto. Seguí una línea que me llevó a un callejón sin salida y abandoné el problema .
Ayer, con calma, volví a enfrentarme al reto.
Haciendo m=2k+1 la ecuación toma la forma x^2+y^2=z•[(z^k)^2+1]
Me di cuenta que la expresión entre corchetes es suma de dos cuadrados, al igual que el término izquierdo de la ecuación. Inspirado por mi antigua hipótesis de que los complejos tenían algo que ver con este problema, recordé que el módulo del producto de dos complejos es el producto de sus módulos lo que me hizo, a su vez, recordar, que de esa igualdad se obtenía una bonita identidad:
(a^2+b^2)•(c^2+d^2)=(ac-bd)^2+(ad+bc)^2
Por tanto, si z lo pudiese expresar como suma de dos cuadrados, digamos z=a^2+b^2 puesto que (z^k)^2+1 es suma de dos cuadrados, el producto de ambos sería suma de dos cuadrados y, por tanto, tendríamos una solución de la ecuación.
Y ya está casi todo resuelto. Quedaba asegurar el hecho de que x,y,z fuesen primos entre sí pero haciendo a y b primos entre sí, se deducía fácilmente.
Naturalmente que aclara las cosas. Corregidme si es necesario, pero el último comentario es igualmente una demostración.
Muchas gracias.
Un poco tangencial pero, ¿»a por él» es un truncamiento de «A ir por él [problema]»?
Qué pregunta tan amorfa, Octavio.
«A ir por el»??
A mi me suena mejor «a por el», y en cualquier caso parece que debería ser «id a por el»
Tal vez fue amorfa, pero la respuesta del dueño de esta bitácora fue excelente.
Por acá tal vez yo diría: «A darle, que es mole de olla».