Step | Reason |
Extend GE to intersect DF at H | Construction |
Given | |
Defn Isosceles | |
Reflexive Equality | SAS | CPCT |
Construction | |
Partition Postulate | |
Partition Postulate | |
Substitution and Addition Postulates | |
The line containing the segment |
Definition of Bisector |