Find all of the points of the form (x, −x) which are 7 units from the origin. (x, y) =

(smaller x-value)

(x, y) =

(larger x-value)

Nina has prepared the following two-column proof below. she is given that ∠oln ≅ ∠lno and she is trying to prove that ol ≅ on. triangle oln, where angle oln is congruent to angle lno step statement reason 1 ∠oln ≅ ∠lno given 2 draw oe as a perpendicular bisector to ln by construction 3 ∠leo ≅ ∠neo transitive property of equality 4 m∠leo = 90° definition of a perpendicular bisector 5 m∠neo = 90° definition of a perpendicular bisector 6 le ≅ en definition of a perpendicular bisector 7 δole ≅ δone side-angle-side (sas) postulate 8 ol ≅ on cpctc nina made two errors in the proof. identify and correct the errors.