Просмотр кода страницы О геометрических преобразованиях плоских фигур - I (Кремона)

{{Отексте
|АВТОР=[[Луиджи Кремона]]
|НАЗВАНИЕ=О геометрических преобразования плоских фигур - I  
|ПОДЗАГОЛОВОК=
|ИЗЦИКЛА=
|ДАТАСОЗДАНИЯ=
|ДАТАПУБЛИКАЦИИ=1863
|ЯЗЫКОРИГИНАЛА=it
|НАЗВАНИЕОРИГИНАЛА=
|ПОДЗАГОЛОВОКОРИГИНАЛА=
|ПЕРЕВОДЧИК=[[Участник:Bkmd]]
|ИСТОЧНИК=[[:it:Pagina:Opere di Cremona 2.pdf/60|Sulle trasformazioni geometriche delle figure piane]]. // Opere matematiche di Luigi Cremona. Pubblicati sotto gli auspici della R. Accademia dei Lincei. Milano: U. Hoepli, 1915. T. 2. Pag. 54 и сл.
|ДРУГОЕ=Впервые опубл. в ''Annali di Matematica pura ed applicata'', serie I, tomo VI (1864), pp. 153-168; ''Memorie dell’ Accademia delle Scienze dell’ Istituto di Bologna'', serie II, tomo II (1863), pp. 621-630; ''Giornale di Matematiche'', volume i (1863), pp. 305-311.
|ВИКИПЕДИЯ=
|СЛЕДУЮЩИЙ=[[О геометрических преобразованиях плоских фигур - II (Кремона)|II]]
|КАЧЕСТВО=25%
}}
Гг. {{Персона|Магнус}} (Magnus) и {{Персона|Скиапарели}} (Schiaparelli) — первый в 8-м томе журнала {{Персона|Крелля}}, второй в последнем томе «Memorie dell’Accademia scientifica di Torino» — разыскали аналитические выражения для геометрических преобразований одной плоской фигуры в другую при условии, что произвольной точке первой соответствует одна единственная точка другой, и наоборот каждой точке второй фигуры — единственная точка первой (''преобразования первого порядка''). Глядя на исследования этих авторов, можно было бы подумать, что и при самых общих предположениях прямым первой фигуры соответствуют на другой коники, описанные около некоторого постоянного треугольника (вещественного или мнимого); то есть, что самое общее преобразование первого порядка является тем, что {{Персона|Скиапарели}} называет ''коническими преобразованиям''.

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

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

== О преобразованиях плоских фигур ==

Рассмотрим две фигуры, пусть первая лежит в плоскости <math>P</math>, а другая — в плоскости <math>P'</math>, и предположим, что вторая была получена из первой при помощи какого-либо закона преобразования таким образом, что ''каждой точке первой фигуры соответствует единственная точка второй и наоборот, каждой точки второй фигуры — единственная точка первой''.

В этом сообщении я буду рассматривать только геометрические преобразования, удовлетворяющие указанному выше условию и именуемые ''преобразованиями первого порядка''<ref>{{Персона|Schiaparelli}}. ''Sulla trasformazione geometrica delle figure ed in particolare sulla trasformazione iperbolica'' (Memorie della R. Accademia delle scienze di Torino, serie 2<sup><small>a</small></sup>, tom. XXI, Torino 1862).</ref>, чтобы отличить их от заданных другими условиями.

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

Пусть <math>n</math> — порядок линии, которой на плоскости <math>P'</math> (или <math>P</math>) соответствует ''произвольная'' прямая плоскости <math>P</math> (или <math>P'</math>). Поскольку прямая плоскости <math>P</math> задается двумя точками <math>a, b</math>, двух соответствующих им точек <math>a', b'</math> плоскости <math>P'</math> достаточно для выделения линии, соответствующей этой прямой. Следовательно, линии фигуры, соответствующие прямым другой фигуры, составляют такую систему, что через две точки, заданные произвольным образом, проходит единственная кривая системы, то есть эти линии составляют геометрическую сеть порядка <math>n</math>.<ref>См. мое [[Введение в геометрическую теорию плоских кривых (Кремона)/15|''Введение в геометрическую теорию плоских кривых'', art. 15]].</ref>

Линия порядка <math>n</math> определяется <math>\tfrac{n(n+3)}{2}</math> условиями, поэтому линии фигуры, соответствующие прямым другой фигуры, должны удовлетворять
: <math>\frac{n(n+3)}{2}-2=\frac{(n-1)(n+4)}{2}</math>
общим условиям.

Две прямые фигуры имеют единственную общую точку <math>a</math>, вполне определенную заданием этих прямых. Точка <math>a'</math>, соответствующая точке <math>a</math>, будет принадлежать двум линиям порядка <math>n</math>, соответствующим этим двум прямым. Поэтому эти две линии должны вполне однозначно определять точку <math>a'</math>, значит, их оставшиеся <math>n^2-1</math> пересечений должны быть общими всем линиям названной геометрической сети.

Пусть <math>x_r</math> — число общих точек этих линий, имеющих кратность <math>r</math>; поскольку общая точка кратности <math>r</math> двух линий эквивалентна <math>r^2</math> пересечениям этих линий, верно очевидно равенство :
{{eq|
:<math>x_1 + 4x_2 + 9x_3 + \dots + (n-1)^2 x_{n-1} = n^2 - 1</math>.|1}}
Но <math>x_1 + x_2 + x_3 + \dots + x_{n-1}</math> точек, общих линиям сети, являются <math>\tfrac{(n-1)(n+4)}{2}</math> условиями, служащими для определения линий сети. Требование прохождения линии <math>r</math> раз через заданную точку эквивалентно <math>\tfrac{r(r+1)}{2}</math> условиям, поэтому
{{eq|
:<math>x_1 + 3x_2 + 6x_3 + \dots + \frac{n(n-1)}{2} x_{n-1} = \frac{(n-1)(n+4)}{2}</math>.<ref>Вообще говоря, не очевидно, что все линейные условия, выделяющие кривые сети среди кривых порядка <math>n</math>, имеют вид условий прохождения через некоторые точки с некоторой кратностью, поэтому равенство ([[#eq2|2]]) следовало бы заменить на неравенство. Но сказанного в примечании к [[Введение в геометрическую теорию плоских кривых (Кремона)/14#87c|Введению, 87c]],  вполне достаточно, чтобы обойти это затруднение: кривые порядка <math>n</math>, соответствующие прямым, должны иметь нулевой род, а с другой стороны, если вычесть из равенства ([[#eq2|2]]) равенство ([[#eq1|1]]), как раз и получится получится
:<math>\frac{(n-1)(n-2)}{2}- x_2 - 3 x_3 + \dots  = 0</math>,
то есть утверждение о том, что род равен нулю. — Перев. </ref>|2}}
Уравнения ([[#eq1|1]]) и ([[#eq2|2]]) являются, очевидно, единственными условиями, которым должны удовлетворять целые неотрицательные числа <math>x_1, x_2, x_3, \dots, x_{n-1}</math>.
<ref>Именно, если принять во внимание кривые плоскости <math>P'</math>, соответствующие линиям заданного порядка <math>\mu</math> на плоскости <math>P</math>, то получатся следствия лишь выписанных уравнений.<br />
В самом деле, очевидно, что линии порядка <math>\mu</math>, лежащей на плоскости <math>P</math>, будет соответствовать на другой плоскости кривая порядка <math>\mu n</math>, проходящая через каждую из <math>x_r</math> кратных точек, общих кривым, соответствующим прямым плоскости <math>P</math>. Следовательно, для общих пересечений всех кривых порядка <math>\mu n</math>, соответствующих линиям порядка <math>\mu</math> в плоскости <math>P</math>, имеем равенство:
: <math>\mu^2 x_1 + (2\mu)^2x_2 + (3\mu)^2 x_3 + \dots +\left((n-1)\mu\right)^2 x_{n-1}=\mu^2 n^2 - \mu^2</math>,
которое ни чем не отличается от равенства ([[#eq1|1]]), умноженного на <math>m^2</math>.<br />
Поскольку <math>x_1+x_2+\dots +x_{n-1}</math> кратных общих точек доставляют условия, которым удовлетворяют вмести названные кривые порядка <math>\mu n</math>, и поскольку число этих общих условий должно быть равно числу условий, определяющих кривую порядка <math>\mu n</math>, уменьшенную на число условий, определяющих соответствующую кривую порядка <math>\mu</math>, имеем:
: <math>\frac{\mu(\mu+1)}{2}x_1 +\frac{2\mu(2\mu+1)}{2}x_2 + \dots +\frac{\mu(n-1)(\mu n+3)}{2}x_{n-1} =</math><math>\frac{\mu n (\mu n + 3) - \mu (\mu +3)}{2}</math>,
то есть уравнение, которое можно получить, прибавив к уравнению ([[#eq1|1]]), умноженному на <math>\tfrac{\mu(\mu-1)}{2}</math>, уравнение ([[#eq2|2]]), умноженное на <math>\mu</math>. — Авт.</ref>

'''Примеры.''' Для <math>n = 2</math> уравнения ([[#eq1|1]]) и ([[#eq2|2]]) сводятся к одному:
: <math>x_1 = 3</math>,
то есть прямым первой фигуры соответствуют коники второй фигуры, описанные вокруг постоянного треугольника.
Это и есть то преобразование, которое было названо ''коническим'' и рассматривалось {{Персона|Штейнером|w=Штейнер, Якоб}}<ref>{{Sc|Steiner}}. ''Systematische Entwickelung u. s. w.'', Berlin 1832, p. 251.</ref>, {{Персона|Магнусом}}<ref>{{Sc|Magnus}}. Журнал {{Sc|Крелля}}, Bd. 8, p. 51.</ref> и {{Персона|Скиапарели}}<ref>{{Sc|Schiaparelli}}. ''Ук. соч.''</ref>.

Для <math>n = 3</math>, из ([[#eq1|1]]) и ([[#eq2|2]]) имеем:
: <math>x_1=4</math> и <math> x_2=1</math>,
то есть прямым первой фигуры соответствуют кривые третьего порядка второй фигуры, имеющие двойную точку и четыре простые общие точки.

Для <math>n = 4</math>, уравнения ([[#eq1|1]]) и ([[#eq2|2]]) принимают вид:
: <math>x_1 + 4x_2 + 9x_3=15</math>, <math>x_1 + 3x_2 + 6x_3=12</math>,
и допускают два решения:
{|
|width="25%"|1-ое|| <math>x_1 = 3</math>, <math>x_2 = 3</math>, <math>x_3 = 0</math>,
|-
|2-ое|| <math>x_1 = 6</math>, <math>x_2 = 0</math>, <math>x_3=1</math>.
|}

И так далее.

Исключив <math>x_1</math> из уравнений ([[#eq1|1]]) и ([[#eq2|2]]), получим следующее:
{{eq|
:<math>x_2 + 3x_3 + \dots + \frac{(n-1)(n-2)}{2} x_{n-1}= \frac{(n-1)(n-2)}{2}</math>,|3}}
из которого видно, что <math>x_{n-1}</math> может принимать только два значения
: <math>x_{n-1} = 1</math>, <math>x_{n-1} = 0</math>,
и что в случае <math>x_{n-1} = 1</math> необходимо
: <math>x_2 = 0, \, x_3 = 0, \dots  x_{n-2} = 0</math>,
и в силу ([[#eq1|1]])
: <math>x_1 = 2 (n - 1)</math>.
Попытаемся теперь доказать, что преобразование, соответствующие этим значениям <math>x_1, \, x_2, \dots x_{n-1}</math> геометрически возможно, каково бы ни было значение <math>n</math>.

<!--пров перев. -->Соответствие между двумя фигурами, лежащими в двух различных плоскостях <math>P</math> и <math>P'</math>, при котором первой каждой точке первой плоскости соответствует единственная точка второй и наоборот, каждой точке второй плоскости — единственная точка первой, можно задать так: проведем две направляющие линии (linee direttrici), так, что через каждую точку, взятую произвольным образом в пространстве, можно провести единственную прямую, пересекающую обе эти линии; и назовем ''соответствующими'' точки, в которых эта прямая пересекает плоскости <math>P</math> и <math>P'</math>.

Пусть <math>p</math> и <math>q</math> — порядки этих двух направляющих, а <math>r</math> — число их общих точек.<ref>При этом не требуется, чтобы эти линии были плоскими, но требуется чтобы при их проектировании на плоскость получались кривые порядка <math>p</math> и <math>q</math>. В частности, любая плоскость пересекает первую в <math>p</math>, а вторую — в <math>q</math> точках. — Перев.</ref> Примем произвольную точку <math>o</math> пространства за вершину двух конусов, направляющими которых являются названные линии; поскольку порядки этих конусов равны <math>p</math> и <math>q</math> соответственно, у них меется ровно <math>pq</math> общих образующих. Среди них состоят прямые, соединяющие точку <math>o</math> с <math>r</math> точками, общими двум образующим, а, следовательно, оставшиеся <math>pq - r</math> образующие, общие двум конусам, являются теми прямыми, которые можно провести из <math>o</math> через обе направляющие линии. Мы хотим, чтобы число таких прямых сводилось к одной единственной, поэтому должно быть:
{{eq|
:<math>pq-r= 1</math>.|4}}
С другой стороны произвольной прямой <math>R</math>, лежащей в одной из плоскостей <math>P</math>, <math>P'</math>, должна отвечать на другой кривая порядка <math>n</math>, то есть подвижная прямая, пересекающая прямую <math>R</math> и две направляющие порядков <math>p</math> и <math>q</math>, должна пробегать косую поверхность (superficie gobba) порядка <math>n</math>. Разыщем теперь порядок этой поверхности, которую описывает прямая, двигающаяся вдоль трех направляющих, первая из которых — прямая <math>R</math>, а две другие — кривые порядков <math>p</math> и <math>q</math>, имеющие <math>r</math> общих точек.

Число прямых, пересекающих три заданные прямые и линию порядка <math>p</math>, равно <math>2p</math>: столько будет точек, общих линии порядка <math>p</math> и гиперболоиду, имеющему в качестве направляющих три заданные прямые. Но это же позволяет сказать, что <math>2p</math> — порядок линейчатой поверхности, направляющими которой являются две прямые и линия порядка <math>p</math>. Эта поверхность пересекается с линией порядка <math>q</math> в <math>2pq - r</math> точках, не лежащих на линии порядка <math>p</math>.

Поэтому порядок косой поверхности, которая имеет в качестве направляющих прямую и две линии порядков <math>p</math> и <math>q</math>, имеющие <math>r</math> общих точек, равен <math>2pq - r</math>. Следовательно, должно быть:
{{eq|
:<math>2pq - r = n</math>.|5}}
Из уравнений ([[#eq4|4]]) и ([[#eq5|5]]) сразу получается:
{{eq|
:<math>pq = n-1</math>, <math>r = n - 2</math>.|6}}
Взяв прямую <math>R</math>, лежащую на плоскости <math>P</math>, рассмотрим соответствующую ей кривую порядка <math>n</math> на плоскости <math>P'</math>, то есть пересечение этой плоскости с косой поверхностью порядка <math>2pq - r</math>, описанной выше. Кривая, о которой идет речь, имеет:
* <math>p</math> точек кратности <math>q</math>: они являются пересечениями плоскости <math>P'</math> с направляющей порядка <math>p</math> (в самом деле, из каждой точки этой линии можно провести <math>q</math> прямых, пересекающих вторую направляющую и прямую <math>R</math>, иными словами, направляющая порядка <math>p</math> является кривой порядка <math>q</math> на линейчатой поверхности);
* <math>q</math> точек кратности <math>p</math>: они являются пересечениями плоскости <math>P'</math> с направляющей линией порядка <math>q</math> (поскольку аналогичным образом эта линия является линией кратности <math>p</math> на линейчатой поверхности);
* <math>pq</math> простых точек: это точки пересечения прямой, общей плоскостям <math>P</math> и <math>P'</math>, и прямых, которые соединяют точки, в которых направляющая порядка <math>p</math> пересекает плоскость <math>P</math>, с точками, в которых вторая направляющая пересекает эту плоскость.

Эти <math>p+q+pq</math> точек не меняются при изменении прямой <math>R</math>, то есть являются общими для всех кривых порядка <math>n</math> на плоскости <math>P'</math>, соответствующим прямым плоскости <math>P</math>. Отсюда имеем:
: <math>x_1 = pq</math>, <math>x_p = q</math>, <math>x_q=p</math>,
а остальные <math>x</math> будут равны нулю, поскольку уравнения ([[#eq1|1]]) и ([[#eq2|2]]) дадут, если учесть первое из соотношений ([[#eq6|6]]), что
: <math>p + q = n</math>.
Это соотношение вмести с первым из соотношений ([[#eq6|6]]) приводит к след.:
: <math>p = n - 1</math>, <math>q = 1</math>.
Это означает, что две направляющие, одна из которых является кривой порядка <math>n -1</math>, а другая — прямой, имеющей с ней <math>n - 2</math> общих точек. Это условие может быть удовлетворено прямой и плоской кривой порядка <math>n-1</math> (не лежащими в одной плоскости), если эта кривая имеет точку кратности <math>n - 2</math>, а прямая проходит через эту точку.

Впрочем, направляющая порядка <math>n-1</math> может быть и кривой двоякой кривизны (curva gobba); так, для примера, на поверхности гиперболоида можно нарисовать кривую двоякой кривизны <math>K</math> порядка <math>n-1</math>, пересекающую каждую образующую одной из систем в <math>n - 2</math> точках (и следовательно, каждую образующую второй системы только в одной точке).<ref>''Courbes gauches etc.'' (Comptes rendus de l’Acad. de France, 24 juin 1861). [Opere di Cremona, n. 30]. <br />
В этой работе Кремона рассматривает три пучка плоскостей с осями <math>P,Q,R</math>:
: <math>p+\lambda p'=0</math>, <math>q+\mu q'=0</math> <math>r+\nu r'=0</math>
Если между плоскостями первого и второго имеется взаимно однозначное соответствие, то есть
: <math>(a+b\lambda)\mu + a'+b'\lambda=0</math>,
то прямые пересечения соответствующих кривых составляют некоторую поверхность 2-го порядка (гиперболоид), а сами эти прямые будут образующими одного семейства для этого гиперболоида. Пусть далее каждой плоскости третьего пучка отвечает <math>m</math> плоскостей первого, а каждой плоскости первого — лишь одна плоскость третьего, то есть имеется связь
: <math>(c\lambda^m+\dots)\nu + c'\lambda^m=0</math>,
тогда точки, общие трем соответствующим друг другу плоскостям трех пучков, составляют некоторую кривую двойной кривизны. Ее порядок равен <math>m+2</math>, поскольку если рассечь ее произвольной плоскостью, на сечении гиперболоида можно задать две проективные инволюции — пары точек, лежащих на одной плоскости, проходящей через <math>R</math> и системы из <math>m</math> точек, через которые проходят плоскости пучка <math>P</math>, отвечающие одной и ой же плоскости пучка <math>R</math>, — общие точки которых и будут точками кривой <math>C</math>. Любая образующая <math>S</math> гиперболоида, принадлежащая тому же семейству, что и <math>P,Q</math>, пересекает кривую в <math>m+1</math> точке, поскольку на этой прямой можно задать две проективные инволюции — пунктуал, образованный точками, в которых плоскости пучка <math>R</math> пересекают <math>S</math>, и системы из <math>m</math> точек, в которых эту прямую пересекают плоскости первых двух пучков, соответствующие одной и той же третьего плоскости пучка, общими точками которых будут точки кривой <math>C</math>. — Перев. </ref> Поэтому мы может взять такую неплоскую кривую и одну образующую <math>D</math> первой системы за направляющие преобразования.

В этом преобразовании каждой точке <math>a</math> плоскости <math>P</math> соответствует одна единственная точка <math>a'</math> плоскости <math>P'</math> и наоборот. Эта точка <math>a'</math> определяется следующим образом. Плоскость, проходящая через точку <math>a</math> и прямую <math>D</math>, пересекает кривую <math>K</math> в одной единственной точке, не лежащей на самой прямой <math>D</math>. Соединив эту точку с точкой <math>a</math>, получим прямую, пересекающую плоскость <math>P'</math> в искомой точке <math>a'</math>.

Если <math>R</math> — произвольная прямая на плоскости <math>P</math>, косая поверхность (порядка <math>n</math>), имеющая в качестве направляющих линии <math>K, D, R</math>, пересекает плоскость <math>P'</math> по кривой (порядка <math>n</math>), соответствующей прямой <math>R</math>. Все кривые, соответствующие аналогичным образом прямым, имеют общими одну точку кратности <math>n - 1</math> и <math>2(n-1)</math> простых точек, именно:
# точку, в которой <math>D</math> пересекает плоскость <math>P'</math>;
# <math>n - 1</math> точек, в которых плоскость <math>P'</math> пересекает направляющую <math>K</math>;
# <math>n - 1</math> точек, в которых прямая, по которой пересекаются плоскости <math>P</math> и <math>P'</math>, пересекает прямую, соединяющую точку, общую прямой <math>D</math> и плоскости <math>P</math>, с точками, общими кривой <math>K</math> и той же плоскости <math>P</math>.

Другими словами, косые поверхности, направляющими которых служат <math>K, D, R</math>, имеют общими
# направляющую <math>D</math> (кратности <math>n-1</math>, то есть эквивалентную <math>(n- 1)^2</math> общим прямым);
# кривую направляющую (простую) <math>K</math>;
# <math>n-1</math> образующих (простых), лежащих на плоскости <math>P</math>.
Эти линии, взятые вместе, эквиваленты линии порядка <math>(n-1)^2+2(n - 1)</math>. Следовательно две линейчатые поверхности (порядка <math>n</math>), определенные путем задания <math>K, D, R</math> и <math>K, D, S</math> соответственно в плоскости <math>P</math>, имеют общей еще одну прямую, которая, очевидно, соединяет точку <math>a</math> пересечения прямых <math>R</math> и <math>S</math> с соответствующей ей точкой <math>a'</math>, общей двум кривым, соответствующим в плоскости <math>P'</math> прямым <math>R</math> и <math>S</math>.

Если прямая <math>R</math> проходит через точку <math>d</math>, в которой прямая <math>D</math> пересекает плоскость <math>P</math>, то, очевидно, соответствующая линейчатая поверхность (superficie rigata) распадается на конус, имеющий вершиной точку <math>d</math> и направляющей кривую <math>K</math>, и плоскость, содержащую прямые <math>D</math> и <math>R</math>.

Если прямая <math>R</math> проходит через одну из точек <math>k</math>, общих плоскости <math>P</math> и кривой <math>K</math>, то соответствующая линейчатая поверхность распадается на плоскость, содержащую точку <math>k</math> и прямую <math>D</math>, и искривленная поверхность порядка <math>n - 1</math>, имеющая в качестве направляющих <math>K, D, R</math>.

Если прямая <math>R</math> проходит через две точки <math>k</math>, то соответствующая линейчатая поверхность распадается на две плоскости и искривленную поверхность порядка <math>n - 2</math>.

Также легко видеть, что любая кривая <math>C</math>, порядка <math>\mu</math>, заданная в плоскости <math>P</math>, порождает искривленную поверхность <math>n\mu</math>, для которой <math>D</math> — прямая кратности <math>\mu(n-1)</math>, а <math>K</math> — кривая кратности <math>\mu</math>. Следовательно, кривой <math>C</math> будет соответствовать в плоскости <math>P'</math> линия порядка <math>n\mu</math>, имеющая:
# точку кратности <math>\mu(n - 1)</math> на <math>D</math>;
# <math>n - 1</math> точек кратности <math>\mu</math> на <math>K</math>;
# <math>n - 1</math> точек кратности <math>\mu</math> на прямой пересечения плоскостей <math>P</math> и <math>P'</math>.

Применив к сказанным выше утверждениям принцип двойственности, получим две фигуры: первая составлена из прямых и плоскостей, проходящих через некоторую точку <math>o</math>, а вторая — из прямых и плоскостей, проходящих через некоторую другую точку <math>o'</math>. Эти две фигуры связаны друг с другом таким соотношением, что каждой плоскости одной соответствует одна единственная плоскость другой и наоборот; а прямым любой из этих фигур соответствуют на другой фигуре конические поверхности класса <math>n</math>, имеющие <math>x_1,\, x_2, \dots x_{n-1}</math> [общих] касательных плоскостей простых и кратных. При этом числа <math>x_1,\, x_2, \dots x_{n-1}</math> будут связаны между собой уравнениям ([[#eq1|1]]) и ([[#eq2|2]]).

В частности, для связи одной фигуры с другой, можно взять в качестве направляющих прямую <math>D</math> и развертывающиюся поверхность (superficie sviluppabile) <math>K</math> класса <math>n - 1</math>, имеющую <math>n - 2</math> касательных плоскостей, проходящих через <math>D</math>. Пусть теперь задана произвольная плоскость <math>\pi</math>, проходящая через точку <math>o</math>; она пересекает <math>D</math> в точке <math>a</math>, через эту точку проходит (помимо <math>n - 2</math> плоскостей, проходящих через <math>D</math>) одна единственная касательная плоскость, пересекающая <math>\pi</math> по некоторой прямой. Плоскость <math>\pi'</math>, однозначно определенную тем, что она должна проходит через эту прямую и точку <math>o'</math>, и будет соответствовать <math>\pi</math>.

Пересекая теперь эти две фигуры соответственно двумя плоскостями <math>P</math> и <math>P'</math>, мы получим на этих плоскостях две такие фигуры, что каждой прямой одной из них будет соответствовать одна единственная прямая другой и наоборот; в то же время точкам одной из этих двух плоскостей будет соответствовать на другой кривые класса <math>n</math>, имеющие некоторое число постоянных касательных простых и кратных и т. д.

== Примечания ==

{{примечания}}

{{АП-ПЕРЕВОД|УЧАСТНИК=Bkmd}}
[[Категория:Луиджи Кремона]]
[[Категория:Геометрия]]

[[it:Sulle trasformazioni geometriche delle figure piane. Nota I (Cremona)]]
[[Категория:Переводы 1863 года]]