m∠1 = m∠2 Given
∠1 is supplementary to ∠2 If two angles form a linear pair,
they are supplementary
m∠1 + m∠2 = 180° Supplementary angles have sum 180°
m∠1 + m∠1 = 180° A quantity may be substituted
for its equal
2(m∠1) = 180° Definition of like terms
m∠1 = 90° Halves of equal quantities are
equal
∠1 is a right angle Definition of a right angle is one
whose measure is 90°
AB ⊥ ED Definition of perpendicular
lines.