Теорема Шаля классифицирует все изометрические преобразования(движения) плоскости. Её доказал геометр и механик Мишель Шаль (1793—1880)
Всякое сохраняющее ориентациюдвижение плоскости представляет собой либо поворот (в частности, центральную симметрию), либо параллельный перенос. Всякое меняющее ориентацию движение плоскости является осевой или скользящей симметрией.
При обобщении на трёхмерное пространство формулировка даже упрощается:
Всякое сохраняющее ориентацию движение пространства является винтовым движением. Всякое меняющее ориентацию движение плоскости является композицией симметрии относительно плоскости и винтового движения.
Также теоремой Шаля называют некоторые другие утверждения (см. англ. статью, [1] или [2]).
Доказательство
Основные идеи доказательства:
Любое движение однозначно задается тремя различными точками и их образами.
Любое движение представимо в виде композиции не более чем трех осевых симметрий.
Перебор вариантов: движение представимо в виде композиции одной, двух или трех осевых симметрий.
Теорема Шаля классифицирует все изометрические преобразования(движения) плоскости. Её доказал геометр и механик Мишель Шаль (1793—1880)
Всякое сохраняющее ориентациюдвижение плоскости представляет собой либо поворот (в частности, центральную симметрию), либо параллельный перенос. Всякое меняющее ориентацию движение плоскости является осевой или скользящей симметрией.
При обобщении на трёхмерное пространство формулировка даже упрощается:
Всякое сохраняющее ориентацию движение пространства является винтовым движением. Всякое меняющее ориентацию движение плоскости является композицией симметрии относительно плоскости и винтового движения.
Также теоремой Шаля называют некоторые другие утверждения (см. англ. статью, [1] или [2]).
Доказательство
Основные идеи доказательства:
Любое движение однозначно задается тремя различными точками и их образами.
Любое движение представимо в виде композиции не более чем трех осевых симметрий.
Перебор вариантов: движение представимо в виде композиции одной, двух или трех осевых симметрий.