Re:Mathematicians should stop naming things after each other
by diffeomorphism on Sunday September 06, 2020 @12:23PM
(#24392429)
That sounds like a different theorem. While it conincides with sums of squares of distances for the Euclidean setting, for the case of a sphere or other manifold it is decidedly about triangles, not so much distances.
edit: If I want to talk about distance in a curved space, we already have a well named "Geodesic distance".