Nine Point Circle Theorem/Historical Note

Historical Note on Nine Point Circle Theorem

The Nine Point Circle Theorem was proved in $1820$ by Jean-Victor Poncelet and Charles Julien Brianchon.

In $1822$, Karl Wilhelm Feuerbach 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.

Sources

• 1986: David Wells: Curious and Interesting Numbers ... (previous) ... (next): $9$
• 1997: David Wells: Curious and Interesting Numbers (2nd ed.) ... (previous) ... (next): $9$
• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): nine-point circle
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): nine-point circle