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)

10 foundational theorems free · one-time unlock for the rest

Unlock the complete proofs forever

Matching GeoSnap, 10 foundational theorems are completely free. Unlock every other proof, animation, and consequence with one $10 purchase.

Sign in to unlock
Help me make this theorem better