statement: ∠1 = ∠2
reason: given
statement: ∠3 = ∠4
reason: given
statement: triangle AFB similar to triangle BCD
reason: similar triangles by case AA (angle-angle)
statement: AB = BC
reason: given
statement triangle AFB congruent to triangle BCD
reason: similar triangles with corresponding sides congruent.
statement: ∠EFB = ∠EDB
reason: corresponding external angles of congruent triangles
statement: FB = BD
reason: corresponding sides of congruent triangles
statement: EB is the height of triangle ACE relative to side AC
reason: ACE is isosceles and B is the midpoint of AC
statement: AEB is similar to CEB
reason: similar triangles by case AA (angle-angle)
statement: AEB is congruent to CEB
reason: similar triangles with same corresponding side (EB)
