Prove geometric properties using vectors (#634)

Prove geometric properties using vectors (#634)

Show midpoints, centroids, orthocenters, etc. using position vectors.