Композиция симметрий относительно четырех прямых.

Теперь покажем, что композиция симметрий относительно любых четырех прямых А, В, С, D равна композиции симметрий относительно каких-то двух прямых (то есть всегда есть поворот или параллельный перенос).

Обозначим композицию симметрий относительно А, В, С, D как H. H=D*C*B*A. «Вставим» в запись H симметрию относительно некоей прямой F: H=D*C*B*A=D*C*(F*F)*B*A=(D*C*F)*(F*B*A). Эти равенства выполняются, какой бы F ни была, они просто следуют из того, что мы можем как угодно расставлять скобки, выполняя композицию, иначе говоря из ассоциативности. Если D*C*F и F*B*A – обе являются симметриями относительно неких прямых, то мы получим требуемое. Поэтому для доказательства нам достаточно найти такую F, что обе указанные композиции из трех симметрий стали бы равны симметрии относительно прямой. В ст.2 мы уже говорили о «пучках прямых». Рассмотрим прямую, соединяющую пучки (D, C) и (В, А) – она и будет искомой F. Для тех, кто не обратил внимание на это место ст. 2, поясню. Пусть прямые В, А пересекаются в точке Р, а прямые D, C – в точке Q. проведем через эти точки прямую F. Тогда А, В, F – все проходят через Р и по доказанному ранее в ст.2 F*B*A – симметрия относительно некоей прямой L, проходящей через Р, а D*C*F – симметрия относительно некоей прямой М, проходящей через Q. Итак, в этом случае: D*C*B*A=(D*C*F)*(F*B*A)=М*L где М и L – прямые. Что и требовалось доказать.

Рисунок 4.

(прямые А, В, пересекающиеся в точке Р, прямые С, D, пересекающиеся в точке Q, прямая F, проходящая через Р и Q, прямые L и М. угол между L и F равен углу между А и В, угол между F и М равен углу между С и D).

Пусть теперь прямые А и В не пересекаются, а параллельны. Выберем из это пучка параллельных прямых прямую, проходящую через Q, точку пересечения прямых C и D.

Рисунок 5

(параллельные прямые А и В, прямые С и D, и прямая F, проходящая через их точку пересечения)

Прямая F и будет искомой

Если же С и D тоже не пересекаются, то В*А – параллельный перенос, С*D – параллельный перенос, поэтому (D*C)*(B*A) – композиция двух параллельных переносов, а композиция двух переносов – всегда снова параллельный перенос. А всякий параллельный перенос – представим композицией двух осесимметрий.

Мы можем пояснить рисунок 4 и само доказательство более геометрично: раз композиция В*А поворот с центром в точке пересечения В и А, то, если угол между В1 и А1 равен углу между В и А (и в том же направлении), и В1 и А1 пересекаются в той же точке Р, что В и А, то В*А=В1*А1. Это означает, что мы можем поворачивать В и А относительно Р, и при этом композиция симметрий относительно этих прямых меняться не будет. Повернем так, чтобы В проходила через Q, точку пересечения С и D. Аналогично повернем прямые С и D так, что С заняла место этой прямой. В результате в выражении D*C*B*A два средних члена сократятся, т.к. С и В повернуты до одной и той же прямой.

Итак, доказано, что композицию четырех осесимметрий можно свести к двум осесимметриям. Отсюда следует, что композицию любого числа осесимметрий можно свести не более чем к трем осесимметриям. В самом деле, пусть есть пять осесимметрий и их композиция: А*В*С*D*E= Н. Композиция первых четырех сводится к двум. Значит Н=L*M*E где L*M=А*В*С*D, что и требовалось. аналогично поступим и для композиции большего числа осесимметрий.