the triangle inequality also applies in spherical geometry where the distance between any two points p and q is the angle they subtend at the center of the sphere and shortest distances are great circles as i don't have access to your source i don't know what it is about their proof that would make it inapplicable to spherical geometry where pythagoras' theorem doesn't work if it does apply in spherical geometry what is it about staring's proof that doesn't work