In the last post, we used several theorems we’d developed to arrive at Menelaus’ theorem. However, at the very end Ptolemy simply mentions another version of the theorem, but does not derive it. I simply took his word that it worked, but as that alternative form is used first thing in the next chapter, I want to make sure at the very use, we know how to use it, even if we don’t go through how it’s derived.
First, let’s set up a generic Menelaus configuration on a sphere which is the intersection of the arcs of four great circles: