Sign In
Use the Triangle Proportionality Theorem. Then, show that ∠E≅ ∠3 and use the Converse of Isosceles Triangle Theorem.
Statements
|
Reasons
|
1. CD bisects ∠ACB By construction, AE∥CD |
1. Given
|
2. AD/DB = EC/BC
|
2. Triangle Proportionality Theorem
|
3. ∠1 ≅ ∠2
|
3. Definition of angle bisector
|
4. ∠3 ≅ ∠1
|
4. Alternate Interior Angles Theorem
|
5. ∠2 ≅ ∠E
|
5. Corresponding Angles Theorem
|
6. ∠3 ≅ ∠E
|
6. Transitive Property of Congruence
|
7. EC≅AC
|
7. Converse of Isosceles Triangle Theorem
|
8. EC=AC
|
8. Definition of congruent angles
|
9. AD/DB = AC/BC
|
9. Substitution
|
We are asked to write a two-column proof of the given theorem.
|
Theorem 7.11 Triangle Angle Bisector |
|
An angle bisector in a triangle separates the opposite side into two segments that are proportional to the lengths of the other two sides. |
First, let's consider △ ABC and let CD be the angle bisector of ∠C. By definition of a bisector, we have ∠1≅ ∠2.
Next, we will extend BC such that it intersects the line drawn before.
By the Triangle Proportionality Theorem we get the following proportion. AD/DB = EC/BC Notice that, by the Corresponding Angles Theorem, ∠2 and ∠E are congruent. Also, we know that CD ∥ EA. Using the Alternate Interior Angles Theorem, we have that ∠1≅ ∠3. Now, by the Transitive Property of Congruence, ∠3 and ∠E are congruent.
The Converse of Isosceles Triangle Theorem tells us that if two angles in a triangle are congruent, then the sides opposite them are congruent. As a result, we get that EC≅ AC — that is, EC=AC. Finally, we can substitute this fact into the proportion written earlier. AD/DB = EC/BC ⇒ AD/DB = AC/BC
Let's summarize the proof we wrote in the following two-column table. Given: & CD bisects∠ACB & By construction, AE∥CD Prove: & ADDB = ACBC
Statements
|
Reasons
|
1. CD bisects ∠ACB By construction, AE∥CD |
1. Given
|
2. AD/DB = EC/BC
|
2. Triangle Proportionality Theorem
|
3. ∠1 ≅ ∠2
|
3. Definition of angle bisector
|
4. ∠3 ≅ ∠1
|
4. Alternate Interior Angles Theorem
|
5. ∠2 ≅ ∠E
|
5. Corresponding Angles Theorem
|
6. ∠3 ≅ ∠E
|
6. Transitive Property of Congruence
|
7. EC≅AC
|
7. Converse of Isosceles Triangle Theorem
|
8. EC=AC
|
8. Definition of congruent angles
|
9. AD/DB = AC/BC
|
9. Substitution
|