Faltaba esperar la trigonometría árabe-musulmana de la Edad Media para ver al teorema evolucionar a su forma y en su alcance: el astrónomo y matemático al-Battani generalizó el resultado de Euclides en la geometría esférica a principios del siglo X, lo que permitió efectuar los cálculos de la distancia angular entre el Sol y la Tierra.