There are two common ways to measure distances between two points on a sphere, such as the (idealized) surface of the Earth:
- intrinsic: length of the shortest path along the surface (not coincidentally, such a path is called a geodesic)
- extrinsic: length of the chord between two points (never mind that traveling along this chord requires digging a tunnel).
The same choice between intrinsic and extrinsic metrics is present for any surface. It is not hard to recover the intrinsic distance from the extrinsic one:
The construction (*) mimics the Riemannian definition of length in which the integrals along curves from to are replaced with sums along chains of points from to . In the process, the surface forgets about its particular embedding into Euclidean space. For example, the parabolic cylinder and the plane have different extrinsic metrics, but their intrinsic metrics are the same (in the sense that there is a bijection between the two surfaces which preserves the intrinsic metric).
However, I would be hard pressed to find such an example with the paraboloid or a sphere. In fact, Pogorelov’s uniqueness theorem states that the intrinsic metric determines extrinsic metric for any closed convex surface, as well as for unbounded closed surfaces of total curvature at least . In all likelihood, the problem was posed to Pogorelov by his advisor A.D. Alexandrov, and Pogorelov’s book Extrinsic Geometry of Convex Surfaces is obviously meant as a companion to Alexandrov’s Intrinsic Geometry of Convex Surfaces.
Pogorelov is not exactly a household name in the Western hemisphere, even though his work on geometry of surfaces and on the Monge–Ampère equation eventually came to be cited. (The 4th Hilbert problem story is complicated, and perhaps will make another blog post.) The situation is remarkably different in Russia where Pogorelov’s “Geometry 6-10″ was the standard geometry textbook for a long time. The numbers 6-10 refer to the grades from 6th to 10th. With the switch to 11-grade system these became “7-11″.
Nostalgia alert. I got the geometry textbook from the school library after finishing 5th grade, and decided to read ahead in the summer. Ended up reading the entire 6th grade material over the summer (and did the exercises too, writing the proofs neatly in my notebook). Still remember some of the diagrams, and in particular the struggle to understand the proof of Theorem 3.4, seen above. My translation:
Theorem 3.4 (characterization of isosceles triangles). If a triangle has two equal angles, then it is isosceles.
Proof. Let be a triangle in which (Fig.50). We will prove that it is isosceles with base .
The triangle is equal to the triangle by the second criterion of equality of triangles. Indeed, , , . The equality of triangles implies that . Therefore, satisfies the definition of isosceles triangle. Theorem is proved.
This got me stumped. I thought that there was something wrong with Figure 50, or perhaps 50 was a typo and the proof referred to another figure. Why is the author talking about two equal triangles, where I see only one? I eventually kept going and understood the material that followed, but did not really get this particular proof until my teacher explained it in class.