McGraw Hill Glencoe Geometry, 2012
MH
McGraw Hill Glencoe Geometry, 2012 View details
5. Parts of Similar Triangles
Continue to next subchapter

Exercise 25 Page 506

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
Practice makes perfect

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.

Our goal is to prove that ADDB= ACBC. To do so, we are going to draw a line parallel to CD passing through vertex A.

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

Two-Column Proof

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