On a coordinate plane, triangle A B C has points (negative 2, 7), (negative 2, 3), and (negative 6, 3) and triangle D E F has points (negative 2, negative 10), (negative 2, negative 2), and (6, negative 2).
 Given that StartFraction A B Over D E EndFraction = StartFraction B C Over E F EndFraction = one-half, complete the statements to show that △ABC ~ △DEF by the SAS similarity theorem.
 Horizontal and vertical lines are 
 congruent
 .
 So, angles 
 are right angles by definition of perpendicular lines.
 All right angles are 
 .
 Therefore, △ABC ~ △DEF by the SAS similarity theorem.