Take the unit sphere in the three dimensional space. A plane through the half of the sphere perpendicular to the vertical axis.
Pick a point in the plane and draw the line which joins it with the north pole of the sphere. The intersection of this line with the sphere is the stereographic image of that point of the plane (this identifies each point in the plane with each point of the sphere except the north pole. "Stereographic image" is used in both directions. Context allow us to deduce if we go from the plane to the sphere or the other way around, at least as far as I've seen).
Just as in the figure:
Thinking in the plane as the complex plane, I'll refer to its points as ordered pairs (x,y). It will be nice to have some useful way to put images related with stereographic projections in our documents.
Particularly, I'm interested in:
- Given the coordinates (x,y) of a point in the plane, get the stereographic image on that point in the sphere, i.e. draw the point in the plane, draw the corresponding point in the sphere and optionally draw the line which joins (x,y) with the north pole.
- Given a circle in the plane (i.e. its center and its radius) get its stereographic image in the sphere, and optionally perhaps the lines which joins the north pole with two diametrically opposite points of the circle in the plane. This in order to "appreciate" the projection.
The last one can be hard, because depending on the point of view and of the circle, its spherical image might be seen as a segment which makes littles sense.
This is used in technical drawing, however I'm not aware of any package or TeX (that is tikz, pstricks, metapost,...) way of achieve this.
So my question is:
How can we achieve this?