Prove geometric theorems using coordinates