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!