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

Материал из Викитеки — свободной библиотеки
Перейти к навигации Перейти к поиску
Теоремы о системах кривых. —
Введение в геометрическую теорию плоских кривых, Art. 14.

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


Теорема Жонкьера о точках пересечения соответствующих кривых двух проективных рядов[править]

83. Два ряда кривых (§ 34) называются проективными, когда в силу какого-либо заданного закона каждой кривой первого ряда соответствует она единственная кривая второго ряда и наоборот.

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

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

83a. При , эта теорема дает порядок кривой — места пересечения соответствующих кривых двух проективных пучков (§ 50). В случае же, когда , имеем:

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

83b. Аналогично доказывается другая теорема, которую можно также вывести из этой, используя принцип двойственности:

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

Поляры относительно заданного ряда кривых[править]

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

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

84a. При имеем: -ые поляры для заданной точки относительно пучка составляют новый пучок, проективный первому.[3][4]

84b. При получается след. теорема:

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

84c. И в частности, при : полярные прямые для заданной точки относительно кривых пучка пересекаются в одной единственной точке и составляют звезду, проективную заданному пучку.[5]

85. Пусть задан ряд индекса и порядка и точка , рассмотрим другой ряд, составленный из первых поляр для относительно заданного ряда кривых (§ 84). Точки, в которых кривые порядка пересекают соответствующие им первые поляры — это точки, в которых эти кривые касаются прямых, проведенных из 70). Поскольку эти два ряда проективны, то, применив общую теорему Жонкьера83), получим:

Если из точки провести касательные ко всем кривым порядка ряда индекса , то точки касания лежат на линии порядка .

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

Среди кривых порядка ряда индекса имеется таких, которые касаются прямой, заданной произвольным образом. [6]

При получается теорема § 49.

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

Место полюсов заданной прямой относительно кривых порядка ряда индекса является линией порядка .

Когда , в силу теоремы § 84c, точка будет принадлежать этому месту, если полярные прямые для относительно кривых заданного пучка пересекаются в одной точке на заданной прямой. Но в таком случае первые поляры для проходят через 69a); поэтому:

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

Число кривых пучка, касающихся заданной кривой[править]

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

?

Для решения проблемы разыщем, сколько точек искомого места лежат на произвольной секущей. Пусть  — произвольная точка секущей. Место полюсов прямой относительно кривой является линией порядка 86), которая пересекает секущую в точках . И наоборот: задамся произвольной точкой на секущей, тогда полярные прямые огибают кривую класса 84b) и имеют общих касательных с кривой класса , которую огибают полярые прямые для точек секущей относительной кривой 81a). Эти общих касательных являются полярами относительно для того же числа точек на секущей. Поэтому каждой точке отвечает точек и каждой точке отвечает точек ; таким образом, имеется ровно точек , каждая из которых совпадает с одной из соответствующих точек 83). Итого:

Место полюсов прямых полярных как относительно заданной кривой порядка , так и какой-либо кривой ряда индекса и порядка является линией порядка .

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

87b. Пусть теперь  — точка возврата кривой , применим к касательной возврата предложение, сделанное выше для произвольной секущей. Следует заметить, что в этом случае оболочка полярных прямых для точек относительно кривой имеет класс 81c), и значит, каждой точке соответствует только точек . Поэтому прямая , помимо точки , пересекает кривую еще в точках, то есть точка эквивалентна пересечениям кривой с прямой . Отсюда следует, что в точке собрано точек, общих линиям и 32).

87c. Отсюда получается следующее: если заданная кривая имеет двойных точек и точек возврата, то она пересекается с линией еще в других точках. [9] Но эти последние, в силу определения линии , являются точками, в которых кривая касается кривых заданного ряда, то есть:

В ряде индекса и порядка имеется

кривых, касающихся заданной кривой порядка , наделенной двойными точками и точками возврата.[10]

87d. При имеем:

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

Этот результат уже был получен выше в § 74c.

Число двойных точек кривых заданного пучка и штейнериана[править]

88. Сколько в пучке порядка кривых имеет двойную точку? Зададимся произвольным образом тремя точками (не лежащими на одной прямой), их первые поляры относительно кривых заданного пучка сами составляют три проективных пучка порядка 84a), в которых соответствующими считаются поляры для относительно одной и той же кривой пучка. Если одна из заданных кривых имеет двойную точку, то в ней пересекаются три соответствующие ей первые поляры для , и 73). Поэтому двойные точки кривых заданного пучка — это такие точки плоскости, в которых пересекаются три проективных пучка первых поляр.

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

Кривые пучка порядка имеют двойных точек.

88a. Пусть кривые заданного пучка имеют общую касательную в точке , тогда одна из них, скажем , имеет здесь двойную точку (§ 47). [11] Возьмем точку на общей касательной кривых заданного пучка, а точку оставим произвольной. Все первые поляры для относительно кривых рассматриваемого пучка проходят через точку и здесь касаются прямой 71); а одна из них, именно , имеет в двойную точку (§ 72). Все поляры для тоже проходят через точку 70), а среди поляр для лишь одна единственная, именно , проходит через точку 73).

[Пересечения] поляр для с полярами для порождают кривую порядка , для которой  — двойная точка, а прямая  — одна из касательных, проведенных к этой кривой в точке 52a), а [пересечения] поляр для с полярами для порождают другую кривую того же порядка, тоже проходящую через точку два раза (§ 51b). Поэтому точка , двойная для обеих кривых порядка , эквивалентна четырем пересечениям. В точке поляры для этой точки касаются друг друга, поэтому для формирования этого пучка требуется всего других базовых точек. Кроме этих точек и точки две получившиеся кривые порядка имеют еще общих точек.

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

88b. Предположим теперь, что в заданном пучке нашлась кривая , имеющая точку возврата . Тогда возьмем точку на касательной возврата, а точку оставим произвольной. Первые поляры для относительно кривых заданного пучка составляют пучок, в котором найдется кривая, именно , имеющая точку возврата в с касательной 72). Соответствующая ей кривая в пучке поляр для проходит два раза через точку 78a), а в пучке поляр для  — проходит через и здесь касается 74c). Поэтому [пересечения] первого и второго пучков порождают кривую порядка , для которой  — двойная точка (§ 51f), а [пересечения] первого пучка с третьим порождает кривую того же порядка, проходящую один раз через и здесь касающуюся прямой 51g). Эти две кривые имеют, следовательно, две общие точки, совпадающие в ; поэтому, исключив базовых точек первого пучка, получим всего пересечений.

Итого: если в пучке имеется кривая с точкой возврата, то эта точка считается за две при подсчете двойных точек пучка.

88c. Наконец, предположим, что все кривые рассматриваемого пучка проходят через точку , которая является точкой возврата для одной из них, скажем для . [12] Возьмем точку на касательной возврата для , а точку на прямой, касающейся в точке всех остальных кривых пучка. Поляры для проходят через эту точку и касаются здесь прямой а одна из них, именно , имеет точку возврата в с касательной 71, 72). Поляры для тоже проходят через 70), а одна единственная, именно , касается здесь прямой (74, c). Среди поляр для только одна, именно , проходит через точку и к тому же два раза (§ 78a). Отсюда следует, что поляры для и порождают кривую порядка , для которой является двойной точкой с касательными 52a), а поляры для и порождают другую кривую того же порядка, имеющую точку возврата в с касательной 51c). Поэтому две полученные таким путем кривые имеют в общими двойную точку и одну касательную (), то есть имеют в пересечение кратности пять (§ 32). Помимо точки , в которой поляры первого пучка касаются, и остальных базовых точек этого пучка, которых имеется , остается еще

пересечений двух кривых порядка .

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

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

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

Используя теорему § 78, доказанное можно выразить еще и так:

Место полюсов первых поляр, наделенных двойными точками, относительно заданной линии порядка , то есть место точек пересечения (punti d’incrociamento) двух прямых, составляющих конические поляры, является кривой порядка .

Это место называется Штейнерианой (curva Steineriana) фундаментальной кривой . [13] [14]

88e. Если фундаментальная кривая имеет точку возврата , каждая точка касательной возврата является полюсом первой поляры имеющей двойную точке в 78a). Поэтому эта касательная является частью штейнерианы.

89. Все полярные прямые для фиксированной точки относительно кривых некоторого пучка проходят через другую фиксированную точку (§ 84c). Если мы рассмотрим в пучке кривую, имеющую двойную точку , то полярная прямая для относительно этой кривой окажется неопределенной (§ 72); поэтому полярные прямые для относительно всех других кривых пучка должны совпадать с одной единственной прямой. Иными словами:

Двойные точки кривых пучка обладают тем свойством, что каждая из них имеет такую же полярную прямую относительно всех кривых пучка. [15]

Отсюда получается след. (§ 86):

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

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

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

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

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

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

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

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

90a. Предположим, что кривые двух пучков — это первые поляры относительно заданной фундаментальной кривой порядка . В этом случае . Базовые точки двух пучков — это полюса для некоторых двух прямых (§ 77), поэтому все эти точки лежат на первой поляре, полюсом которой служит точка пересечения этих двух прямых (§ 69a): иными словами, два пучка в этом случае имеют общую кривую. Эта кривая является, очевидно, частью рассмотренного выше места, поэтому после отделения этой части останется кривая порядка , проходящая через двойные точки заданных пучков — место точек касания кривых первого пучка с кривыми второго пучка. Эта кривая порядка не изменится, если взять другие пучки первых поляр вместо заданных; в самом деле, поскольку все первые поляры, проходящие через одну заданную точку, имеют общими еще точек и образуют пучок (§ 77a), то, если две первые поляры касаются в этой точке, то и все другие поляры имеют здесь ту же касательную.

Отсюда получается, что место точек касания первых поляр содержит двойные точки всех пучков первых поляр, и следовательно, в силу теоремы § 78 является также местом полюсов таких полярных коник, которые распадаются на две прямые. Итого:

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

Эту линию называют гессианой (Hessiana) заданной фундаментальной кривой, поскольку она представляет собой геометрическую интерпретацию того коварианта, который Сильвестр назвал гессианом (в честь Г. Гессе), то есть определителя, образованного вторыми частными производными заданной однородной формы относительно трех переменных.[16]

90b. Точки, в которых пересекаются первые поляры для точек и , — это полюса прямой 77); поэтому, если две первые поляры касаются, то прямая содержит два полюса, совпадающих в точке касания. Если к тому же условится называть сопряженными (congiunti) полюсов для одной и той же прямой, можно сказать след.:

Гессиан — это место полюса, совпадающего с одном из сопряженных к нему полюсов.

90c. Индикатриссами (indicatrici) для точки будем называть две касательные, которые можно провести через эту точку к ее полярной конике, тогда сказанное можно сформулировать так:

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

Общие касательные первых поляр[править]

91. Пусть задано три пучка кривых, порядки которых равны соответственно , и . В скольких точках касаются по три кривые?

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

.

91a. Полагая , имеем:

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

91b.[17] Если два пучка имеют один и тот же порядок и если они содержат общую кривую, то эта кривая является частью оболочки, введенной в прошлом параграфе. За вычетом общей кривой, которая, допустим, не имеет кратных точек и, следовательно, класс которой равен 70), останется кривая класса ; то есть:

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

91c. Сделанные предположения выполняются в случае, когда два пучка образованы первыми полярами относительно заданной кривой порядка, причем тогда 90a). Отсюда:

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

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

  1. Jonquières, Théorèmes généraux etc. p. 117.
  2. Если выбрать на секущей какую-нибудь точку , то между и получится уравнение, которое, вообще говоря, может и не содержать член . Это, однако, можно интерпретировать обычным для развиваемой геометрической теории способом: секущая пересекает искомое место в бесконечно удаленной точке (при этом, если этот челн отсутствует для любой секущей, то искомое место содержит бесконечно удаленную прямую).
    Тем не менее, в немецком переводе (Einleitung, стр. 117) Курце предпринимает неожиданные предосторожности и утверждает лишь, что это место «в общем не менее (im Allgemeinen höchstens) чем -го порядка». В том же смысле отредактированы следствия этого утверждения в § 85, 86, 87. В § 83 со ссылкой на письмо Жонкьера автору в Giornale di Matematiche ad uso etc., Napoli 1863, t.1., p. 128, вставлено разъяснение: «Мы говорим „Im Allgemeinen höchstens“, если различные обстоятельства могут понизить порядок результирующей кривой. Напр., когда обе ряда содержат особую пару соответствующих друг другу элементов. Величина может быть, таким образом, рассмотрена скорее как верхняя граница, нежели как абсолютное число (absolute Zahl). В дальнейшем в § 111 bis мы рассмотрим приметный с этой точки зрения пример из теории конических сечений.»
    Сегре, в своем комментарии к этому месту, отметил, что письмо Жонкьера было опубликовано по представлению Кремоны и с его же комментарием, в котором он высказывает надежду на возможность защитить теоремы своего «Введения», касающиеся рядов кривых произвольных индексов. Таким образом, изменения, внесенные в немецкий перевод, не соответствовали мнению автора. Возникшие затруднения были разрешены в частной переписке, частично опубликованной в брошюре «Documents relatifs à une revendication de priorité et Réponse à quelques critiques nouvelles de M. Chasles, par M. E. De Jonquières, Paris le 4 Février 1867». О примере, приведенном Курце в § 111 bis, см. прим. к § 85. — Перев.
  3. Bobillier, Recherches sur les lois qui régissent les lignes etc. (Annales de Gergonne, t. 18, Nismes 1827-28, p. 256).
  4. В авторском экз. отмечено, что эту теоремы можно вывести прямо из теорем § 23 и 49. — Перев.
  5. В авторском экз. отмечено, что когда движется по прямой линии, точка описывает кривую порядка . — Перев.
  6. В этой формулировке совершенно не учтено, что на заданной прямой могут лежать двойные точки кривых ряда. Пример такого ряда был рассмотрен Курце в § 111 bis. В пучке пучок коник, то есть среди кривых, проходящих через четыре точке, имеется ровно две, касающиеся заданной прямой. Поэтому, в силу принципа двойственности, среди коник, касающихся четырех прямых, имеет две, проходящие через заданную точку. Значит, в ряде коник, касающихся трех заданных прямых и проходящих через одну заданную точку, имеется ровно две, касающихся заданной прямой. Поэтому в силу теоремы § 85 вроде бы индекс это ряда должен быть равен 1, что, однако, не верно. — Перев.
  7. Bobillier, Ук. соч.
  8. Это доказательство названо в примечаниях Сегре (1914 г.) несоверешенным и заменено другим. — Перев.
  9. Из следует, что прямая является касательной к и совпадает с полярой для одной из кривых ряда. Из того, что точка сама лежит на касательной , то есть из следует, что является касательной и к . — Перев.
  10. Bischoff, Einige Sätze über die Tangenten algebraischer Curven (Журнал Крелля-Борхарда, Bd. 56, Berlin, 1859, p. 172). — Jonquières, Théorèmes généraux etc. p. 120.
  11. Ни одна из двух касательных в двойной точке может не совпадать с общей касательной. Случай, когда двойная точка оказывается точкой возврата рассмотрен ниже в § 88c. — Перев.
  12. Очевидно, предполагается еще, что кривые имеют общую касательную в  — Перев.
  13. В честь великого немецкого геометра, который первым, насколько я знаю, начал ее изучение.  — Авт.
  14. В авторском экз. указано еще след. Если первая поляра для имеет двойную имеет двойную точке , то:
    1. все первые поляры, проходящие через , имеют здесь общую касательную. Пусть  — точка, в которой эта поляра пересекает полярную прямую , тогда поляры и проходят через и имеют общую касательную .
    2. Первая поляра для другой произвольной точки относительно поляры проходит через ; поэтому первые поляры для относительно первых поляр для всех точек плоскости проходят через ; в следствии этого, полярые прямые для относительно всех точек плоскости проходят через . — Перев.
  15. Это верно. Но можно доказать и то, что для любой прямой найдется полюс, бесконечно близкий к точке . В самом деле, возьмем на прямой две точки и рассмотрим место , порожденное пересечениями соответствующих кривых двух проективных пучков поляр для и . Двойная точка исходного пучка принадлежит обеим соответствующим полярам, а следовательно, и кривой . Все прочие точки являются полюсами для заданной прямой относительно какой либо неособой кривой исходного пучка. Очевидно, что точка кривой , бесконечно близкая к и является искомой. — Перев.
  16. Sylvester, On a theory of the syzygetic relations of two rational integral functions (Philosophical Transactions, vol. 143, part 3, London 1853, p. 545).
  17. В переводе § 91b-91c текст приведен в расширенной версии из авторского экземпляра. — Перев.
  18. Steiner, Ук. соч. p. 4-6.