given segment AC is perpendicular to segment BD prove triangle ABC~ triangle ECD reflect a triangle ECD over line segment AC this establishes that blank then blank this establishes that angle E prime de prime C prime=~ angle ABC therefore triangle ABC~ triangle ECD by the AA similarity postulate