That sounds like a different theorem. While it conincides with sums of squares o...

diffeomorphism on Sept 6, 2020 | parent | context | favorite | on: Mathematicians should stop naming things after eac...

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.