Circumcenter of Triangle is Orthocenter of Medial

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\triangle ABC$ be a triangle.

Let $\triangle DEF$ be the medial triangle of $\triangle ABC$.

Let $K$ be the circumcenter of $\triangle ABC$.


Then $K$ is the orthocenter of $\triangle DEF$.


Proof

CircumcenterMedialOrthocenter.png


Let $FG$, $DH$ and $EJ$ be the perpendicular bisectors of the sides of $AC$, $AB$ and $BC$ respectively.

From Circumscribing Circle about Triangle, the point $K$ where they intersect is the circumcenter of $\triangle ABC$.

From Perpendicular Bisector of Triangle is Altitude of Medial Triangle, $FG$, $DH$ and $EJ$ are the altitudes of $\triangle DEF$.

The result follows by definition of orthocenter.

$\blacksquare$