Теорема подвижности. Два рода движений

Теорема подвижности. Два рода движений. Теорема. Пусть F1 рl, lА и F2 рm, mВ произвольные флаги. Существует единственное движение ц, переводящее флаг F1 во флаг F2. Доказательство.

Рассмотрим четыре случая. 1. А В, lА mВ, рl рm. В этом случае очевидно, что ц является тождественным отображением ц е. 2. А В, lА mВ, рl рm. Т.к. полуплоскости рl, рm имеют общую границу l m и различны, то рm рl Следовательно, в этом случае движение ц является осевой симметрией с осью l ц уl. 3. А В, lА mВ . Определим прямую p, которая будет являться осью симметрии так, что уplА mВ. Образ полуплоскости рl, полученный при симметрии уp, обозначим через б. Ясно, что граница полуплоскости б прямая m. Введм теперь в рассмотрение флаг F б, mВ. В силу выбора флага F симметрия уp переводит флаг F1 в F. Поскольку флаги F б, mВ и F2 рm, mВ имеют совпадающие древки, к ним применим либо п.1 данного доказательства если б рm, либо п.2 если б рm. Таким образом, найдтся движение ц1, переводящее F в F2. Поэтому движение ц ц1 уp переводит F1 в F2. Заметим, что движение ц в этом случае является композицией двух осевых симметрий. 4. А В. Определим прямую q, которая будет являться осью симметрии так, что уqA B. Образ луча lА, полученный при симметрии уq обозначим через a, образ полуплоскости рl через б. Ясно, что граница полуплоскости б прямая, содержащая луч a. Введм теперь в рассмотрение флаг F б, a. Как и выше, симметрия уq переводит флаг F1 во флаг F, а к флагам F и F2 применим один из пунктов 1-3 т.к. лучи a уqlА и mВ имеют общее начало B. Поэтому движение ц2, переводящее флаг F в F2. Т.к. выше было отмечено, что ц2 является композицией двух осевых симметрий, то ц уq ц2 есть композиция трх осевых симметрий.

Итак, мы доказали, что для любых флагов F1 и F2 всегда найдтся движение, переводящее F1 в F2. Покажем теперь, что такое движение единственно.

Пусть движения ц и ш таковы, что цF1 F2 и шF1 F2. Тогда ш-1F2 F1 и ш-1 цF1 ш-1 цF1 ш-1 F2 F1. Таким образом, движение оставляет на месте флаг F, т.е. является тождественным отображением ш-1 ц е. Отсюда немедленно следует, что ц ш, что и требовалось доказать.

Следствие.

Пусть ц движение, F1, F2 произвольные флаги. Тогда 1 если F1 и цF1 одинаково ориентированы, то F2 и цF2 одинаково ориентированы 2 если F1 и цF1 противоположно ориентированы, то F2 и цF2 имеют разную ориентацию. Теперь можно ввести понятие рода движений. Определение. Движение, сохраняющее ориентацию некоторого флага, называется движением первого рода собственным движением. Движение, изменяющее ориентацию некоторого флага, называется движением второго рода несобственным движением.

Нетрудно убедиться в правильности следующих трх утверждений 1. Композиция любого числа движений первого рода является движением первого рода. 2. Композиция чтного числа движений второго рода является движением первого рода. 3. Композиция нечтного числа движений второго рода является движением второго рода. Примерами движений второго рода являются осевая симметрия и скользящая симметрия. В п.6 данного реферата было показано, что любой параллельный перенос и любой поворот представимы в виде композиции двух осевых симметрий, поэтому параллельные переносы и повороты являются движениями первого рода. 8. Классификация движений.

Теорема Шаля. Прежде, чем приступить к доказательству теоремы Шаля, напомним, что движение, множество всех неподвижных точек которого составляет прямую, является осевой симметрией теорема 4.3.2, исследование 6.2. Если же движение имеет одну неподвижную точку, то оно есть поворот исследование 6.3. Кроме того, множество всех неподвижных точек произвольного движения одного из следующих четырх типов вся плоскость, произвольная прямая, точка и пустое множество множество, не содержащее ни одного элемента.

Обозначим множество всех неподвижных точек движения ц через Iц. Рассмотрим два вспомогательных утверждения. Предложение 8.1. Пусть ц - движение первого рода, не имеющее неподвижных точек. Тогда ц является параллельным переносом. Напомним, что если движение не оставляет ни одной неподвижной точки, то это движение - параллельный перенос исследование 6.4. Если А произвольная точка плоскости, то пусть В цА. Ясно, что В А. Тогда движение ш ф ц является движением первого рода и имеет неподвижную точку А. BA Множество Iш не может быть прямой, поскольку тогда ш было бы зеркальной симметрией, а это движение второго рода. Если Iш A, то ш является некоторым поворотом сбА. Но тогда ц ф сбА, то есть AВ тоже является поворотом при необходимости это будет доказано отдельно, что невозможно.

Таким образом, Iш является плоскостью, поэтому Iш е, а значит ц ф. АB Предложение 8.2. Пусть ц - движение второго рода, не имеющее неподвижных точек.

Тогда ц является скользящей симметрией. Пусть А произвольная точка плоскости, В цА А. Обозначим через l медиатрису сегмента AB и рассмотрим движение ш уl ц. Ясно, что ц движение первого рода и A его неподвижная точка. Множество неподвижных точек Iш не может быть ни плоскостью, ни прямой. Поэтому Iш либо пусто, либо состоит из одной точки в первом случае ш параллельный перенос, во втором поворот.

Таким образом, движение ц уl ш - композиция зеркальной симметрии и движения, являющегося параллельным переносом или поворотом. Поскольку ц не имеет неподвижных точек, ц зеркальная симметрия. Теорема Шаля. Каждое движение первого рода является либо параллельным переносом, либо поворотом каждое движение второго рода - либо осевая симметрия, либо скользящая симметрия. Доказательство. Пусть ц произвольное движение первого рода. Можно считать, что ц е. Множество Iц в этом случае либо пусто, либо одноэлементно.

В первом случае ц параллельный перенос, во втором поворот. Пусть теперь ц произвольное движение второго рода. Множество Iц в этом случае либо пусто, либо является прямой. Это означает, что ц либо скользящая симметрия, либо осевая симметрия. Теорема доказана. 9.