Nasir al-Din al-Tusi
球面上の三角形における正接定理は、13世紀にナスィールッディーン・トゥースィーが著書 "Treatise on the Quadrilateral" で言及している