c To prove that △AED is equilateral, we should write a two column proof as we did in Part B. As always, our first step will be stating the information that we are given and the statement that we will proven.
Given: AB≅AC, ED≅AD and BC∥EDProve: △AED is equilateral
Using the given information
ED≅AD, if we prove either
AE≅ED or
AE≅AD, our proof will be done.
Based on the given information
AB≅AC, we will first use .
If two sides of a triangle are congruent,then the angles oppositethose sides are congruent.
In this case, we can write the congruent angles using the theorem.
2. Isosceles Triangle Theorem∠ABC≅∠ACB
Next, we will use the definiton of . The definition says that two angles are congruent if and only if their angle measures are the same.
3. Definiton of Congruent Anglesm∠ABC=m∠ACB
Using the given information
BC∥ED, we can conclude that
∠ABC and
∠AED, and
∠ACB and
∠ADE are . Using the , let's write the fourth step of our proof.
4. Corresponding Angles Theorem∠ABC≅∠AED and ∠ACB≅∠ADE
By the definition of , we can write the next step.
5. Definition of Congruent Anglesm∠ABC=m∠AED and m∠ACB=m∠ADE
Based on step three and five, we we will use the and substitute
m∠ACB for
m∠ABC.
6. Substitution Propertym∠AED=m∠ACB
Then, we will substitute
m∠ADE for
m∠ACB.
7. Substitution Propertym∠AED=m∠ADE
Now, let's use the definition of .
8. Definition of Congruent Angles∠AED≅∠ADE
Now let us look at the .
If two angles of a triangle are congruent,then the sides oppositethose angles are congruent.
Using the theorem, we can write the ninth step.
9. Converse of Isosceles Triangle TheoremAD≅AE
Finally, we can complete the proof by the since
AD≅AE≅ED.
10. Definition of Equilateral Triangle△ADE is equilateral.
Combining these steps, we will construct the two column proof.
Statements
|
Reasons
|
AB≅AC,ED≅AD and BC∥ED
|
Given
|
∠ABC≅∠ACB
|
Isosceles Triangle Theorem
|
m∠ABC=m∠ACB
|
Definition of Congruent Angles
|
∠ABC≅∠AED and ∠ACB≅∠ADE
|
Corresponding Angles Theorem
|
m∠ABC=m∠AED and m∠ACB=m∠ADE
|
Definition of Congruent Angles
|
m∠AED=m∠ACB
|
Substitution Property
|
m∠AED=m∠ADE
|
Substitution Property
|
∠AED≅∠ADE
|
Definition Congruent Angles
|
AD≅AE
|
Converse of Isosceles Triangle Theorem
|
△ADE is equilateral.
|
Definition of Equilateral Triangle
|