Monge's Theorem and the Euler Line

Monge’s Theorem states that, when you graph the external tangent line linking three circles in a plane…none of which are inside each other…the intersection points of the tangents lie in a straight line.
Monge’s theorem - Wikipedia
Monge’s Theorem - YouTube

When you take a triangle’s circumcenter, orthocenter, and centroid, those points also lie in a line.
Euler line - Wikipedia
Euler Line #maths #mathematics - YouTube

Lines based on the geometry of three.

Are the two lines mathematically related?

Here’s a bit more obscure geometric shennanigans regarding tangents and the center of ellipses

lying along a line.

(relevant part starts around 7:40)

Extraordinary Conics: The Most Difficult Math Problem I Ever Solved

Did I stump the great minds of the Straight Dope Message Board?

Chronos?

“Are these things mathematically related?” is a difficult question to answer, because in some sense, all things in mathematics are related. But that’s probably not what the questioner means. You could also parse it as “Do the proofs of these two theorems have a similar structure?”, but then that runs into the complication that any given theorem can have many different proofs, so it’s really more like “Is there any proof of this theorem that has structure similar to any proof of this other theorem?”. But to answer that requires familiarity with many different proofs of both. Or you could phrase it as “Does the proof of one of these follow logically from the other”, or perhaps both ways, but again, that’s not as well-defined as you’d think, because logically, any the proof of any theorem can be regarded as implied by any other theorem.

Sure stumped me. There might be a theorem in projective geometry that covers both cases. A late colleague of mine would likely know the answer, but I know when I am out of my depth.

I think one way to answer this is to ask given the three circles used to create the Monge line, is the intersection of the three Euler lines on that line? Or maybe does each Euler line intersect the Monge line at one of the points used to create it. Something like that.

Probably both theorems can be proved using Desargues’s Theorem or something like that— however, to me, “are the two lines mathematically related” seems to ask whether one problem can be transformed into an instance of the other, or whether both are special cases of a more general configuration.

I was figuring that would be the case.