MathLabs
TheoremProved

Scaling of Distances and Areas Under Homothety

Statement

Under a homothety V(I,k)V_{(I, k)} with center II and ratio k≠0k \neq 0, for any two points A,BA, B with images A′=V(I,k)(A)A' = V_{(I,k)}(A) and B′=V(I,k)(B)B' = V_{(I,k)}(B), we have B′A′→=k BA→\overrightarrow{B'A'} = k\,\overrightarrow{BA} and hence A′B′=∣k∣⋅ABA'B' = |k|\cdot AB. Consequently, the area of any triangle ABCABC scales by the square of the ratio: [A′B′C′]=k2⋅[ABC][A'B'C'] = k^2 \cdot [ABC].

Why is it true?

Because every point is pushed away from (or pulled toward) the center II by the same factor kk, the triangle formed by II and any two points A,BA, B is scaled uniformly in both radial sides, so by Thales' theorem the third side A′B′A'B' stays parallel to ABAB and scales by ∣k∣|k|. Area is two-dimensional (base times height), and since both base and height are multiplied by ∣k∣|k|, their product is multiplied by ∣k∣⋅∣k∣=k2|k| \cdot |k| = k^2.

Proof sketch

By the definition of homothety, IA′→=k IA→\overrightarrow{IA'} = k\,\overrightarrow{IA} and IB′→=k IB→\overrightarrow{IB'} = k\,\overrightarrow{IB}. Subtracting the second vector equation from the first yields IA′→−IB′→=k(IA→−IB→)\overrightarrow{IA'} - \overrightarrow{IB'} = k(\overrightarrow{IA} - \overrightarrow{IB}).

Using the head-to-tail rule IA→−IB→=BA→\overrightarrow{IA} - \overrightarrow{IB} = \overrightarrow{BA} on both sides, we obtain B′A′→=k BA→\overrightarrow{B'A'} = k\,\overrightarrow{BA}. Taking lengths of both vectors immediately gives A′B′=∣B′A′→∣=∣k∣⋅∣BA→∣=∣k∣⋅ABA'B' = |\overrightarrow{B'A'}| = |k| \cdot |\overrightarrow{BA}| = |k| \cdot AB.

Now consider any triangle ABCABC. Its altitude hh from CC to line ABAB is the distance between CC and its orthogonal projection HH on ABAB. Since homothety preserves parallelism and angles, it preserves perpendicularity, so H′=V(I,k)(H)H' = V_{(I,k)}(H) is the foot of the altitude of A′B′C′A'B'C'. Thus both the base A′B′=∣k∣⋅ABA'B' = |k|\cdot AB and the altitude C′H′=∣k∣⋅CHC'H' = |k|\cdot CH scale by ∣k∣|k|, giving [A′B′C′]=12A′B′⋅C′H′=∣k∣2⋅12AB⋅CH=k2⋅[ABC][A'B'C'] = \tfrac{1}{2} A'B' \cdot C'H' = |k|^2 \cdot \tfrac{1}{2} AB \cdot CH = k^2 \cdot [ABC].

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. H. S. M. Coxeter (1969). Introduction to Geometry
  2. Wikipedia contributors (2026). Geometric transformation — Wikipedia