Nine Point Circle Theorem/Historical Note

Historical Note on Nine Point Circle Theorem
The Nine Point Circle Theorem was proved in $1820$ by and.

In $1822$, proved that the nine point circle was tangent to the incircle and all $3$ excircles.

Hence this circle is often referred to as the Feuerbach circle.