Введение в геометрическую теорию плоских кривых (Кремона)/15

Геометрические сети. —
Введение в геометрическую теорию плоских кривых, Art. 15.

автор Луиджи Кремона
См. Оглавление. Дата создания: 1862. Источник: Introduzione ad una teoria geometrica delle curve piane. // Opere matematiche di Luigi Cremona. Рubblicati sotto gli auspici della R. Accademia dei Lincei. Milano: U. Hoepli, 1914. T. 1. Pag. 317-465.

Гессиана сети править

92. Полная система линий порядка  , удовлетворяющим   условиям, называется геометрической сетью (rete) порядка  , когда через две взятые произвольным образом точки проходит одна единственная линия системы, то есть когда линии системы, проходящие через одну такую произвольную точку, образуют пучок.[1]

Напр., первые поляры относительно заданной кривой порядка   образуют геометрическую сеть порядка  77a); и наоборот, многие свойства первых поляр могут быть перенесены на произвольные сети с сохранением доказательств.

Два пучку порядка  , имеющие общую кривую, или три кривые порядка   не проходящие через одни и те же   точек, определяют геометрическую сеть порядка  77, a).

Место точки, в которой касаются две (а следовательно, и бесконечно много) кривых заданной сети порядка   является линией порядка  . Эта линия, которая может быть названа гессианой сети, является также местом двойных точек кривых сети (§ 90a).

Общие касательные в точках касания кривых сети огибают кривую класса  91c).

92a. Предположим, что все кривые заданной сети имеют общую точку  . Проведем прямую   через точку   и пусть   — точка на  , бесконечно близкая к  ; тогда бесконечно число кривых сети проходят через точку   (то есть касаются прямой   в точке  ) и образуют пучок. Проведем через   вторую прямую  , на которой пусть   — точка, следующая за  , то имеется (и при том только одна) кривая сети, проходящая через   и  , то есть имеющая двойную точку в  . Итого: когда все кривые сети имеют общую точку, одна из них имеет здесь двойную точку, а кривые, касающиеся прямой, проведенной через эту точку, образуют пучок.

92b. Предположим теперь, что все кривые не только имеют общую точку  , но и касаются здесь прямой  . Проведем прямую   произвольным образом через точку  , имеется бесконечное число кривых сети, проходящих через точку на  , следующую за  , и все эти кривые составляют некоторый пучок. Каждая из них пересекает и прямую  , и прямую   в двух точках, совпадающих с  , то есть имеет здесь двойную точку, а сам пучок не меняется при вращении прямой   вокруг  . Среди кривых пучка две имеют точку возврата в  48), а одна из кривых пучка имеет в качестве касательной прямую  . В самом деле, эта последняя кривая выделяется из кривых пучка тем, что должна пересекать   в трех точка, а   в двух точках, совпадающих в  . [2]

Якобиана трех кривых править

93. Пусть заданы три кривые  ,   и  , порядки которых равны соответственно  ,   и  , попытаемся определить место точек, полярные прямые для которых относительно этих кривых пересекаются в одной и той же точке

 ;

иными словами (§ 69a), место точки, в которой пересекаются первые поляры для одной и той же точки относительно заданных кривых:

 .

С этой целью поступим так: сначала через точку  , зафиксированную произвольным образом, проведем прямую   и определим точки, обладающие тем свойством, что в каждой из них пересекаются первые поляры для одной и той же точки на  ; затем, вращая эту прямую вокруг точки  , получим все точки искомого места.

Первые поляры для точек прямой   относительно кривых   и   образуют два проективных пучка (§ 77), и тогда соответствующие кривые, то есть поляры для одной и той же точки прямой  , пересекаются в точка кривой   порядка  , проходящей через базовые точки обоих пучков. Следует заметить, что база первого пучка образована   точками, в которых первая поляра для   относительно   пересекает первую поляру относительно любой другой точки прямой   относительно той же кривой. Таким образом получается кривая   — место точек в которых пересекаются первые поляры относительно   и   для одной и той же точки на  .

Каждой прямой  , проходящей через постоянную точку  , соответствует своя кривая  . Среди таких кривых   имеется одна единственная, которая проходит через произвольную точку  . В самом деле, заданием точки   вполне определены прямые   и  , а следовательно, и их точка пересечения  . Проведем прямую   через эту точку и точку  . Тогда по теореме § 69a первые поляры   и   должны проходить если через  , лежащую на прямой  , то есть точка   должна лежать на кривой  , соответствующей так построенной прямой  . [3] Поэтому, вращая прямую   вокруг точки  , получим пучок кривых  41).

Далее, когда кривая   заменяется  , прямая   аналогично порождает кривую   порядка  , которая проходит через все те же   базовые точки первого пучка, что и кривая  . Когда прямая   вращается вокруг  , соответствующие кривые   образуют пучок. Два пучка, образованные кривыми   и  , проективны между собой, поскольку каждый из них проективен пучку прямых  , проходящих через  . Поэтому эти два пучка, первый — порядка  , второй — порядка  , порождают кривую порядка  50). Но поскольку две соответствующие кривые   и   имеют   точек, [движущихся при вращении  , но] лежащих на постоянной кривой порядка   (именно, на первой поляре  ), то оставшиеся    точки, общие гомологическим кривым   и  , порождают кривую порядка  50a). Эта кривая и есть искомое место. [4]

Эта кривая называется якобианой (Jacobiana) трех заданных кривых.[5]

Если три заданные кривые проходят через одну и ту же точку  , то и полярные прямые   проходят через эту точку. Поэтому, если кривые   имеют общую точку, то оная является точкой их якобианы.

Если одна из данных кривых, напр.,  , имеет двойную точку  , то полярная прямая   остается неопределенной (§ 72), и можно взять за таковую прямую, соединяющую точку   с пересечением полярных прямых   и  . Поэтому якобиана проходит через двойные точки заданных кривых.

94. Допустим, что  , то есть две заданные кривые имеют один и тот же порядок. В таком случае якобиана не меняется, если заменить эти две кривые на любые другие кривые пучка, заданного этими кривыми. Это очевидно, поскольку якобиана является местом точек, через которые проходят три первые поляры для одного и того же полюса, а первые поляры для одного и того же полюса относительно всех кривых пучка сами образуют пучок (§ 84a), то есть проходят через одни и те же точки.

В рассматриваемом случае, якобиана допускает другое определение. Если   является ее точкой, то полярные прямые   пересекаются в одной и той же точке  . Но эта точка   является также и точкой, через которую проходят полярные прямые для   относительно всех кривых пучка  84c); то есть полярная прямая   является также полярной прямой для той же точки относительно некоторой кривой пучка. Поэтому можно сказать, что якобиана заданных кривых является местом точек, имеющих одинаковые полярные прямые как относительно  , так и относительно некоторой кривой пучка  ; такое место уже было исследовано выше (§87).

95. Предположим теперь, что  , то есть что заданные кривые имеют одинаковый порядок  . Поскольку согласно § 94 любые две из них можно заменить двумя другими кривыми их пучка, то и три заданные кривые можно заменить на любые три кривые сети  92) без изменения якобианы. Отсюда: если задана сеть кривых порядка  , то место точек, для которых полярные прямые относительно кривых сети проходят через одну и ту же точку, является линией порядка  , проходящей через все двойные точки этих кривых93). Поэтому в рассматриваемом случае якобиана совпадает с гессианой сети (§ 92). Это дает другое определение гессианы заданной сети. [6]

Неподвижные точки сети и ее гессиана править

95bis. Рассмотрим теперь поближе случаи, когда, во-первых, кривые сети все пересекаются в одной и той же заданной точке, и, во-вторых, когда эти кривые касаются в общей точке [и одна из них имеет здесь точку возврата с касательной, совпадающей с общей касательной]. [7] В первом случае, не ограничивая общности рассмотрения, можно предположить, что одна из трех кривых, определяющих сеть, имеет двойную точку в заданной точке; во втором случае — что первая кривая имеет в заданной точке точку возврата и здесь касается общей касательной ко всем кривым сети (§ 92a, 92b).

Первый случай править

96. Итак, пусть задано три кривые   одного порядка  , имеющие общую точку, в которой одна из них, именно  , имеет двойную точку; разместим в этой точке полюс  , использованный выше в § 93 при общих изысканиях о якобиане.

96a. Первые поляры   и   проходят через точку  , поэтому через эту точку проходит также все кривые   пучка, проективного пучке прямых  93).

Кривая  , соответствующая заданной прямой  , не изменится, если заменить кривые   любыми двумя кривыми из пучка  . Заменим кривую   кривой  , касающейся в точке   прямой  , тогда первые поляры для всех точек прямой   относительно кривой   проходят через точку  70). Через точку   проходит также первая поляра  ; поскольку касательной в точке   к кривой   является прямая, которая в этой точке касается  51a), то есть сама прямая  . Итого: когда кривые   имеют одинаковый порядок и проходят через точку  , то и кривая   проходит через точку   и здесь касается соответствующей ей прямой  .

96b. Путь   — двойная точка кривой  , то первая поляра относительно этой кривой для всех точек прямой   проходят через точку   и здесь касаются одной и той же прямой  , гармонически сопряженной к   относительно двух касательных к   в ее двойной точке (§ 74c).

Кривая  93) порождена двумя проективными пучками: пучком первых поляр для точек   относительно кривых   и пучком первых поляр для тех же точек относительно кривых  . Кривые первого пучка имеют в точке   общую касательную  . Кривая второго пучка, проходящая через  , то есть первая поляра  , соответствует первой поляре  , то есть кривой первого пучка, для которой точка   является двойной. Следовательно, какова бы ни была прямая  , кривая  , порожденная этими двумя пучками, имеет в точке   имеет двойную точку (§ 51b). Кроме того, прямая   является одной из двух касательных к кривой   в двойной точке   в двух случаях: во-первых, когда прямая   является одной из касательных к   в двойной точке (§ 51d), и, во-вторых, когда прямая   является касательной в точке   к кривой  , и тогда все кривые второго пучка проходят через  52a).

Итого: если кривые   и   имеют общую точку  , двойную для кривой  , то кривая  , соответствующая прямой заданной прямой   (проходящей через  ), имеет двойную точку в  ; прямая   является одной из двух касательных, если эта прямая является касательной в точке   к одной из заданных кривых.

96c. Отсюда нетрудно видеть, что в рассматриваемом случае точка   принадлежит всем кривым   пучка, проективного пучку прямых  , проведенных через точку  a), и является двойной для всех кривых   пучка, проективного тому же пучку прямых (§ b). Поэтому   является тройной точкой для составной кривой порядка  , порожденный двумя проективными пучками кривых   и  52, 93). Но эта составная кривая содержит первую поляру  , которая проходит один раз через  ; поэтому эта точка является двойной для второй части составной кривой порядка  , то есть для якобианы.

Прямая   является касательной для соответствующих ей кривых  a); поэтому касательные к получающейся в итоге кривой порядка   в тройной точке   являются такими прямыми  , которые касаются также соответствующих ей кривых  52). Но   касается соответствующих ей кривых  b) когда она является касательной к   или к  ; поэтому три касательные в тройной точке — это касательная к   и две касательные к  . Из этих трех прямых первая является касательной к первой поляре  71); поэтому две другие должны быть касательными к якобиане в ее двойной точке  .

Теперь можно подвести итог:

96d. Пусть задана сеть кривых проходящих через точку  , тогда гессиана сети проходит два раза через точку   и обе касательные, проведенные в этой точке, — общие с касательными к той кривой сети, для которой точка   является двойной.

Второй случай править

97. Обратимся теперь к случаю, когда точка  , общая трем кривым  ,   и  , является точкой возврата для одной из них, а касательная возврата   касается в точке   обеих кривых   и  .

97a. Кривые   и   имеют в точке   одну и ту же касательную, поэтому вместо одной из них, [скажем  ], можно взять ту кривую пучка  , которая имеет двойную точку в  47); поэтому эта точка является двойной для кривой  , какой бы ни была прямая  96b). Кроме того, когда   совпадает с  , эта прямая является одной из двух касательных в двойной точке соответствующей ей кривой  .

97b. Поскольку   является точкой возврата для  , первые поляры относительно этой кривой для всех точек   проходят через   и здесь касаются прямой  74c); и среди них имеется одна поляра, именно  , для которой эта точка является точкой возврата и при этом прямая   является и для нее касательной возврата. Кроме того, поляра   также проходит через   и здесь касается той же прямой  . Поэтому, какова бы ни была прямая  , кривая   имеет в   точку возврата, а прямая   является касательной возврата (§ 51e).

Но если   совпадает с  , то первые поляры для точек прямой   относительно   имеют двойную точку в  78a), в то время как первые поляры для тех же точек относительно   только проходят через   с кратностью 1 (§ 70); поэтому кривая  , соответствующая прямой  , совпадающей с прямой  , имеет тройную точку в  52).

97c. Собирая доказанное вмести, видим, что кривые   имеют в   двойную точку, в то время как кривые   имеют здесь точку возврата с общей касательной возврата  . Отсюда следует, что   является точкой четвертой кратности на составной кривой порядка  , порожденной этими двумя проективными пучками кривых   и  , и что две из четырех ее дуг, проходящих через точку  , касаются здесь прямой  52). Другие две дуги касаются в точке   касательных к кривой  , соответствующей той кривой  , которая имеет в   тройную точку (§ 52a). Кривая  , для которой   является тройной точкой, соответствует прямой  , совпадающей с  97b), следовательно, эта кривая соответствует той кривой  , одна из двух дуг которой касается в точке   прямой  97a). Поэтому три из четырех касательных в точке   4-ой кратности составной кривой порядка   сливаются в прямую  .

Кривая порядка   составлена из якобианы трех заданных кривых и первой поляры  . Эта первая поляра проходит через точку   один раз и здесь имеет касательную  ; поэтому якобиана проходит три раза через точку   и две из трех ее дуг касаются здесь прямой  . Итого:

97d. Пусть задана сеть кривых, имеющих общую точку   и здесь касающихся одной и той же прямой  , [которая является также касательной в   и к той кривой, которая имеет в   точку возврата][7], тогда гессиана сети имеет три дуги, проходящие через точку  , две из которых здесь касаются прямой  .

Штейнериана сети править

98. Допустим, что опять заданы три кривые  ,   и  , порядки которых равны соответственно  ,   и  . Разыщем, какой порядок имеет место точки, в которой пересекаются полярные прямые для одного и того же полюса относительно заданных кривых:

 .

Пусть   — произвольная прямая, а   — произвольная точка на этой прямой; если через   требуется провести полярные прямые относительно   и  , то за их полюс   следует взять одно из   пересечений первых поляр   и  . Если через   требуется провести первую поляру относительно  , то ее полюс следует взять на прямой  ; полярные прямые для   [подходящих] точек   пересекают прямую   в стольких же точках  .

Наоборот, выберем произвольным образом точку   на  . Если через нее требуется провести полярную прямую относительно  , то ее полюс следует взять на первой поляре  . Полярные прямые для точек кривой   относительно кривой   огибают кривую класса  81), а полярные прямые для точек   относительно   огибают кривую класса  . В этих двух кривых-оболочках каждой касательной одной соответствует касательная другой, если принять за соответствующие друг другу такие касательные, которые являются полярами для одной и той же точки кривой   относительно   и  . Поэтому (§ 83a) пересечения гомологических касательных порождают кривую порядка  , пересекающую прямую в   в стольких же точках  .

Таким образом, каждой точке   соответствует   точек  , и в то же время каждой точке   отвечает   точек  . Поэтому совпадение двух гомологических точек   и   на прямой   происходит   раз, то есть таков порядок искомого места. Эта кривая проходит, очевидно, через точки, общие трем заданным кривым, если таковые имеются.

98a. Когда три заданные кривые имеют один и тот же порядок  , то замена этих кривых на три другие кривые сети   не приводит к изменению места, рассмотренного в пред. параграфе. Это место имеет порядок   и может быть названо штейнерианой сети (Steineriana della rete) (ср. § 88d).

98b. Пусть задана сеть кривых порядка  , каждая точка   гессианы является полюсом бесконечного числа полярных прямых относительно кривых сети, которые пересекаются в одной и той же точке   штейнерианы (§ 95). Таким образом, каждой точке гессианы отвечает точка штейнерианы и наоборот; следовательно, прямая, соединяющая две соответствующие точки огибает некоторую третью кривую класса  83b). Любая прямая, проходящая через  , [в том числе и  ], является полярной для точки   относительно какой-нибудь кривой сети. Но если полярная прямая проходит через полюс, то здесь фундаментальная кривая касается полярной прямой. Следовательно, прямая   касается в точке   некоторой кривой сети. Все кривые сети, проходящие через точку  , касаются здесь друг друга (§ 92), поэтому общей касательной этих кривых является  .

Примечания править

  1. Mobius, Ук. соч. p. 266. — Steiner, Ук. соч. p. 5.
  2. В оригинале указано, что прямая   должна быть касательной возврата для одной из двух указанных кривых, однако это утверждение вычеркнуто в авторском экземпляре. — Перев.
  3. Здесь перевод немного отклоняется от оригинала. — Перев.
  4. Если точка   лежит на пересечении соотв. кривых   и  , то обе точки   и   лежат на прямой  . Если прямая   отлична от  , то обе эти точки совпадают, то есть поляры   и   пересекаются в одной точке. Если же прямая   совпадает с  , то точка   является базовой точкой пучка, образованного полярами  , полюса которых пробегают прямую  . Поэтому эти точки, описывающие при вращении   поляру  , и необходимо удалить при образовании искомого места. — Перев.
  5. Sylvester, Ук. соч. p. 546.
  6. Уже доказано, что все двойные точки образуют кривую порядка  , поэтому гессеана не является составной частью якобианы, а именно совпадает с ней. — Перев.
  7. а б В § 92b была допущена досадная ошибка, описанная в примечании к этому параграфу, после исправления которой здесь приходится делать дополнительную оговорку. — Перев.