The isosceles triangle: the converse theorems
The isosceles triangle: the converse theorems
In a converse theorem, what is given and what is to be proved change places.
- The theorem: if , then .
- The converse theorem: if , then .
Careful: the converse of a true theorem is not always true. “If a quadrilateral is a square, all its angles are right” – true; “if all the angles of a quadrilateral are right, it is a square” – false: a long rectangle has four right angles too. So every converse theorem needs a proof of its own.
Theorem: a triangle with two equal angles is isosceles: the sides facing the equal angles are equal.
- In triangle , if , then .
- faces , and faces .
Given: .
Prove: .
The proof below draws , the bisector of angle , and shows that triangles and are congruent by ASA:
| Claim | Reason | |
|---|---|---|
| 1 | Given | |
| 2 | bisects angle (by construction) | |
| 3 | (1), (2); the angles of a triangle add up to | |
| 4 | A common side | |
| 5 | (2), (3), (4); the congruence theorem ASA | |
| 6 | (5); in congruent triangles, equal angles face equal sides |
In triangle , and .
The sides: and (in cm).
Find and the length of the side . Give the reasons.
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power
Theorem: if two of the angle bisector, the median and the altitude from the same vertex of a triangle coincide, the triangle is isosceles.
These are three theorems, one for each pair. In triangle the point is on the side , and if the segment is:
- an angle bisector and a median;
- an angle bisector and an altitude;
- a median and an altitude.
Given: and .
Prove: .
The proof below adds a helping construction: it extends beyond to the point , so that , and joins to :
- triangle is congruent to triangle , so ;
- triangle has two equal angles, so .
| Claim | Reason | |
|---|---|---|
| 1 | is a median (given) | |
| 2 | By construction | |
| 3 | Vertical angles are equal | |
| 4 | (1), (2), (3); the congruence theorem SAS | |
| 5 | (4); corresponding sides of congruent triangles | |
| 6 | (4); corresponding angles of congruent triangles | |
| 7 | bisects angle (given) | |
| 8 | (6), (7) | |
| 9 | (8); a triangle with two equal angles is isosceles | |
| 10 | (5), (9) |
Prove the theorem: an angle bisector that is also an altitude.
Given: and .
Prove: .
Prove the theorem: a median that is also an altitude.
Given: and .
Prove: .
Calculate, and give the reason for each step.
In triangle , the segment is the median to the side , and also the altitude to it.
cm and .
Find and the angle .
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power
In triangle , the bisector of angle is also the median to the side .
.
Find the angle and the angle .
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power