Por favor, dígame cómo derivar la siguiente expresión determinante después de que el lugar subrayado en esta pregunta de álgebra lineal tiene un segundo orden que no es 0.

Debido a que ATA es una matriz cuadrada de tercer orden, se sabe que su rango es 2, que es menor que el orden de la matriz cuadrada. Con base en esto, se puede concluir que el determinante de la matriz cuadrada ATA es 0, es decir. es, |ATA|=0. Esto no se obtiene si la subfórmula de segundo orden no es igual a 0.

Personalmente, creo que la subfórmula de segundo orden mencionada aquí es igual a 0. ¿Se utilizará para resolver otros problemas a continuación?