I’ve been playing with the Manim library lately. Here’s a test animation I made demonstrating the nine point circle and part of Feuerbach’s theorem. It should be noted that Feuerbach’s Theorem also tells us that the nine point circle of a triangle is tangent to the three excircles of that triangle, but I did not include that in the video.