ИСЧИСЛИТЕЛЬНАЯ ГЕОМЕТРИЯ: МЕТОД ШАЛЯ И ШУБЕРТА 1

реклама
ÈÑ×ÈÑËÈÒÅËÜÍÀß ÃÅÎÌÅÒÐÈß: ÌÅÒÎÄ ØÀËß È
ØÓÁÅÐÒÀ
Âàëåíòèíà Êèðè÷åíêî
1. Èñ÷èñëåíèå Øóáåðòà
Èñ÷èñëèòåëüíàÿ ãåîìåòðèÿ ñ÷èòàåò ÷èñëî ãåîìåòðè÷åñêèõ îáúåêòîâ ñ çàäàííûìè ñâîéñòâàìè. Îäíà èç ñàìûõ ïåðâûõ çàäà÷ èñ÷èñëèòåëüíîé ãåîìåòðèè ýòî çàäà÷à Àïîëëîíèÿ.
Çàäà÷à 1.1 (Àïîëëîíèé). Ñêîëüêî ñóùåñòâóåò îêðóæíîñòåé, êàñàþùèõñÿ òð¼õ
çàäàííûõ îêðóæíîñòåé íà ïëîñêîñòè?
Ýòà çàäà÷à áûëà ðåøåíà åù¼ â Äðåâíåé Ãðåöèè â òðåòüåì âåêå äî íàøåé ýðû.
Îòâåò çàâèñèò îò âçàèìíîãî ðàñïîëîæåíèÿ îêðóæíîñòåé. Ìû íå áóäåì ðàññìàòðèâàòü êîíôèãóðàöèè èç òð¼õ îêðóæíîñòåé, äëÿ êîòîðûõ îòâåò áåñêîíå÷åí. Äëÿ
îñòàëüíûõ êîíôèãóðàöèé îêàçûâàåòñÿ, ÷òî ìàêñèìàëüíûé âîçìîæíûé îòâåò âîñåìü, à âîîáùå îòâåò ìîæåò áûòü è ëþáûì ìåíüøèì ÷èñëîì, êðîìå ñåìè.
 çàäà÷å Àïîëëîíèÿ âñå îêðóæíîñòè, êàñàþùèåñÿ òð¼õ äàííûõ, ìîæíî íàéòè
ÿâíî. Íàïðèìåð, ïîïðîáóéòå ïîñòðîèòü òàêèå îêðóæíîñòè ñ ïîìîùüþ öèðêóëÿ è ëèíåéêè. Îäíàêî, â áîëüøèíñòâå äðóãèõ çàäà÷ èñ÷èñëèòåëüíîé ãåîìåòðèè
ìîæíî íàéòè ÷èñëî îáúåêòîâ ñ çàäàííûìè ãåîìåòðè÷åñêèì ñâîéñòâàìè, íå íàõîäÿ ïðè ýòîì ñàìè îáúåêòû. ×àñòî äàæå áûâàåò, ÷òî íàéòè ÿâíî ñàìè îáúåêòû
íåâîçìîæíî, çàòî íåñëîæíî âû÷èñëèòü, ñêîëüêî èõ áóäåò.
 äåâÿòíàäöàòîì âåêå èñ÷èñëèòåëüíàÿ ãåîìåòðèÿ áûëà îäíîé èç ñàìûõ ïîïóëÿðíûõ îáëàñòåé ìàòåìàòèêè. Áûëî ðåøåíî ìíîæåñòâî êîíêðåòíûõ çàäà÷, à
êðîìå òîãî, íåìåöêèé ìàòåìàòèê Ãåðìàí Øóáåðò ðàçðàáîòàë åäèíûé ýôôåêòèâíûé ìåòîä, ïîçâîëÿþùèé ðåøàòü çàäà÷è èñ÷èñëèòåëüíîé ãåîìåòðèè ñðåäñòâàìè àëãåáðû. Øóáåðò íàçâàë ñâîé ìåòîä èñ÷èñëåíèåì óñëîâèé, íî òåïåðü
ìåòîä Øóáåðòà ÷àùå íàçûâàþò èñ÷èñëåíèåì Øóáåðòà. Ïðîèëëþñòðèðóåì ìåòîä Øóáåðòà íà òàêîì ïðèìåðå.
Çàäà÷à 1.2 (Øóáåðò).  òð¼õìåðíîì ïðîñòðàíñòâå çàäàíî ÷åòûðå ïîïàðíî
ñêðåùèâàþùèõñÿ ïðÿìûõ. Ñêîëüêî ñóùåñòâóåò ïðÿìûõ, ïåðåñåêàþùèõ âñå ÷åòûðå çàäàííûå ïðÿìûå?
Âîçìîæíûõ îòâåòîâ ÷åòûðå: äâå, îäíà, íè îäíîé èëè áåñêîíå÷íî ìíîãî.
Ýòó çàäà÷ó ìîæíî ðåøàòü ïî-ðàçíîìó. Îäèí èç ñïîñîáîâ âûòåêàåò èç çàäà÷è
1.3. Ìû æå ðàçáåð¼ì ðåøåíèå Øóáåðòà. Ïðè ýòîì íàñ áóäóò èíòåðåñîâàòü òîëüêî òå êîíôèãóðàöèè èç ÷åòûð¼õ ïðÿìûõ, äëÿ êîòîðûõ îòâåò êîíå÷åí è ïðè ýòîì
1
2
Âàëåíòèíà Êèðè÷åíêî
Ðèñ. 1
ìàêñèìàëåí. Îêàçûâàåòñÿ, ÷òî åñëè ÷óòü-÷óòü ïîäâèãàòü ïðÿìûå â òàêîé êîíôèãóðàöèè, òî îòâåò íå èçìåíèòñÿ. Ýòî îäèí èç ôóíäàìåíòàëüíûõ ïðèíöèïîâ
èñ÷èñëåíèÿ Øóáåðòà ïðèíöèï ñîõðàíåíèÿ ÷èñëà. Ïîëüçóÿñü ýòèì ïðèíöèïîì
ìîæíî çàìåíÿòü îäíó êîíôèãóðàöèþ ïðÿìûõ íà äðóãóþ, áîëåå ïðîñòóþ. Èäåÿ
Øóáåðòà âìåñòî ÷åòûð¼õ ïîïàðíî ñêðåùèâàþùèõñÿ ïðÿìûõ ðàññìîòðåòü ñëåäóþùèé ñïåöèàëüíûé ñëó÷àé: ïðÿìûå l1 è l2 ïåðåñåêàþòñÿ, è ïðÿìûå l3 è l4 òîæå (ñì. ðèñ. 1). Ïóñòü ïðÿìûå l1 è l2 ïåðåñåêàþòñÿ â òî÷êå a. Òîãäà îíè ëåæàò
â îäíîé ïëîñêîñòè, êîòîðóþ ìû îáîçíà÷èì ÷åðåç P . Òî÷êó ïåðåñå÷åíèÿ ïðÿìûõ
l3 è l4 îáîçíà÷èì ÷åðåç a0 , à ñîäåðæàùóþ èõ ïëîñêîñòü ÷åðåç P 0 . Ëåãêî äîêàçàòü ãåîìåòðè÷åñêè, ÷òî ðîâíî äâå ïðÿìûõ ïåðåñåêàþò âñå ÷åòûðå ïðÿìûõ l1 ,
l2 , l3 è l4 : ïðÿìàÿ, ïðîõîäÿùàÿ ÷åðåç òî÷êè a è a0 , è ïðÿìàÿ ïåðåñå÷åíèÿ ïëîñêîñòåé P è P 0 . Ìû æå äîêàæåì ýòî àëãåáðàè÷åñêè ñ ïîìîùüþ èñ÷èñëåíèÿ óñëîâèé.
Ïðåèìóùåñòâî àëãåáðàè÷åñêîãî ìåòîäà â åãî óíèâåðñàëüíîñòè îí ðàáîòàåò è
â áîëåå ñëîæíûõ çàäà÷àõ, ãäå ãåîìåòðè÷åñêîé èíòóèöèè óæå íå õâàòàåò.
Îïðåäåëèì óñëîâèå σi íà ïðÿìóþ l òàêèì îáðàçîì: óñëîâèå σi âûïîëíåíî,
åñëè ïðÿìàÿ l ïåðåñåêàåò ïðÿìóþ li . Óñëîâèÿ ìîæíî ñêëàäûâàòü è óìíîæàòü.
Ïîä ñóììîé íåñêîëüêèõ óñëîâèé áóäåì ïîíèìàòü âûïîëíåíèå õîòÿ áû îäíîãî
èç óñëîâèé (òî, ÷òî â ëîãèêå íàçûâàåòñÿ äèçúþíêöèåé), à ïîä ïðîèçâåäåíèåì âûïîëíåíèå âñåõ óñëîâèé îäíîâðåìåííî (òî åñòü êîíúþíêöèþ). Òîãäà, ñêàæåì,
óñëîâèå σ1 + σ2 åñòü óñëîâèå ïåðåñå÷åíèÿ ñ l1 èëè l2 , à âûïîëíåíèå óñëîâèÿ σ1 σ2
ðàâíîñèëüíî ïåðåñå÷åíèþ ñ îáåèìè ïðÿìûìè l1 è l2 . Óñëîâèå ïåðåñå÷åíèÿ ïðÿìîé l ñî âñåìè ÷åòûðüìÿ ïðÿìûìè l1 , l2 , l3 , l4 ýòî óñëîâèå σ1 σ2 σ3 σ4 . Ëåãêî
ïðîâåðèòü, ÷òî ñëîæåíèå è óìíîæåíèå óñëîâèé óäîâëåòâîðÿåò îáû÷íûì ñâîéñòâàì ñëîæåíèÿ è óìíîæåíèÿ, òàêèì êàê ïåðåìåñòèòåëüíûé, ñî÷åòàòåëüíûé è
ðàñïðåäåëèòåëüíûé çàêîíû. Ìû áóäåì ñ÷èòàòü äâà óñëîâèÿ ðàâíûìè, åñëè èì
óäîâëåòâîðÿþò îäíè è òå æå ïðÿìûå. Íàøà öåëü çàìåíèòü óñëîâèå σ1 σ2 σ3 σ4
íà ðàâíîå åìó, íî áîëåå ïðîñòîå óñëîâèå.
ÈÑ×ÈÑËÈÒÅËÜÍÀß ÃÅÎÌÅÒÐÈß: ÌÅÒÎÄ ØÀËß È ØÓÁÅÐÒÀ
3
Îáîçíà÷èì çà ρa óñëîâèå, ÷òî ïðÿìàÿ l ïðîõîäèò ÷åðåç òî÷êó a, à çà τP óñëîâèå, ÷òî ïðÿìàÿ l ëåæèò â ïëîñêîñòè P . Òîãäà ëåãêî ïðîâåðèòü, ÷òî σ1 σ2 =
ρa + τP . Àíàëîãè÷íî, σ3 σ4 = ρa0 + τP 0 . Ñëåäîâàòåëüíî,
σ1 σ2 σ3 σ4 = ρa ρa0 + ρa τP 0 + τP ρa0 + τP τP 0 .
Òåïåðü çàìåíèì óñëîâèå â ëåâîé ÷àñòè è êàæäîå èç ÷åòûð¼õ óñëîâèé â ïðàâîé
÷àñòè íà ÷èñëî ïðÿìûõ, óäîâëåòâîðÿþùèõ ýòîìó óñëîâèþ. Çäåñü ìû èñïîëüçóåì
åù¼ îäèí ôóíäàìåíòàëüíûé ïðèíöèï èñ÷èñëåíèÿ Øóáåðòà àëãåáðàè÷åñêèå
òîæäåñòâà íà óñëîâèÿ ïðè òàêèõ çàìåíàõ äàþò âåðíûå ÷èñëåííûå ðàâåíñòâà.
Ëåãêî ïðîâåðèòü, ÷òî êàæäîìó èç óñëîâèé ρa ρa0 è τP τP 0 óäîâëåòâîðÿåò ðîâíî
îäíà ïðÿìàÿ, à óñëîâèÿì ρa τP 0 è τP ρa0 íè îäíîé. Ïîýòîìó ìû îïÿòü ïîëó÷àåì,
÷òî ÷èñëî ïðÿìûõ, ïåðåñåêàþùèõ l1 , l2 , l3 , l4 , ðàâíî äâóì.
Ïðèìåðíî òàêèì îáðàçîì Øóáåðò ñâîäèë ñëîæíûå óñëîâèÿ ê áîëåå ïðîñòûì
è â äðóãèõ çàäà÷àõ. Òî, ÷òî ñïåöèàëüíûé ñëó÷àé äàñò òîò æå îòâåò, ÷òî è îáùèé,
Øóáåðò íå îáîñíîâûâàë, è ïîýòîìó åãî ñîâðåìåííèêè íåîäíîêðàòíî ïûòàëèñü
óëè÷èòü åãî, ïðèâîäÿ ïðèìåðû, â êîòîðûõ âûðîæäåííûé ñëó÷àé äà¼ò íåâåðíûé
îòâåò. Îäíàêî, âî âñåõ âû÷èñëåíèÿõ Øóáåðòà îòâåò ïîëó÷àëñÿ ïðàâèëüíûì.
Äàâèä Ãèëüáåðò âêëþ÷èë ïðîáëåìó îáîñíîâàíèÿ èñ÷èñëåíèÿ Øóáåðòà â ñâîé
çíàìåíèòûé ñïèñîê ïðîáëåì ïîä íîìåðîì 15. Ïîïûòêè ðåøèòü ýòó ïðîáëåìó
ñïîñîáñòâîâàëè ðàçâèòèþ íåêîòîðûõ âàæíûõ íàïðàâëåíèé ñîâðåìåííîé ìàòåìàòèêè, òàêèõ êàê àëãåáðàè÷åñêàÿ ãåîìåòðèÿ. Ñ òåõ ïîð ìåòîäû Øóáåðòà áûëè
÷àñòè÷íî îáîñíîâàíû ñ ïîìîùüþ òåîðèè ïåðåñå÷åíèé (ïîñëåäíÿÿ è áûëà ñîçäàíà âî ìíîãîì äëÿ òîãî, ÷òîáû ôîðìàëèçîâàòü èñ÷èñëåíèå Øóáåðòà), íî â
ïîëíîì îáú¼ìå 15-ÿ ïðîáëåìà Ãèëüáåðòà ïîêà íå ðåøåíà.
Èñ÷èñëåíèþ óñëîâèé è åãî ìíîãî÷èñëåííûì ïðèëîæåíèÿì ê êîíêðåòíûì çàäà÷àì èñ÷èñëèòåëüíîé ãåîìåòðèè Øóáåðò ïîñâÿòèë öåëóþ êíèãó Kalk
ul der
abzahlenden Geometrie, èçäàííóþ â 1879 ãîäó. Ñïóñòÿ ñòî ëåò êíèãà Øóáåðòà
áûëà âïåðâûå ïåðåèçäàíà, à èíòåðåñ ê èñ÷èñëèòåëüíîé ãåîìåòðèè âíîâü âûðîñ îêàçàëîñü, ÷òî îíà âàæíà äëÿ òåîðèè ñòðóí, íîâîé ôèçèêîìàòåìàòè÷åñêîé
òåîðèè, ïðèçâàííîé åäèíûì îáðàçîì îáúÿñíèòü ïðèðîäó âñåõ ôèçè÷åñêèõ âçàèìîäåéñòâèé.
Çàäà÷à 1.3. Äîêàæèòå, ÷òî ïðÿìûå â òð¼õìåðíîì ïðîñòðàíñòâå, ïåðåñåêàþùèå òðè ïîïàðíî ñêðåùèâàþùèåñÿ ïðÿìûå, çàìåòàþò ïîâåðõíîñòü, çàäàííóþ
óðàâíåíèåì ñòåïåíè äâà. (Íà ñàìîì äåëå, òàêàÿ ïîâåðõíîñòü ëèáî îäíîïîëîñòíûé ãèïåðáîëîèä, ëèáî ãèïåðáîëè÷åñêèé ïàðàáîëîèä, íî äëÿ ðåøåíèÿ çàäà÷è
Øóáåðòà ýòî íåâàæíî.)
2. Çàäà÷à Øòåéíåðà
Òåïåðü ìû îáñóäèì îäíó èç ñàìûõ çíàìåíèòûõ çàäà÷ èñ÷èñëèòåëüíîé ãåîìåòðèè äåâÿòíàäöàòîãî âåêà, îáîáùàþùóþ çàäà÷ó Àïîëëîíèÿ. Çàäà÷ó ïîñòàâèë
èçâåñòíûé íåìåöêèé ãåîìåòð ßêîá Øòåéíåð â 1848 ãîäó, à ðåøèë èçâåñòíûé
4
Âàëåíòèíà Êèðè÷åíêî
ôðàíöóçñêèé ãåîìåòð Ìèøåëü Øàëü â 1864 ãîäó. ×òîáû ñôîðìóëèðîâàòü çàäà÷ó, ìû ñíà÷àëà îáîáùèì ïîíÿòèå îêðóæíîñòè òàê, ÷òîáû îíî âêëþ÷èëî â
ñåáÿ òàêèõ áëèæàéøèõ ðîäñòâåííèêîâ îêðóæíîñòåé, êàê ýëëèïñû, ãèïåðáîëû è
ïàðàáîëû. Â êîîðäèíàòàõ (x, y) âñå ýòè êðèâûå ìîæíî çàäàòü óðàâíåíèåì
ax2 + bxy + cy 2 + dx + ey + f = 0
(∗)
ïðè ïîäõîäÿùåì âûáîðå êîýôôèöèåíòîâ a, b, c, d, e è f . Êðèâàÿ, çàäàííàÿ
óðàâíåíèåì (∗) íàçûâàåòñÿ êðèâîé âòîðîãî ïîðÿäêà èëè êîíèêîé, åñëè a, b è
c íå ðàâíû íóëþ îäíîâðåìåííî. Âòîðîå íàçâàíèå ñâÿçàíî ñ òåì, ÷òî ëþáóþ
êîíèêó ìîæíî ïîëó÷èòü êàê êîíè÷åñêîå ñå÷åíèå, òî åñòü ïåðåñå÷åíèå ïðÿìîãî
êðóãîâîãî êîíóñà, çàäàííîãî óðàâíåíèåì αz 2 = x2 + y 2 (ïðè ïîäõîäÿùåì âûáîðå
ïîëîæèòåëüíîãî ÷èñëà α), ñ íåêîòîðîé ïëîñêîñòüþ â òð¼õìåðíîì ïðîñòðàíñòâå.
Íàïðèìåð, êîíèêè ïîëó÷àþòñÿ, êîãäà ñâåò îò íàñòîëüíîé ëàìïû ñ àáàæóðîì
êîíè÷åñêîé ôîðìû ïàäàåò íà ñòåíû. Áóäåì íàçûâàòü âûðîæäåííûìè òå êîíèêè, êîòîðûå ïîëó÷àþòñÿ êàê ñå÷åíèÿ êîíóñà ïëîñêîñòÿìè, ïðîõîäÿùèìè ÷åðåç
íà÷àëî êîîðäèíàò. Âñå îñòàëüíûå êîíèêè íàçîâ¼ì íåâûðîæäåííûìè.
Óïðàæíåíèå 2.1. Ïðîâåðüòå, ÷òî íåâûðîæäåííàÿ êîíèêà ýòî èëè ýëëèïñ
(îêðóæíîñòü ìû ñ÷èòàåì ÷àñòíûì ñëó÷àåì ýëëèïñà), èëè ãèïåðáîëà, èëè ïàðàáîëà, à âûðîæäåííàÿ êîíèêà ýòî òî÷êà, ïðÿìàÿ èëè ïàðà ïðÿìûõ.
Çàìåòèì, ÷òî êîíèêà îïðåäåëÿåòñÿ øåñòüþ êîýôôèöèåíòàìè (a, b, c, d, e, f ),
íî ïðè ýòîì ïðîðïîðöèîíàëüíûå íàáîðû êîýôôèöèåíòîâ (òî åñòü íàáîðû (a, b,
c, d, e, f ) è (λa, λb, λc, λd, λe, λf ), ãäå λ 6= 0) çàäàþò îäíó è òó æå êîíèêó. Òàê
÷òî íà ñàìîì äåëå êîíèêè çàâèñÿò îò ïÿòè íåçàâèñèìûõ ïàðàìåòðîâ. Ïîýòîìó âî
âñåõ èñ÷èñëèòåëüíûõ çàäà÷àõ ðå÷ü ïîéä¼ò î êîíèêàõ, çàäàííûõ ïÿòüþ íåçàâèñèìûìè óñëîâèÿìè (òîãäà ÷èñëî òàêèõ êîíèê, êàê ïðàâèëî, êîíå÷íî). Íàïðèìåð,
åñòåñòâåííûì îáîáùåíèåì çàäà÷è Àïîëëîíèÿ áóäåò òàêàÿ çàäà÷à.
Çàäà÷à 2.2 (Øòåéíåð). Ñêîëüêî íåâûðîæäåííûõ êîíèê êàñàåòñÿ äàííûõ ïÿòè
êîíèê?
Êàê è â çàäà÷å Øóáåðòà, íàñ èíòåðåñóåò ìàêñèìàëüíî âîçìîæíûé êîíå÷íûé
îòâåò. Âìåñòå ñ çàäà÷åé Øòåéíåð ñðàçó äàë è îòâåò, íî íåâåðíûé. Îòâåò Øòåéíåðà 7776 (ýòî 65 ). Øòåéíåð íå ïðèâîäèë ïîëíîãî ðåøåíèÿ, à ëèøü çàìåòèë,
÷òî ÷èñëî êîíèê, êàñàþùèõñÿ äàííîé êîíèêè è ïðîõîäÿùèõ ÷åðåç ÷åòûðå äàííûå òî÷êè ðàâíî ìàêñèìóì 6 (ýòî ïðàâäà, êàê ìû âñêîðå óâèäèì), ÷èñëî êîíèê,
êàñàþùèõñÿ äâóõ äàííûõ êîíèê è ïðîõîäÿùèõ ÷åðåç òðè äàííûå òî÷êè ðàâíî
ìàêñèìóì 62 (è ýòî ïðàâäà), à äàëåå ïî àíàëîãèè. Íà ñàìîì äåëå, óæå ÷èñëî
êîíèê, êàñàþùèõñÿ òð¼õ äàííûõ êîíèê è ïðîõîäÿùèõ ÷åðåç äâå äàííûå òî÷êè
âñåãäà ñòðîãî ìåíüøå ÷åì 63 .  1859 ãîäó ôðàíöóçñêèé ìàòåìàòèê Ýðíåñò äå
Æîíêüåð íàø¼ë ïðàâèëüíûé îòâåò â çàäà÷å Øòåéíåðà, íî íå ðåøèëñÿ îïóáëèêîâàòü åãî, íàñòîëüêî áûë âåëèê àâòîðèòåò Øòåéíåðà. Äå Æîíêüåð áûë ó÷åíèêîì Øàëÿ è, ïîìèìî çàíÿòèé ìàòåìàòèêîé, ñëóæèë âî ôðàíöóçñêîì ôëîòå,
ãäå äîñëóæèëñÿ äî ÷èíà àäìèðàëà.
ÈÑ×ÈÑËÈÒÅËÜÍÀß ÃÅÎÌÅÒÐÈß: ÌÅÒÎÄ ØÀËß È ØÓÁÅÐÒÀ
5
Ïðàâèëüíûé îòâåò 3264. Ïåðâûì åãî îïóáëèêîâàë Øàëü. Øàëü ðåøèë çàäà÷ó Øòåéíåðà (è ìíîæåñòâî äðóãèõ çàäà÷ ïðî êîíèêè), èñïîëüçóÿ èñ÷èñëåíèå
óñëîâèé, ïîõîæåå íà èñ÷èñëåíèå Øóáåðòà, íî â áîëåå ãðîìîçäêîé ôîðìå, òàê êàê
Øàëü ìåíüøå ïîëüçîâàëñÿ àëãåáðàè÷åñêèìè òîæäåñòâàìè ïðè âû÷èñëåíèÿõ ñ
óñëîâèÿìè. Ìû ðàçáåð¼ì ðåøåíèå Øàëÿ â èçëîæåíèè Øóáåðòà.
 çàäà÷å Øòåéíåðà (êàê è â äðóãèõ çàäà÷àõ èñ÷èñëèòåëüíîé ãåîìåòðèè äåâÿòíàäöàòîãî âåêà) ðå÷ü èä¼ò î ÷èñëå êîìïëåêñíûõ êîíèê, òî åñòü êîýôôèöèåíòû
a, b, c, d, e, f ìîãóò áûòü ëþáûìè êîìïëåêñíûìè ÷èñëàìè. Ýòî çàäà÷ó óïðîùàåò, ïîòîìó ÷òî äëÿ ïî÷òè âñåõ êîíôèãóðàöèé èç ïÿòè êîíèê ïîëó÷àåòñÿ îäèí
è òîò æå îòâåò, à èìåííî, ìàêñèìàëüíî âîçìîæíûé ñðåäè êîíå÷íûõ.  ÷àñòíîñòè, ëþáûå ïÿòü êîíèê âñåãäà ìîæíî ÷óòü-÷óòü ïîäâèãàòü òàê, ÷òîáû îòâåò
â çàäà÷å Øòåéíåðà äëÿ íîâîé êîíôèãóðàöèè áûë ìàêñèìàëüíûì ñðåäè êîíå÷íûõ îòâåòîâ. Òî åñòü ïðèíöèï ñîõðàíåíèÿ ÷èñëà â êîìïëåêñíîì ñëó÷àå ñèëüíåå
÷åì, â âåùåñòâåííîì. Ñâÿçàíî ýòî ñ òåì, ÷òî ëþáîå êâàäðàòíîå óðàâíåíèå èìååò
äâà êîìïëåêñíûõ êîðíÿ ñ ó÷¼òîì êðàòíîñòåé, òîãäà êàê âåùåñòâåííûõ êîðíåé
ìîæåò áûòü èëè äâà, èëè íè îäíîãî.
Åñëè æå èñêàòü òîëüêî ÷èñëî âåùåñòâåííûõ êîíèê, òî îòâåò (êàê è â çàäà÷å
Àïîëëîíèÿ) áóäåò ñóùåñòâåííî çàâèñåòü îò âûáîðà êîíôèãóðàöèè èç ïÿòè êîíèê.  íàøå âðåìÿ î÷åíü ïîïóëÿðíà âåùåñòâåííàÿ èñ÷èñëèòåëüíàÿ ãåîìåòðèÿ,
êîòîðàÿ, â ÷àñòíîñòè, èùåò êîíôèãóðàöèè, äëÿ êîòîðûõ âñå ðåøåíèÿ îêàæóòñÿ âåùåñòâåííûìè. Íàïðèìåð, â çàäà÷å Øòåéíåðà ñóùåñòâóåò êîíôèãóðàöèÿ èç
ïÿòè ãèïåðáîë, äëÿ êîòîðîé âñå 3264 êîíèêè îêàçûâàþòñÿ âåùåñòâåííûìè (1997,
Ronga, Tognoli, Vust). Êðîìå òîãî, äëÿ ëþáîé êîíôèãóðàöèè èç ïÿòè ýëëèïñîâ ñ
íåïåðåñåêàþùèìèñÿ âíóòðåííîñòÿìè, íàéä¼òñÿ ïî êðàéíåé ìåðå 32 âåùåñòâåííûõ êîíèêè, êàñàþùèåñÿ âñåõ ïÿòè ýëëèïñîâ (2005,Welschinger). Äëÿ îñòàëüíûõ
êîíôèãóðàöèé íèêàêèõ îöåíîê íà ÷èñëî âåùåñòâåííûõ ðåøåíèé çàäà÷è Øòåéíåðà ïîêà íå èçâåñòíî.
Çàäà÷à 2.3. Ïðè êàêîì ðàñïîëîæåíèè òð¼õ îêðóæíîñòåé íà ïëîñêîñòè çàäà÷à Àïîëëîíèÿ äëÿ íèõ èìååò 8 âåùåñòâåííûõ ðåøåíèé?
3. Ðåøåíèå Øàëÿ
Ñíà÷àëà ïåðåôîðìóëèðóåì çàäà÷ó Øòåéíåðà íà ÿçûêå èñ÷èñëåíèÿ óñëîâèé.
Ïóñòü κQ óñëîâèå êàñàíèÿ ñ äàííîé êîíèêîé Q. Íàì íóæíî íàéòè ÷èñëî íåâûðîæäåííûõ êîíèê, óäîâëåòâîðÿþùèõ óñëîâèþ κQ1 · . . . · κQ5 äëÿ ïÿòè äàííûõ
êîíèê Q1 ,. . . , Q5 . Äëÿ ïðîñòîòû ìû áóäåì îáîçíà÷àòü âñå óñëîâèÿ κQi ÷åðåç κ.
Òàêàÿ âîëüíîñòü â îáîçíà÷åíèÿõ îïðàâäûâàåòñÿ ïðèíöèïîì ñîõðàíåíèÿ ÷èñëà â
êîìïëåêñíîì ñëó÷àå íàñ âåäü èíòåðåñóåò òîëüêî ÷èñëî êîíèê (à íå ñàìè êîíèêè), óäîâëåòâîðÿþùèõ óñëîâèþ κQ1 · . . . · κQ5 , à ÷èñëî áóäåò îäíèì è òåì æå äëÿ
ïî÷òè âñåõ íàáîðîâ Q1 ,. . . , Q5 . Âîîáùå, èñ÷èñëåíèå Øóáåðòà âî ìíîãîì îñíîâàíî íà òàêèõ äâóñìûñëåííûõ (è äàæå ìíîãîñìûñëåííûõ) îáîçíà÷åíèÿõ, êîòîðûå
ïîçâîëÿþò îïåðèðîâàòü ñ ðàçíûìè óñëîâèÿìè êàê ñ ýêâèâàëåíòíûìè. Òîëüêî ñ
6
Âàëåíòèíà Êèðè÷åíêî
ðàçâèòèåì òåîðèè ãîìîëîãèé â ïåðâîé ïîëîâèíå äâàäöàòîãî âåêà ñòàëî âîçìîæíûì ñòðîãî îïðåäåëèòü ýêâèâàëåíòíîñòü óñëîâèé, ñïðÿòàííóþ â îáîçíà÷åíèÿõ
Øóáåðòà.
Øàëü äîãàäàëñÿ, ÷òî óñëîâèå κ ìîæíî âûðàçèòü ÷åðåç áîëåå ïðîñòûå óñëîâèÿ.  êà÷åñòâå ñàìûõ ïðîñòûõ óñëîâèé Øàëü âçÿë óñëîâèå ïðîõîæäåíèÿ ÷åðåç
äàííóþ òî÷êó è óñëîâèå êàñàíèÿ ñ äàííîé ïðÿìîé (òðàäèöèîííî ýòè óñëîâèÿ
îáîçíà÷àþòñÿ áóêâàìè µ è ν , ñîîòâåòñòâåííî). Çàìåòèì, ÷òî óñëîâèÿ µ è ν ìîæíî óìíîæàòü íà íàòóðàëüíûå ÷èñëà. Íàïðèìåð, îïðåäåëèì óñëîâèå 2µ êàê cóììó óñëîâèÿ ïðîõîæäåíèÿ ÷åðåç òî÷êó a1 è óñëîâèÿ ïðîõîæäåíèÿ ÷åðåç òî÷êó
a2 , ãäå a1 è a2 ðàçëè÷íû (òî åñòü ìû îïÿòü çëîóïîòðåáëÿåì îáîçíà÷åíèÿìè è
ïèøåì 2µ âìåñòî µa1 + µa2 ).
Ïóñòü íàì óäàëîñü ïðåäñòàâèòü óñëîâèå κ â âèäå ñóììû mµ + nν äëÿ íåêîòîðûõ öåëûõ íåîòðèöàòåëüíûõ ÷èñåë m è n. Òîãäà κ5 = (mµ + nν)5 ìîæíî
ôîðìàëüíî ïðåîáðàçîâàòü, ðàñêðûâàÿ ñêîáêè:
κ5 = m5 µ5 + 5m4 nµ4 ν + 10m3 n2 µ3 ν 2 + 10m2 n3 µ2 ν 3 + 5mn4 µν 4 + n5 ν 5 .
(1)
Çàìåòèì, ÷òî êàæäîìó ìîíîìó µk ν 5−k ìîæíî ïðèäàòü ãåîìåòðè÷åñêèé ñìûñë ýòî â òî÷íîñòè óñëîâèå, ÷òî êîíèêà ïðîõîäèò ÷åðåç k äàííûõ òî÷åê è êàñàåòñÿ (5 − k) äàííûõ ïðÿìûõ. Èç ïðèíöèïà ñîõðàíåíèÿ òîæäåñòâ ïîëó÷àåì, ÷òî
ôîðìàëüíîå òîæäåñòâî (1) îñòàíåòñÿ âåðíûì, åñëè çàìåíèòü κ5 íà ÷èñëî êîíèê,
êàñàþùèõñÿ ïÿòè äàííûõ êîíèê, à êàæäûé ìîíîì µk ν 5−k íà ÷èñëî êîíèê,
ïðîõîäÿùèõ ÷åðåç k äàííûõ òî÷åê è êàñàþùèõñÿ (5 − k) äàííûõ ïðÿìûõ. Ñàì
Øàëü ýòèì ïðèíöèïîì íå ïîëüçîâàëñÿ, è ëèøü â 1873 ãîäó ôðàíöóçñêèé ìàòåìàòèê Æîðæ-Àíðè Ãàëüôåí çàìåòèë, ÷òî èñïîëüçîâàíèå òîæäåñòâà (1) óïðîùàåò
ðàññóæäåíèÿ Øàëÿ. Èìåííî çàìå÷àíèå Ãàëüôåíà ïîäòîëêíóëî Øóáåðòà ê ñîçäàíèþ èñ÷èñëåíèÿ óñëîâèé.  ñëåäóþùåì ðàçäåëå ìû íàéä¼ì, ÷òî µ5 = ν 5 = 1,
µ4 ν = µν 4 = 2, µ3 ν 2 = µ2 ν 3 = 4. Ïîýòîìó
|κ5 | = m5 + 10m4 n + 40m3 n2 + 40m2 n3 + 10mn4 + n5 ,
(2)
ãäå |κ5 | îáîçíà÷àåò ÷èñëî êîíèê, óäîâëåòâîðÿþùèõ óñëîâèþ κ5 . Ïðè÷¼ì ýòî ðàâåíñòâî ñïðàâåäëèâî äëÿ ëþáîãî óñëîâèÿ κ, ïðåäñòàâèìîãî â âèäå mµ + nν (ìû
ïîêà íèãäå íå èñïîëüçîâàëè, ÷òî κ ýòî èìåííî óñëîâèå êàñàíèÿ ñ êîíèêîé).
 ñëåäóþùåì ðàçäåëå ìû, ïîëüçóÿñü ïîëÿðíîé äâîéñòâåííîñòüþ, äîêàæåì,
÷òî åñëè óñëîâèå êàñàíèÿ ñ êîíèêîé ìîæíî ïðåäñòàâèòü â âèäå mµ+nν , òî òîãäà
îáÿçàòåëüíî m = n, òî åñòü κ = n(µ + ν). Îñòàëîñü íàéòè n. Ñëåäóÿ Øóáåðòó, ìû îïÿòü ðàññìîòðèì ñïåöèàëüíûé ñëó÷àé âìåñòî îáùåãî. Âìåñòî óñëîâèÿ
êàñàíèÿ κQ ñ íåâûðîæäåííîé êîíèêîé Q (ñêàæåì, ñ ãèïåðáîëîé xy − 1 = 0),
ïîïðîáóåì îïèñàòü óñëîâèå êàñàíèÿ κQ0 ñ âûðîæäåííîé êîíèêîé Q0 , ñîñòîÿùåé
èç ïàðû ïåðåñåêàþùèõñÿ ïðÿìûõ l1 è l2 (íàïðèìåð, âìåñòî ãèïåðáîëû ìîæíî
âçÿòü êîíèêó xy = 0). Òîãäà ëåãêî ïðîâåðèòü, ÷òî íåâûðîæäåííàÿ êîíèêà Q0
êàñàåòñÿ êîíèêè Q0 , åñëè âûïîëíåíî îäíî èç òð¼õ óñëîâèé: êîíèêà Q0 êàñàåòñÿ
ïðÿìîé l1 , êàñàåòñÿ ïðÿìîé l2 , èëè ïðîõîäèò ÷åðåç òî÷êó ïåðåñå÷åíèÿ p ïðÿìûõ
ÈÑ×ÈÑËÈÒÅËÜÍÀß ÃÅÎÌÅÒÐÈß: ÌÅÒÎÄ ØÀËß È ØÓÁÅÐÒÀ
7
l1 è l2 . Ïðè ýòîì äîñòàòî÷íî äàëåêî îò òî÷êè p âûðîæäåííóþ êîíèêó Q0 ìîæíî î÷åíü õîðîøî ïðèáëèçèòü íåêîòîðîé íåâûðîæäåííîé êîíèêîé Q (íàïðèìåð,
ãèïåðáîëà xy = 1 õîðîøî ïðèáëèæàåò ïàðó ïðÿìûõ xy = 0 âäàëè îò íà÷àëà
êîîðäèíàò). Ïîýòîìó κQ = mµ + 2ν , îòêóäà n = 2.
Ïîäñòàâèâ m = n = 2 â òîæäåñòâî (2), ïîëó÷èì ïðàâèëüíûé îòâåò â çàäà÷å
Øòåéíåðà:
|κ5 | = 25 (1 + 10 + 40 + 40 + 10 + 1) = 25 · 102 = 3264.
Óïðàæíåíèå 3.1 (ïðîâåðêà ðàññóæäåíèÿ Øòåéíåðà). Äëÿ k = 1, 2, 3, 4, èñïîëüçóéòå ìåòîä Øàëÿ, ÷òîáû íàéòè ÷èñëî íåâûðîæäåííûõ êîíèê, êàñàþùèõñÿ k äàííûõ êîíèê è ïðîõîäÿùèõ ÷åðåç (5 − k) äàííûõ òî÷åê.
Ìû (êàê è Øàëü) íå îáîñíîâàëè, ÷òî óñëîâèå êàñàíèÿ ñ êîíèêîé âûðàæàåòñÿ ÷åðåç óñëîâèÿ µ è ν . Ýòî íåòðèâèàëüíûé ôàêò. Ïî÷åìó, íàïðèìåð, íåëüçÿ
âûðàçèòü ýòî óñëîâèå òîëüêî ÷åðåç µ? Âîîáùå, èäåÿ âûðàæàòü ñëîæíûå óñëîâèÿ ÷åðåç ïðîñòûå ïîÿâèëàñü ñíà÷àëà ó äå Æîíêüåðà, è îí êàê ðàç ïûòàëñÿ
âûðàæàòü âñ¼ òîëüêî ÷åðåç óñëîâèå µ. Åñëè áû ìû òàê äåéñòâîâàëè, òî ìû áû
ïîëó÷èëè, ÷òî κ = 6µ, ïîñêîëüêó |κµ4 | = 6 (ïîñëåäíåå ðàâåíñòâî ñëåäóåò èç
óïðàæíåíèÿ 3.1, íî åãî ìîæíî âûâåñòè, íå ïîëüçóÿñü ìåòîäîì Øàëÿ). Òîãäà
|κ5 | = 65 |µ5 | = 65 , à ýòî â òî÷íîñòè íåïðàâèëüíûé îòâåò Øòåéíåðà. Îäíàêî ìåòîä Øàëÿ (âûðàæàòü óñëîâèÿ ÷åðåç µ è ν ) äà¼ò ïðàâèëüíûé îòâåò. Âñêîðå ïîñëå
òîãî, êàê Øàëü îïóáëèêîâàë ñâîé ìåòîä, ñðàçó íåñêîëüêî ìàòåìàòèêîâ (â òîì
÷èñëå Ãàëüôåí, Ôåðäèíàíä Ëèíäåìàíí, Øóáåðò è åãî ó÷åíèê 17-ëåòíèé ãèìíàçèñò Àäîëüô Ãóðâèö) ñòðîãî äîêàçàëè ïðèìåíèìîñòü ìåòîäà Øàëÿ â áîëüøîì
÷èñëå ñëó÷àåâ (â òîì ÷èñëå, â çàäà÷å Øòåéíåðà).
Êàçàëîñü, ÷òî ìåòîä Øàëÿ óíèâåðñàëåí. Îäíàêî â 1876 ãîäó Ãàëüôåí ïðèâ¼ë
ïðèìåð óñëîâèÿ íà íåâûðîæäåííûå êîíèêè, êîòîðîå íåëüçÿ âûðàçèòü òîëüêî
÷åðåç óñëîâèÿ µ è ν . Ýòî ïîëîæèëî íà÷àëî äîëãîé äèñêóññèè ìåæäó Øóáåðòîì
è Ãàëüôåíîì. Øóáåðò ñ÷èòàë, ÷òî óñëîâèÿ âñ¼ ðàâíî íóæíî âûðàæàòü ÷åðåç µ è
ν , à òî, ÷òî îòâåò ïðè ýòîì íå áóäåò èìåòü èñ÷èñëèòåëüíîãî çíà÷åíèÿ (êàê îòâåò
Øòåéíåðà), íå òàê âàæíî. Ãàëüôåí æå ñ÷èòàë, ÷òî íóæíî ââîäèòü äîïîëíèòåëüíûå áàçîâûå óñëîâèÿ, õîòÿ ýòî è äåëàåò ìåòîä Øàëÿ áîëåå ãðîìîçäêèì (òàê êàê
ìîæíî ïðèäóìàòü èñ÷èñëèòåëüíóþ çàäà÷ó ïðî êîíèêè, ðåøåíèå êîòîðîé òðåáóåò ëþáîãî íàïåð¼ä çàäàííîãî ÷èñëà áàçîâûõ óñëîâèé).  îáùåì, ñïîð ø¼ë î òîì,
÷òî ëó÷øå êðàñèâàÿ òåîðèÿ èëè ïîëåçíûå ïðèëîæåíèÿ. Â êîíöå êîíöîâ Øóáåðò ñîãëàñèëñÿ ñ Ãàëüôåíîì, à èäåè Ãàëüôåíà ïðèñóòñòâóþò òåïåðü âî ìíîãèõ
êðàñèâûõ è ïðè ýòîì óíèâåðñàëüíûõ ðåçóëüòàòàõ, ñâÿçàííûõ ñ èñ÷èñëèòåëüíîé
ãåîìåòðèåé.
4. Èñ÷èñëèòåëüíàÿ ãåîìåòðèÿ êîíèê
 ýòîì ðàçäåëå ìû ðåøèì âñå çàäà÷è ïðî êîíèêè, îòâåòû â êîòîðûõ ìû èñïîëüçîâàëè ïðè ðåøåíèè çàäà÷è Øòåéíåðà. Äëÿ êàæäîãî k = 0, 1,. . . , 5, ìû
íàéä¼ì ÷èñëî íåâûðîæäåííûõ êîíèê, ïðîõîäÿùèõ ÷åðåç k äàííûõ òî÷åê íà
8
Âàëåíòèíà Êèðè÷åíêî
ïëîñêîñòè è êàñàþùèõñÿ (5 − k) äàííûõ ïðÿìûõ. Êàê âñåãäà, íàñ áóäåò èíòåðåñîâàòü ìàêñèìàëüíûé êîíå÷íûé îòâåò. Íà÷í¼ì ñ ñàìîé ïðîñòîé çàäà÷è.
Çàäà÷à 4.1. Ñêîëüêî íåâûðîæäåííûõ êîíèê ïðîõîäèò ÷åðåç ïÿòü òî÷åê?
Ïîíÿòíî, ÷òî âûðîæäåííûå êîíèêè, òî åñòü ïàðû (âîçìîæíî ñîâïàäàþùèõ)
ïðÿìûõ, íå ìîãóò ïðîõîäèòü ÷åðåç ïÿòü òî÷åê, èç êîòîðûõ íèêàêèå òðè íå ëåæàò íà îäíîé ïðÿìîé, ïîýòîìó ñëîâî íåâûðîæäåííûé â óñëîâèè ýòîé çàäà÷è
ìîæíî îïóñòèòü. Çàìåòèì, ÷òî åñëè êîíèêà, çàäàííàÿ óðàâíåíèåì (∗), ïðîõîäèò
÷åðåç äàííóþ òî÷êó ñ êîîðäèíàòàìè (x0 , y0 ), òî êîýôôèöèåíòû (a, b, c, d, e, f )
óäîâëåòâîðÿþò îäíîðîäíîìó ëèíåéíîìó óðàâíåíèþ
ax20 + bx0 y0 + cy02 + dx0 + ey0 + f = 0.
Êîýôôèöèåíòû êîíèêè, ïðîõîäÿùåé ÷åðåç äâå äàííûå òî÷êè, óäîâëåòâîðÿþò
äâóì îäíîðîäíûì ëèíåéíûì óðàâíåíèÿì ñïåöèàëüíîãî âèäà. Ýòî íàáëþäåíèå
ëåæèò â îñíîâå òàêîãî ïðè¼ìà. Êîíèêè, ïðîõîäÿùèå ÷åðåç äâå äàííûå
òî÷êè ìîæíî çàìåíèòü íà îêðóæíîñòè. Äåëî â òîì, ÷òî îêðóæíîñòè ýòî êîíèêè, óäîâëåòâîðÿþùèå äâóì îäíîðîäíûì ëèíåéíûì óðàâíåíèÿì:
a = c,
b = 0.
Íà ñàìîì äåëå, îêðóæíîñòè ìîæíî îõàðàêòåðèçîâàòü êàê êîíèêè, ïðîõîäÿùèå
÷åðåç äâå ôèêñèðîâàííûå òî÷êè, òîëüêî òî÷êè ýòè áóäóò ìíèìûìè è áåñêîíå÷íî óäàë¼ííûìè.
Ïîýòîìó ïðè k ≥ 2 âìåñòî ÷èñëà êîíèê, ïðîõîäÿùèõ ÷åðåç k òî÷åê è êàñàþùèõñÿ (5 − k) ïðÿìûõ ìîæíî èñêàòü ÷èñëî îêðóæíîñòåé, ïðîõîäÿùèõ ÷åðåç
(k − 2) òî÷êè è êàñàþùèõñÿ (5 − k) ïðÿìûõ. Ýòî ïðîùå, òàê êàê ìîæíî èñïîëüçîâàòü ãåîìåòðè÷åñêóþ èíòóèöèþ. Áîëåå òîãî, ïðè k = 2, 4, 5, ìîæíî ïîäîáðàòü
êîíôèãóðàöèþ èç (k − 2) òî÷åê è k ïðÿìûõ òàê, ÷òî âñå îêðóæíîñòè îêàæóòñÿ
âåùåñòâåííûìè. Ïîýòîìó ìîæíî èñïîëüçîâàòü è íàøè çíàíèÿ èç ïëàíèìåòðèè.
 ÷àñòíîñòè, ÷èñëî êîíèê, ïðîõîäÿùèõ ÷åðåç ïÿòü äàííûõ òî÷åê, ðàâíî ÷èñëó (âåùåñòâåííûõ) îêðóæíîñòåé, ïðîõîäÿùèõ ÷åðåç òðè äàííûå òî÷êè. Êàê ìû
çíàåì, ÷åðåç òðè òî÷êè, íå ëåæàùèå íà îäíîé ïðÿìîé, ïðîõîäèò ðîâíî îäíà
îêðóæíîñòü.
×òîáû ïðèäàòü òî÷íûé ñìûñë òåðìèíó áåñêîíå÷íî óäàë¼ííàÿ òî÷êà íóæíî âìåñòî êîíèêè, çàäàííîé óðàâíåíèåì (∗), ðàññìîòðåòü êîíóñ â òð¼õìåðíîì ïðîñòðàíñòâå, çàäàííûé
îäíîðîäíûì óðàâíåíèåì
ax2 + bxy + cy 2 + dxz + eyz + f z 2 = 0.
(∗∗)
Òîãäà èñõîäíàÿ êîíèêà áóäåò ñå÷åíèåì êîíóñà ïëîñêîñòüþ z = 1. Åñòü âçàèìíî-îäíîçíà÷íîå
ñîîòâåòñòâèå ìåæäó òî÷êàìè íà ïëîñêîñòè z = 1 è ïðÿìûìè â ïðîñòðàíñòâå, ïðîõîäÿùèìè ÷åðåç òî÷êó (0, 0, 0) è íå ïàðàëëåëüíûìè ïëîñêîñòè z = 1: òî÷êå (x0 , y0 ) ïîñòàâèì â ñîîòâåòñòâèå
ïðÿìóþ, ïðîõîäÿùóþ ÷åðåç íà÷àëî êîîðäèíàò è òî÷êó (x0 , y0 , 1). Ïðè ýòîì òî÷êàì êîíèêè (∗)
áóäóò ñîîòâåòñòâîâàòü ïðÿìûå íà êîíóñå (∗∗). Íî íà êîíóñå ìîãóò áûòü åù¼ äâå ïðÿìûõ, êîòîðûì íèêàêèå òî÷êè êîíèêè íå ñîîòâåòñòâóþò ýòî ïðÿìûå, ïî êîòîðûì êîíóñ ïåðåñåêàåòñÿ ñ
ÈÑ×ÈÑËÈÒÅËÜÍÀß ÃÅÎÌÅÒÐÈß: ÌÅÒÎÄ ØÀËß È ØÓÁÅÐÒÀ
9
ïëîñêîñòüþ z = 0. Ïåðåñå÷åíèå ìîæíî çàäàòü óðàâíåíèÿìè ax2 + bxy + cy 2 = 0 è z = 0. Çàìåòèì, ÷òî íàä êîìïëåêñíûìè ÷èñëàìè óðàâíåíèå ax2 + bxy + cy 2 = 0 âñåãäà ðàñêëàäûâàåòñÿ íà
äâà ëèíåéíûõ ìíîæèòåëÿ, íàïðèìåð, â ñëó÷àå îêðóæíîñòè, èìååì a(x2 +y 2 ) = a(x+iy)(x−iy).
Ñ òî÷êè çðåíèÿ ïðîåêòèâíîé ãåîìåòðèè, êîíèêà ýòî ìíîæåñòâî âñåõ ïðÿìûõ íà êîíóñå (∗∗),
ïîýòîìó ïðÿìûå, ïðîõîäÿùèå ÷åðåç íà÷àëî êîîðäèíàò è òî÷êó (1, i, 0) èëè (1, −i, 0) äàþò íàì
äâå ïîëíîïðàâíûõ òî÷êè íà êîíèêå.
Çàìåíÿÿ íà îêðóæíîñòè êîíèêè, ïðîõîäÿùèå ÷åðåç äâå òî÷êè, ìîæíî ðåøèòü
è òàêóþ çàäà÷ó.
Çàäà÷à 4.2. Ñêîëüêî íåâûðîæäåííûõ êîíèê êàñàåòñÿ ïðÿìîé è ïðîõîäèò ÷åðåç ÷åòûðå òî÷êè?
Ðåøåíèå çàäà÷è 4.2 ïðåäîñòàâëÿåòñÿ ÷èòàòåëþ.
Çàìåòèì, ÷òî âåùåñòâåííûõ îêðóæíîñòåé, ïðîõîäÿùèõ ÷åðåç äâå äàííûå òî÷êè è êàñàþùèõñÿ äàííîé ïðÿìîé, ìîæåò áûòü êàê äâå èëè îäíà (åñëè òî÷êè ëåæàò ïî îäíó ñòîðîíó îò
ïðÿìîé), òàê è íè îäíîé (åñëè òî÷êè îêàçàëèñü â ðàçíûõ ïîëóïëîñêîñòÿõ). Íî ñ êîìïëåêñíûìè
÷èñëàìè òàêîé ñëîæíîñòè íå âîçíèêàåò. Åñëè ìû äîïóñêàåì êîìïëåêñíûå çíà÷åíèÿ êîîðäèíàò x è y , òî ïðÿìàÿ ïåðåñòà¼ò äåëèòü ïëîñêîñòü íà äâå ïîëóïëîñêîñòè! Âîçüì¼ì, ê ïðèìåðó,
ïðÿìóþ y = 0 è òî÷êè (0, 1) è (0, −1). Òîãäà èç îäíîé òî÷êè ìîæíî ïðîéòè â äðóãóþ ïî ïóòè,
íå ïåðåñåêàþùåìó ïðÿìóþ y = 0 (ïîéä¼ì, íàïðèìåð, ïî ïóòè (0, cos(πt) + i sin(πt)), ãäå t ïðîáåãàåò âñå âåùåñòâåííûå ÷èñëà îò 0 äî 1). Ýòî ñâîéñòâî êîìïëåêñíûõ ÷èñåë è åãî îáîáùåíèÿ
ëåæàò â îñíîâå ïðèíöèïà ñîõðàíåíèÿ ÷èñëà.
Çàäà÷à 4.3. Ñêîëüêî íåâûðîæäåííûõ êîíèê êàñàþòñÿ òð¼õ ïðÿìûõ è ïðîõîäÿò ÷åðåç äâå òî÷êè?
Íóæíî íàéòè ÷èñëî îêðóæíîñòåé, êàñàþùèõñÿ òð¼õ ïðÿìûõ. Ìîæíî ïðîâåðèòü, ÷òî ìàêñèìàëüíûé êîíå÷íûé îòâåò ïîëó÷èòñÿ, òîëüêî åñëè íèêàêèå äâå
ïðÿìûå äðóã äðóãó íå ïàðàëëåëüíû.  ýòîì ñëó÷àå, ðàññìîòðèì òðåóãîëüíèê
ñ âåðøèíàìè â òî÷êàõ ïåðåñå÷åíèÿ ïðÿìûõ. Òîãäà ëåãêî âèäåòü, ÷òî îêðóæíîñòåé, êàñàþùèõñÿ âñåõ ñòîðîí òðåóãîëüíèêà èëè èõ ïðîäîëæåíèé áóäåò ÷åòûðå:
îäíà âïèñàííàÿ è òðè âíåâïèñàííûõ.
Çàìåòèì, ÷òî îòâåò â çàäà÷å 4.3 èçìåíèòñÿ, åñëè îïóñòèòü òðåáîâàíèå íåâûðîæäåííîñòè. Äåéñòâèòåëüíî, âûðîæäåííàÿ êîíèêà, çàäàííàÿ óðàâíåíèåì (px+
qy + r)2 = 0 (òàêàÿ êîíèêà íàçûâàåòñÿ äâîéíîé ïðÿìîé), áóäåò êàñàòüñÿ ñðàçó
âñåõ ïðÿìûõ, ïåðåñåêàþùèõ ïðÿìóþ px + qy + r = 0. Ãåîìåòðè÷åñêè ýòî ìîæåò
ïîêàçàòüñÿ íåìîòèâèðîâàííûì, íî ëåãêî ïðîâåðÿåòñÿ ñ ïîìîùüþ àëãåáðàè÷åñêîãî îïðåäåëåíèÿ êàñàíèÿ êîíèêè ñ ïðÿìîé: êîíèêà êàñàåòñÿ ïðÿìîé, åñëè â
îãðàíè÷åíèè íà ýòó ïðÿìóþ óðàâíåíèå êîíèêè èìååò êðàòíûé êîðåíü. Íàïðèìåð, êîíèêà (∗) êàñàåòñÿ ïðÿìîé y = 0, åñëè óðàâíåíèå ax2 + dx + f èìååò êðàòíûé êîðåíü. Âûáåðåì ÷èñëà p, q è r òàê ÷òîáû ïðÿìàÿ px + qy + r = 0 ïðîõîäèëà
÷åðåç äâå òî÷êè èç çàäà÷è 4.3. Òîãäà âûðîæäåííàÿ êîíèêà (px + qy + r)2 = 0,
10
Âàëåíòèíà Êèðè÷åíêî
áóäåò ïðîõîäèòü ÷åðåç ýòè äâå òî÷êè è êàñàòüñÿ ëþáûõ òð¼õ ïðÿìûõ, íå ïàðàëëåëüíûõ ïðÿìîé px + qy + r = 0, òî åñòü äàñò ëèøíåå ðåøåíèå â çàäà÷å
4.3.
Òåïåðü ðåøèì ñàìóþ, íà ïåðâûé âçãëÿä, ñëîæíóþ çàäà÷ó.
Çàäà÷à 4.4. Ñêîëüêî íåâûðîæäåííûõ êîíèê êàñàåòñÿ ïÿòè ïðÿìûõ?
Çäåñü óñëîâèå íåâûðîæäåííîñòè òîæå ñóùåñòâåííî. Åñëè åãî îòáðîñèòü, òî
ðåøåíèé áóäåò áåñêîíå÷íî ìíîãî âñå äâîéíûå ïðÿìûå, íå ïàðàëëåëüíûå ïÿòè äàííûì â çàäà÷å ïðÿìûì, áóäóò ðåøåíèÿìè. Çàìåòèì, ÷òî êîíèêè áîëüøå
íå ïðîõîäÿò ÷åðåç äâå ôèêñèðîâàííûå òî÷êè, ïîýòîìó èõ íåëüçÿ çàìåíèòü íà
îêðóæíîñòè. Ðåøèòü ýòó çàäà÷ó íàì ïîìîæåò ïîëÿðíàÿ äâîéñòâåííîñòü. Ìû
ñíà÷àëà íàïîìíèì, êàê îíà îïðåäåëÿåòñÿ â âåùåñòâåííîì ñëó÷àå.
Åñëè çàôèêñèðîâàòü îêðóæíîñòü C íà ïëîñêîñòè, òî êàæäîé òî÷êå ìîæíî
ñîïîñòàâèòü ïðÿìóþ, íàçûâàåìóþ ïîëÿðîé ýòîé òî÷êè. È íàîáîðîò, êàæäîé ïðÿìîé ìîæíî ïîñòàâèòü â ñîîòâåòñòâèå òî÷êó ïîëþñ. Äåëàåòñÿ ýòî òàê. Ïóñòü
p òî÷êà âíå îêðóæíîñòè C . Ïðîâåä¼ì èç òî÷êè p êàñàòåëüíûå ê îêðóæíîñòè
C . Ïðÿìàÿ lp , ïðîõîäÿùàÿ ÷åðåç òî÷êè êàñàíèÿ, è áóäåò ïîëÿðîé òî÷êè p, à òî÷êà p áóäåò ïîëþñîì ïðÿìîé lp . Òåì ñàìûì, ìû îïðåäåëèëè ïîëÿðû äëÿ òî÷åê
âíå C , è ïîëþñà äëÿ ïðÿìûõ, ïåðåñåêàþùèõ C . (Èñïîëüçóÿ ïîíÿòèå èíâåðñèè
îòíîñèòåëüíî îêðóæíîñòè C , ìîæíî èíà÷å ñêàçàòü, ÷òî lp ïîëó÷àåòñÿ èíâåðñèåé îêðóæíîñòè, ïîñòðîåííîé êàê íà äèàìåòðå íà îòðåçêå p0 p, ãäå p0 öåíòð
îêðóæíîñòè C .)
Óïðàæíåíèå 4.5. Ïðîâåðüòå, ÷òî åñëè òî÷êè q è r ëåæàò íà ïîëÿðå lp ,
òî ïîëÿðû lq è lr ïåðåñåêàþòñÿ â òî÷êå p. (Íàïðèìåð, ìîæíî èñïîëüçîâàòü
ñâîéñòâà èíâåðñèè.)
Ýòî óïðàæíåíèå ïîçâîëÿåò äîîïðåäåëèòü ïîëÿðíóþ äâîéñòâåííîñòü äëÿ òî÷åê âíóòðè îêðóæíîñòè C (èç êîòîðûõ êàñàòåëüíûå íå ïðîâåä¼øü) è äëÿ ïðÿìûõ, íå ïåðåñåêàþùèõ C . Äåéñòâèòåëüíî, ïóñòü òåïåðü òî÷êà p ëåæèò âíóòðè.
Ïðîâåä¼ì äâå ïðÿìûå ÷åðåç p è îáîçíà÷èì ÷åðåç q è r èõ ïîëþñà. Òîãäà ïîëÿðà òî÷êè p ýòî, ïî îïðåäåëåíèþ, ïðÿìàÿ, ïðîõîäÿùàÿ ÷åðåç q è r, ïðè÷¼ì
îïðåäåëåíèå íå çàâèñèò îò âûáîðà ïðÿìûõ.
Óïðàæíåíèå 4.6. Îïðåäåëèòå ïîëþñ ïðÿìîé, íå ïåðåñåêàþùåé îêðóæíîñòü
C.
Öåíòð îêðóæíîñòè C ýòî åäèíñòâåííàÿ òî÷êà, îñòàâøàÿñÿ áåç ïîëÿðû, íî ìîæíî ñêàçàòü,
÷òî ïîëÿðîé öåíòðà ÿâëÿåòñÿ áåñêîíå÷íî óäàë¼ííàÿ ïðÿìàÿ. Êàê è ðàíüøå, êàæäîé òî÷êå p íà
ïëîñêîñòè z = 1 ñîïîñòàâèì ïðÿìóþ P â ïðîñòðàíñòâå, ïðîõîäÿùóþ ÷åðåç íà÷àëî êîîðäèíàò
è òî÷êó p. Òîãäà êàæäîé ïðÿìîé l íà ïëîñêîñòè z = 1 áóäóò ñîîòâåòñòâîâàòü ïëîñêîñòü L â
ïðîñòðàíñòâå, ïðîõîäÿùàÿ ÷åðåç íà÷àëî êîîðäèíàò è ïðÿìóþ l. Áåñêîíå÷íî óäàë¼ííàÿ ïðÿìàÿ ýòî ïëîñêîñòü z = 0. Òåïåðü ïîëÿðíóþ äâîéñòâåííîñòü ìîæíî îïðåäåëèòü òàê: ïðÿìîé
P ïîñòàâèì â ñîîòâåòñòâèå ïëîñêîñòü L, ïåðïåíäèêóëÿðíóþ ïðÿìîé P . Òî åñòü â ïåðåñå÷åíèè
ÈÑ×ÈÑËÈÒÅËÜÍÀß ÃÅÎÌÅÒÐÈß: ÌÅÒÎÄ ØÀËß È ØÓÁÅÐÒÀ
11
ñ åäèíè÷íîé ñôåðîé x2 + y 2 + z 2 = 1 ïðÿìàÿ P è ïëîñêîñòü L äàäóò äâà ïîëþñà è ýêâàòîð,
ñîîòâåòñòâåííî.
Çàìåòèì, ÷òî îïðåäåëåíèå ïîëÿðíîé äâîéñòâåííîñòè äîñëîâíî ïåðåíîñèòñÿ
íà êîìïëåêñíûé ñëó÷àé (è ïðè ýòîì äàæå ñòàíîâèòñÿ ïðîùå). Äåéñòâèòåëüíî, â
êîìïëåêñíîì ñëó÷àå, èç ëþáîé òî÷êè ìîæíî ïðîâåñòè äâå êàñàòåëüíûõ (âîçìîæíî ñîâïàäàþùèõ) ê îêðóæíîñòè, è ëþáàÿ ïðÿìàÿ âñåãäà ïåðåñåêàåò îêðóæíîñòü
â äâóõ òî÷êàõ (âîçìîæíî ñîâïàäàþùèõ èëè áåñêîíå÷íî óäàë¼ííûõ). Ïîýòîìó
ìîæíî îïðåäåëèòü ïîëÿðó äëÿ êàæäîé òî÷êè, è ïîëþñ äëÿ êàæäîé ïðÿìîé.
Ïîëÿðíàÿ äâîéñòâåííîñòü ïîçâîëÿåò òàêæå îïðåäåëèòü êîíèêó, äâîéñòâåííóþ ê äàííîé íåâûðîæäåííîé êîíèêå. À èìåííî, ðàññìîòðèì âñå êàñàòåëüíûå
ê äàííîé êîíèêå Q è âîçüì¼ì èõ ïîëþñà. Îêàçûâàåòñÿ, ïîëþñà áóäóò ëåæàòü
íà íåêîòîðîé íåâûðîæäåííîé êîíèêå (ñì. [1, Òåîðåìà 3.5]), êîòîðóþ ìû è íàçîâ¼ì äâîéñòâåííîé ê Q è îáîçíà÷èì ÷åðåç Q∗ . Èç îïðåäåëåíèÿ ñðàçó ñëåäóåò,
÷òî åñëè êîíèêà Q êàñàëàñü ïðÿìîé, òî êîíèêà Q∗ áóäåò ñîäåðæàòü ïîëþñ ýòîé
ïðÿìîé. Êðîìå òîãî, èç îïðåäåëåíèÿ òàêæå ñëåäóåò, ÷òî êîíèêà, äâîéñòâåííàÿ
ê Q∗ , ñîâïàäàåò ñ Q.
Óïðàæíåíèå 4.7. Ïóñòü Q âåùåñòâåííàÿ îêðóæíîñòü, êîíöåíòðè÷íàÿ ñ
âåùåñòâåííîé îêðóæíîñòüþ C (ïî êîòîðîé îïðåäåëÿëàñü ïîëÿðíàÿ äâîéñòâåííîñòü). Ïðîâåðüòå, ÷òî Q∗ òîæå îêðóæíîñòü, è ÷òî Q∗ ïîëó÷àåòñÿ èç Q
èíâåðñèåé îòíîñèòåëüíî îêðóæíîñòè C . Ïðèâåäèòå ïðèìåð îêðóæíîñòè Q,
òàêîé ÷òî äâîéñòâåííàÿ êîíèêà Q∗ íå ÿâëÿåòñÿ îêðóæíîñòüþ.
Èç ïåðå÷èñëåííûõ âûøå ñâîéñòâ ïîëÿðíîé äâîéñòâåííîñòè ñðàçó âûòåêàåò
òàêîå ñëåäñòâèå (ïîëåçíîå äëÿ ðåøåíèÿ çàäà÷è Øòåéíåðà). Ïîëÿðíàÿ äâîé-
ñòâåííîñòü äëÿ íåâûðîæäåííûõ êîíèê ïåðåñòàâëÿåò óñëîâèå êàñàíèÿ
ñ ïðÿìîé è óñëîâèå ïðîõîæäåíèÿ ÷åðåç òî÷êó. Ïðè ýòîì óñëîâèå κ êàñàíèÿ ñ êîíèêîé ñèììåòðè÷íî îòíîñèòåëüíî ïîëÿðíîé äâîéñòâåííîñòè. Îòñþäà
ñëåäóåò óòâåðæäåíèå, êîòîðîå ìû èñïîëüçîâàëè â ïðåäûäóùåì ðàçäåëå: åñëè
κ = mµ + nν , òî îáÿçàòåëüíî m = n. Êðîìå òîãî, ïîëó÷àåì òàêîé ðåçóëüòàò.
Ïðåäëîæåíèå 4.8. Äëÿ êàæäîãî k = 0, 1,. . . , 5, ÷èñëî íåâûðîæäåííûõ êîíèê,
ïðîõîäÿùèõ ÷åðåç k òî÷åê íà ïëîñêîñòè è êàñàþùèõñÿ (5 − k) ïðÿìûõ, ðàâíî
÷èñëó íåâûðîæäåííûõ êîíèê, ïðîõîäÿùèõ ÷åðåç (5 − k) òî÷åê è êàñàþùèõñÿ k
ïðÿìûõ.
Äåéñòâèòåëüíî, âìåñòî òîãî, ÷òîáû ñ÷èòàòü, ñêàæåì, ÷èñëî êîíèê, êàñàþùèõñÿ ïÿòè ïðÿìûõ, ìû íàéä¼ì ÷èñëî äâîéñòâåííûõ êîíèê. Äâîéñòâåííûå êîíèêè
áóäóò ïðîõîäèòü ÷åðåç ïîëþñà äàííûõ ïðÿìûõ, òî åñòü ÷åðåç ïÿòü òî÷åê. Ñëåäîâàòåëüíî, åñòü ðîâíî îäíà íåâûðîæäåííàÿ êîíèêà, êàñàþùàÿñÿ ïÿòè äàííûõ
ïðÿìûõ.
Èñïîëüçóÿ ïðåäëîæåíèå 4.8 è îòâåòû â çàäà÷àõ 4.2 è 4.3, ìîæíî ñðàçó ðåøèòü
îñòàâøèåñÿ äâå çàäà÷è (äëÿ k = 1 è k = 3).
Âíèìàòåëüíûé ÷èòàòåëü, âîçìîæíî, çàìåòèë, ÷òî åñëè ðåøàòü çàäà÷ó äëÿ k = 3 òåì æå
ìåòîäîì, ÷òî è çàäà÷ó 4.3 òî åñòü èñêàòü ÷èñëî îêðóæíîñòåé, ïðîõîäÿùèõ ÷åðåç äàííóþ òî÷êó
12
Âàëåíòèíà Êèðè÷åíêî
è êàñàþùèõñÿ äâóõ äàííûõ ïðÿìûõ, òî ïîëó÷èòñÿ òîëüêî äâå îêðóæíîñòè (à íå ÷åòûðå, êàê
äîëæíî áûòü èç ïîëÿðíîé äâîéñòâåííîñòè). Äåëî â òîì, ÷òî íåäîñòàþùèå äâå îêðóæíîñòè
íà âåùåñòâåííîé ïëîñêîñòè ïðîñòî íå âèäíî. Äåéñòâèòåëüíî, ðàññìîòðèì ñåìåéñòâî îêðóæíîñòåé, êîòîðûå êàñàþòñÿ, ñêàæåì, äâóõ êîîðäèíàòíûõ ïðÿìûõ. Îíî ñîñòîèò èç îêðóæíîñòåé
äâóõ òèïîâ: (x−a)2 +(y−a)2 = a2 è (x+a)2 +(y−a)2 = a2 , ãäå a ïàðàìåòð. Ïðè ýòîì åñëè ìû
äîïóñêàåì òîëüêî âåùåñòâåííûå çíà÷åíèÿ ïàðàìåòðà a, òî îêðóæíîñòè ïåðâîãî òèïà íèêîãäà
íå ïðîéäóò ÷åðåç òî÷êó (x0 , y0 ), ó êîòîðîé êîîðäèíàòû èìåþò ðàçíûå çíàêè, à îêðóæíîñòè
âòîðîãî òèïà ÷åðåç òî÷êó ñ êîîðäèíàòàìè îäíîãî çíàêà. Åñëè æå äîïóñòèòü êîìïëåêñíûå
çíà÷åíèÿ ïàðàìåòðà a, òî ÷åðåç êàæäóþ òî÷êó (x0 , y0 ), òàêóþ ÷òî x0 6= 0 è y0 6= 0, ïðîéäóò
ðîâíî äâå îêðóæíîñòè êàæäîãî òèïà. Òàêèìè æå àëãåáðàè÷åñêèìè ðàññóæäåíèÿìè ìîæíî
ïðîâåðèòü, ÷òî è â çàäà÷àõ 4.1 è 4.2 ìû íèêàêèõ êîìïëåêñíûõ ðåøåíèé íå óïóñòèëè.
Ñïèñîê ëèòåðàòóðû
[1] Àêîïÿí À. Â., Çàñëàâñêèé À. À., Ãåîìåòðè÷åñêèå ñâîéñòâà êðèâûõ âòîðîãî ïîðÿäêà,
ÌÖÍÌÎ, 2007
[2] S. L. Kleiman, Chasles's enumerative theory of conics: a historical introduction, Studies in
Algebraic Geometry, Studies in Math., 20, Math. Assoc. Amer., Washington, D. C, 1980, pp.
117138
[3] S. L. Kleiman and Dan Laksov, Schubert calculus, The American Mathematical Monthly,
79, No. 10, (1972), pp. 1061-1082
Скачать