Antipodal equatorial intersection criterion for a great circle

ID: antipodal-equatorial-intersection-criterion-for-a-great-circle

A planar circle other than the unit circle lifts to a great circle exactly when it meets the unit circle at two opposite points. A great circle other than the equator intersects the equator in an antipodal pair. Conversely the plane containing a lifted circle and an antipodal pair contains their midpoint, the sphere's centre. Algebraically, adding the equations and with gives the displayed condition.

New to topics? Read the docs here!