The Euler Line of a Triangle

Theorem

In triangle ABC, the centroid (G- the intersection point of medians), the circum-center (H- the intersection point of the three perpendicular bisectors), and the orthocenter (K- the intersection point of the heights) all lie on a line called Euler line. 
Please enable Java for an interactive construction (with Cinderella).