Vamos con el problema de esta semana. Ahí va:
Demostrar que con 25 números enteros cualesquiera se puede formar una matriz
cuyo determinante es divisible entre 25.
Que se os dé bien.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
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.
Tienes un 20% de descuento y envío gratis en toda la web de La Tostadora con al menos dos artículos. Usa el código GAUSSIANOS entrando con el enlace de la imagen.
Y usando el código REBAJAS tienes un 30% de descuento hasta el 8 de agosto con al menos 3 artículos.
Si quieres recibir los artículos de Gaussianos en tu mail haz click en la imagen.
Si tienes alguna duda, pregunta o sugerencia visita ForoGauss, nuestro foro (click en la imagen). Seguro que alguien te podrá ayudar
Ú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.
Visita XRooMers, nuestro nuevo blog sobre escape rooms.
En él encontrarás reseñas e información sobre los juegos de escape que hemos realizado y podrás dar tu opinión sobre ellos y tus propias sugerencias.
Y no te pierdas nuestra clasificación: The XRanking.
Extensión natural del problema:
Dados n^2 enteros cualesquiera, ¿para qué valores de n es posible formar una matriz n x n cuyo determinante sea divisible por n^2?
Para
y 
siempre es posible formar una matriz 
con los 
enteros de partida de modo que el determinante sea divisible por 
.
Para
la propiedad no es cierta: basta elegir los números 
. A ver si sale un contraejemplo para 
.
No se si entendi el problema, pero si los numeros no han de ser necesariamente iguales entonces no es cierto, ya que una matriz con 25 unos va a tener un determinante igual a 0 si o si.
Luis, y cero es divisible entre 25.
Soy tonto ._., disculpame.
M, entiendo lo de n=1 y el contraejemplo de n=2. Estoy tratando de encontrar uno para n=3 pero… ¿podrias explicar el caso de n=5? (Que es concretamente lo que pedia el problema original) ¿Como has llegado a la conclusion de que con cualquier conjunto de 25 numeros se puede encontrar siempre una matriz 5×5 con determinante divisible por 25?
Es largo de explicar, pero si se ordena la matriz 5×5 de forma que para las filas 2 y 3, los dos elementos de cada columna sean equivalentes módulo 5, y lo mismo para las filas 4 y 5, entonces el determinante será múltiplo de 25. Eso siempre se puede conseguir, porque sólo hay 5 tipos de números módulo 5, y por lo tanto, no pueden quedar más de 5 números desemparejados, y se pueden conseguir las 10 parejas necesarias. Se basa en que todas las matrices 2×2 formadas con los números de las filas 2 y 3 tendrán determinante… Lee más »
Lo mismo vale para cualquier n>5.
Golvano Muy buena explicación y no tan larga como decias al principio. Siguiendo la misma idea, para el 7, podría hacer 3 pares de columnas y sería divisible por 7^3, para el 9 podría hacer 4 y sería divisible por 9^4 y así sucesivamente (salvo que lo haya entendido mal). Para el 6, 8 ,10, … correspondería el exponente del nº anterior a él. Para el 3 y el 4 solo puedo hacer un par de comlumnas, por lo que este método constructivo no nos es válido y hay que seguir buscando si hay un contraejemplo u otro método constructivo.… Lee más »
Muy buena solución Golvano y muy buena observación Juanjo. Efectivamente, en general se puede conseguir un determinante divisible por
.
Como me gusta matizar lo que se escribe, matizo mi comentario
Juanjo Escribano
una corrección menor:
Donde dice Cualquier determinante NxN es divisible por n^a donde a es el nº de pares de columnas que puedo construir = |(n-1)/2|
debe decir
Cualquier conjunto de números enteros de cardinal n^2 se puede ordenar en una matriz NxN cuyo determinante es divisible por n^a donde a es el nº de pares de columnas que puedo construir conforme al criterio marcado por Golvano = |(n-1)/2|
y no contento con ello voy a votarla faborablemente
Se puede explorar también la divisibilidad respecto a otros números. Por ejemplo, para matrices 5×5, ¿siempre se puede conseguir que el determinante sea múltiplo de 13? Sí. Para matrices 6×6, ¿siempre se puede conseguir que el determinante sea múltiplo de 35? Sí.
madre mia, me podria haber llevado meses encontrar el camino… muy chulo y muy impresionante que se pueda demostrar algo asi en unas lineas
Con la conocida fórmula de Leibniz (aquella con la signatura de las permutaciones etc.) la explicación de Galvano queda más clara. Siempre podemos elegir disponer los números de manera que cada sumando de dicha fórmula contenga números congruentes mod (5) y con lo cual, al tratarse de sumas, siempre en cada sumando habrá un producto múltiplo de 5. Con lo que la suma de sumandos múltiplos de 5 es múltiplo de 5. Como en cada cada sumando se repite ese producto 2 veces, es múltiplo de 25. Carajo, sí que es largo de explicar por culpa del manejo extenso de… Lee más »