4. Equilateral and Isosceles Triangles
Sign In
Again, by the Corollary to the Base Angles Theorem, we know that △ABC is equiangular. Using the Angle Addition Postulate, we can claim that the three unmarked angles at each of the vertices on △ABC are congruent. Let's show this.
Let's also show this as a two-column proof.
Statement | Reason |
△ABC is equilateral∠CAD≅∠ABE≅∠BCF
|
Given |
△ABC is equiangular | Corollary to the Base Angles Theorem |
∠ABC≅∠BCA≅∠BAC
|
Definition of equiangular triangle |
m∠CAD=m∠ABE=m∠BCFm∠ABC=m∠BCA=m∠BAC
|
Definition of congruent angles |
m∠ABC=m∠ABE+m∠EBCm∠BCA=m∠BCF+m∠ACFm∠BAC=m∠CAD+m∠BAD
|
Angle Addition Postulate |
m∠DEF=m∠BCF+m∠EBCm∠DFE=m∠CAD+m∠ACFm∠FDE=m∠ABE+m∠BAD
|
Exterior Angle Theorem |
m∠DEF=m∠ABE+m∠EBCm∠DFE=m∠BCF+m∠ACFm∠FDE=m∠CAD+m∠BAD
|
Substitution Property of Equality |
m∠DEF=m∠ABCm∠DFE=m∠BCAm∠FDE=m∠BAC
|
Transitive Property of Equality |
m∠DEF=m∠DFE=m∠FDE
|
Transitive Property of Equality |
∠DEF≅∠DFE≅∠FDE
|
Definition of congruent angles |
△DEF is equiangular
|
Definition of equiangular triangle |
△DEF is equilateral
|
Corollary to the Converse of the Base Angles Theorem |