5.3. Трансформация произвольного движения гомотетией

Рассмотрим . По теореме о неподвижных точках, неподвижными точками преобразования являются образы неподвижных точек движения f. Докажем, что это - движение. . Рассмотрим точки А и L, |AL| = d. Пусть при гомотетии они переходят соответственно в точки В и М, тогда |BM| = d/k. При движении f точки В и М переходят соответственно в точки С и N, тогда |CN| = d/k, т.к. движение сохраняет расстояния между точками. Пусть при гомотетии точки С и N переходят соответственно в точки D и P, |DP| = kd/k = d. Мы получили, что преобразование сохраняет расстояния между точками, значит, это движение, неподвижными точками которого являются образы неподвижных точек движения f, а т.к. вид движения определяется его неподвижными точками, то - движение того же вида, что и f.