verify, using algebraic techniques and analytic geometry, some characteristics of geometric figures (e.g., verify that two lines are perpendicular, given the coordinates of two points on each line; verify, by determining side length, that a triangle is equilateral, given the coordinates of the vertices);