6.1: Similar triangles
( \newcommand{\kernel}{\mathrm{null}\,}\)
Two triangles A′B′C′ and ABC are called similar (briefly △A′B′C′∼△ABC) if (1) their sides are proportional; that is,
A′B′=k⋅AB,B′C′=k⋅BC and C′A′=k⋅CA
for some k>0, and (2) the corresponding angles are equal up to sign:
∡A′B′C′=±∡ABC∡B′C′A′=±∡BCA∡C′A′B′=±∡CAB
Remarks
- According to Theorem 3.3.1, in the above three equalities, the signs can be assumed to be the same.
- If △A′B′C′∼△ABC with k=1 in 6.1.1, then △A′B′C′≅△ABC.
-
Note that "∼" is an equivalence relation. That is,
(i) △ABC∼△ABC for any △ABC.
(ii) if △A′B′C′∼△ABC, then
△ABC∼△A′B′C′
(iii) If △A″B″C″∼△A′B′C′ and △A′B′C′∼△ABC, then
△A″B″C″∼△ABC
Using the new notation "∼", we can reformulate Axiom V:
If for the two triangles △ABC, △AB′C′, and k>0 we have B′∈[AB), C′∈[AC), AB′=k⋅AB and AC′=k⋅AC, then △ABC∼△AB′C′.
In other words, the Axiom V provides a condition which guarantees that two triangles are similar. Let us formulate three more such similarity conditions.
Two triangles △ABC and △A′B′C′ are similar if one of the following conditions holds:
(SAS) For some constant k>0 we have
AB=k⋅A′B′,AC=k⋅A′C′
and ∡BAC=±∡B′A′C′.
(AA) The triangle A′B′C′ is nondegenerate and
∡ABC=±∡A′B′C′,∡BAC=±∡B′A′C′.
(SSS) For some constant k>0 we have
AB=k⋅A′B′,AC=k⋅A′C′,CB=k⋅C′B′.
Each of these conditions is proved by applying Axiom V with the SAS, ASA, and SSS congruence conditions respectively (see Axiom IV and the Theorem 4.2.1, Theorem 4.4.1).
- Proof
-
Set k=ABA′B′. Choose points B″∈[A′B′) and C″∈[A′C′), so that A′B″=k⋅A′B′ and A′C″=k⋅A′C′. By Axiom V, △A′B′C′∼△A′B″C″.
Applying the SAS, ASA or SSS congruence condition, depending on the case, we get that △A′B″C″≅△ABC. Hence the result.
A bijection X↔X′ from a plane to itself is called angle preserving transformation if
∡ABC=∡A′B′C′
for any triangle ABC and its image △A′B′C′.
Show that any angle-preserving transformation of the plane multiplies all the distance by a fixed constant.
- Hint
-
By the AA similarity condition, the transformation multiplies the sides of any nondegenerate triangle by some number which may depend on the triangle.
Note that for any two nondegenerate triangles that share one side this number is the same. Applying this observation to a chain of triangles leads to a solution.