The Riemann sphere in GeoGebra

Abstract

The stereographic projection is a bijective smooth map which allows us to think the sphere as the extended complex plane. Among its properties it should be emphasized the remarkable property of being angle conformal that is, it is an angle measure preserving map. Unfortunately, this projection map does not preserve areas. Besides being conformal it has also the property of projecting spherical circles in either circles or straight lines in the plane This type of projection maps seems to have been known since ancient times by Hipparchus (150 BC), being Ptolemy (AD 140) who, in his work entitled "The Planisphaerium", provided a detailed description of such a map. Nonetheless, it is worthwhile to mention that the property of the invariance of angle measure has only been established much later, in the seventeenth century, by Thomas Harriot. In fact, it was exactly in that century that the Jesuit François d’Aguilon introduced the terminology "stereographic projection" for this type of maps, which remained up to our days. Here, we shall show how we create in GeoGebra, the PRiemannz tool and its potential concerning the visualization and analysis of the properties of the stereographic projection, in addition to the viewing of the amazing relations between Möbius Transformations and stereographic projections.