Intrinsic vs. extrinsic; also Pogorelov vs. me

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:

(*)\qquad\qquad\displaystyle d_i(p,q)=\lim_{\delta\to 0}\inf \left\{ \sum_{k=1}^n d_e(x_k,x_{k-1})\colon x_0=p, x_n=q, \; \forall k\; d_e(x_k,x_{k-1})<\delta \right\}

The construction (*) mimics the Riemannian definition of length in which the integrals along curves from p to q are replaced with sums along chains of points from p to q. In the process, the surface forgets about its particular embedding into Euclidean space. For example, the parabolic cylinder z=x^2 and the plane z=0 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 z=x^2+y^2 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 2\pi. 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”.

Theorem 3.4 from Pogorelov’s Geometry 6-10

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 ABC be a triangle in which \angle A=\angle B (Fig.50). We will prove that it is isosceles with base AB.
The triangle ABC is equal to the triangle BAC by the second criterion of equality of triangles. Indeed, AB=BA, \angle B=\angle A, \angle A=\angle B. The equality of triangles implies that AC=BC. Therefore, ABC 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.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.