HSG-GPE.B.4

Use coordinates to prove simple geometric theorems algebraically. For example, prove or disprove that a figure defined by four given points in the coordinate plane is a rectangle; prove or disprove that the point $(1, \sqrt{3})$ lies on the circle centered at the origin and containing the point $(0, 2)$.