Distance minimizers on a punctured sphere (source code)

= Distance minimizers on a punctured sphere

On the unit <sphere> with one point deleted, a distinct nonantipodal pair has a length minimizer exactly when its shorter <great circle> arc avoids the deleted point. Antipodal pairs admit an avoiding semicircle. If the unique shorter arc crosses the puncture, smooth detours approach its length without attaining it.