Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
Рассотрим тенерь более подробное геометрическе значение цодстановки, данной в предыдущей лекции для $n=2$ и $n=3$. Гяя случая двух переменных мы имеем уравнение Если рассматривать $x_{1}$ и $x_{2}$ как прямоугольные кординаты, то это есть уравнение конического сечения и цритом, если $\lambda$ лежит в границах — $a_{1}$ च — — , так что оба знаменателя шоложительны, то это есть уравнение әллиса; гсли же $\lambda$ лежит между — $a_{1}$ и $-a_{2}$, чак что нервый знаменатель отрицателен, второй положителен, то эо будет гипербола. Если величина $\lambda$ меняется, в то время как $a_{1}$ и $a_{2}$ остаютея постоянными, то уравнение представляет еистему софокусных конических сечений. Если $x_{1}$ п $x_{2}$ даны, то всегда. имеются два значения $\lambda$, удовлетворяющи уравнению: одно лежит между $-a_{1}$ и $\infty$, другое между $-a_{1}$ и $-a_{2}$; иначе говоря, в системе софонусных конитеских сечений через давную точқу всегда проходят два из них и притом әто будут один әлипс и одна гипербола. ІІ:том введевие переменचих $\lambda_{1}$ и $\lambda_{2}$ вместо $x_{1}$ и $x_{2}$ геометрически обозначает то, что мы тотки на илоскости определяем помощью эллипсов и гиербол, которые через них проходят и две данные точки имеют фокусами. Если положиль $\lambda_{1}=$ const. то подучатея все точки, лежащие на одвом эллисе системы софоктеных «снических сечений; если положить $\lambda_{2}=$ const, то это даст все точки одной гнерболы. Обе системы софокусных элинсов и гинеро́л имеют то общее с обыкновенеой системой ксординат, что либые две гривые одной системы не пересекаются друг с другом и каждая кривая одной системы пересекает все кривые другой системы под прямым тглом. В самом деле, пуеть один из әллинсов и одна из гипербол пересекаютя в точке $\left(r_{1}, r_{2}\right)$; тогда имеют место соотношения тогда вормали к аллинсу и к гиперболе, нострсенные в точке $\left(x_{1}, x_{2}\right)$; образуют с осями углы, косинусы которых относятся друг к другу как $\frac{\partial E}{\partial x_{1}}: \frac{\partial E}{\partial x_{s}}$ и как $\frac{\partial H}{\partial x_{1}}: \frac{\partial H}{\partial x_{2}}$. Если эти норуали пернендик чярны друг к другу, то должно выполняться соотношение нан п так как, благодаря равенству (4) предыдущей лекции, это выражение есть тождество, то этим доказана ортогональность эллипа и гиперболы. Это обстоятельство облегчает вычисление элемента площади, тав как в то время, как вообще он равен $\left(\frac{\partial x_{1}}{\partial \lambda_{1}} \frac{\partial x_{2}}{\partial \lambda_{2}}-\frac{\partial x_{1}}{\partial \lambda_{2}} \frac{\partial x_{2}}{\partial \lambda_{1}}\right) d \lambda_{1} d \lambda_{2}$, в рассматриваемом случае достаточно только перемножить между собой элементы дуг эллиса и гиперболы. По формуле (9) шрошлой лекции учетверенный ьвадрат элемента дуги произвольной кривой выражаетея так: Отсюда получаетея элемент дуги эллиша, если положить $\lambda_{1}$ постоянным, следовательно $d \lambda_{1}=0$; элемент дүги гинерболы, если положить $\lambda_{2}$ постоянным, следовательно $d \lambda_{2}=0$. Поэтому эти элементы гуг будут равны соответственно и элемент площади есть их произведение, т. е. Совериенно аналогичные рассуждения могут быть применены в случае трех переменных, т. е. для пространства. Пуеть $x_{1}, x_{2}, x_{3}$ — прямоугольне координаты; тогда уравнение при вариировании $\lambda$ предетавляет спстему софокусных поверхностей второго порядка. Теоремы относительно софокусных поверхностей второго порядка (т. е. таких, у которых главные сечешия имеют общие фокусы) принадлежат к замечательнейшим теоремам аналитической геометрии; некоторые важнейшие из них я впервые опубликовал в 12 томе журнала Crell’я. ${ }^{1}$ Шаль в своем Aperçu historique ${ }^{2}$ указывает на них, как на новые, не упоминая о моем ириоритете, но надо вспомнить, что в этом сочинении все нашиеанные по-немецки статьи журнала Crell’s не приняты во внимание. ${ }^{3}$ Софокусные поверхности делятся на три сиетемы: на систему элинсоидов, для которой $\lambda$ лежит между $-a_{1}$ и $+\infty$, на систему однонолых гишерболоидов, для которой $\lambda$ лежит между $-a_{1}$ и — $a_{2}$, на систему двуполых гиперболоидов, для которой $\lambda$ лежит между $-a_{2}$ п $-a_{3}$. В самом деле, в первом случае все зназенатели $a_{1}+\lambda, a_{2}+\lambda, a_{3}+\lambda$ положительны, во втором случае $a_{1}+\lambda$ отрицателен, в то время как $a_{2}+\lambda$ и $a_{3}+\lambda$ положительны, в третьем случае $a_{1}+\lambda$ и $a_{2}+\lambda$ отрицательны, $a_{3}+\lambda$ положителеп. Для каждой точки ( $x_{1}, x_{2}, x_{3}$ ) имеются три значешия $\lambda_{1}, \dot{\lambda}_{2}, \lambda_{3}$ для $\lambda$, удовлетворяющие вышенаписанному уравнению, и притом $\lambda_{1}$ соответствует эллисоиду, $\lambda_{2}$-однополому гиперболоиду, $\lambda_{3}$-двуполому гишерболоиду. Таким образом из данной системы софокусных поверхностей второго порядка через данную точку всегда проходят одик эллипсоид, один однополый типерболоид и один двуполый гиперболоид. Из этих трех систем каждая пересекает две другие под прямым углом. Бине первый доказал, что кривые пересечения будут в то же время линиями кривизны этих поверхностей. Парль Дюпен в своих Développements de géometrie показал, что эта теорема всегда имеет место, если три системы поверхностей пересекаются взаимно ортогонально. В новейшее время Ляме дал интересные применения теории софокусных поверхностей к математической физике. Что три софогусные поверхности, проходящие через заданную точку пространства, пересекаютея друг с другом под прямым углом, вытекает из геометрического значения равенства (4) предыдущей лекции. Само собой разумеется, что три кривые пересечения этих поверхностей, попарно взятых, ортөгональны друг к другу. Отсюда следует, что попарно взятые әлементы дуги этих кривых пересечения, будучи перемножены, дают элемент площади поверхности, содержащей взятую пару әлементов дуги, и что произведение всех трех әлементов дуг кривых пересечения представляет элемент объема в координатной системе ( $\lambda_{1}, \lambda_{2}, \lambda_{3}$ ). Выражение для квадрата элемента дүги какой-нибудь пространственной кривой будет на основании формулы (9) предыдущей лекции иметь вид: Еели в этом выраженип положить одну из величин $\lambda_{1}, \lambda_{2}, \lambda_{3}$ постоянной, то оно будет соответствовать случаю кривой, которая лежит на одной из софокусных поверхностей, например для постоянного $\lambda_{1}$ кривая лежит на эллипсоиде. Если далее положить в этом выражении две из величин $\lambda_{1}$, $\lambda_{2}, \lambda_{3}$ постоянными, то оно будет соответствовать случаю упомянутых вривых пересечещия и притом тех, которые лежат на софокусном эллипоиде, если положить цостоянными $\lambda_{1}$ и $\lambda_{2}$ или $\lambda_{1}$ и $\lambda_{3}$, если же положить цостоянными $\lambda_{2}$ и $\lambda_{3}$, то на пересечении двух софокусеных гипербодоидов. На основании этого подучаем для элементов дуг кривых пересечения на эллипсоиде выранения: и для элемента поверхности эллипсоида имеем: Іроинтегрируем этот дифференцил п интегрирование распространим ва все возможные значения $\lambda_{2}$ и $\lambda_{3}$, т. е. от $\lambda_{2}=-a_{2}$ до $\lambda_{2}=-a_{1}$ и от $\lambda_{3}=-a_{3}$ до $\lambda_{3}=-a_{2}$; тогда цолутим восьмую часть новерхности целого эллипсонда. Но этот двойной интеграл сам собой расцадаетея на сұмиу двух произведениї простых интегралов и дает для поверхности аллисоида выражение юоставленне из эллитических интегралов. Это путь, которым Лежандр припел к кваратуре поверхности элличоида. 1 Его работа имеет огромную важность в особенности потому, что при этом в первый раз были применены линии кривизны как апалитический инструмент для преобразования коордипат. Если возъем в предыдущем выражении интеграл в более узких границах, то получих поверхность не целого элиисоида, но только его части, заключенной между двумя линиями кривизны одного рода и двумя другого рода. Чтобы получить элемент объема, надо умножить элемент поверхности млипсоида на элемент дуги кривой пересечения, образованной обоими гиперболопами. Таким алементом дуги является, если положить $\lambda_{2}$ и $\lambda_{3}$ постоянными, выранение следоватеньн элемент объена предетавится так: Если этот дифференциал трижды проинтегрировать, притом внутри таких грашиц, которые не превосходят возщожных вначений для $\lambda_{1}, \lambda_{2}, \lambda_{3}$, то получится объем, ограничевный двумя софокусными элипсоидами, двума софокусными однонолыми гиперболоидами и двумя софокусными двуполыми гиперолоидами. Троӥной интеграл распадается сам собой нд 6 ченов, каждый из которых есть произведение трех цростых интегралов. которые мы умножаем друг на друга при квадратуре элишеоида, являютея по теореме Бине элементаяи линий кривизны на эллинсоиде. Интегрировапие $\qquad$ этих элементов дает спрямление линий кривизны, и мы получаем дия дуг этих линий интегралы которые принадлежат к абелевым интегралам и притом к тому роду, который ближе всего подходит э эллитическим интегралам.
|
1 |
Оглавление
|