Знает кто нибудь где взять доказательство основаное на перестановках?
Пусть M — наша матрица, A — верхняя левая, O — верхняя правая (нулевая), B — нижняя левая, C — нижняя правая клетки
Мы представляем |M| как сумму произведений вида [sgn(t) · a_{1,t_1} · ... · a_{n,t_n}], где t \in S_n
1. Докажи, что если в произведение попадает хоть один элемент из B, то туда попадет элемент из O, и значит оно будет равно нулю. В итоге выйдет, что при подсчете определителя элементы из B не учитываются
2. Докажи, что |M| = |M'|, где M' — почти то же самое, что и M, только с B = O (тоже нулевая матрица)
3. Докажи, что |M'| = |A| · |C|: это делается в лоб — у нас одинаковые слагаемые и справа и слева, нужно только не забыть про знаки перестановок