О некоторых вопросах теории плоских кривых (Кремона)/5

Об образовании кривой при помощи двух проективных пучков — Art. 5. О сетях кривых второго порядка
автор Луиджи Кремона, пер. Участник:Bkmd
Оригинал: итальянский. — Перевод опубл.: 1864. Источник: Sopra alcune questioni nella teoria delle curve piane. // Opere matematiche di Luigi Cremona. Рubblicati sotto gli auspici della R. Accademia dei Lincei. Milano: U. Hoepli, 1915. T. 2. Pag. 144 и сл.

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

Рис. к § 21.

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

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

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

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

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

22. Обратимся теперь к частному случаю и предположим, что в сети имеется коника, составленная из одной прямой , взятой два раза, такую конику обозначим как . Если также и в этом случае коники сети образуют систему поляр, то каждая точка прямой должна быть полюсом коники, имеющей двойную точку [в полюсе коники ] (Introd. 78); но с другой стороны полярные коники для точек прямой образуют некоторый пучок, следовательно, в сети имеется пучок, все коники которого имеют двойную точку [в точке ]. Такой пучок не может быть ничем иным, как почку пар прямых [проходящих через ] в инволюции, причем ее двойные лучи —  — дают две новые коники сети. Отсюда следует в силу теоремы Introd. 79, что прямые образуют трехсторонник, каждая сторона которого, считаемая два раза, составляет полярную конику для противоположной вершины.

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

Коника сети, которая должна пройти через две заданные точки , определяется обычным методом (Introd. 77a). Та коника пучка , которая проходит через точку , является парой прямых, образующих гармоническую систему относительно пары , и аналогично коника пучка , проходящая через , является парой прямых, гармонически сопряженных относительно пары . Объединение этих двух коник доставляет полный четырехсторонник, диагональным треугольником которого является . Искомая коника — та, которая проходит через вершины этого четырехугольника и через точку , следовательно, для нее  — сопряженный треугольник. Таким образом все коники сети сопряжены относительно одного и того же треугольника.[4]

Гессиана в этом случае составлена из трех прямых Introd., 110b, и, следовательно, фундаментальная кубика является эквигармонической в силу Introd. 145.

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

23. В предположении существования коники в сети коник, для того, чтобы эта сеть являлась системой поляр, необходимо, чтобы точки являлись полюсами коник, составленных из пар прямых одного пучка в инволюции. Если эта инволюция имеет два двойных луча , различных между собой и отличных от прямой , мы получаем случай, уже рассмотренный выше (22). Предположим теперь напротив, что два двойных луча совпадают, то есть что все названные пары имеют одну общую прямую , в этом случае, из трех сторон трехстронника две, именно , совпадают, поэтому гессиана содержит прямую , считаемую два раза, и прямую . (Этот же случай получается, если один из двух двойных лучей инволюции, допустим различных, совпадает с прямой ).

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

Из сказанного получается, что все коники сети касаются прямой в точке [6], и, поскольку эта точка является полюсом поляры , фундаментальная кубика должна иметь точку возврата в с касательной . Прямая (которая в предыдущем более общем случае содержала три точки перегиба кубики) в этом случае соединяет точку возврата с одной точкой перегиба фундаментальной кривой. Полярная коника для точки перегиба составлена из прямой и стационарной касательной, следовательно, точка  — это точка пересечения касательной возврата со стационарной касательной.

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

Конечно гессианой в этом случае является прямая , взятая три раза.

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

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

Мы пришли к след. итогу: задача «по заданной сети коник найти кубику, относительно которой коники являются полярами точек плоскости» допускает одно и при том единственное решение всегда, когда сеть не содержит коник, составленных из пары совпадающих прямых. Если же имеется одна или две такие коники, то задача допускает несколько или бесконечно много решений: бесконечно много решение получается также и в случае, когда сеть содержит три такие особые коники. В тех случаях, когда проблема остается неопределенной, каждое решение выделяется путем фиксации произвольным образом полюса одной из коник сети, не составленной их двух совпадающих коник.

Примечания

править
  1. Выше в § 13 было показано, что сеть коник в общем случае является сетью поляр для некоторой кубики. Теперь автор, не упуская частных случаев, исследовать разрешимость задачи об отыскании этой кривой по заданной сети. Ход рассмотрения следующий: сначала автор допускает, что сеть является сетью поляр и находит или способ построения этой кубики по трем заданным коникам сети, или противоречие. В первом случае, отказавшись от предположения о том, что сеть является сетью поляр, указанным способом можно построить кубику, сеть поляр для которой имеет три общих элемента с заданной сетью, а следовательно с ней совпадает. — Перев.
  2. Из   следует, что  , последнее равенство верно в силу 108b. — Перев.
  3. Прямая   образована таким точками  , что коники   проходят через точку  ; пучок таких коник известен, если задана точка  . — Перев.
  4. Сказанное проще доказать алгебраически: трехсторонник   является сопряженным относительно любой коники   сети, поскольку   и т. д. Согласно Introd. 108e, все коники, сопряженные к заданному треугольнику, составляют сеть. — Перев.
  5. Порядок изложение кажется не совсем логичным. Вероятно, следовало начать с того, что квадратичная инволюция имеет одну двойную точку, когда один из двух лучей остается неподвижным. Поэтому точкам прямой   отвечает указанный в тексте пучок коник. Если точка  , то  , то есть   и поэтому точка   является двойной для всех точек пучка коник, полюса которых лежат на  . Для полюса   поляра должна с одной стороны представлять собой пару  , пересекающуюся в точке  , а с другой — пару прямых, пересекающихся в точке  . Если точка   не совпадает с  , то описанное возможно, если   и  . Из чего легко получаются прочие утверждения, приведенные в этом абзаце. — Перев.
  6. Для доказательства следует заметить, что прямая   содержит  . — Перев.
  7. Опять обратный порядок: если  , то   и поэтому  , то есть  . Касательной к   в точке   оказывается  . — Перев.