Главная трудность шри иитегрировании данных дифференциальных уравнений состоит в введении удобных шеремепных, қля разыскания которых нет никакого общего правила. Іоатому мы толжны нтти обратным путен и, найдя какую-нибудь замечательну лодетановку: рызыекивать задачи, в которых она может быт : уснехом применепа.
ภl сообцил об одной такой подетановке берлипской академии в одной заметке, также нашечатанной в Crelles Journal, 1 и привел ряд задач, в особенности из механиги, в которых она применяется. Это применение основываетея главыи обравом на том, что выражение $\left(\frac{\partial V}{\partial x}\right)^{2}+\left(\frac{\partial V}{\partial y}\right)^{2}+$ $f\left(\frac{\partial V}{\partial z}\right)^{2}$ в повых координатах приниает также очень иростой видд. Мы рассмотрия потом по очереди эти занаш, к которм принадлежит попутно разобрание в проплой лекции притякешие в двум пеподвижным центрам, натнем же с того, чго уетановим упомянутую заметательную подстаповку и питом, для общности, сразу ,дя пюбого числа переменных.
Іусть предложено уравнение
\[
\frac{x_{1}^{2}}{a_{1}+\lambda}+\frac{x_{2}^{2}}{a_{2}+\lambda}+\cdots+\frac{x_{n}^{2}}{a_{n}+\lambda}=1 .
\]
Шуег велитимы $a_{1}, a_{2}, \ldots$ a pacпоножены по их величине так, чо
\[
a_{1}<a_{2}<a_{3}<\ldots<a_{1} .
\]
де знак < надо понимать так, что разности $a_{2}-a_{1}$, $a_{3}-a_{2}$ должны быть положительныи числани. Числители вее шоложительны, па что указывает то обстолтельство, что дли вих поставлены квадаты. Умножим уравнение (1) на произведение $\left(a_{1}-\lambda\right)\left(a_{2}+\lambda\right) \ldots\left(a_{n}+\lambda\right)$; тогда получия ураввение $n$-ой степени относптельно $\lambda$, корни которого обозначия через $\lambda_{1}, \lambda_{2}, \ldots \lambda_{n}$. lегко доказать, что все эти $n$ корней вещественны. В самом деле, вастапри этом принимает левая часть уравнения (1), которую мы обозначия через I. Для $\lambda=-\infty$ булет $L=0$; когі $\lambda$ растет. $L$ становнтея отрицательным и пробегает все отрицательные значения, пока не сделаетея бесконечным при $\lambda=-a_{n}$. Так как $a_{n}$ есть наибольше из чисел $a_{1}, a_{2}, \ldots a_{n}$, то $\lambda$ достигает сначала значения $-a_{n}$, т. е. $a_{n}+\lambda$ есть первый знаменатель, обращающийся в вуль. До того как $\lambda$ достигнет значения $-a_{n}$ выракение $a_{n}+\lambda$ отрицательно и когда $a_{n}+\lambda$ прибликаетея $к$ нулю, оказываетея
1 Bd XIX, стр. 309.
$\frac{x_{n}{ }^{2}}{a_{n}+\lambda}=-\infty$. lогда $\lambda$ растет дальше, $a_{n}+\lambda$ становится положительным, $\frac{x_{n}^{2}}{a_{n}+\lambda}$ делает потому скачок от $-\infty$ до $+\infty$, и так как остальные дроби жонечны и притом отрицательны, то всё, что было показано для $\frac{x_{n}^{2}}{a_{n}+\lambda}$, применимо также к $L$. Еели теперь $і$ растет далыпе и приближается к $-a_{n-1}$, то $L$ будет равно – ; такия обравом $L$ пробежало все вещественные значения при изменении $\lambda$. от $\lambda=-a_{n}$ до $\lambda=-a_{n-1}$, следовательно в этом интервале должен лежать по крайней мере один корень уравнения и притои только один, так как $L$ от $\lambda=-a_{n}$ до $\lambda=-a_{n-1}$ непрерывно убывает. При $\lambda=-a_{n-1}$ величнна $L$ делает снова скачок от – до $+\infty$, и то же самоє пмеет место для дальнейшего продвижения, так чюо в калдом из интервалов от $-a_{n}$ до $-a_{n-1}$, от $-a_{n-1}$ до $-a_{n-2}, \ldots$ от $-a_{3}$ до $-a_{2}$, от $-a_{2}$ до $-a_{1}$ лежит один и только один корень уравнения. Если теперь $\lambda$ толькочто перепло значение – $a_{1}$, то $L=+\infty$, и в то время как $\lambda$, начиная этсюда, растет дальше до $+\infty, L$ убывает до 0 . В этом интервале от $-a_{1}$ до $+\infty$ должен таким образом также лежать один корень. Таким образом мы показали, что уравнение (1) имеет $n$ вещественных корней $\lambda_{1}, \lambda_{2}, \ldots \lambda_{n}$. Мы предшоложим, что они расположены по величине, так что $\lambda_{1}$ лежит между $+\infty$ и $-a_{1}$, $\lambda_{2}$ между $-a_{1}$ и $-a_{2}$ и т. д., наконед $\lambda_{n}$ между $-a_{n-4}$ и $-a_{n}$. Таким образои имеем:
\[
\lambda_{1}>\lambda_{2}>\lambda_{3}>\ldots>\lambda_{n-1}>\lambda_{n} .
\]
Если эти значения $i$ подставить в уравнение (1), то получится следуюцая оистема тождественных равенств:
\[
\begin{array}{l}
\frac{x_{1}{ }^{2}}{a_{1}+\lambda_{1}} \div \frac{x_{2}{ }^{2}}{a_{2}+\lambda_{1}}+\ldots+\frac{x_{n-1}}{a_{n-1}+\lambda_{1}}+\frac{x_{n}{ }^{2}}{a_{n}+\lambda_{1}}=1, \\
\frac{x_{1}^{2}}{a_{1}+\lambda_{2}}+\frac{x_{2}^{2}}{a_{2}+\lambda_{2}}+\ldots+\frac{x_{n-1}^{2}}{a_{n-1}+\lambda_{2}}+\frac{x_{n}{ }^{2}}{a_{n}+\lambda_{2}}=1, \\
\frac{x_{1}^{2}}{a_{1}+\lambda_{n}}+\frac{x_{2}^{2}}{a_{2}+\lambda_{n}}+\cdots+\frac{x_{n-1}^{2}}{a_{n-1}+\lambda_{n}}+\frac{x_{n}^{2}}{a_{n}+\lambda_{n}}=1 \\
\end{array}
\]
Если мы будем рассматривать величины $a$ как шостоянные, величины же $x$ и $\lambda$, напротив как переменные, то их взаимная зависимость будет такоге рода, что в то время как величины $\lambda_{1}, \lambda_{2}, \ldots \lambda_{n}$ найдүтся из величин $x_{1}{ }^{2}, x_{2}{ }^{2}, \ldots x_{n}{ }^{2}$ путем решения уравнения $n$-ой степени (1), обратно велпчины $x_{1}^{2}, x_{2}{ }^{2}, \ldots x_{n}{ }^{2}$ определятея как функции $\lambda_{1}, \lambda_{2}, \ldots \lambda_{n}$ из системь линейных уравнений. Мы пришли теперь к репению сиетемы (S), для чего мы из различных возмокных способов выберем способ последовательного исключения. Iрежде всего мы псключаөм $x_{n}{ }^{2}$ при помощи первого уравнения изо всех остальных уравнений. Например, чтобы исключить его из второго, мы должны: первое уравнение, унноженное на $a_{n}+\lambda_{1}$, вычесть из второго, умноженного на $a_{n}+\lambda_{2}$, и тогда получим:
\[
x_{1}^{2}\left\{\frac{a_{n}+\lambda_{2}}{a_{1}+\lambda_{2}}-\frac{a_{n}+\lambda_{1}}{a_{1}+\lambda_{1}}\right\}+\ldots+x_{n-1}^{2}\left\{\frac{a_{n}+\lambda_{2}}{a_{n-1}+\lambda_{2}}-\frac{a_{n}+\lambda_{1}}{a_{n-1}+\lambda_{1}}\right\}=\lambda_{2}-\lambda_{n}
\]
Воспользовавнись тождеством
\[
\frac{a_{n}+\lambda_{2}}{a_{1}-\lambda_{2}}-\frac{a_{n}+\lambda_{1}}{a_{1}+\lambda_{1}}=\frac{\left(a_{1}-a_{n}\right)\left(\lambda_{2}-\lambda_{1}\right)}{\left(a_{1}+\lambda_{2}\right)\left(a_{1}+\lambda_{1}\right)}
\]
и отбросив во всех членах общий множитель $\lambda_{2}-\lambda_{1}$, преобразует напе
уравнение в следующее:
\[
\begin{array}{c}
\frac{a_{1}-a_{n}}{\left(a_{1}+\lambda_{1}\right)\left(a_{1}+\lambda_{2}\right)} x_{1}{ }^{2}+ \\
+\frac{a_{2}-a_{n}}{\left(a_{2}+\lambda_{1}\right)\left(a_{2}+\lambda_{2}\right)} x_{2}{ }^{2}+\ldots+\frac{a_{n-1}-a_{n}}{\left(a_{n-1}+\lambda_{1}\right)\left(a_{n-1}+\lambda_{2}\right)} x^{2}{ }_{n-1}=1 .
\end{array}
\]
Проделаем такое же искличевие из первого и третего, из первого и четвертого…, наковец из шервого и $n$-го уравнения спстемы (S); тогда получим следующую систему ( $n-1$ )-го порядка:
\[
\begin{array}{l}
\frac{a_{1}-a_{n}}{\left(a_{1}+\lambda_{1}\right)\left(a_{1}+\lambda_{2}\right)} x_{1}^{2}+ \\
+\frac{a_{2}-a_{n}}{\left(a_{2}+\lambda_{1}\right)\left(a_{2}+\lambda_{2}\right)} x_{2}^{2}+\ldots+\frac{a_{n-1}}{\left(a_{n-1}+\lambda_{1}\right)\left(a_{n-1}+\lambda_{2}\right)} a_{n \rightarrow 1}^{2}=1 \text {, } \\
\frac{a_{1}-a_{n}}{\left(a_{1}+\lambda_{1}\right)\left(a_{1}+\lambda_{3}\right)} x_{1}{ }^{2}+ \\
+\frac{a_{2}-a_{n}}{\left(a_{2}+\lambda_{1}\right)\left(a_{2}+\lambda_{3}\right)} x_{2}^{2}+\ldots+\frac{a_{n-1}-a_{n}}{\left(a_{n-1}+\lambda_{1}\right)\left(a_{n-1}+\lambda_{3}\right)} x_{n-1}^{2}=1 \\
\left(\mathrm{~S}_{1}\right) \\
\frac{a_{1}-a_{n}}{\left(a_{1}+\lambda_{1}\right)\left(a_{1}+\lambda_{n}\right)} x_{1}^{2}+ \\
+\frac{a_{2}-a_{n}}{\left(a_{2}+\lambda_{1}\right)\left(a_{2}+\lambda_{n}\right)} x_{2}{ }^{2}+\ldots+\frac{a_{n-1}-a_{n}}{\left(a_{n-1}+\lambda_{1}\right)\left(a_{n-1}+\lambda_{n}\right)} x^{2}{ }_{n-1}=1 . \\
\end{array}
\]
От этой первой приведенной системы ( $n-1$ )-го норядка иожно снова тем же путем перейти ко второй приведенной системе ( $n-2$ )-го порядва, причем следует только заметит, что если рассматривать
\[
\frac{a_{1}-a_{n}}{a_{1}+\lambda_{1}} x_{1}^{2} ; \frac{a_{2}-a_{n}}{a_{2}+\lambda_{1}} x_{2}^{2} ; \ldots \frac{a_{n-1}-a_{n}}{a_{n-1}+\lambda_{1}} x_{n-1}^{2},
\]
как новые переменные, то система $\left(\mathrm{S}_{1}\right)$ будет иметь ту же форму, как система (S). Таким образом получаем вторую шриведенную систему:
\[
\begin{array}{l}
\frac{\left(a_{1}-a_{n}\right)\left(a_{1}-a_{n-1}\right)}{\left(a_{1}+\lambda_{1}\right)\left(a_{1}+\lambda_{2}\right)\left(a_{1}+\lambda_{3}\right)} x_{1}^{2}+\frac{\left(a_{2}-a_{n}\right)\left(a_{2}-a_{n-1}\right)}{\left(a_{2}+\lambda_{1}\right)\left(a_{2}+\lambda_{2}\right)\left(a_{2}+\lambda_{3}\right)} x_{2}^{2}+\ldots+ \\
+\frac{\left(a_{n-2}-a_{n}\right)\left(a_{n-2}-a_{n-1}\right)}{\left(a_{n-2}+\lambda_{1}\right)\left(a_{n-2}+\lambda_{2}\right)\left(a_{n-2}+\lambda_{3}\right)} x^{2}{ }_{n-2}=1 \\
\frac{\left(a_{1}-a_{n}\right)\left(a_{1}-a_{n-1}\right)}{\left(a_{1}+\lambda_{1}\right)\left(a_{1}+\lambda_{2}\right)\left(a_{1}+\lambda_{4}\right)} x_{1}^{2}+\frac{\left(a_{2}-a_{n}\right)\left(a_{2}-a_{n-1}\right)}{\left(a_{2}+\lambda_{1}\right)\left(a_{2}+\lambda_{2}\right)\left(a_{2}+\lambda_{4}\right)} x_{2}^{2}+\ldots+ \\
+\frac{\left(a_{n-2}-a_{n}\right)\left(a_{n-2}-a_{n-1}\right)}{\left(a_{n-2}+\lambda_{1}\right)\left(a_{n-2}+\lambda_{2}\right)\left(a_{n-2}+\lambda_{4}\right)} x_{n-2}^{2}=1, \\
\begin{array}{c}
\frac{\left(a_{1}-a_{n}\right)\left(a_{1}-a_{n-1}\right)}{\left(a_{1}+\lambda_{1}\right)\left(a_{1}+\lambda_{2}\right)\left(a_{1}+\lambda_{n}\right)} x_{1}^{2}+\frac{\left(a_{2}-a_{n}\right)\left(a_{2}-a_{n-1}\right)}{\left(a_{2}+\lambda_{1}\right)\left(a_{2}+\lambda_{2}\right)\left(a_{2}+\lambda_{n}\right)} x_{2}^{2}+\cdots+ \\
\quad+\frac{\left(a_{n-2}-a_{n}\right)\left(a_{n-2}-a_{n-1}\right)}{\left(a_{n-2}+\lambda_{1}\right)\left(a_{n-2}+\lambda_{2}\right)\left(a_{n-2}+\lambda_{n}\right)} x_{n-2}^{2}=1
\end{array} \\
\end{array}
\]
и если таким же образом продолжать дальше, то првдем в сиотеме ( $\mathrm{S}_{n-1}$ ), воторая содержит тольк одну переменную $x_{1}{ }^{2}$ п состоит только из одного уравнения. Это уравнение, о форме которого можно заключить из самого процесса вычисления, будет следуюцим:
\[
\frac{\left(a_{1}-a_{n}\right)\left(a_{1}-a_{n-1}\right) \ldots\left(a_{1}-a_{2}\right)}{\left(a_{1}+\lambda_{1}\right)\left(a_{1}+\lambda_{2}\right) \ldots\left(a_{1}+\lambda_{n}\right)} x_{1}^{2}=1 ;
\]
такия образом, решая скстему (S), получим следующие значения:
\[
\begin{array}{l}
x_{1}^{2}=\frac{\left(a_{1}+\lambda_{1}\right)\left(a_{1}+\lambda_{2}\right) \ldots\left(a_{1}+\lambda_{n-1}\right)\left(a_{1}+\lambda_{n}\right)}{\left(a_{1}-a_{2}\right)\left(a_{1}-a_{3}\right) \ldots\left(a_{1}-a_{n}\right)}, \\
x_{2}{ }^{2}=\frac{\left(a_{2}+\lambda_{1}\right)\left(a_{2}+\lambda_{2}\right) \ldots\left(a_{2}+\lambda_{n-1}\right)\left(a_{2}+\lambda_{n}\right)}{\left(a_{2}-a_{1}\right)\left(a_{2}-a_{3}\right) \ldots\left(a_{2}-a_{n}\right)}, \\
x_{m}^{2}=\frac{\left(a_{m}+\dot{\lambda}_{1}\right)\left(a_{m}+\dot{\lambda}_{2}\right) \ldots\left(\dot{a}_{m}+\dot{\lambda}_{n-1}\right)\left(a_{m}+\lambda_{n}\right)}{\left(a_{m}-a_{1}\right)\left(a_{m}-a_{2}\right) \ldots\left(a_{m}-a_{m-1}\right)\left(a_{m}-a_{m+1}\right) \ldots\left(a_{n}-a_{n}\right)}, \\
x_{n}{ }^{2}=\frac{\left(a_{n}+\lambda_{1}\right)\left(a_{n}+\lambda_{2}\right) \ldots\left(a_{n}+\dot{\lambda}_{n-1}\right)\left(a_{n}+\lambda_{n}\right)}{\left(a_{n}-a_{1}\right)\left(a_{n}-a_{2}\right) \ldots\left(a_{n}-a_{n-1}\right)} . \\
\end{array}
\]
Так как вти выражения равны квадратам, то ови должны быть положительны, в чем тақже легко убедиться. Например, в выражении для $x_{1}{ }^{2}$ первый множитель числителя положителен, остальные отрпцательны, таким обрагом числитель имеет тот же энак, как ( -1$)^{n-1}$; в знаменателе все $(n-1)$ множители отрицательны, эначит он имеет тот же знак, как числитель; следовательно дробь положительна. То же самое будет иметь место для значений прочих величип: $x_{2}{ }^{2}, x_{3}{ }^{2}, \ldots x_{n}{ }^{2}$.
Можно также испытать выражения (2), подставляя их в систему (S), и ноказать, что она будет выполнена тождественно. IІри ьтом следует воспользоваться вспомогательной теоремой, известной в теори раяложения на простейние дроби, по которой сумма
\[
\sum_{m=1}^{m=n} \frac{a_{n}^{s}}{\left(a_{m}-a_{1}\right)\left(a_{m}-a_{2}\right) \ldots\left(a_{m}-a_{m-1}\right)\left(a_{m}-a_{m+1}\right) \ldots\left(a_{m}-a_{n}\right)},
\]
при $s=1,2, \ldots n-2$ обращается в нуль, и при $s=n-1$ равняется единице, в то время как для всякого ббльшего значения $n-1+r$, получаемого $s$, она равна сумме комбинаций по $r$ с повторениями из элементов $a_{1}, a_{2}, \ldots a_{n}$; стедствия этой теоремы я развил в своей диссертации. 1 в системе (S) ееличине $\lambda_{i}$ соответствует уравнение
\[
1=\frac{x_{1}^{2}}{a_{1}+\lambda_{t}}+\frac{x_{2}{ }^{2}}{a_{2}+\lambda_{1}}+\ldots+\frac{x_{n}{ }^{2}}{a_{n}+\lambda_{i}}=\sum_{m=1}^{m=n} \frac{x_{m}{ }^{2}}{a_{m}+\lambda_{i}} .
\]
Для того ттобы опо удовлетворялось звачениями (2) величин $x_{1}{ }^{2}, x_{2}{ }^{2}, \ldots x^{2}{ }_{i}$, полжно быть тождественно выполнево равенство
\[
1=\sum_{m=1}^{m=n} \frac{\left(a_{m}+\lambda_{1}\right)\left(a_{n}+\lambda_{2}\right) \ldots\left(a_{m}+\lambda_{i-1}\right)\left(a_{m}+\lambda_{i+1}\right) \ldots\left(a_{m}+\lambda_{n}\right)}{\left(a_{m}-a_{1}\right)\left(a_{m}-a_{2}\right) \ldots\left(a_{m}-a_{m-1}\right)\left(a_{m}-a_{m+1}\right) \ldots\left(a_{m}-a_{n}\right)},
\]
в чем на самом деле можно удостоверитьсл при помоди только-что упомянутой теоремы, так как в числителе высшая степень $a_{m}$ есть $a_{m}^{n-1}$ п она ичеет козффициент 1.
1 Disquisitiones analyticae de fractionibus simplicibus. Berlini, 1825. (Полное собранпе сочннений, т. III, етр. 3 и следующие.)
Величины $x_{1}{ }^{2}, x_{2}{ }^{2}, \ldots x_{n}{ }^{2}$, определенные формулами (2), удовлетворяют еще другим уравнениям, которые можно сразу вывести при помощи указанной теоремы. В самом деле, разделим величины $x_{m}{ }^{2}$ не только на $a_{m}+\lambda_{1}$, но на произведение множителей $a_{m}+\lambda_{i}, a_{m}+\lambda_{i}$, где $\lambda_{i}, \lambda_{k}$ обозначают два различных корня уравнения (1); тогда получим сумму, которая отличается от правой части уравнения (3) только тем, что числитель по отнощению к $a_{m}$ будет не $(n-1)$-ой стешени, а только ( $n-2$ )-ой. Iоэтому сумма будет равна нулю, и мы имеем уравнение:
$\frac{x_{1}^{2}}{\left(a_{1}+\lambda_{i}\right)\left(a_{1}+\lambda_{k}\right)}+\frac{x_{2}^{2}}{\left(a_{2}+\lambda_{i}\right)\left(a_{2}+\lambda_{k}\right)}+\ldots+\frac{x_{n}^{2}}{\left(a_{n}+\lambda_{t}\right)\left(a_{n}+\lambda_{k}\right)}=0$.
Исследуем, что будет с левой частью уравнения (4), если $\lambda_{l}, \lambda_{k}$ не обозначают больше различных корней, но представляют один и тот же корень уравнения (1).
Итак, сшрапиваетея, какое значение получит выряжение
\[
M_{i}=\frac{x_{1}{ }^{2}}{\left(a_{1}+\lambda_{i}\right)^{2}}+\frac{x_{2}{ }^{2}}{\left(a_{2}+\lambda_{i}\right)^{2}}+\ldots+\frac{x_{n}{ }^{2}}{\left(a_{n}+\lambda_{i}\right)^{2}},
\]
когда оно будет предетавлено только через $\lambda$. Подставляя значения (2) на место $x^{2}$, получим
\[
M_{i}=\sum_{m=1}^{m=n} \frac{\left(a_{m}+\lambda_{1}\right)\left(a_{m}+\lambda_{2}\right) \ldots\left(a_{m}+\lambda_{i-1}\right)\left(a_{m}+\lambda_{i+1}\right) \ldots\left(a_{m}+\lambda_{n}\right)}{\left(a_{m}+\lambda_{i}\right)\left(a_{m}-a_{1}\right) \ldots\left(a_{n}-a_{n-1}\right)\left(a_{m}-a_{m+1}\right) \ldots\left(a_{m}-a_{n}\right)} .
\]
Числитель дроби, стоящей под знаком суммы, есть функия ( $n-1$ )-ой степени от $a_{m}$. Полагаем в нем вместо каждого $a_{m}+\lambda_{s}$ выражение $a_{m}+\lambda_{i}+$ $+\lambda_{s}-\lambda_{i}$, разлагаем после этого числитель по степеням $a_{m}+\lambda_{i}$; тогда член, свободный от $a_{m}+\lambda_{i}$, будет:
\[
\left(\lambda_{1}-\lambda_{i}\right)\left(\lambda_{2}-\lambda_{i}\right) \ldots\left(\lambda_{i-1}-\lambda_{i}\right)\left(\lambda_{i+1}-\lambda_{i}\right) \ldots\left(\lambda_{n}-\lambda_{i}\right) .
\]
Все остальные члены разложения, взятые вместе и разделенные на множитель $a_{n}+\lambda_{i}$, входящий в знаменатель, образуют функцию ( $n-2$ )-ой стегени от $a_{m}$ и поэтому, согласно упомянутой вспомогательной теореме, при суммировании по $m$ они вышадают. На основании этого выражение для $M_{i}$ превращается в следующее:
\[
M_{i}=\sum_{m=1}^{m=n} \frac{1}{a_{m}+\lambda_{i}} \frac{\left(\lambda_{1}-\lambda_{i}\right)\left(\lambda_{2}-\lambda_{i}\right) \ldots\left(\lambda_{i-1}-\lambda_{i}\right)\left(\lambda_{i+1}-\lambda_{i}\right) \ldots\left(\lambda_{n}-\lambda_{i}\right)}{\left(a_{m}-a_{1}\right)\left(a_{m}-a_{2}\right) \ldots\left(a_{m}-a_{m-1}\right)\left(a_{m}-a_{m+1}\right) \ldots\left(a_{m}-a_{n}\right)}
\]
но, как известно, согласно теории разложения на гростейшие дроби, имеет место равенство
\[
\begin{array}{c}
\sum_{m=1}^{m=n} \frac{1}{a_{m}+\lambda_{i}} \frac{1}{\left(a_{m}-a_{1}\right) \ldots\left(a_{m}-a_{m-1}\right)\left(a_{m}-a_{m+1}\right) \ldots\left(a_{m}-a_{n}\right)}= \\
=\frac{(-1)^{n-1}}{\left(a_{1}+\lambda_{i}\right)\left(a_{2}-\lambda_{i}\right) \ldots\left(a_{n}+\lambda_{i}\right)} ;
\end{array}
\]
цоэтому получим для $M_{i}$ окончательно такое значенне:
\[
I_{i}=\frac{\left(\lambda_{i}-\lambda_{1}\right)\left(\lambda_{i}-\lambda_{2}\right) \ldots\left(\lambda_{i}-\lambda_{i-1}\right)\left(\lambda_{i}-\lambda_{i+1}\right) \ldots\left(\lambda_{i}-\lambda_{n}\right)}{\left(a_{1}+\lambda_{i}\right)\left(a_{2}+\lambda_{i}\right) \ldots\left(a_{n}+\lambda_{i}\right)},
\]
и следовательно имеет место уравнение:
\[
\begin{array}{c}
\frac{x_{1}^{2}}{\left(a_{1}+\lambda_{1}\right)^{2}}+\frac{x_{2}^{2}}{\left(a_{2}+\lambda_{i}\right)^{2}}+\ldots+\frac{a_{n}^{2}}{\left(a_{n}+\lambda_{i}\right)^{2}}= \\
=\frac{\left(\lambda_{i}-\lambda_{1}\right)\left(\lambda_{i}-\lambda_{2}\right) \ldots\left(\lambda_{i}-\lambda_{i-1}\right)\left(\lambda_{i}-\lambda_{i+1}\right) \ldots\left(\lambda_{i}-\lambda_{n}\right)}{\left(a_{1}+\lambda_{i}\right)\left(a_{2}+\lambda_{i}\right) \ldots\left(a_{n}+\lambda_{i}\right)} .
\end{array}
\]
†тот резултат можно получить другим, несколько более легким путем. Нодагаем
\[
u=1-\left\{\frac{x_{1}^{2}}{a_{1}+\lambda}+\frac{x_{2}^{2}}{a_{2}+\lambda}+\cdots+\frac{x_{n}^{2}}{a_{n}+\lambda}\right\},
\]
так тто уравнение $u=0$ тождественно с уравнением (1); тогда выражение $M_{i}$, определенное уравнением (5), может быть представлено при помощи функци и в форме
\[
M_{i}=\left(\frac{\partial u}{\partial \lambda}\right)_{\lambda=\lambda_{i}},
\]
и мы сможем цоэтому вывести выражение (6) для $M_{i}$ из $\%$, если шредварптельно заменим в правой части уравпения (8) переменные $x_{1}^{2}, x_{2}^{2}, \ldots c_{n}^{2}$ через переменные $\lambda_{1}, \lambda_{2}, \ldots \lambda_{n}$. Чтобы произвести это преобразование, умножаем $u$ на проивведение знаменателей $\left(a_{1}+\lambda\right)\left(a_{2}+\lambda\right) \ldots\left(a_{n}+\lambda\right)$; тогда получим целое рациональное выражение $n$-го степени относительно $\lambda$, обращающееся в нуль, когда $\lambda_{n}$ принимает значения $\lambda_{1}, \lambda_{2}, \ldots \lambda_{n}$, и имеющее козффициентом при $\lambda^{n}$ единицу. Таким образом имеем:
\[
\left(a_{1}+\lambda\right)\left(a_{2}+\lambda\right) \ldots\left(a_{n}+\lambda\right) u=\left(\lambda-\lambda_{1}\right)\left(\lambda-\lambda_{2}\right) \ldots\left(\lambda-\lambda_{n}\right)
\]
и.ли
\[
u=\frac{\left(\lambda-\lambda_{1}\right)\left(\lambda-\lambda_{2}\right) \ldots\left(\lambda-\lambda_{n}\right)}{\left(a_{1}+\lambda\right)\left(a_{2}+\lambda\right) \ldots\left(a_{n}+\lambda\right)} ;
\]
погутно заметим, что из сопоставления этого равенетва с равепством (8) мокно заключить, что значения (2) величин $x_{1}{ }^{2}, x_{2}{ }^{2}, \ldots x_{n}^{2}$ могут быть определены как взятые с отрицательными знаками числители простейших пробей $\frac{1}{a_{1}+\lambda}, \frac{1}{a_{2}+\lambda}, \ldots \frac{1}{a_{n}+\lambda}$ в разложении дроби (8*). Дифференцируя выражение (8*) для $u$ по $\lambda$ и затем голагая $\lambda=\lambda_{i}$, мы получаем значение $M_{4}$ :
\[
M_{i}=\left(\frac{\partial u}{\partial \lambda}\right)_{\lambda=\lambda_{i}}=\frac{\left(\lambda_{i}-\lambda_{1}\right)\left(\lambda_{i}-\lambda_{2}\right) \ldots\left(\lambda_{i}-\lambda_{i-1}\right)\left(\lambda_{i}-\lambda_{i+1}\right) \ldots\left(\lambda_{i}-\lambda_{n}\right)}{\left(a_{1}+\lambda_{i}\right)\left(a_{2}+\lambda_{i}\right) \ldots\left(a_{n}+\lambda_{i}\right)},
\]
совнадающее с здачением (6).
Іолученные результаты позволяют нам присоединить, без дальнейших вычислений, к выпеуказанной подстановке вытекающие из нее дифференциальные формулы. Если от значения $x_{m}{ }^{2}$, данного в равенстве (2):
\[
r_{m}{ }^{2}=\frac{\left(a_{m}+\lambda_{1}\right)\left(a_{m}+\lambda_{2}\right) \ldots\left(a_{m}+\lambda_{n-1}\right)\left(a_{m}+\lambda_{n}\right)}{\left(a_{m}-a_{1}\right)\left(a_{m}-a_{2}\right) \ldots\left(a_{m}-a_{m-1}\right)\left(a_{m}-a_{m+1}\right) \ldots\left(a_{m}-a_{n}\right)}
\]
взять логарифм и затем продифференцировать, то получим
\[
\frac{2 d x_{m}}{x_{m}}=\frac{d \lambda_{1}}{a_{m}+\lambda_{1}}+\frac{d \lambda_{2}}{a_{m}+\lambda_{2}}+\ldots+\frac{d \lambda_{n}}{a_{m}+\lambda_{n}} .
\]
Этсюда получаетел для суммы квадратов дифференциалов от $x_{1}, x_{2}, \ldots x_{n}$ следующая формула:
\[
\begin{array}{c}
4\left(d x_{1}{ }^{2}+d x_{2}^{2}+\ldots+d x_{n}{ }^{2}\right)=\sum_{m=1}^{m=n} \frac{x_{m}{ }^{2}}{\left(a_{m}+\lambda_{1}\right)^{2}} d \lambda_{1}{ }^{2}+\sum_{m=1}^{m=n} \frac{x_{m}^{2}}{\left(a_{m}+\lambda_{2}\right)^{2}} d \lambda_{2}{ }^{2}+\ldots+ \\
+\sum_{m=1}^{m} \frac{x_{m}{ }^{2}}{\left(a_{m}+\lambda_{n}\right)^{2}} d \lambda_{n}{ }^{2}+2 \sum_{n=1}^{m=n} \frac{x_{m}{ }^{2}}{\left(a_{m}+\lambda_{1}\right)\left(a_{m}+\lambda_{2}\right)} d \lambda_{1} d \lambda_{2}+\ldots
\end{array}
\]
Веледетвие равенства (4) кођффициент при $d \lambda_{1} d \lambda_{2}$ обращается в нуль, и точно так же уничтожаются коэффициенты при всех пропзведениях дифференциалов двух различных вөличин $\lambda$. Коэффициентами же при квадратах $d \lambda_{1}{ }^{2}, d \lambda_{2}{ }^{2}, \ldots d \lambda_{n}{ }^{2}$ на основании равенства (5) являются величины $M_{1}, M_{2}, \ldots I_{n}$, так тто мы имеем
\[
4\left(d x_{1}^{2}+d x_{2}^{2}+\ldots+d x_{n}^{2}\right)=M_{1} d \lambda_{1}^{2}+M_{2} d \lambda_{3}^{2}+\ldots+M_{n} d \lambda_{n}^{2},
\]
где коэффициенты $H /$ огределяются равенством (6):
\[
M_{i}=\frac{\left(\lambda_{i}-\lambda_{1}\right)\left(\lambda_{i}-\lambda_{2}\right) \ldots\left(\lambda_{i}-\lambda_{i-1}\right)\left(\lambda_{i}-\lambda_{i+1}\right) \ldots\left(\lambda_{i}-\lambda_{n}\right)}{\left(a_{1}+\lambda_{i}\right)\left(a_{2}+\lambda_{i}\right) \ldots\left(a_{n}+\lambda_{i}\right)} .
\]
Если мы распространим понятие о живой силе $\frac{1}{2}\left(x_{1}{ }^{2}+x_{2}{ }^{2}+x_{3}{ }^{\prime 2}\right)$ свободно движущейся точки с массой 1 на $n$ измерений и положим
\[
T=\frac{1}{2}\left(x_{1}{ }^{2}+x_{2}{ }^{\prime 2}+\ldots+x_{n}{ }^{\prime 2}\right),
\]
то это выражение $T$ можно шри шомощи равенстиа (9) иредставить ки функцию переменных $\lambda^{\prime}$ и их производных по $t$, и тогда получится
\[
8 T=4\left(x_{1}{ }^{2}+{x_{2}}^{\prime 2}+\ldots+x_{n}{ }^{2}\right)=M_{1} \lambda_{1}{ }^{2}+M_{2} \lambda_{2}{ }^{2}+\ldots+M_{n} \lambda_{n}{ }^{\prime 2} .
\]
Упомянутому распространению на $n$ измерений соответствует гамильтоново уравнение в частных пропзводных, левой частью которого является выражение:
\[
\left(\frac{\partial W}{\partial x_{1}}\right)^{2}+\left(\frac{\partial W}{\partial x_{2}}\right)^{2}+\ldots+\left(\frac{\partial W}{\partial x_{n}}\right)^{2} .
\]
Оно получается из $2 \%$, если сделать подстановку:
\[
\frac{\partial T}{\partial x_{1}{ }^{\prime}}=\frac{\partial W}{\partial x_{1}}, \frac{\partial T}{\partial x_{2}{ }^{\prime}}=\frac{\partial W}{\partial x_{2}}, \ldots \frac{\partial T}{\partial x_{n}{ }^{\prime}}=\frac{\partial W}{\partial x_{n}} .
\]
Если мы хотим теперь найти, во что превратится это выражение при преобразовании переменных $x$ в переменные $\lambda$, то мы поступаем согласпо девятнадцатой лекции, применяя к преобразованному выражению $2 \%$ равенства
\[
\frac{\partial T}{\partial \lambda_{1}{ }^{\prime}}=\frac{\partial W}{\partial \lambda_{1}}, \quad \frac{\partial T}{\partial \lambda_{2}{ }^{\prime}}=\frac{\partial W}{\partial \lambda_{2}}, \ldots \frac{\partial T}{\partial \lambda_{n}{ }^{\prime}}=\frac{\partial W}{\partial \lambda_{n}} .
\]
В рассматриваемом случае мы имееи на основании равенства (10)
\[
4 \frac{\partial T}{\partial \lambda_{i}{ }^{\prime}}=M_{\mathrm{i}} \lambda_{i}{ }^{\prime}=4 \frac{\partial W}{\partial \lambda_{i}},
\]
следовательно мы должны подставить
\[
\lambda_{i}{ }^{\prime}=\frac{4}{M_{i}} \frac{\partial I^{r}}{\partial \lambda_{i}}
\]
з выражение
\[
27^{\prime}=\frac{1}{4}\left\{M_{1} \lambda_{2}^{\prime 2}+M_{2} \lambda_{2}^{\prime 2}+\ldots+M_{n} \lambda_{n}^{\prime 2}\right\}
\]
таким образом получин:
\[
\begin{aligned}
\left(\frac{\partial W}{\partial x_{1}}\right)^{2}+ & \left(\frac{\partial W}{\partial x_{2}}\right)^{2}+\ldots+\left(\frac{\partial W}{\partial x_{n}}\right)^{2}=4\left\{\frac{1}{M_{1}}\left(\frac{\partial W}{\partial \lambda_{1}}\right)^{2}+\right. \\
& \left.+\frac{1}{M_{2}}\left(\frac{\partial W}{\partial \lambda_{2}}\right)^{2}+\ldots+\frac{1}{M_{n}}\left(\frac{\partial W}{\partial \lambda_{n}}\right)^{2}\right\}
\end{aligned}
\]
इде для $M_{i}$ надо взнть выражения (6); иначе это можно нанксать так:
\[
\sum\left(\frac{\partial W}{\partial x_{i}}\right)^{2}=4 \sum \frac{\left(a_{1}+\lambda_{i}\right)\left(a_{2}+\lambda_{i}\right) \ldots\left(a_{n}+\lambda_{i}\right)}{\left(\lambda_{i}-\lambda_{1}\right) \ldots\left(\lambda_{i}-\lambda_{i-1}\right)\left(\lambda_{i}-\lambda_{i+1}\right) \ldots\left(\lambda_{i}-\lambda_{n}\right)}\left(\frac{\partial W}{\partial \lambda_{i}}\right)^{2} .
\]