Triangle AHG ~ Triangle CHD

angle CAB = angle DCA, angle CDE = angle AED

angle AGH = angle CDE and angle GAH = angle DCA

If two sides of a triangle are equal, the angles opposite them are equal

Definition

Definition

Substitution

angle AGE = angle AED

AA similarity

angle FAC = angle CAB

DC || AB

Parallel lines form equal alternate interior angles