请问这道线性代数题中划线的地方，有一个不为0的二阶后，如何推导出下面的行列式表达式？

因为ATA是3阶方阵，已知其秩为2，小于方阵的阶，据此已经可以断定方阵ATA的行列式为0，即|ATA|=0。这不是通过二阶子公式不等于0得到的。

个人认为这里说的二阶子公式等于0。会用在下面解决其他小题吗？