Nine-point circle - proof using plane geometry

The nine point circle exists in all triangles , but for this answer , we will be focusing on the case when $\triangle ABC$ is acute .

First , let us remember the properties of cyclic quadrilaterals , as this will help us prove the concyclicity of points .enter image description here

The main points to remember , are that the opposite angles are supplementary , and that the chords subtend equal angles at the circumference . The equal point to note is that the converse is true as well. This is how we will be proving that the points lie on a circle.

For the problem , it may be best to solve it in steps .


Step $1$:-

In step $1$ , we can perhaps prove that the feet of the altitudes lie on the same circle as the midpoints. enter image description here

To do this , a single altitude should suffice . As, if we can prove that this lies on the same circle as the midpoints , the others must as well. To prove this , maybe the midpoint theorem , and basic angle chasing will help...

Hint:-

Prove $\triangle FAX$ is isosceles using the converse of the midpoint theorem . Then prove that $\angle FXE$ and $\angle FDE$ are supplementary .


Step $2$:-

I assume you have finished step $1$ . Now , we use the information that the feet of the altitudes and the midpoints lie on the same circle , to prove that the midpoints of the lines joining the vertices to the orthocentre also lie on the same circle . enter image description here Again , properties of altitudes and midpoints should help us solve this . Note that in the figure , $M’$ is the midpoint of the line joining vertex $C$ to orthocentre $H$ . $M$ is the midpoint of $BC$

Hint:-

$M’M$ joins the midpoints of two line segments ! Use the midpoint theorem . Also , make a great observation. Since $\angle CFB = \angle BEC = 90 $ , $CB$ is the diameter of the circle which inscribes cyclic quadrilateral $CEFB$ ! Also , $M$ is the midpoint of the diameter... By angle chasing , and using these observations , you should be able to prove that $\angle FM’M = \angle FEM$, proving that the quadrilateral is cyclic


This completes our proof , as it must follow that all the other midpoints of the lines joining the vertices with the orthocentre are concyclic as well.

Ofcourse , we have proved the existence of the $9$-point circle for only acute angled triangles , but I trust you should now be able to prove it for all other triangles as well!