№1257. Докажите следующие утверждения: а) если фигура равна фигуре , то фигура равна фигуре ; б) если фигура равна фигуре , а фигура равна фигуре , то фигура равна фигуре .
Дано:
, , — фигуры
Доказать:
а) если , то
б) если и , то
Фигура равна фигуре , если можно совместить наложением с . Наложение — это движение, и любое движение является наложением (п. 124). Поэтому означает: существует движение, отображающее на .
Доказательство:
а) Пусть движение отображает на . Определим отображение : каждой точке плоскости оно ставит в соответствие ту точку , которая при переходит в . Такая точка есть, потому что отображает плоскость на себя, и она единственна, потому что разные точки имеют разные образы.
Для точек , и их прообразов , выполнено (движение сохраняет расстояния). Значит, тоже сохраняет расстояния, то есть является движением. Оно отображает на . Следовательно, .
б) Пусть движение отображает на , а движение отображает на . Последовательное выполнение и — движение (задача 1255), оно отображает на . Следовательно, .
Ответ: что и требовалось доказать.