WikiSort.ru - Не сортированное

Теорема Ельмслева о серединах — классическая теорема абсолютной геометрии. Названа в честь Иоганнеса Ельмслева^[en]. Часто приводится как иллюстрация к теореме Шаля.

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

Если точки ${\displaystyle A,B,C,\dots }$ на прямой переводятся движением в точки ${\displaystyle A',B',C',\dots }$ , то середины отрезков ${\displaystyle AA',BB',CC',\dots }$ лежат на одной прямой.

О доказательстве

Можно считать, что отображение ${\displaystyle m\colon A\mapsto A'}$ меняет ориентацию; если нет то возьмём его композицию с осевой симметрией во второй прямой. Тогда, по теореме Шаля ${\displaystyle m}$ является скользящей симметрией. Отсюда немедленно следует, что все середины лежат на оси скользящей симметрии.

Ссылки

• Martin, George E. (1998), The Foundations of Geometry and the Non-Euclidean Plane (3rd ed.), Undergraduate Texts in Mathematics, Springer-Verlag, с. 384, ISBN 978-0-387-90694-2 .