CC.2.3.HS.A.11: Apply coordinate geometry to prove simple geometric theorems algebraically.