Теорема Шаля о классификации движений

Теорема Шаля классифицирует все изометрические преобразования (движения) плоскости.

Названа в честь Мишеля Шаля. Также теоремой Шаля называют некоторые другие утверждения в физике.

Формулировки

Плоскость

Всякое сохраняющее ориентацию движение плоскости представляет собой либо поворот (в частности, центральную симметрию, а также тождественное отображение), либо параллельный перенос.

Всякое меняющее ориентацию движение плоскости является осевой или скользящей симметрией.

Пространство

Всякое сохраняющее ориентацию движение пространства является скользящим поворотом.

Всякое меняющее ориентацию движение пространства является композицией зеркальной симметрии и скользящего поворота.

Доказательство

Основные идеи доказательства:

• Любое движение однозначно задается тремя различными точками и их образами.
• Любое движение представимо в виде композиции не более чем трёх осевых симметрий.
• Перебор вариантов: движение представимо в виде композиции одной, двух или трёх осевых симметрий.

Лемма о трёх гвоздях

Любое движение однозначно задается тремя не лежащими на одной прямой точками и их образами. Другими словами, для любых не лежащих на одной прямой точек $A,B,C$ и их образов $A^{\prime },B^{\prime },C^{\prime }$ существует единственное движение $f:A\mapsto A^{\prime },B\mapsto B^{\prime },C\mapsto C^{\prime }$

Доказательство

Возьмем любую точку$D\ne A,B,C$ и ее образ $D^{\prime }$. $f$ — движение, а значит $AD=A^{\prime }{D}^{\prime }$; из чего следует, что $D^{\prime }$ лежит на окружности с центром в $A^{\prime }$ и радиусом $AD$.

Аналогичное рассуждение для точек $B$ и $C$ показывает, что $D^{\prime }$ также лежит на окружности с центром в $B^{\prime }$ и радиусом $BD$ и на окружности с центром в $C^{\prime }$ и радиусом $CD$.

Так как три окружности,центры которых не лежат на одной прямой, могут пересекаться только в одной точке, то существует единственный образ $D^{\prime }$ для любой точки $D$. Это утверждение равносильно единственности движения.

Лемма о трёх симметриях

Любое движение представимо в виде композиции не более чем трёх осевых симметрий. Другими словами, любое движение $f$ представимо или как $S_l$ или как $S_{l_1}\circ S_{l_2}$ или как $S_{l_1}\circ S_{l_2}\circ S_{l_3}$.

Доказательство

Возьмем произвольное движение $f$ и точки $A,B,C$ с их образами $A^{\prime },B^{\prime },C^{\prime }$. Если мы докажем, что для $A,B,C$ существует композиция симметрий $g$ эквивалентная $f$, то по лемме о трёх гвоздях $f=g$ в общем случае.

Заметим что $S_{l_i}\circ \cdots \circ S_{l_1}\circ f=id\iff f=S_{l_1}\circ \cdots \circ S_{l_i}$, так как $S_l^{-1}\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}{S}_l$ и $(f\circ g{)}^{-1}\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}{g}^{-1}\circ f^{-1}$

Найдем представление $f$ в виде композиции осевых симметрий:

1. Рассмотрим симметрию $S_{l_1}$, такую что $A\mapsto A^{\prime }$. Точка $B$ при такой симметрии перейдет или в некоторую новую точку $B{\text{'}}_1$ или обратно в $B^{\prime }$. Точка $C$ аналогично перейдет или в некоторую $C{\text{'}}_1$ или обратно в $C^{\prime }$. Если $B$ и $C$ вернулись в $B^{\prime }$ и $C^{\prime }$, то $S_{l_1}\circ f=id$, где $id$ — тождественное преобразование. В таком случае $f=S_{l_1}$.
2. Теперь, если точка $B\mapsto B{\text{'}}_1$, то рассмотрим симметрию $S_{l_2}$, такую что $B{\text{'}}_1\mapsto B^{\prime }$. Заметим, что $l_2$ — серединный перпендикуляр к отрезку $B^{\prime }B{\text{'}}_1$, по определению осевой симметрии.

$f$, $S_{l_1}$ — движения, а значит $AB\stackrel{\mathrm{f}}{=}{A}^{\prime }{B}^{\prime }\text{и}AB\stackrel{{\mathrm{S}}_{{\mathrm{l}}_{\mathrm{1}}}}{=}{A}^{\prime }B{\text{'}}_1$. Следовательно, $A^{\prime }$ лежит на серединном перпендикуляре к отрезку $B^{\prime }B{\text{'}}_1$ (по свойству серединного перпендикуляра), то есть на прямой $l_2$. Отсюда следует, что при преобразовании $S_{l_2}$—$A^{\prime }\mapsto A^{\prime }$. Если $C^{\prime }\mapsto C$, то аналогично $CB{=}^f{C}^{\prime }{B}^{\prime }{=}^{S_{l_1}}CB{\text{'}}_1$, то есть при $S_{l_2}$$C$ перейдет в $C^{\prime }$. Иначе $C\mapsto C{\text{'}}_1$, значит $C{\text{'}}_1$ снова перейдет или в некоторую $C{\text{'}}_2$ или в $C^{\prime }$. Итого, если или $C{\text{'}}_1\mapsto C^{\prime }$ при $S_{l_2}$; или $C\mapsto C^{\prime }$ при $S_{l_1}$, то $S_{l_2}\circ S_{l_1}\circ f=id$. Это значит, что $f=S_{l_1}\circ S_{l_2}$.

1. Если $C\mapsto C{\text{'}}_1\mapsto C{\text{'}}_2$, рассмотрим симметрию $S_{l_3}$, такую что $C{\text{'}}_2\mapsto C^{\prime }$.

Очевидно, что $l_3$ — серединный перпендикуляр к отрезку $C^{\prime }C{\text{'}}_2$. $f$, $S_{l_1}$, $S_{l_2}$ — движения, а значит $AC\stackrel{\mathrm{f}}{=}{A}^{\prime }{C}^{\prime }\stackrel{{\mathrm{S}}_{{\mathrm{l}}_{\mathrm{1}}}}{=}{A}^{\prime }C{\text{'}}_1\stackrel{{\mathrm{S}}_{{\mathrm{l}}_{\mathrm{2}}}}{=}{A}^{\prime }C{\text{'}}_2$. Следовательно, $A^{\prime }$ принадлежит серединному перпендикуляру к отрезку $C^{\prime }C{\text{'}}_2$, то есть $l_3$. Это значит, что $S_{l_3}$ переводит $A^{\prime }$ в $A^{\prime }$. Если $B\mapsto B^{\prime }$, то аналогично $B^{\prime }\in l_3$. Иначе, $B\mapsto B{\text{'}}_1\mapsto B^{\prime }$, следовательно $BC\stackrel{\mathrm{f}}{=}{B}^{\prime }{C}^{\prime }\stackrel{{\mathrm{S}}_{{\mathrm{l}}_{\mathrm{1}}}}{=}B{\text{'}}_{1}C{\text{'}}_1\stackrel{{\mathrm{S}}_{{\mathrm{l}}_{\mathrm{2}}}}{=}{B}^{\prime }C{\text{'}}_2$ и $B^{\prime }$ тоже лежит на $l_3$.Это значит, что $S_{l_3}$ переводит $B^{\prime }$ в $B^{\prime }$. Следовательно, $S_{l_3}\circ S_{l_2}\circ S_{l_1}\circ f=id$, а значит, $f=S_{l_1}\circ S_{l_2}\circ S_{l_3}$.

Перебор вариантов

Теперь каждое данное движение $f$ представим в виде композиции не более трёх симметрий по лемме о трёх симметриях.

Классифицируем получившееся равенство, тем самым классифицировав любое данное движение:

1. Если $f=S_l$, то $f$ — осевая симметрия.
2. Если $f=S_{l_1}\circ S_{l_2}$, то либо $l_1\parallel l_2$ и тогда $f$ — параллельный перенос, либо $l_1\nparallel l_2$ и тогда $f$ — поворот.
3. Иначе, $f=S_{l_1}\circ S_{l_2}\circ S_{l_3}$ и тогда $f$ — скользящая симметрия (по свойству скользящей симметрии).

Приложения

• Теорема Ельмслева о серединах

Источники

• Шаблон:Книга:Факультативный курс по математике. Никольская
• Теорема Шаля в задачах
• Теоремы о композиции движений