The angle bisector theorem
The angle bisector theorem
The angle bisector theorem: An internal angle bisector of a triangle divides the opposite side into two segments whose ratio equals the ratio of the sides enclosing the angle.
Given: bisects the angle of the triangle , and is on .
To prove: .
The proof below draws through a line parallel to , to the point on the extension of the side . It shows that , and then uses Thales’ theorem in the triangle .
| Claim | Reason | |
|---|---|---|
| 1 | Given | |
| 2 | Construction | |
| 3 | (2); alternate angles between parallel lines | |
| 4 | (2); corresponding angles between parallel lines | |
| 5 | (1), (3), (4) | |
| 6 | (5); in a triangle, equal angles are opposite equal sides | |
| 7 | (2); Thales’ theorem in the triangle | |
| 8 | (6), (7) |
bisects the angle of the triangle , and is on the side .
, and .
Find .
(A hint: , and then .)
, and .
Find .
The converse: A line through a vertex of a triangle that divides the opposite side internally in the ratio of the other two sides bisects the angle at that vertex.
In the triangle : if is on and , then bisects the angle .
The proof below shows that the bisector of the angle reaches exactly at :
- the bisector of the angle meets at a point ;
- by the angle bisector theorem , so ;
- adding to both sides: , so ;
- and are both on the segment , at the same distance from – they are one point, and is the bisector.
In the triangle , is on the side .
.
Prove: .
bisects the angle of the triangle , and is on the side .
is on the side , and .
Prove: .
In the triangle , , and .
bisects the angle , and is on .
bisects the angle , and is on .
The bisectors cross at .
/ – 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 the triangle , , and bisects the angle .
What does the angle bisector theorem say about ?
Which theorem about the isosceles triangle does this agree with?
/ – 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