We delve into the past to see how ancient astronomers used spherical trigonometry, using Menelaus's theorem, a result very different from the spherical sine and cosine rules of modern spherical trigonometry. They used spherical polar co-ordinates some 5000 years before Descartes introduced Cartesian coordinates! Lots of interesting and and history.