Menelaus' and Ceva's Theorem for Spherical Triangle

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
Draw a spherical triangle on the surface of a unit sphere centered at
. Let the sides opposite the corresponding vertices be the arcs
,
,
and contain the points
,
,
. Menelaus's theorem for a spherical triangle states:
Contributed by: Izidor Hafner (March 2017)
Open content licensed under CC BY-NC-SA
Snapshots
Details
A proof of these theorems can be found in [3, pp. 85–86].
References
[1] Wikipedia. "Spherical Law of Cosines." (Mar 20, 2017) en.wikipedia.org/wiki/Spherical_law_of _cosines.
[2] Wikipedia. "Spherical Trigonometry." (Mar 20, 2017) en.wikipedia.org/wiki/Spherical_trigonometry.
[3] V. V. Prasolov and I. F. Sharygin, Problems in Stereometry (in Russian), Moscow: Nauka, 1989.
Permanent Citation