g(Μ)=Μ´
= .Отсюда следует, что g(S)=S (S-неподвижная точка), и если Μ
, то точка Μ´ лежит на прямой (SΜ). Возьмем произвольные точки Μ и Ν и пустьΜ´= g(Μ), Ν´= g(Ν).
Тогда
= , = = . (1)Возьмем еще одну точку L на прямой (MN). Для точки L´=f(L) имеем:
= (2)Пусть точки M и N различны. Тогда
= , (3)(1),(2)
= . (4)(3),(4)
гомотетия сохраняет отношение трех точек прямой.Поэтому в гомотетии отрезок переходит в отрезок, луч – в луч, прямая – в прямую, полуплоскость – в полуплоскость. Если - направляющий вектор прямой a, то - направляющий вектор прямой a´=f(a) .(1)
a´ a.Следовательно, гомотетия
переводит прямую в параллельную ей прямую. В гомотетии угол переходит в конгруэнтный ему угол. Это утверждение очевидно, если стороны угла лежат на одной прямой. Рассмотрим угол АОВ, стороны которого не лежат на одной прямой. Обозначим через Π плоскость, в которой лежит этот угол. В гомотетии g плоскость Π перейдет в плоскость Π´ Π, луч Π перейдет в луч , а луч -в луч .Если угол АОВ выпуклый, то он является пересечением полуплоскостей
и := .
В гомотетии g эти полуплоскости перейдут соответственно в полуплоскости
и и, значит, угол АОВ перейдет в угол= .
Соответствующие стороны углов АОВ и А´О´В´ одинаково направлены при
и противоположно направлены при При параллельном переносе пространства на вектор эти углы совпадают в первом случае и окажутся вертикальными во втором случае. Следовательно, эти углы конгруэнтны.Так как g(Π)=Π´ и g
= , то угол 1, дополняющий выпуклый угол АОВ до полного угла ,переходит в гомотетии g в угол 1´, дополняющий выпуклый угол Α´О´Β´ до полного угла:.
Значит, и невыпуклый угол гомотетия переводит в конгруэнтный ему угол. Учитывая равенство (1), находим:
|
=| | ,Следовательно, гомотетия является подобием. Гомотетия с центром S и коэффициентом h=-1 является центральной симметрией (относительно точки S).
Теорема. Всякое подобие является произведением гомотетии и движения.
Пусть f –подобие с коэффициентом
Возьмем какую-либо точку S и пусть g- гомотетия с центром S и коэффициентом . Если M,N -произвольные точки пространства и Μ´=f(Μ), Ν´=f(Ν), то | = | (5)Пусть g(Μ)=Μ´´, g(Ν)=Ν´´. Тогда
|
= | ( (6)Преобразование
d=f переводит каждую точку Μ´´ в такую точку Μ´, что имеет место равенство (7), т.е. преобразование d сохраняет расстояние между любыми двумя точками. Следовательно, d=f –движение. Отсюда f=d теорема доказана.