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

Кривая третьего порядка как гессиана трех различных сетей коник. —
Введение в геометрическую теорию плоских кривых, Art. 24.

автор Луиджи Кремона
См. Оглавление. Дата создания: 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.

146. Заданная произвольным образом кубика может рассматриваться как гессиана трех других кубик, сизигических с ней (§ 143). Каждая из этих трех кривых порождает свою сеть полярных коник, поэтому заданная кубика является гессианой трех различных сетей коник. Относительно каждой из этих сетей, заданная кубика представляет собой место пар сопряженных полюсов (§ 132, b); поэтому тремя различными способами точки кубики могут быть сопряжены друг с другом, так, чтобы две сопряженные точки имели одну и ту же касательную точку, то есть на кубике существуют три системы соответствующих точек133, a).

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

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

146a. Пусть и  — две пары сопряженных полюсов относительно одной и тойй же сети; если прямые и пересекаются в точке , а прямые и в точке , то также и  — пара сопряженных полюсов относительно той же сети (§ 134).

Точки лежат на одной прямой, поэтому точки, касательные к ним точки, лежат на некоторой другой прямой (§ 39, b) и совпадают с касательными точками для точек . Но касательные точки для сливаются с точкой , поэтому общая касательная точка для и является также касательной для . Отсюда получается след.:

Если  — точки, в которых кубика касается четырех касательных, проведенных из ее точки , то диагонали четырехугольника лежат на кубике и касательные, проведенные в точках пересекают кривую в одной и той же точке.

146b. Из теоремы § 134 следует, что, если и  — две пары соответствующих точек кубики, то для того, чтобы это соответствие было относительно одной и той же системы, необходимо и достаточно, чтобы точка пересечения прямых и точка пересечения прямых лежали на кривой. [1] Отсюда, воспользовавшись результатом § 45d, можно вывести следующее:

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

Здесь непосредственно получается разделение полных четырехсторонников, вписанных в кубику, на три различные системы.

146c. Пусть и  — две пары сопряженных полюсов относительно двух различных сетей;  — касательная точка для и ;  — касательная точка для и . Пусть  — третьи пересечения кубики с прямыми , и ; тогда  — тангенциальная точка как для , так и для . Поэтому  — два полюса, сопряженных относительно третей системы (§ b). Аналогично: если прямые пересекают кубику в точках , то эти точки являются полюсами, сопряженными относительно третьей сети[2].

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

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

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

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

148. Пусть  — произвольная точка заданной кубики , а  — касательная точка для . Если  — кубика, гессианой которой является , то распадается на пару прямых, одна из которых проходит через точку 133, b); поэтому проходит через току . Но точка лежит также и на прямой , поскольку эта последняя касается в точке ; следовательно, в точке пересекаются полярные прямые для точки относительно всех кубик, проходящих через точки пересечения и 84c), иными словами:

Если прямая касается кубики в точке и пересекает ее еще в другой точке , то все полярные прямые для относительно всех кубик, сизигических с заданной, проходят через точку .[3] [4]

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

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

148b. Заметим теперь, что согласно § 146a  — диагональные точки четырехугольника, образованного четырьмя точками, в которых прямые, проведенные через точку касаются заданной кубики, [и § 148a этот четырехугольник вписан в полярную конику для относительно любой из сизигических кубик, поэтому в силу § 108b треугольник сопряжен относительно этой коники, то есть] точка является полюсом прямой относительно полярной коники для относительно всех сизигических кубик и т. д.

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

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

, , ,
, , ,
, , ,
и, конечно, .

В силу теоремы § 146c на одной прямой также лежат след. тройки:

, , ,
, , ,

Эти 16 прямых можно сгруппировать в 8 систем по четыре прямые в каждой так, чтобы прямые каждой системы содержали все 12 точек касания[7].

149a. Точки , соответствующие точкам относительно одной и той же сети, являются вершинами треугольника, стороны которого проходят через , (§ 134), а также точками касания кубики и полоконики для прямой относительно той же сети (§ 137). Поэтому в силу § 39 прямые, соединяющие точки с вершинами треугольника, образованного касательными , пересекаются в одной точке [8].

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

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

и ,

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

и

и содержит пересечения двух систем

и .

Этим двум условиям полностью удовлетворяет система трех прямых

,

где [01] обозначает общую точку прямых , а [10] — точку, в которой пересекаются прямые . Но любое место третьего порядка, принадлежащее пучку, заданному двумя системами

и ,

не может быть ничем иным как [кривой, составленной] из прямой и пары прямых, сопряженных в квадратичной инволюции, двойными лучами которой являются прямые и [9]. Поэтому прямая [01][10] проходит через точку [10] и является гармонически сопряженной для прямой относительно пары 25a).

149c. Из тех же соображений: если прямая пересекает прямые в точках [02], [03] соответственно, а прямая пересекает прямые в точках [20], [30] соответственно, то прямые [02][20] и [03][30] проходят через точку . Обозначив как [00] общую точку прямых , видим, что две системы четырех точек — [00, 01, 02, 03] и [00, 10, 20, 30] — имеют равные ангармонические отношения, поскольку они получаются в результате пересечения двмя секущими и одного и того же пучка четырех прямых, пересекающихся в точке .

Отсюда следует, что ангармонические отношения двух пучков и равны, то есть что шесть точек [00], [11], [22], [33], , лежат на одной и той же конике, как это уже было доказано выше в § 131a.alterne

Аналогично, поскольку в точке пересекаются четыре прямые , два пучка и имеют равные ангармонические отношения и т. д.

149d. Итого: в точке пересекаются прямые [01][10], [02][20], …
а также " " [00][11], [22][33], …
" " [00][22], [33][11], …
" " [00][33], [11][22] ,…[11].

Следовательно, точки [00], [11], [22], [33], в которых пересекаются гомологические лучи двух проективных пучков и , составляют полный четырехугольник, диагонали которого принадлежат кубике и являются точками касания трех касательных, проведенных к ней из точки , третьего пересечения кубики с прямой .

Когда точки сливаются, отсюда получается теорема, уже доказанная выше в § 146a.

149e. Точки являются центрами двух проективных пучков, причем прямым соответствуют прямые . Проведем через точку произвольную прямую, которая пересекает прямую в точке ; соединим точку с точкой прямой, пересекающей в точке ; тогда и есть прямая, соответствующая [12]. Таким образом получается, что прямая соответствует или в зависимости от того, рассматривается ли прямая как луч пучка или . В силу § 59 прямые и являются касательными в точках и к конике, порожденной двумя проективными пучками; иными словами, является полюсом прямой относительно коники [00][11][22][33] (см. § 107)

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

Касательные, которые можно провести к кубике из двух ее точек , пересекаются в 16-ти точках , которые можно разложить по четыре на четыре коники, проходящие через точки и .

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

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

149f. Полярная коника для , помимо точки касания кубики в , пересекает ее еще в точка . Каждая коника, проходящая через , пересекает кубике еще в двух других точках, лежащих на одной прямой с , касательной точкой для (147); поэтому коника, проходящая через и , проходит также и через .

Заметим теперь, что диагональными точками полного четырехугольника являются , то есть точки, имеющую общую тангенциальную точку с 146a). Следовательно, треугольник является сопряженным относительно каждой коники, описанной около четырехугольника .

Но поскольку также являются диагональными точками четырехугольника [00][11][22][33], треугольник является сопряженным и относительно коники, на которой лежат шесть точек , [00], [11], [22] и [33]. Следовательно, (§ 108e) эта коника проходит также и через точки [14].

150. Если в общем методе § 67c для построения точки, лежащей против четырех точек кубики , предположить, что эти точки, рассматриваемые как пары, сводятся только к двум , то противолежащая точка окажется на одной прямой с тангенциальными точками для , то есть сама окажется тангенциальной точкой для третьего пересечения кубики с прямой . Каждая прямая, проведенная через точку , пересекает кубику еще в вух других точках , через которые проходит коника, касающаяся в точках и самой рассматриваемой кубики; следовательно, если точки совпадают, то коника и кубика имеют 3 двухточечных касания (tre contatti bipunti). Через точку проходят четыре прямые, касающиеся кубики ; одна из точек касания, именно , лежит на одной прямой с точками ; другие три пусть будут как , рассмотрим конику, касающуюся кубики в точка . Точки являются сопряженными полюсами относительно одной из трех систем коник, гессиана для которых является заданной кубикой (§ 146); и если  — полюс, сопряженный к в той же сети, то прямая проходит через , а прямые и пересекаются в точке , полюсе, сопряженном к точке относительно той же сети (§ 134). Иными словами, если кубика касается в точках кривой второго порядка, то полюса, , сопряженные к относительно одной из трех сетей, лежат на одной прямой; отсюда следует, что кривая второго порядка является полоконикой для прямой 137). Аналогично, если и  — точки, соответствующие в двух других сетях, то коники, касающиеся кубики в и являются полокониками для прямых и относительно этих сетей. [15]

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

Если полоконика должна пройти через две заданные точки , то прямая должна касаться полярных коник и 136a). Но две коники имеют четыре общие касательные, поэтому через две заданные точки в общем случае можно провести 12 коник (по четыре на каждую систему), имеющие три точки касания кратности 2 с заданной кривой третьего порядка.

Полоконика для стационарной касательной, для каждой из трех сетей, имеет шеститочечное касание с гессианой (§ 137); поэтому существует 27 коник (по 9 в каждой системе), имеющих шеститочечное касание с заданной кубикой[16]. Точки касания — это точки, соответствующие в трех системах 9 точкам перегиба, то есть точки, в которых кубика касается прямых проведенных из одной из точек перегиба (§ 39d). Одну из этих точек обозначим как , другую как , третью как , так, чтобы первая принадлежала первой системе, вторая — второй, а третья — третьей.

Три точки перегиба, лежащие на одной прямой, и 9 точек , им соответствующим в трех системах, составляют вмести комплекс 12 точек, к которому можно применить свойство из § 149. Итого:

Каждая прямая, связывающая две точки (одной системы) проходит через точку перегиба;

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

И наконец, в силу § 137a:

Шесть точек , соответствующих (в одной и той же системе) шести точкам перегиба, лежащим на двух прямых, лежат на конике[17].

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

  1. Достаточность: если заданы   и  , то положение точки  , сопряженной к   относительно той же системы, что и сопряжение  , дается однозначно построением § 134. — Перев.
  2. Hesse, Ueber Curven dritter Ordnung und die Kegelschnitte, welche diese Curven in drei verschiedenen Puncten berühren (Журнал Крелля, Bd. 36, Berlin, 1848, p. 148—152).
  3. Salmon, On curves of the third order, p. 535.
  4. В авторском экземпляре отмечено след.: Из теоремы § 132c следует, что проведенные через точку   другие три касательные к   являются полярными прямыми для   относительно тех трех кубик, для которых   является гессианой. Таким образом, четыре касательные, которые можно провести к кубике   через точку  , являются полярными прямыми для одной из точек касания относительно   и трех кубик, для которых   является гессианой. Ангармоническое отношение четырех касательных, следовательно, равно ангармоническому отношению четырех кубик: отсюда получается новое доказательство постоянства ангармонического отношения четырех касательных при изменении точки  131).
    Если   — точка перегиба кубики  , то в силу предыдущей теоремы три прямые, которые можно провести через точку   так, чтобы они касались кубики  , являются стационарными касательными в   к тем трем кубикам, для которых   является гессианой, это тоже уже было доказано выше в § 141. — Перев.
  5. Cayley, A Memoir on curves etc. p. 443.
  6. Plücker, System der analytischen Geometrie, p. 272.
  7. Hesse, Ueber Curven dritter Ordnung u.s.w. p. 153.
  8. Plücker, System der analytischen Geometrie, p. 46.
  9. Если коники некоторого пучка имеют общую двойную точку  , то есть если каждая из них составлена из двух прямых, пересекающихся в точке  , то все такие пары прямых образуют инволюцию, двойные лучи которой представляют те две линии пучка, для которых   — точка возврата (см. § 48). — Авт.
  10. В авторском экземпляре прибавлено след.: поскольку прямая [01][10] проходит через  , то, следовательно, шестиугольник   вписан в конику (S. Roberts, Ed. Times за октябрь 1868 г.). — Перев.
  11. В каждой из точек   пересекаются шесть прямых, аналогичных [01] [10], [напр., через точку   проходят прямые [01][10], [02][20], [03][30], [23][32], [31][13], [12][21].] — Автор.
  12. В авторском экземпляре имеется разъяснение: поскольку   — точка, в которой пересекаются прямые, связывающие пересечения пар чередующихся лучей, именно,  ,  ;  ,  ; и т. д. — Перев.
  13. Salmon, Théorèmes sur les courbes de troisième degré, p. 276, — Higher plane curves, p. 134.
  14. Samuel Roberts, On the intersections of tangents drawn through two points on a curve of the third degree (Quarterly Journal of pure and applied Mathematics, vol. 3, London 1860, p. 121).
  15. Выше вводились полоконики относительно  , но можно назвать полоконикой относительно сети то, что раньше имновалось полоконикой относительно ее гессианы. — Перев.
  16. Steiner, Geometrische Lehrsätze (Журнал Крелля, Bd. 32, Berlin, 1846, p. 132).
  17. Hesse, Ueber Curven dritter Ordnung u. s. w. p. 165—175.
    Помимо мемуаров, названных в этом и пред. параграфах, см.
    • Möbius, Ueber die Grundformen der Linien der dritten Ordnung (Abhandlungen der K. Sächsischen Gesellschaft der Wissenschaften, 1. Bd, Leipzig 1849, p. 40).
    • Bellavitis, Sulla classificazione delle curve del terz’ordine (Memorie della Società Italiana delle scienze, t. 25, parte 2, Modena 1851, p. 33). — Sposizione dei nuovi metodi di geometria analitica (Memorie dell’Istituto Veneto, vol. 8, Venezia 1860, p. 342).
    — Автор.