You are on page 1of 14

Ïðèëîæåíèå A

Äâèæåíèÿ ïëîñêîñòè. Òåîðåìà

Øàëÿ

 êóðñå ¾Àëãåáðà è ãåîìåòðèÿ¿ ìû èçó÷àåì îðòîãîíàëüíûå


ïðåîáðàçîâàíèÿ n-ìåðíûõ ïðîñòðàíñòâ. Êðîìå òîãî, â ÷àñòè,
îòíîñÿùåéñÿ ê êðèâûì è ïîâåðõíîñòÿì âòîðîãî ïîðÿäêà, ìû àêòèâíî
ïðèìåíÿåì äâèæåíèÿ ïëîñêîñòè è ïðîñòðàíñòâà äëÿ òîãî, ÷òîáû
îïðåäåëèòü âèä êðèâîé (èëè ïîâåðõíîñòè). Â öåëîì, äàííàÿ ãëàâà 
¾Äâèæåíèå ïëîñêîñòè¿  íå âõîäèò â ïðîãðàììó êóðñà. Ñ÷èòàåòñÿ, ÷òî
ïîäãîòîâëåííûé øêîëüíèê ñ ýòîé òåìîé çíàêîì. Íî ïîíèìàíèå ýòîé
ãëàâû äëÿ ïîíèìàíèÿ êóðñà ÿâëÿåòñÿ íåîáõîäèìûì  èìåííî ïîýòîìó
ÿ ðåøèëà âêëþ÷èòü åå â ó÷åáíèê, îäíàêî æå, íåìíîãî çà ñêîáêàìè
îñíîâíîãî ïîâåñòâîâàíèÿ.
Ðå÷ü â ýòîé ãëàâå ïîéäåò íå ïðî n-ìåðíûå ïðîñòðàíñòâà, à ïðî
"ñàìóþ îáû÷íóþ" ãåîìåòðèþ ïëîñêîñòè è ïðîñòðàíñòâà. È â ýòîé ãëàâå
èñïîëüçóþòñÿ â îñíîâíîì ëèøü øêîëüíûå çíàíèÿ ãåîìåòðèè.

A.1 Îñíîâíûå ïîíÿòèÿ. Îñíîâíûå äâèæåíèÿ

ïëîñêîñòè.

Îïðåäåëåíèå 1. Äâèæåíåì ïðîñòðàíñòâà (ïëîñêîñòè) íàçûâàåòñÿ òàêîå


ïðåîáðàçîâàíèå ïðîñòðàíñòâà (ïëîñêîñòè), êîòîðîå íå ìåíÿåò ðàññòîÿíèÿ
ìåæäó òî÷êàìè.
Ïðèìåð. Î÷åâèäíûé ïðèìåð äâèæåíèÿ  íè÷åãî íå äåëàòü. Òîãäà
ðàññòîÿíèÿ òî÷íî íå èçìåíÿòñÿ.
Òàêîå äâèæåíèå íàçûâàåòñÿ "òîæäåñòâåííûì ïðåîáðàçîâàíèåì".
Îáîçíà÷åíèå: Id.
1
Ïðåäëîæåíèå 1 (Ïðîñòåéøèå ñâîéñòâà äâèæåíèé) 1. Äâèæåíèå
.
íå ìåíÿåò äëèíû âåêòîðîâ.
2. Äâèæåíèÿ íå ìåíÿþò óãëîâ ìåæäó âåêòîðàìè.
Äîêàçàòåëüñòâî. Ðàññìîòðèì óãîë ABC . Ïîñëå äâèæåíèÿ òî÷êè
A, B, C ïåðåøëè â òî÷êè A0 , B 0 , C 0 ñîîòâåòñòâåííî. Ò.ê. ðàññòîÿíèÿ
íå ïîìåíÿëèñü, òðåóãîëüíèêè ABC è A0B 0C 0 ðàâíû ïî òðåì
ñòîðîíàì. Íî òîãäà è ñîîòâåòñòâóþùèå óãëû ðàâíû, ïîýòîìó
∠ABC = ∠A0 B 0 C 0 .

3. Äâèæåíèÿ íå ìåíÿþò ñêàëÿðíîãî ïðîèçâåäåíèÿ.


Äîêàçàòåëüñòâî. Ïîñêîëüêó íå ïîìåíÿëèñü ðàññòîÿíèÿ è óãëû,
à ñêàëÿðíîå ïðîèçâåäåíèå âåêòîðîâ ðàâíî ïðîèçâåäåíèþ èõ äëèí
íà óãîë ìåæäó íèìè, òî, î÷åâèäíî, íå ïîìåíÿëîñü è ñêàëÿðíîå
ïðîèçâåäåíèå.
4. Êîìïîçèöèÿ äâóõ äâèæåíèé (ò.å. åñëè äâà äâèæåíèÿ ñäåëàòü
ïîäðÿä)  äâèæåíèå.
Äîêàçàòåëüñòâî. Åñëè â ïåðâûé ðàç ðàññòîÿíèÿ íå èçìåíèëèñü, âî
âòîðîé ðàç íå èçìåíèëèñü, òî îíè è â öåëîì íå èçìåíèëèñü.
5. Êîìïîçèöèÿ äâóõ äâèæåíèé  àññîöèàòèâíàÿ, íî íå
êîììóòàòèâíàÿ îïåðàöèÿ. Ò.å. (φ ◦ ψ) ◦ θ = φ ◦ (ψ ◦ θ). È
φ ◦ ψ íå îáÿçàòåëüíî ðàâíî ψ ◦ φ (õîòÿ èíîãäà, î÷åíü ðåäêî òàê
áûâàåò).
Ðàññìîòðèì íåêîòîðûå ïðèìåðû îñíîâíûõ ïðåîáðàçîâàíèé.

Ðèñóíîê A.1: Ïàðàëëåëüíûé ïåðåíîñ íà âåêòîð u

2
Îïðåäåëåíèå 2. Ïàðàëëåëüíûé ïåðåíîñ íà âåêòîð u  ïðåîáðàçîâàíèå
ïëîñêîñòè, ïðè êîòîðîì êàæäàÿ òî÷êà A ïåðåõîäèò â òî÷êó A0, òàêóþ
÷òî AA0 = u.
Îáîçíà÷åíèå: P (u).
Ïðåäëîæåíèå 2. P (u)  äâèæåíèå.

Äîêàçàòåëüñòâî. Äåéñòâèòåëüíî, åñëè AA0 = u è BB 0 = u, òî AA0B 0B


 ïàðàëëåëîãðàìì, ò.ê. äâå åãî ñòîðîíû ðàâíû è ïàðàëëåëüíû. Ïîýòîìó
AB = A0 B 0 .
Î÷åâèäíî, ÷òî P (0) = Id. Íî îáû÷íî, êîãäà èñïîëüçóþò ñëîâà
"ïàðàëëåëüíûé ïåðåíîñ" ïîäðàçóåâàþò, ÷òî ïðåîáðàçîâàíèå âñå æå íå
òîæäåñòâåííîå.
Ó ïàðàëëåëüíîãî ïåðåíîñà åñòü îáðàòíîå ïðåîáðàçîâàíèå. Îáðàòíûì
ê P (u) áóäåò ïàðàëëåëüíûé ïåðåíîñ P (−u).
Ïðè ïàðàëëåëüíîì ïåðåíîñå âåêòîðà íå èçìåíÿþòñÿ. Íè îäíà òî÷êà
ïëîñêîñòè íå îñòàåòñÿ íà ìåñòå.
Îïðåäåëåíèå 3. Ïîâîðîòîì îòíîñèòåëüíî òî÷êè O íà óãîë α
íàçûâàåòñÿ ïðåîáðàçîâàíèå ïëîñêîñòè, ïðè êîòîðîì êàæäàÿ òî÷êà A
ïëîñêîñòè ïåðåõîäèò â òî÷êó A0, òàêóþ, ÷òî AO = A0O è óãîë ∠AOA0 =
α.
Îáîçíà÷åíèå: Tα(O).
Óãîë çäåñü ñ÷èòàåòñÿ îðèåíòèðîâàííûì. Ïîëîæèòåëüíîå
íàïðàâëåíèå, êàê è îáû÷íî, ïðîòèâ ÷àñîâîé ñòðåëêè.
Ëåãêî âèäåòü, ÷òî ïîâîðîò  äâèæåíèå. À ïîâîðîò íà íóëåâîé óãîë
îòíîñèòåëüíî ëþáîé òî÷êè  òîæäåñòâåííîå ïðåîáðàçîâàíèå.

Ðèñóíîê A.2: Ïîâîðîò îòíîñèòåëüíî òî÷êè Î íà óãîë − π2




3
Ïðè ïîâîðîòå åäèíñòâåííàÿ òî÷êà  òî÷êà O  îñòàåòñÿ íà ìåñòå.
Âñå îñòàëüíûå òî÷êè ìåíÿþòñÿ. Âñå âåêòîðà íå ìåíÿþòñÿ ïî äëèíå, íî
íàïðàâëåíèå âñåõ âåêòîðîâ ìåíÿåòñÿ íà îäèí è òîò æå óãîë α.
Çàìåòèì, ÷òî ó ïîâîðîòà Tα(O) åñòü îáðàòíîå ïðåîáðàçîâàíèå 
ïîâîðîò T−α(O).
Îïðåäåëåíèå 4. Öåíòðàëüíîé ñèììåòðèåé èëè ñèììåòðèåé
îòíîñèòåëüíî òî÷êè O íàçûâàåòñÿ ïðåîáðàçîâàíèå ïëîñêîñòè,
ïåðåâîäÿùåå òî÷êó A â òî÷êó A0, òàêóþ, ÷òî O  ñåðåäèíà îòðåçêà AA0.
Îáîçíà÷åíèå: S(O).

Ðèñóíîê A.3: Öåíòðàëüíÿ ñèììåòðèÿ


Ïðè öåíòðàëüíîé ñèììåòðèè íà ìåñòå îñòàåòñÿ ðîâíî îäíà òî÷êà 
öåíòð ñèììåòðèè. Âñå âåêòîðà ìåíÿþòñÿ íà ïðîòèâîïîëîæíûå (ò.å. v →
−v ).
Çàìåòèì, ÷òî öåíòðàëüíàÿ ñèììåòðèÿ  ÷àñòíûé ñëó÷àé ïîâîðîòà, à
èìåííî ïîâîðîò íà π.

Ðèñóíîê A.4: Îñåâàÿ ñèììåòðèÿ

4
Îïðåäåëåíèå 5. Îñåâîé ñèììåòðèåé èëè ñèììåòðèåé îòíîñèòåëüíî
ïðÿìîé l íàçûâàåòñÿ ïðåîáðàçîâàíèå ïëîñêîñòè, ïðè êîòîðîì êàæäàÿ
òî÷êà A ïåðåõîäèò â òî÷êó A0 òàêóþ, ÷òî ïðÿìàÿ l  ñåðåäèííûé
ïåðïåíäèêóëÿð ê îòðåçêó AA0.
Îáîçíà÷åíèå: S(l).
Ïðåäëîæåíèå 3. Îñåâàÿ ñèììåòðèÿ  äâèæåíèå.
Äîêàçàòåëüñòâî. Ðàññìîòðèì ñëó÷àé, êîãäà ïðÿìàÿ AB íå ïàðàëëåëüíà
ïðÿìîé l.  ýòîì ñëó÷àå AB ∩ l = O.
Òðåóãîëüíèê AOA0 ðàâíîáåäðåííûé, ò.ê. l â íåì è âûñîòà, è ìåäèàíà.
Ïîýòîìó AO = A0O. Àíàëîãè÷íî òðåóãîëüíèê BOB 0 ðàâíîáåäðåííûé è
BO = B 0 O.
À äàëåå åñëè AB ïî îäíó ñòîðîíó îò òî÷êè O, òî è òî÷êè A0 è B 0 ïî
îäíó ñòîðîíó, à AB = |AO − OB| = |A0O − B 0O| = A0B 0. Åñëè òî÷êè ïî
ðàçíûå ñòîðîíû îò O, òî âìåñòî ðàçíîñòè áóäåò ñóììà.
Åñëè æå AB k l, òî âñå åùå ïðîùå, ò.ê. AA0B 0B  ïðÿìîóãîëüíèê
(äâå åãî ñòîðîíû ïåðïåíäèêóëÿðíû l, à äâå ïàðàëëåëüíû). È ïîýòîìó
AB = A0 B 0 .
Ïðè îñåâîé ñèììåòðèè âåêòîðà ìåíÿþò íàïðàâëåíèÿ ïî-ðàçíîìó. Âñå
òî÷êè íà ïðÿìîé l îñòàþòñÿ íà ñâîåì ìåñòå.
Ó îñåâîé ñèììåòðèè åñòü îáðàòíîå ïðåîáðàçîâàíèå  îíà ñàìà.
Îïðåäåëåíèå 6. Ïóñòü çàäàíà ïðÿìàÿ l è âåêòîð u òàê, ÷òî u k l.
Ñêîëüçÿùåé ñèììåòðèåé íàçûâàåòñÿ êîìïîçèöèÿ S(l) è P (u).
Îáîçíà÷åíèå: S(l, u).

Ðèñóíîê A.5: Ñêîëüçÿùàÿ ñèììåòðèÿ


Ïðåäëîæåíèå  äàííîì ñëó÷àå íåâàæíî, â êàêîì ïîðÿäêå
4.
ðàññìàòðèâàòü êîìïîçèöèþ (S(l) ◦ P (u) = P (u) ◦ S(l)).
5
Äîêàçàòåëüñòâî. Ðàññìîòðèì òî÷êó A. Ñèììåòðè÷íàÿ åé òî÷êà
îòíîñèòåëüíî l ïóñòü áóäåò A1. Åñëè A ñäâèíóòü íà âåêòîð u ïóñòü
ïîëó÷èòñÿ òî÷êà B , à åñëè A1 ñäâèíóòü íà âåêòîð u ïóñòü ïîëó÷èòñÿ
B1 .
Åñëè ìû ê òî÷êå A ïðèìåíèì ñíà÷àëà ñèììåòðèþ S(l), à ïîòîì
ïàðàëëåëüíûé ïåðåíîñ P (u) ìû ïîëó÷èì òî÷êó B1. Ïîñêîëüêó u k l,
òî AA1B1B  ïðÿìîóãîëüíèê (îí ïàðàëëåëîãðàìì, ò.ê. AB = u = A1B1,
à êðîìå òîãî, AA1 ⊥ l, ïîýòîìó AA1 ⊥ AB ). Ïîýòîìó ïðÿìàÿ l
 ñåðåäèííûé ïåðïåíäèêóëÿð ê îòðåçêó BB1. Ïîýòîìó åñëè ñíà÷àëà
ñäåëàòü ñ òî÷êîé A ïàðàëëåëüíûé ïåðåíîñ P (u), à ïîòîì ñèììåòðèþ S(l)
 ïîëó÷èì òó æå òî÷êó B1.
Ó ñêîëüçÿùåé ñèììåòðèè íåò íåïîäâèæíûõ òî÷åê. Âñå âåêòîðà, êàê
è ïðè îáû÷íîé ñèììåòðèè, ìåíÿþò íàïðàâëåíèå ïî-ðàçíîìó.
Ó ñêîëüçÿùåé ñèììåòðèè S(l, u) åñòü îáðàòíîå ïðåîáðàçîâàíèå
S(l, −u).
Îáû÷íàÿ îñåâàÿ ñèììåòðèÿ  ÷àñòíûé ñëó÷àé ñêîëüçÿùåé ïðè u = 0,
íî òåì íå ìåíåå åå óäîáíî ðàññìàòðèâàòü îòäåëüíî.
Îïðåäåëåíèå 7. Äâèæåíèå ïëîñêîñòè íàçûâàåòñÿ äâèæåíèåì ïåðâîãî
ðîäà, åñëè îíî íå ìåíÿåò íàïðàâëåíèå îáõîäà âñåõ òðåóãîëüíèêîâ. (Åñëè
îáõîä âåðøèí A, B, C îñóùåñòâëÿëñÿ ïî ÷àñîâé ñòðåëêå, îí è ïîñëå
ïðåîáðàçîâàíèÿ áóäåò îñóùåñòâëÿòüñÿ ïî ÷àñîâîé ñòðåëêå; åñëè ïðîòèâ
 îñòàíåòñÿ ïðîòèâ).
Äâèæåíèå íàçûâàåòñÿ äâèæåíèåì âòîðîãî ðîäà, åñëè îíî ìåíÿåò
íàïðàâëåíèå îáõîäà âñåõ òðåóãîëüíèêîâ.
Çàìå÷àíèå 1. Ïîêà ÷òî ìû íå äîêàçûâàåì, ÷òî âñå äâèæåíèÿ äåëÿòñÿ
íà äâèæåíèÿ ïåðâîãî è âòîðîãî ðîäà. Âîçìîæíî, áûâàþò äâèæåíèÿ,
êîòîðûå îäíè òðåóãîëüíèêè ìåíÿþò, à äðóãèå íå ìåíÿþò.
Äîñòàòî÷íî î÷åâèäíî ñëåäóþùåå óòâåðæäåíèå.
Ïðåäëîæåíèå 5. Êîìïîçèöèÿ äâóõ äâèæåíèé ïåðâîãî ðîäà åñòü
äâèæåíèå ïåðâîãî ðîäà. Êîìïîçèöèÿ äâóõ äâèæåíèé âòîðîãî ðîäà åñòü
äâèæåíèå âòîðîãî ðîäà.
Êîìïîçèöèÿ ëþáîãî êîëè÷åñòâà äâèæåíèé ïåðâîãî ðîäà åñòü
äâèæåíèå ïåðâîãî ðîäà. Êîìïîçèöèÿ ÷åòíîãî êîëè÷åñòâà äâèæåíèé
âòîðîãî ðîäà åñòü äâèæåíèå ïåðâîãî ðîäà. Êîìïîçèöèÿ íå÷åòíîãî
êîëè÷åñòâà äâèæåíèé âòîðîãî ðîäà åñòü äâèæåíèå âòîðîãî ðîäà.
Êîìïîçèöèÿ äâèæåíèå ïåðâîãî ðîäà è äâèæåíèÿ âòîðîãî ðîäà (â
ëþáîì ïîðÿäêå)  äâèæåíèå âòîðîãî ðîäà.
6
Ïðèìåðû. Òîæäåñòâåííîå ïðåîáðàçîâàíèå, ïîâîðîò, ïàðàëëåëüíûé
ïåðåíîñ è öåíòðàëüíàÿ ñèììåòðèÿ  äâèæåíèÿ ïåðâîãî ðîäà.
Îñåâàÿ ñèììåòðèÿ è ñêîëüçÿùàÿ ñèììåòðèÿ  äâèæåíèÿ âòîðîãî
ðîäà.
Çàìå÷àíèå 2.  ïðîñòðàíñòâå äâèæåíèåì ïåðâîãî ðîäà íàçûâàåòñÿ
äâèæåíèå, ïðè êîòîðîì íèêàêàÿ òðîéêà âåêòîðîâ íå ìåíÿåò ñâîþ
îðèåíòàöèþ. (Ïðàâûå òðîéêè îñòàþòñÿ ïðàâûìè, ëåâûå  ëåâûìè).
Äâèæåíèå ïðîñòðàíñòâà íàçûâàåòñÿ äâèæåíèåì âòîðîãî ðîäà, åñëè
âñå òðîéêè ìåíÿþò ñâîþ îðèåíòàöèþ (ïðàâûå ñòàíîâÿòñÿ ëåâûìè, à
ëåâûå  ïðàâûìè).
Îïðåäåëåíèå 8. Ôèãóðà íàçûâàåòñÿ ñèììåòðè÷íîé, åñëè åñòü
íåêîòîðîå äâèæåíèå, êîòîðîå ýòó ôèãóðó îñòàâëÿåò ñîáîé.
Åñëè êàêîå-òî äâèæåíèå îñòàâëÿåò ôèãóðó ñîáîé, ýòî äâèæåíèå
íàçûâàþò ñèììåòðèåé äàííîé ôèãóðû.
Íå íàäî ïóòàòü ïîíÿòèÿ ñèììåòðè÷íàÿ è ñèììåòðè÷íàÿ îòíîñèòåëüíî
ïðÿìîé. Äà, ÷àñòî â ñëîâîñî÷åòàíèè îñåâàÿ ñèììåòðèÿ ñëîâî "îñåâàÿ" íå
ïðîèçíîñÿò  íî òåì íå ìåíåå, ëþáàÿ ñèììåòðèÿ  ýòî ñèììåòðèÿ, íå
òîëüêî îñåâàÿ.
Ïðèìåðû. Îïðåäåëèòü ñèììåòðèè ôèãóð íà ðèñóíêå A.6.

Ðèñóíîê A.6: Îïðåäåëèòü ñèììåòðèè ôèãóð


Ñèììåòðèè êâàäðàòà. Âî-ïåðâûõ, ýòî îñåâûå ñèììåòðèè
îòíîñèòåëüíî äâóõ äèàãîíàëåé è îòíîñèòåëüíî äâóõ ñðåäíèõ ëèíèé.
Âî-âòîðûõ, öåíòðàëüíàÿ ñèììåòðèÿ îòíîñèòåëüíî öåíòðà êâàäðàòà.
Â-òðåòüèõ, ïîâîðîò íà π2 è − π2 îòíîñèòåëüíî öåíòðà êâàäðàòà. È,
êîíå÷íî, íåëüçÿ çàáûâàòü òîæäåñòâåííîå ïðåîáðàçîâàíèå. Èòîãî: 8
ñèììåòðèé.
Ñèììåòðèè êðóãà. Ïîâîðîò íà ëþáîé óãîë îòíîñèòåëüíî öåíòðà
êðóãà.  ÷àñòíîñòè, êîíå÷íî, è öåíòðàëüíàÿ ñèììåòðèÿ òîæå. Îñåâàÿ

7
ñèììåòðèÿ îòíîñèòåëüíî ëþáîé ïðÿìîé, ïðîõîäàùåé ÷åðåç öåíòð êðóãà.
Áåñêîíå÷íî ìíîãî ñèììåòðèé!
Ñèììåòðèè òðåòüåé ôèãóðû ("èíü-ÿí")  ýòî òîæäåñòâåííîå
ïðåîáðàçâàíèå è öåíòðàëüíàÿ ñèììåòðèÿ. Âñåãî-òî 2 ñèììåòðèè.
Ñèììåòðèè ÷åòâåðòîé ôèãóðû ("öâåòî÷åê")  ïîâòîðîòû íà óãîë 2πk5 .
Âñåãî ïÿòü ñèììåòðèé.
Çàìå÷àíèå 3. Íàçûâàÿ ôèãóðó ñèììåòðè÷íîé ìû èìååì â âèäó, ÷òî
ó íåå åñòü ñèììåòðèè, îòëè÷íûå îò òîæäåñòâåííîãî ïðåîáðàçîâàíèÿ. È
íå îáÿçàòåëüíî èìååì â âèäó, ÷òî ó íåå åñòü îñåâàÿ ñèììåòðèÿ. Íèêòî
íå áóäåò ñïîðèòü, ÷òî "èíü-ÿí" èëè "öâåòî÷åê" ñèììåòðè÷íûå ôèãóðà!
Ãîâîðÿ, ÷òî îäíà ôèãóðà ñèììåòðè÷íåå äðóãîé, ìû èìååì â âèäó, ÷òî ó
íåå ñèììåòðèé áîëüøå.
À â ìàòåìàòèêå åñòü ñïåöèàëüíûé ðàçäåë  òåîðèÿ ãðóïï  êîòîðûé
çàíèìàåòñÿ êàê ðàç èçó÷åíèåì ðàçíûõ ãðóïï ñèììåòðèé.
Ìû ýòîãî åùå íå äîêàçàëè, íî óæå ìîæíî ñêàçàòü, ÷òî âñå äâèæåíèÿ
(ñ îïåðàöèåé "êîìïîçèöèÿ") îáðàçóþò ãðóïïó. È âñå ñèììåòðèè êàêîé-òî
êîíêðåòíîé ôèãóðû îáðàçóþò ãðóïïó.
Çàìå÷àíèå 4. Îñíîâíûå äâèæåíèÿ â ïðîñòðàíñòâå òàêèå.
Ïàðàëëåëüíûé ïåðåíîñ. Ïîâîðîò îòíîñèòåëüíî îñè (ïðÿìîé).
Ñèììåòðèè îòíîñèòåëüíî òî÷êè (öåíòðàëüíàÿ ñèììåòðèÿ), ïðÿìîé
(îñåâàÿ ñèììåòðèÿ) è ïëîñêîñòè (îòðàæåíèå èëè çåðêàëüíàÿ ñèììåòðèÿ).
À êðîìå òîãî, âûäåëÿþò èõ êîìïîçèöèè. Íàïðèìåð, âèíòîâîå
äâèæåíèå  ýòî êîìïîçèöèÿ ïîâîðîòà îòíîñèòåëüíî ïðÿìîé è
ïàðàëëåëüíîãî ïåðåíîñà âäîëü ýòîé ïðÿìîé.

A.2 Îñíîâíûå ëåììû

Òåîðåìà 1 (Ëåììà î òðåõ ãâîçäÿõ.) Äëÿ çàäàíèÿ ïðîèçâîëüíîãî


.
äâèæåíèÿ ïëîñêîñòè íåáõîäèìî è äîñòàòòî÷íî çàäàòü îáðàçû ëþáûõ
òðåõ òî÷åê íå ëåæàùèõ íà îäíîé ïðÿìîé.
 òåîðåìå íå ãîâîðèòñÿ, ÷òî îáðàçû òðåõ òî÷åê ìîãóò áûòü ëþáûìè.
Ïðè äâèæåíèè, êîíå÷íî, òðåóãîëüíèê äîëæåí ïåðåõîäèòü â ðàâíûé åìó
òðåóãîëüíèê. Íî åñëè ìû çàäàäèì òîëüêî âåðøèíû îäíîãî òðåóãîëüíèêà
 ìû áóäåì çíàòü, êàê äåéñòâóåò íàøå äâèæåíèå íà âñå îñòàëüíûå òî÷êè
ïëîñêîñòè.
Äîêàçàòåëüñòâî. Ïóñòü ïðîèçîøëî äâèæåíèå φ è òî÷êè A, B, C ïåðåøëè
â òî÷êè A0, B 0, C 0 ñîîòâåòñòâåííî.

8
Äëÿ òîãî, ÷òîáû äîêàçàòü òåîðåìó, íàäî äîêàçàòü, ÷òî äëÿ íåêîòîðîé
ïðîèçâîëüíîé òî÷êè D åñòü åäèíñòâåííîå ìåñòî  D0. Ïîêàæåì, êàê
íàéòè òî÷êó D0, åñëè ìû çíàåì èçíà÷àëüíóþ ïëîñêîñòü è îáðàçû òîëüêî
òî÷åê A, B, C .
Ïîñêîëüêó AD = A0D0, òî÷êà D0 îáÿçàíà ðàñïîëàãàòüñÿ íà
îêðóæíîñòè Ω1 ñ öåíòðîì â òî÷êå A0 (êîòîðóþ ìû çíàåì) ðàäèóñà AD
(êîòîðûé ìû òîæå çíàåì).
Ïîñêîëüêó BD = B 0D0, òî÷êà D0 îáÿçàíà ëåæàòü íà îêðóæíîñòè Ω2 ñ
öåíòðîì â òî÷êå B 0 ðàäèóñà BD. Äâå îêðóæíîñòè ìîãóò íå ïåðåñåêàòüñÿ,
íî ìû çíàåì, ÷òî äâèæåíèå óæå ïðîèçîøëî, à çíà÷èò ýòîò âàðèàíò
íåâîçìîæåí.  ïðèíöèïå, äâå îêðóæíîñòè ìîãóò êàñàòüñÿ â îäíîé òî÷êå
 è òîãäà ìû óæå ñîâåðøåííî òî÷íî çíàåì òî÷êó D0. Åñòü åùå âàðèàíò,
÷òî îêðóæíîñòè ïîëíîñòüþ ñîâïàäàþò. Íî ýòîãî íå ìîæåò áûòü, âåäü
òî÷êè A è B èçíà÷àëüíî áûëè ðàçíûìè (ò.å. ðàññòîÿíèå ìåæäó íèìè
íåíóëåâîå), à ïîýòîìó è òî÷êè A0 è B 0 ðàçíûå, à ýòî öåíòðû îêðóæíîñòåé
Ω1 è Ω2  è ïîýòîìó îêðóæíîñòè è íå ñîâïàäàþò. Îñòàëñÿ ïîñëåäíèé
âàðèàíò, êîãäà îêðóæíîñòè Ω1 ∩ Ω2 = {D1, D2}. Òî÷êè D1 è D2  äâà
âîçìîæíûõ âàðèèíòà äëÿ D0.
Âñïîìèíàåì, ÷òî CD = C 0D0, à ïîýòîìó òî÷êà D0 ëåæèò íà
îêðóæíîñòè ñ öåíòðîì C 0 ðàäèóñà CD. Ìîæåò ëè òàê îêàçàòüñÿ, ÷òî
îáå òî÷êè (è D1, è D2) ëåæàò íà ýòîé îêðóæíîñòè? Íåò. Åñëè òàê
ïðîèçîøëî, òî òî÷êà C 0 ëåæèò íà ñåðåäèííîì ïåðïåíäèêóëÿðå ê îòðåçêó
D1 D2 (ïîòîìó ÷òî îäèíàêîâî óäàëåí îò åãî êîíöîâ). Íî òî÷êè A0 è
B 0 ñîâåðøåííî òî÷íî ëåæàò íà ñåðåäèííûõ ïåðïåíäèêóëÿðàõ ê îòðåçêó
D1 D2  à ñëåäîâàòåëüíî, òî÷êà C 0 íà íåì ëåæàòü íå ìîæåò, âåäü ïî
óñëîâèþ òî÷êè ABC èçíà÷àëüíî ñîñòàâëÿþò òðåóãîëüíèê, ïîýòîìó è
òî÷êè A0B 0C 0 òîæå íå ëåæàò íà îäíîé ïðÿìîé.
Çàìå÷àíèå 5. Òåîðåìà íàçûâàåòñÿ "Ëåììà î òðåõ ãâîçäÿõ"  ïîòîìó
÷òî òðè òî÷êè ïîêàçûâàþò, êàê íàäî ïðèãâîçäèòü ïëîñêîñòü ïîñëå
äâèæåíèÿ.
 àíàëîãè÷íîé òåîðåìå äëÿ ïðîñòðàíñòâà ïîíàäîáèòñÿ íå òðè, à
÷åòûðå "ãâîçäÿ", íî äîêàçàòåëüñòâî  àíàëîãè÷íîå.
Òåîðåìà 2 (Ëåììà î òðåõ ñèììåòðèÿõ) Ëþáîå äâèæåíèå ïëîñêîñòè
.
ìîæíî ïðåäñòàâèòü êàê êîìïîçèöèþ íå áîëåå ÷åì òðåõ îñåâûõ
ñèììåòðèé.
Äîêàçàòåëüñòâî. Ïóñòü äâèæåíèå φ ïåðåâîäèò òî÷êè A, B, C â òî÷êè
A0 , B 0 , C 0 ñîîòâåòñòâåííî.
Ïîêàæåì, êàê ïîñòðîèòü êîìïîçèöèþ íå áîëåå ÷åì òðåõ (âîçìîæíî,
õâàòèò îäíîé èëè äâóõ) îñåâûõ ñèììåòðèé, ÷òîáû ïîëó÷èòü â ðåçóëüòàòå
9
òå æå îáðàçû äëÿ òî÷åê A, B, C . Êîìïîçèöèÿ òðåõ ñèììåòðèé  êàêîå-òî
íîâîå äâèæåíèå. Ïî ëåììå î òðåõ ãâîçäÿõ, áóäåò ïîíÿòíî, ÷òî òîãäà ýòî
íîâîå äâèæåíèå íà âñåõ òî÷êàõ ïëîñêîñòè äàåò òîò æå ðåçóëüòàò, ÷òî è
ïðåîáðàçîâàíèå φ, à íå òîëüêî íà ýòèõ òðåõ.
Ñèììåòðèÿ ïåðâàÿ S1  îòíîñèòåëüíî ñåðåäèííîãî ïåðïåíäèêóëÿðà
ê îòðåçêó AA0. (Åñëè òî÷êè A è A0 ñðàçó ñîâïàäàëè, òî ïðîâäèòü åå íå
áóäåì. ) Ïðè ýòîì òî÷êà B ïåðåéäåò â òî÷êó B1, òî÷êà C â òî÷êó C1.
Ñèììåòðèÿ âòîðàÿ S2  îòíîñèòåëüíî ñåðåäèííîãî ïåðïåíäèêóëÿðà
ê B1B 0. (Åñëè òî÷êè B1 è B 0 óæå ñîâïàäàþò, òî äåëàòü íè÷åãî íå
íóæíî.) Òî÷êà B1 ïðè ýòîì ïåðåéäåò â B 0. À âîò òî÷êà A0 îñòàíåòñÿ
íà ñâîåì ìåñòå, âåäü îíà ëåæèò íà ñåðåäèííîì ïåðïåíäèêóëÿðå ê B1B .
Äåéñòâèòåëüíî, A0B1 = AB , ò.ê. äëèíû îòðåçêîâ íå ìåíÿþòñÿ ïðè îñåâîé
ñèììåòðèè S1. Íî AB = A0B 0, ò.ê. äëèíû íå ìåíÿþòñÿ ïðè äâèæåíèè
φ. Òàêèì îáðàçîì, A0 B1 = A0 B 0 , ïîýòîìó òî÷êà A0 ëåæèò íà ñåðåäèííîì
ïåðïåíäèêóëÿðå ê B1B 0. Òî÷êà C1 ïåðåéäåò â êàêóþ-òî òî÷êó C2.
Åñëè òî÷êà C2 óæå ñîâïàëà ñ C 0, òî âñå, äåëàòü íè÷åãî íå íàäî.
Íî åñëè æå íåò, òî íóæíà ïîñëåäíÿÿ ñèììåòðèÿ S3  îòíîñèòåëüíî
ñåðåäèííîãî ïåðïåíäèêóëÿðà ê C2C 0. Òî÷êà C ïðè ýòîì òî÷íî âñòàíåò
íà ìåñòî. Àíàëîãè÷íî ïðåäûäóùåìó ðàññóæäåíèþ, òî÷êè B 0 è A0 ïîä
äåéñòâèåì S3 îñòàíóòñÿ íà ìåñòå, ïîòîìó ÷òî îíè ëåæàò íà ñåðåäèííîì
ïåðïåíäèêóëÿðå ê C2C 0.
Èòàê, ìû ïðîâåëè ïîñëåäîâàòåëüíî òðè ñèììåòðèè (èëè ìåíüøå 
âîçìîæíî êàêîé-òî øàã íàì íå ïîíàäîáèëñÿ)  è ïîñòàâèëè òðè òî÷êè
íà ñâîè ìåñòà. Ýòî è åñòü íóæíîå ðàçëîæåíèå íà òðè ñèììåòðèè.
Çàìå÷àíèå 6.  àíàëîãè÷íîé òåîðåìå äëÿ ïðîñòðàíñòâà ðàçëîæåíèå
ëþáîãî äâèæåíèÿ ïðîèçâîäèòñÿ íà ÷åòûðå çåðêàëüíûõ ñèììåòðèè,
íî äîêàçàòåëüñòâî  àíàëîãè÷íîå. È ñëåäóþùèå äâà ñëåäñòâèÿ
ñïðàâåäëèâû íå òîëüêî íà ïëîñêîñòè, íî è â ïðîñòðàíñòâå.
Ñëåäñòâèå 1. Ëþáîå äâèæåíèå  ýòî äâèæåíèå ïåðâîãî èëè âòîðîãî
ðîäà.
Äîêàçàòåëüñòâî. Îäíà îñåâàÿ ñèììåòðèÿ ìåíÿåò îðèåíòàöèþ ëþáîãî
òðåóãîëüíèêà. Ïîñêîëüêó ëþáîå äâèæåíèå ìîæíî ðàçëîæèòü â
êîìïîçèöèþ ñèììåòðèé, òî åñëè â ýòîé êîìïîçèöèè íå÷åòíîå êîëè÷åñòâî
ñèììåòðèé  äâèæåíèå èçìåíèò îðèåíòàöèþ ëþáîãî òðåóãîëüíèêà íà
ïðîòèâîïîëîæíóþ. Åñëè ÷åòíîå  ñîõðàíèò.
Ñëåäñòâèå 2. Ó ëþáîãî äâèæåíèÿ åñòü îáðàòíîå ïðåîáðàçîâàíèå,
êîòîðîå òàê æå ÿâëÿåòñÿ äâèæåíèåì.

10
Äîêàçàòåëüñòâî. Ïîíÿòíî, ÷òî (φ ◦ ψ)−1 = ψ−1φ−1.
Ó îñåâîé ñèììåòðèè åñòü îáðàòíîå ïðåîáðàçîâàíèå (îíà ñàìà), ëþáîå
ïðåîáðàçîâàíèå ìîæíî ðàçëîæèòü â êîìïîçèöèþ ñèììåòðèé. Çíà÷èò,
÷òîáû ïîñòðîèòü îáðàòíîå ïðåîáðàçîâàíèå, äîñòàòî÷íî ïðîäåëàòü òå æå
ñèììåòðèè â îáðàòíîì ïîðÿäêå.
Ñëåäñòâèå Ìíîæåñòâî âñåõ äâèæåíèé ïëîñêîñòè ñ îïåðàöèåé
3.
"êîìïîçèöèÿ" ñîñòàâëÿþò ãðóïïó.

A.3 Íåêîòîðûå êîìïîçèöèè

Ïðåäëîæåíèå Êîìïîçèöèÿ äâóõ ïàðàëëåëüíûõ ïðÿìûõ åñòü


6.
ïàðàëëåëüíûé ïåðåíîñ. P (u) ◦ P (v) = P (u + v).
Äâà ïàðàëëåëüíûõ ïåðåíîñà êîììóòèðóþò.
Äîêàçàòåëüñòâî. Ïóñòü ïðè ïåðâîì ïåðåíîñå ïðîèçâîëüíàÿ òî÷êà A
ïåðåõîäèò â òî÷êó A1, à ïðè âòîðîì ïàðàëëåëüíîì ïåðåîñå òî÷êà A1
ïåðåõîäèò â òî÷êó A2. Ò.å. AA1 = u, à A1A2 = v. Ïîýòîìó AA2 = u + v.
È ýòî âåðíî äëÿ ëþáîé òî÷êè.
Ïîñêîëüêó u + v = v + u, ïàðàëëåëüíûå ïåðåíîñû êîììóòèðóþò.
Ïðåäëîæåíèå 7. Êîìïîçèöèÿ äâóõ îñåâûõ ñèììåòðèé îòíîñèòåëüíî
ïàðàëëåëüíûõ ïðÿìûõ  ïàðàëëåëüíûé ïåðåíîñ.
Áîëåå òî÷íî. Ïóñòü âòîðàÿ ïðÿìàÿ l2 ïîëó÷àåòñÿ èç ïåðâîé l1 ïðè
ñäâèãå íà âåêòîð u (ïðè÷åì, u ⊥ li). Òîãäà ïàðàëëåëüíûé ïåðåíîñ
îñóùåñòâëÿåòñÿ íà 2u. Ò.å. S(l1) ◦ S(l2) = P (2u).
Äîêàçàòåëüñòâî. Ñì. ðèñóíîê A.7.
Òî÷êà A  ïðîèçâîëüíàÿ òî÷êà. Ïðîâåäåì ÷åðåç òî÷êó A ïðÿìóþ
l ïåðïåíäèêóëÿðíóþ l1 è l2 . Ïóñòü l ∩ l1 = A1 è l ∩ l2 = A2 . Òîãäà
A1 A2 = u. Ïóñòü AS(l ) = A0 , à A0S(l ) = A00 . Âñå òî÷êè A, A0 , A00 , A1 , A2
1 2

ëåæàò íà ïðÿìîé l.
Åñëè AA1 = v, òî AA0 = 2v. Íî òîãäà AA2 = AA1 + A1A2 = v + u,
ïîýòîìó A0A2 = A0A + AA2 = u − v. Òîãäà A0A00 = 2(u − v). Òîãäà
AA00 = AA0 + A0 A00 = 2u.
Ïîýòîìó AS(l )◦S(l ) = A00 è A00 ïîëó÷àåòñÿ èç A ñäâèãîì íà âåêòîð 2u.
1 2

Ýòî è åñòü ïàðàëëåëüíûé ïåðåíîñ.


Ñëåäñòâèå 4. Ïàðàëëåëüíûé ïåðåíîñ P (u) ìîæíî ïðåäñòàâèòü êàê
êîìïîçèöèþ S(l) ◦ S(lP (u/2)), ãäå ïðÿìàÿ l  ïðîèçâîëüíàÿ ïðÿìàÿ,
ïåðïåíäèêóëÿðíàÿ u.
11
Ðèñóíîê A.7: Êîìïîçèöèÿ äâóõ ïàðàëëåëüíûõ îñåâûõ ñèììåòðèé
Ïðåäëîæåíèå 8. Êîìïîçèöèÿ äâóõ îñåâûõ ñèììåòðèé îòíîñèòåëüíî
ïåðåñåêàþùèõñÿ ïðÿìûõ  ïîâîðîò.
Áîëåå òî÷íî. Ïóñòü l1 ∩ l2 = O. È (îðèåíòèðîâàííûé) óãîë ìåæäó îò
ïðÿìîé l1 ê ïðÿìîé l2 ðàâåí α. Òîãäà S(l1) ◦ S(l2) = T2α(O).

Ðèñóíîê A.8: Êîìïîçèöèÿ äâóõ ïåðåñåêàþùèõñÿ îñåâûõ ñèììåòðèé


Äîêàçàòåëüñòâî. Ñì. ðèñóíîê A.8. Ïðîèçâîëüíàÿ òî÷êà A. Óãîë
(îðèåíòèðîâàííûé) îò âåêòîðà v ê âåêòîðó u áóäåì îáîçíà÷àòü ∠(v → u),
÷òîáû ïîä÷åðêíóòü îòêóäà êóäà ìû îòìåðÿåì ïåðåõîä.
12
Îáîçíà÷èì ÷åðåç β óãîë ∠(l1 → OA. Ïóñòü òî÷êà AS(l )=A è A0S(l ) =
1
0
2

A00
.
Ïîñêîëüêó òî÷êà O ïðè îáåèõ ñèììåòðèÿõ îñòàåòñÿ íà ìåñòå, òî OA =
OA0 = OA00 .
Ïîñêîëüêó ∠(l1 → l2) = α, òî ∠(OA → l2) = ∠(OA → l1) + ∠(l1 →
l2 ) = α − β .
Ò.ê. ∠(l1 → OA) = β , òî ∠(l1 → OA0) = −β . È òîãäà ∠(OA0 → l2) =
β +α. Íî òîãäà ∠(l2 → OA00 = β +α. À ïîòîìó ∠(OA → OA00 ) = ∠(OA →
l2 ) + ∠(l2 → OA00 ) = (α − β) + (β + α) = 2α.
Ìû äîêàçàëè, ÷òî äëÿ ïðîèçâîëüíîé òî÷êè A ïîñëå âûïîëíåíèÿ
îáåèõ ñèììåòðèé ïîëó÷àåòñÿ òî÷êà A00, êîòîðàÿ íàõîäèòñÿ íà òîì æå
ðàññòîÿíèè îò òî÷êè O, ÷òî è èñõîäíàÿ òî÷êà A, à ïîâîðîò îò âåêòîðà
OA ê âåêòîðó OA00 ðàâåí 2α. Ýòî è çíà÷èò, ÷òî S(l1 ) ◦ S(l2 ) = T2α (O).

Ñëåäñòâèå 5. Ïîâîðîò Tα(O) ìîæíî ïðåäñòàâèòü êàê êîìïîçèöèþ


äâóõ ñèììåòðèé S(l) ◦ S(lT (O).  êà÷åñòâå ïðÿìîé l ìîæíî áðàòü
α/2

ïðîèçâîëüíóþ ïðÿìóþ, ïðîõîäÿùóþ ÷åðåç O.


Ïðåäëîæåíèå Êîìïîçèöèÿ îñåâîé ñèììåòðèè è ïàðàëëåëüíîãî
9.
ïåðåíîñà (â ëþáîì ïîðÿäêå)  ñêîëüçÿùàÿ ñèììåòðèÿ.
 îïðåäåëåíèè ñêîëüçÿùåé ñèììåòðèè âåêòîð ïàðàëëåëüíîãî
ïåðåíîñà äîëæåí áûòü îáÿçàòåëüíî ïàðàëëåëåí ïðÿìîé ñèììåòðèè.
Çäåñü âåêòîð ïåðåíîñà â ëþáîì íàïðàâëåíèè.
Äîêàçàòåëüñòâî. Äëÿ íà÷àëà ðàññìîòðèì ñèììòðèþ S(l) è
ïàðàëëåëüíûé ïåðåíîñ P (u), ãäå âåêòîð u ⊥ l. Èññëåäóþåì, ÷òî
æå òàêîå S(l) ◦ P (u).
Ïàðàëëåëüíûé ïåðåíîñ ìîæíî ðàçëîæèòü â êîìïîçèöþ S(m) ◦
S(mP (u/2) ), ãäå m  ëþáàÿ ïðÿìàÿ, ïåðïåíäèêóëÿðíàÿ âåêòîðó u.
Ïîýòîìó â êà÷åñòâå m âîçüìåì l.
Òîãäà S(l) ◦ P (u) = S(l) ◦ (S(l) ◦ S(lP (u/2)) = (S(l) ◦ S(l)) ◦ S(lP (u/2)) =
S(l P (u/2)
).  ýòîì ñëó÷àå ïîëó÷èëè (íåñêîëüçàùóþ) îñåâóþ ñèììåòðèþ
îòíîñèòåëüíî íîâîé ïðÿìîé, ïàðàëëåëüíîé èñõîäíîé l.
Òåïåðü ïðåäñòàâèì ñåáå, ÷òî u 6⊥ l. Òîãäà u = u1 + u2, ãäå u1 ⊥ l, à
u2 k l. Òîãäà P (u) = P (u1 ) ◦ P (u2 ).
Òîãäà S(l) ◦ P (u) = (S(l) ◦ P (u1)) ◦ P (u2) = S(l1) ◦ P (u2). Çäåñü
l1 ïîëó÷èëàñü èç ïðÿìîé l ïàðàëëåëüíûì ïåðåíîñîì, ïîýòîìó u2 k l1 .
Ýòî çíà÷èò, ÷òî ìû ïî îïðåäåëåíèþ ïîëó÷èëè ñêîëüçàùóþ ñèììåòðèþ
S(l1 , u2 ).
Åñëè êîìïîçèöèÿ â äðóãîì ïîðÿäêå P (u) ◦ S(l), äîêàçàòåëüñòâî
ïîëíîñòüþ àíàëîãè÷íî.
13
A.4 Òåîðåìà Øàëÿ

Òåîðåìà 3 (Òåîðåìà Øàëÿ) Ëþáîå äâèæåíèå ïëîñêîñòè  ýòî ëèáî


.
îñåâàÿ ñèììåòðèÿ, ëèáî ïîâîðîò, ëèáî ïàðàëëåëüíûé ïåðåíîñ, ëèáî
ñêîëüçÿùàÿ ñèììåòðèÿ.
Äðóãàÿ ôîðìóëèðîâêà:
Òåîðåìà 4 (Òåîðåìà Øàëÿ) Ëþáîå äâèæåíèå ïåðâîãî ðîäà  ýòî
.
ïîâîðîò èëè ïàðàëëåëüíûé ïåðåíîñ.
Ëþáîå äâèæåíèå âòîðîãî ðîäà  îñåâàÿ èëè ñêîëüçÿùàÿ ñèììåòðèÿ.
Äîêàçàòåëüñòâî. Ëþáîå äâèæåíèå ðàñêëàäûâàåòñÿ â êîìïîçèöèþ íå
áîëåå, ÷åì òðåõ ñèììåòðèé â ñîîòâåòñòâèè ñ ëåììîé î òðåõ ñèììåòðèÿõ
(2).
Ïîýòîìó φ = Id, ëèáî φ = S(l), ëèáî φ = S(l1) ◦ S(l2), ëèáî æå
φ = S(l1 ) ◦ S(l2 ) ◦ S(l3 ).
Åñëè φ = S(l) èëè φ = Id  ýòî óäîâîëåòâîðÿåò óñëîâèÿì òåîðåìû
ñðàçó.
Åñëè φ = S(l1) ◦ S(l2) ýòî ïî ïðåäëîæåíèÿì 7 è 8 ëèáî ïîâîðîò, ëèáî
ïàðàëëåëüíûé ïåðåíîñ. Òàê ÷òî îïÿòü âñå õîðîøî.
Îñòàëîñü ðàññìîòðåòü ñëó÷àé, êîãäà ó íàñ êîìïîçèöèÿ òðåõ
ñèììåòðèé.
Ñëó÷àé ïåðâûé ïðÿìûå l1 k l2. Òîãäà S(l1) ◦ S(l2)  ïàðàëëåëüíûé
ïåðåíîñ. È S(l1) ◦ S(l2) ◦ S(l3) = P (u) ◦ S(l3), à ïî ïðåäëîæåíèþ 9 ýòî 
ñêîëüçÿùàÿ ñèììåòðèÿ.
Åñëè l2 k l3  àíàëîãè÷íî.
Åñëè l1 6k l2, òî S(l1) ◦ S(l2) = T  ýòî ïîâîðîò (ïî ïðåäëîæåíèþ 8).
Òîãäà ìîæíî ðàçëîæèòü T = S(m1) ◦ S(m2), è m1, m2 ìîæíî âûáðàòü
ëþáûìè, ëèøü áû ∠(l1 → l2) = ∠(m1 → m2). Ñïåöèàëüíî âûáåðåì m1
è m2 òàê, ÷òîáû m2 k l3. È òîãäà S(m2) ◦ S(l3) = P  ïàðàëëåëüíûé
ïåðåíîñ.
Òîãäà S(l1)◦S(l2)◦S(l3) = T ◦S(l3) = S(m1)◦S(m2)◦S(l3) = S(m1)◦P .
È ïî ïðåäëîæåíèþ 9 ýòî ñêîëüçÿùàÿ ñèììåòðèÿ.

14

You might also like