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 . So, angles are right angles by definition of perpendicular lines. All right angles are . Therefore, △ABC ~ △DEF by the SAS similarity theorem.