Commit 2020-09-11 11:35 bc78621a
View on Github →feat(geometry/euclidean/monge_point): reflection of circumcenter (#4062) Show that the distance from the orthocenter of a triangle to the reflection of the circumcenter in a side equals the circumradius (a key fact for proving various standard properties of orthocentric systems).