using coordinates to prove geometric theorems