а) АС — заданный отрезок, АС с а.
При движении А → А1, С →С1. Докажем, что весь отрезок АС отображается на отрезок A1C1.
Возьмем произвольную точку В ϵ АС. При движении В → В1. АВ+ВС=АС. Т.к. при движении расстояния между точками сохраняются, то A1B1=AB, B1C1=BC, A1C1=AC. Тогда A1C1=A1B1+B1C Равенство выполняется только когда точки А1, B1, C1 лежат на одной прямой, иначе по неравенству треугольника A1C1 < A1B1+B1C1, таким образом, точки отрезка АС отображаются в точки отрезка A1C1.
б) ∟АОВ — лежит в плоскости а.
При движении О → О1, Α→Α1, В→В1 при этом ΟΑ=Ο1Α1 и OB=O1B1 AB=A1B1 и ΔΟΑΒ = Δ O1A1B1 по трем сторонам, тогда ∟AOB=∟A1B1C1. Если ∟АОВ=180°, то ∟A1O1B1=180°.
Доказательство:
На сторонах развернутого угла возьмем течки А и В. При движении A→A1, B→B1, так что ΑΒ=Α1Β1, так что ΑΒ=Α1Β1; O→O1 при движении AO=A1O1 и Ο1Β1=ΟΒ. Итак, AO1+O1B1=A1B1.
Точки A1, Ο1, B1 лежат на одной прямой, точки A1 и В1 лежат по разные стороны от точки О1, тогда, ∟A1O1B1 — развернутый, т.е. Δ Α1Ο1Β1 = 1800, что и требовалось доказать.