The most controversial of Euclid's axioms was his parallel postulate, which mathematicians sought in vain to prove from Euclid's other axioms. Two millennia later, this problem led to the breakthrough of non-Euclidean geometries. One of these is spherical geometry, which you study in this lecture.