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

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

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

ФормулировкиПравить

ПлоскостьПравить

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

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

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

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

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

ДоказательствоПравить

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

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

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

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

ДоказательствоПравить

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

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

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

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

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

ДоказательствоПравить

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

Заметим что$S_{l_i}\circ <!--\; \circ \; -->\cdots <!--\; \cdots \; -->\circ <!--\; \circ \; -->S_{l_1}\circ <!--\; \circ \; -->f=Id\iff <!--\; \iff \; -->f=S_{l_1}\circ <!--\; \circ \; -->\cdots <!--\; \cdots \; -->\circ <!--\; \circ \; -->S_{l_i}$$S_{l_{i}}\circ \cdots \circ S_{l_{1}}\circ f=Id\Leftrightarrow f=S_{l_{1}}\circ \cdots \circ S_{l_{i}}$ , так как $S_l^{-<!--\; -\; -->1}\stackrel{\underset{\mathrm{d}\mathrm{e}\mathrm{f}}{}}{=}{S}_l$$S_{l}^{-1}{\overset {\underset {\mathrm {def} }{}}{=}}S_{l}$  и $(f\circ <!--\; \circ \; -->g{)}^{-<!--\; -\; -->1}\stackrel{\underset{\mathrm{d}\mathrm{e}\mathrm{f}}{}}{=}{g}^{-<!--\; -\; -->1}\circ <!--\; \circ \; -->f^{-<!--\; -\; -->1}$$(f\circ g)^{-1}{\overset {\underset {\mathrm {def} }{}}{=}}g^{-1}\circ f^{-1}$ 

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

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

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

1. Если $C\mapsto <!--\; \mapsto \; -->C_1^{\prime }\mapsto <!--\; \mapsto \; -->C_2^{\prime }$$C\mapsto C'_{1}\mapsto C'_{2}$ , рассмотрим симметрию $S_{l_3}$$S_{l_{3}}$ , такую что $C_2^{\prime }\mapsto <!--\; \mapsto \; -->C^{\prime }$$C'_{2}\mapsto C'$ .

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

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

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

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

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

ПриложенияПравить

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

ИсточникиПравить

• Факультативный курс по математике. 7-9 / Сост. И. Л. Никольская. — М.: Просвещение, 1991. — С. 228-229. — 383 с. — ISBN 5-09-001287-3.
• Теорема Шаля в задачах
• Теоремы о композиции движений