15.1. Трансформация косого сжатия подобием

Рассмотрим косое сжатие g с осью q, направлением l и коэффициентом m и подобие , где f - движение, найдем трансформацию g^h. . В силу ассоциативности композиции преобразований, . По доказанному в п. 13.2, есть g₁ - косое сжатие с осью , направлением l и коэффициентом m. Тогда По доказанному в пункте 14.2, g₁ ^f есть косое сжатие с осью f(q₁), направлением f(l) и коэффициентом m. Таким образом, вся искомая трансформация представляет собой косое сжатие с осью , направлением f(l) и коэффициентом m.