How does one give a proof that is
- short; and
- strictly within the bounds of secondary-school geometry
that the stereographic projection
- is conformal; and
- maps circles to circles?
How does one give a proof that is
that the stereographic projection
I'm not sure what is in the post by TheoBromine, it says I need plugins to see all the media on the page. But a full and very careful proof, with five figures, is in Geometry and the Imagination by David Hilbert and Stephan Cohn-Vossen, translated by P. Nemenyi, see AMAZON AND GIGGLEBOOKS on pages 248-251. Also available reprinted by the AMS in 1998 or so.
P.S. Giggle let me see all of pages 248-251.
It's plain that a circle on a sphere is projected into an oval cone, which when cut by a plane parallel to the circle gives a circle.
(edit: oops - it's not obvious that this code is a symmetrical oval, that the radii at the top and the bottom are the same. Drat.)
Its also plain that there is another way to cut the cone to get a circle - using a plane that is the same as the plane of the circle but reflected about the axis of the cone (angled the opposite way, if you like.
Demonstrating that this second plane is parallel to the plane tangent to the projection point is left as an exercise for the reader :) .
Proving conformality involves a similar construction, I think, but instead of a projected cone you are projecting a pair of planes that pass through the intersection point of then lines on the sphere.
As is obvious, I haven't quite gotten there myself.