very interesting. This reminds me of the anecdote (perhaps apocryphal) that Gauss tried to evaluate Earth's curvature with a geodesic triangle constructed by rays of light.
BTW, I didn't know the \(\pi+KA\) formula. I have studied differential geometry, but mostly oriented quickly to GR. Where does it come from?