Homothety and similarity
Let a point O and a number k > 0 be given. If for each point X of figure F we take on ray OX the point X₁ with OX₁ = k·OX, the resulting transformation is the homothety with centre O and coefficient k. Theorem: a homothety is a similarity transformation, that is X₁Y₁ = k·XY. Proof: in triangles OXY and OX₁Y₁ the angle O is common and OX₁ : OX = OY₁ : OY = k, so they are similar by SAS. If 0 < k < 1 the figure shrinks, if k > 1 it stretches, and with k = 1 it stays the same. With the centre at the origin, the point A(x; y) goes to (kx; ky). A figure homothetic to a circle is a circle, and circles tangent to the sides of an angle are related by a homothety centred at the vertex of the angle.
“Projector”: with an adult's supervision, cast the shadow of a cardboard shape on a wall with a lamp or phone torch, move it away from the light and watch how the shadow's size changes.