Положим
\[
\begin{array}{l}
P=\left(a_{2}-a_{1}\right)\left(a_{3}-a_{1}\right) \ldots\left(a_{s}-a_{1}\right) \ldots\left(a_{n}-a_{1}\right) \\
\left(a_{3}-a_{2}\right) \ldots\left(a_{s}-a_{2}\right) \ldots\left(a_{n}-a_{2}\right) \\
\text {. . . . . . . . . . . . } \\
\text {. . . . . . . . . . } \\
\cdot\left(a_{n}-a_{n-1}\right) ; \\
\end{array}
\]

тогда произведение $P$, таким образом ощределенное, обладает тем свойством, что оно при любой перестановке величин $a_{1}, a_{2}, \ldots a_{n}$, или, что то же, значков $1,2 \ldots n$, меняет только свой внак, но не свое абсолютное значение. Об этих перестановках должно быть сказано здесь только следующее:

Обознатим внатки $1,2, \ldots n$, после того как их порядог изменен еоверпенно произвольным образом, через $i_{1}, i_{2}, \ldots i_{n}$ и перестановку, при помощи которой
\[
1,2,3, \ldots s, \ldots n
\]

переходят в
\[
i_{1}, i_{2}, i_{3}, \ldots i_{s}, \ldots i_{n},
\]

обозначим через $J$. Какова бы ни была перестановка $J$, всегда можно значки $1,2, \ldots n$ разделить на групшы, обладающие тем свойством, что при перестановке $J$ значки, принадлежащие одной групие, либо переходят друг в друга, либо все переходят в другую грушну, так что во всяком случае значки, принадлежащие одной групе, остаются друг при друге. В отношении этих груші снова можно классифицировать перестановки, так что для некоторых из них все грушы переходят в самих себя, для других некоторая груша значков переходит в другую и т. д. Этот, еще никоим образом не исчерпанный, материал являетея одним из важнейших в алгебре; во всех случаях, когда до сих пор возможно было решение уравнений, надо в нем искать обоснование.

Наиважнейшая из этих классифнгаций перестановов есть та, которая делит перестановьи на положительные и отрицательные; первые оставляют $P$ без изменения, а вторые превращают $P$ в $-P$. Ко второму класу принадлежит например простейший случай; в котором только два значва $i$ и $i^{\prime}$ перемещаются между собой. Это сразу видно, если представить $P$ в форме
\[
P= \pm\left(a_{i}-a_{i^{\prime}}\right) \mathrm{I}\left(a_{i}-a_{k}\right) \mathrm{II}\left(a_{i^{\prime}}-a_{k}\right) \mathrm{II}\left(a_{k}-a_{k^{\prime}}\right),
\]

где $k$ изображает все значки, отличные от $i$ и $i^{\prime}$, а $k, k^{\prime}$ – все комбинации значков, отличных от $i$ и $i^{\prime}$ и взятых по два, причем перестановка двух значков, входящих в одну и туже разность, исключается, Чтобы определить, будет ли перестановка

положительна или отрицательна, надо сравпивать по очереди каждое $i$ со следующиии числами. Если и есть число тех случаев, когда большее $i$ стоит перед следующим мепьии, то (J) будет шоложительной или отрицательной перестановкой смотря по тому, будет ли $\mu$ четным или нечетным; или проще: (J) положительна нли отрицательа в зависимости от того, четиым или нечетным числом перестаповок но два элемента из $1,2,3, \ldots n$ получитея $i_{1}, i_{2}, i_{3}, \ldots i_{n}$.
Чтобы от предыңущего перейти к определителям, рассмотрим $n^{2}$ величин
\[
\begin{array}{l}
a_{1}, b_{1}, c_{1}, \ldots p_{1} \\
a_{2}, b_{2}, c_{2}, \ldots p_{2} \\
\text {. . . . . . . . } \\
a_{n}, b_{n}, c_{n}, \ldots p_{n} \text {. } \\
\end{array}
\]

Образуем проивведение
\[
a_{1} b_{2} c_{3}, \ldots p_{n} ;
\]

шереставим в нем значки всеми возможными способами, придадим каждому получаюенуся произведению знаг плюс или минус смотря по толу, положителиа или отрццательна перестановка, и просуммируем все эти произвецешия с шриплежащими им знаками. Получающееся таким образом рыражение
\[
R=\sum+a_{1} b_{2} c_{3}, \ldots p_{n},
\]

где двойной знак имеет укаванное вначение, есть определитель $n^{2}$ величин $a_{1} \ldots p_{n}$, и эти $n^{2}$ величин называютея әлементами определителя $R$. Можно цредставить себе $h$ образовавнимся из равложения $P$ таким образом, что к каждому члену присоединяется, как множитель в нулевой степени, то $a$, готорое в него пе входит, и затем для всякого значения знатка $i$ вместо степеней $a_{i}^{0}, a_{i}{ }^{1}, a_{i}{ }^{2}, \ldots a_{i}^{n-1}$ ставится соответствено $a_{i}, b_{i}, c_{i} \ldots p_{i}$. Oпределитель $K$ пмеет следуюцие основные свойства:
1. При перестановке двух значков $i$ и $k$ или двух букв, например $a$ и $b$, одной па место другой определитель $R$ череходит в – $R$. Отсюда следует, что когда два ряда величип совпадалот друг с другом, т. е. когда
\[
a_{i}=a_{k}, b_{l}=b_{k}, \ldots p_{i}=p_{k},
\]

или
\[
g_{1}=h_{1}, g_{2}=h_{2}, \ldots g_{n}=h_{n},
\]

определитель $R$ обращается в нуль.
2. Определитель $l$ однороден и лиеен по отнопению ко всем величинам, стояцим в одном ряду, т. е. ьак по отношению к величинам
\[
a_{i}, b_{i}, \ldots p_{i},
\]

та̨к и по отнопению в велпинам

Поэтому имеем:
\[
\begin{array}{c}
g_{1}, g_{2}, \ldots g_{n} \\
R=\frac{\partial R}{\partial a_{i}} a_{i}+\frac{\partial R}{\partial b_{i}} b_{i}+\ldots+\frac{\partial R}{\partial p_{i}} p_{l}, \\
R=\frac{\partial R}{\partial g_{1}} g_{1}+\frac{\partial R}{\partial g_{2}} g_{2}+\ldots+\frac{\partial R}{\partial g_{n}} g_{n} .
\end{array}
\]

Положим
\[
\frac{\partial R}{\partial a_{i}}=A_{i}, \frac{\partial R}{\partial b_{i}}=B_{i}, \ldots \frac{\partial R}{\partial p_{i}}=I_{i} ;
\]

тогда
\[
R=A_{i} a_{i}+B_{i} b_{i}+C_{i} c_{i}+\ldots+P_{i} p_{i}
\]

и тав же
\[
R=A_{k} a_{k}+B_{k} b_{k}+C_{k} c_{k}+\ldots+P_{k} p_{k} .
\]

Но при перестановке значков $i$ и $k$ определитель $R$ переходит в $-R$, так что, каг отсюда ясно, $A_{i}$ переходит в $-A_{k}, B_{i}$ в – $B_{k}$ и т. д.; вместе с этим тот член $A_{i}$, который умножен на $b_{k}$, переходит в тот член $-A_{k}$, который умножен на $b_{i}$, т. е. в определителе $R$ члены $a_{i} b_{k}$ и $a_{k} b_{i}$ имею́т множители обратные по знаку, или
\[
\frac{\partial^{2} R}{\partial a_{i} \partial b_{k}}=-\frac{\partial^{2} R}{\partial a_{k} \partial b_{i}}
\]

Точно так же имеем для трех значков $i, k, l$ :
\[
\frac{\partial^{3} R}{\partial a_{i} \partial b_{k} \partial c_{l}}=\frac{\partial^{3} R}{\partial a_{k} \partial b_{l} \partial c_{i}}=\frac{\partial^{3} R}{\partial a_{l} \partial b_{i} \partial c_{k}}=-\frac{\partial^{3} R}{\partial a_{l} \partial b_{k} \partial c_{i}}=-\frac{\partial^{3} R}{\partial a_{k} \partial b_{i} \partial c_{l}}=-\frac{\partial^{3} R}{\partial a_{i} \partial b_{l} \partial c_{k}} ;
\]

отсюда получаются следующие выражения для $R$ :
\[
\begin{array}{c}
R=\sum \sum\left(a_{i} b_{k}-a_{k} b_{i}\right) \frac{\partial^{2} R}{\partial a_{i} \partial b_{k}} \\
R=\sum \sum \sum\left\{a_{i}\left(b_{k} c_{l}-b_{l} c_{k}\right)+a_{k}\left(b_{l} c_{i}-b_{i} c_{l}\right)+a_{l}\left(b_{i} c_{k}-b_{k} c_{i}\right)\right\} \frac{\partial^{3} R}{\partial a_{i} \partial b_{k} \partial c_{l}} .
\end{array}
\]

Здесь суммирование распространяется на все отлитные друг от друга комбинации значков $1,2, \ldots n$, іо два і но три.

Это выражение определителя через произведение определителей низшего порядка было помещено впервые в Парижских мемуарах от 1772 г. в одной из статей Јапласа относительно мировой системы. Јаплас и Крамер в Женеве были вообще первыми, исследовавшими должным образом свойства определителей.
3. Вышеприведенное уравнение
\[
R=g_{1} \frac{\partial R}{\partial g_{1}}+g_{2} \frac{\partial R}{\partial g_{2}}+\ldots+g_{n} \frac{\partial R}{\partial g_{n}}
\]

дает, если написать $a$ вместо $g$,
\[
R=a_{1} \frac{\partial R}{\partial a_{1}}+a_{2} \frac{\partial R}{\partial a_{2}}+\ldots+a_{n} \frac{\partial R}{\partial a_{n}} .
\]
$\kappa$ этогу уравнению присоединяются еще $n-1$ других уравнений, которые доказываются на основании того обстоятельства, что $R$ должно тождественно обращаться в нуль, если два ряда величин положить равными друг другу. Эти уравнения будут:
\[
\begin{aligned}
0 & =b_{1} \frac{\partial R}{\partial a_{1}}+b_{2} \frac{\partial R}{\partial a_{2}}+\cdots+b_{n} \frac{\partial R}{\partial a_{n}} ; \\
0 & =c_{1} \frac{\partial R}{\partial a_{1}}+c_{2} \frac{\partial R}{\partial a_{2}}+\cdots+c_{n} \frac{\partial R}{\partial a_{n}} ; \\
\cdots & \cdots \cdots \cdot p_{1} \frac{\partial R}{\partial a_{1}}+p_{2} \frac{\partial R}{\partial a_{2}}+\cdots+p_{n} \frac{\partial R}{\partial a_{n}} .
\end{aligned}
\]

На этих формулах основывается решевие линейных уравнений. В самом деле, если имеем систему
\[
\begin{array}{l}
a_{1} x_{1}+b_{1} x_{2}+\cdots+p_{1} x_{n}=y_{1} ; \\
a_{2} x_{1}+b_{2} x_{2}+\cdots+p_{2} x_{n}=y_{2} ; \\
\cdots \cdots+p_{n} x_{n}=y_{n}
\end{array}
\]

и умножим эти уравнения соответственно на $\frac{\partial R}{\partial a_{1}}, \frac{\partial R}{\partial a_{2}}, \ldots \frac{\partial R}{\partial a_{n}}$, на $\frac{\partial R}{\partial b_{1}}$, $\frac{\partial R}{\partial b_{2}}, \ldots \frac{\partial R}{\partial b_{n}}$ п т. д., где $R$ имеет данное выпе значение
\[
R=\Sigma \pm a_{1} b_{2} \ldots p_{n},
\]

то шолуним:
\[
\begin{array}{c}
R x_{1}=\frac{\partial R}{\partial a_{1}} y_{1}+\frac{\partial R}{\partial a_{2}} y_{2}+\ldots+\frac{\partial R}{\partial a_{n}} y_{n} ; \\
R x_{2}=\frac{\partial R}{\partial b_{1}} y_{1}+\frac{\partial R}{\partial b_{2}} y_{2}+\cdots+\frac{\partial R}{\partial b_{n}} y_{n} ; \\
\cdots \cdots \cdots+\frac{\partial R}{\partial p_{n}} y_{n} .
\end{array}
\]
4. Прх помощи этих формул доказывается одна замечательная теорема относительно вариации определителя $R$. Обозначим вариации величин $a_{i}, b_{i}, \ldots p_{i}$ через $\delta a_{i}, \delta b_{i}, \ldots$ ор $p_{i}$ и образуем следующие $n$ систем линейных уравнений:
\[
\begin{array}{l}
\text { 1) } a_{1} x_{1}{ }^{\prime}+b_{1} x_{2}{ }^{\prime}+\ldots+p_{1} x_{n}{ }^{\prime}=\delta a_{1} \\
a_{2} x_{1}^{\prime}+b_{2} x_{2}^{\prime}+\ldots+p_{2} x_{n}^{\prime \prime}=\delta a_{2} \\
\text {……………………… } \\
a_{n} x_{1}{ }^{\prime}+b_{n} x_{2}{ }^{\prime}+\ldots+p_{n} x_{n}{ }^{\prime}=\delta a_{n} ; \\
a_{1} x_{1}^{\prime \prime}+b_{1} x_{2}^{\prime \prime}+\ldots+p_{1} x_{n}^{\prime \prime}=\delta b_{1} \\
a_{2} x_{1}^{\prime \prime}+b_{2} x_{2}^{\prime \prime}+\ldots+p_{2} x_{n}{ }^{\prime \prime}=\delta b_{2} \\
\text {……………………. } \\
a_{n} x_{1}{ }^{\prime \prime}+b_{n} x_{2}{ }^{\prime \prime}+\ldots+p_{n} x_{n}{ }^{\prime \prime}=\delta b_{n} ; \\
\text {………… } \\
\text {. . . . . . . . . . . } \\
\text {. . . . . . . . . . } \\
\end{array}
\]
2)
\[
\text { n) } \begin{array}{c}
a_{1} x_{1}^{(n)}+b_{1} x_{2}^{(n)}+\cdots+p_{1} x_{n}^{(n)}=\delta p_{1} \\
a_{2} x_{1}{ }^{(n)}+b_{2} x_{2}{ }^{(n)}+\cdots+p_{2} x_{n}{ }^{(n)}=\delta p_{2} \\
\cdot \cdots \cdot \cdots \\
a_{n} x_{1}{ }^{(n)}+b_{n} x_{2}{ }^{(n)}+\cdots+p_{n} x_{n}{ }^{(n)}=\delta p_{n} .
\end{array}
\]

Далее имеем:
\[
\delta R=\sum_{i}\left\{\frac{\partial R}{\partial a_{i}} \delta a_{i}+\frac{\partial R}{\partial b_{i}} \delta b_{i}+\ldots+\frac{\partial R}{\partial p_{i}} \delta p_{i}\right\} .
\]

Но, на основави выпеполученных формул для решения уравпений, имеем
\[
R x_{1}^{\prime}=\frac{\partial R}{\partial a_{1}} \delta a_{1}+\frac{\partial R}{\partial a_{2}} \delta a_{2}+\ldots+\frac{\partial R}{\partial a_{n}} \delta a_{n}=\sum_{i} \frac{\partial R}{\partial a_{i}} \delta a_{i}
\]

п так же
\[
R x_{2}^{\prime \prime}=\sum_{i} \frac{\partial R}{\partial b_{i}} \delta b_{i}, R x_{3}{ }^{\prime \prime}=\sum_{i} \frac{\partial R}{\partial c_{i}} \delta c_{i}, \ldots R x_{n}{ }^{(n)}=\sum_{i} \frac{\partial R}{\partial p_{i}} \delta p_{i}
\]

так что
\[
\partial R=R\left\{x_{1}{ }^{\prime}+x_{2}{ }^{\prime}+x_{3}{ }^{\prime \prime}+\ldots+x_{n}{ }^{(n)}\right\},
\]

или
\[
\delta \lg R=x_{1}{ }^{\prime}+x_{2}{ }^{\prime \prime}+x_{3}{ }^{\prime \prime}+\ldots+x_{n}{ }^{(n)} .
\]