PRINCIPIA · THEOREM

Transitivity of similarity

Dependencies: AA similarity (provides the working definition of "similar": corresponding angles equal and corresponding sides in proportion).

Statement

Let A\triangle A, B\triangle B, C\triangle C be three triangles. If

AB(with similarity ratio k1),BC(with similarity ratio k2),\triangle A \sim \triangle B \quad \text{(with similarity ratio } k_1\text{)}, \qquad \triangle B \sim \triangle C \quad \text{(with similarity ratio } k_2\text{)},

then

AC(with similarity ratio k1k2).\triangle A \sim \triangle C \quad \text{(with similarity ratio } k_1 k_2\text{)}.

In other words, the similarity relation is transitive: two layers of similarity can be "stacked" into one, with similarity ratios multiplying.

Transitivity of similarity: \triangle A \sim \triangle B (ratio k_1), \triangle B \sim \triangle C (ratio k_2) ⇒ \triangle A \sim \triangle C (ratio k_1 k_2)

First 20 free · sign in for #21 onward

Sign in to unlock the full proof

The first 20 theorems are free to read; this one and the rest require an account to see the full proof, animation, and consequences. Free, email-code sign-in only.

Sign in to unlock
Help me make this theorem better