plan and implement a multi-step strategy that uses analytic geometry and algebraic techniques to verify a geometric property (e.g., given the coordinates of the vertices of a triangle, verify that the line segment joining the midpoints of two sides of the triangle is parallel to the third side and half its length, and check using dynamic geometry software; given the coordinates of the vertices of a rectangle, verify that the diagonals of the rectangle bisect each other).