El determinante de una matrizC= (Cyo j)norte × norte
cuyas entradas tienen la formaCyo j=1ai+bj
es dado por
detalle C=∏1 ≤ yo < j ≤ norte(ai−aj) (bi−bj)∏1 ≤ yo , j ≤ norte(a1+bi).
En
estas notas (p. 145), esta fórmula se aplica a ciertas matrices
GRAMO
y
GRAMOmetro
. El resultado es
det G =∏1 ≤ yo < j ≤ norte(i2π2−j2π2)2∏1 ≤ yo , j ≤ norte(i2π2+j2π2),detGRAMOmetro=∏′1 ≤ yo < j ≤ norte(i2π2−j2π2)2∏′1 ≤ yo , j ≤ norte(i2π2+j2π2)(1)
"dónde
′
significa que el índice
metro
se ha omitido en el producto".
El objetivo es calculardetGRAMOmetrodetalle G
. Una sustitución directa da
detGRAMOmetrodetalle G=∏′1 ≤ yo < j ≤ norte(i2π2−j2π2)2∏′1 ≤ yo , j ≤ norte(i2π2+j2π2)⋅∏1 ≤ yo , j ≤ norte(i2π2+j2π2)∏1 ≤ yo < j ≤ norte(i2π2−j2π2)2
que, según las notas, debería simplificarse a
detGRAMOmetrodetalle G= 2metro2π2∏′1 ≤ k ≤ norte(metro2+k2)2(metro2−k2)2.(2)
Pregunta: Cómo manipular( 1 )
adecuadamente para obtener( 2 )
?
Darij Grinberg
pedro