Пусть подобие – это композиция движения f и гомотетии

, тогда подобие под движением
g 
по формулам (2) есть

.
fg = f1 – движение того же вида, что и
f, а его неподвижные точки – образы неподвижных точек движения
f при движении
g, а по формуле (21)

. Тогда

, а это подобие.

. (28)
Рассмотрим

. В силу ассоциативности композиции преобразований,

. По формуле (24),

,

. Тогда

(по формуле (21)). Таким образом,

. (29)
Подобие φ под подобием ψ

. По формулам (2),

.

- движение того же вида, что и
f, а его неподвижные точки – образы неподвижных точек движения
f при подобии
ψ. По формуле (29),

. Тогда

, (30)
где ξ - подобие такое, что

,

, а
h – движение того же вида, что и
f, а его неподвижные точки – образы неподвижных точек движения
f при подобии
ψ.

Рассмотрим произвольную точку
М, найдем ее образ при преобразовании

. При преобразовании
g-1 она переходит в точку
М1(рис. 3), которая при параллельном переносе

прейдет в точку
М2,

, далее
М2 при преобразовании
g перейдет в точку
М3. Заметим, что вектор

при преобразовании g перейдет в вектор

, значит, вся трансформация

есть параллельный перенос на вектор

.

, (31)
где
.
Рассмотрим произвольную точку М, найдем ее образ при преобразовании
. При преобразовании g-1 она переходит в точку М1(рис. 4), которая при центральной симметрии ZO прейдет в точку М2, О – середина М1М2, далее М2 при преобразовании g перейдет в точку М3. Заметим, что точка О при преобразовании g перейдет в середину отрезка ММ3 (т.к. при аффинном преобразовании сохраняется принадлежность точек одной прямой и отношение расстояний между ними), а по теореме о неподвижной точке g(O) будет неподвижной точкой нового преобразования, значит, вся трансформация
есть центральная симметрия Zg(O).
. (32)
Рассмотрим произвольную точку М, найдем ее образ при преобразовании
. При преобразовании g-1 она переходит в точку М1(рис. 5), которая при осевой симметрии Sl прейдет в точку М2,
, О – середина М1М2, далее М2 при преобразовании g перейдет в точку М3. Заметим, что точка О при преобразовании g перейдет в середину отрезка ММ3 (т.к. при аффинном преобразовании сохраняется принадлежность точек одной прямой и отношение расстояний между ними), и ее образ – О1 – будет лежать на образе прямой l при преобразовании g - g(l). По теореме о неподвижных прямых, прямая g(l) будет неподвижной прямой нового преобразования. Заметим также, что если при осевой симметрии прямые, соединяющие точки с их образами, были параллельны, то и после трансформации они будут параллельны и наклонены под одним и тем же углом к прямой g(l), значит, вся трансформация
есть косая симметрия Sg(l).
. (33)
Рассмотрим произвольную точку М, найдем ее образ при преобразовании
. При преобразовании g-1 она переходит в точку М1(рис. 6), которая при гомотетии
прейдет в точку М2,
, далее М2 при преобразовании g перейдет в точку М3. Заметим, что точка О при преобразовании g перейдет в точку О1 на прямой ММ3, причем
(т.к. при аффинном преобразовании сохраняется принадлежность точек одной прямой и отношение расстояний между ними), а по теореме о неподвижной точке точка О1 будет неподвижной при новом преобразовании, значит, вся трансформация
есть гомотетия
.