A good opportunity is offered for illustrating several of the definitions connected with the study of the sphere, such as great circle, axis, small circle, and pole, by referring to geography. Indeed, the first three propositions usually given in Book VIII have a direct bearing upon the study of the earth.

Theorem. A plane perpendicular to a radius at its extremity is tangent to the sphere.

The student should always have his attention called to the analogue in plane geometry, where there is one. If here we pass a plane through the radius in question, the figure formed on the plane will be that of a line tangent to a circle. If we revolve this about the line of the radius in question, as an axis, the circle will generate the sphere again, and the tangent line will generate the tangent plane.

Theorem. A sphere may be inscribed in any given tetrahedron.

Here again we may form a corresponding proposition of plane geometry by passing a plane through any three points of contact of the sphere and the tetrahedron. We shall then form the figure of a circle inscribed in a triangle. And just as in the case of the triangle we may have escribed circles by producing the sides, so in the case of the tetrahedron we may have escribed spheres by producing the planes indefinitely and proceeding in the same way as for the inscribed sphere. The figure is difficult to draw, but it is not difficult to understand, particularly if we construct the tetrahedron out of pasteboard.

Theorem. A sphere may be circumscribed about any given tetrahedron.

By producing one of the faces indefinitely it will cut the sphere in a circle, and the resulting figure, on the plane, will be that of the analogous proposition of plane geometry, the circle circumscribed about a triangle. It is easily proved from the proposition that the four perpendiculars erected at the centers of the faces of a tetrahedron meet in a point (are concurrent), the analogue of the proposition about the perpendicular bisectors of the sides of a triangle.

Theorem. The intersection of two spherical surfaces is a circle whose plane is perpendicular to the line joining the centers of the surfaces and whose center is in that line.

The figure suggests the case of two circles in plane geometry. In the case of two circles that do not intersect or touch, one not being within the other, there are four common tangents. If the circles touch, two close up into one. If one circle is wholly within the other, this last tangent disappears. The same thing exists in relation to two spheres, and the analogous cases are formed by revolving the circles and tangents about the line through their centers.

In plane geometry it is easily proved that if two circles intersect, the tangents from any point on their common chord produced are equal. For if the common chord is AB and the point P is taken on AB produced, then the square on any tangent from P is equal to PB × PA. The line PBA is sometimes called the radical axis.