知识/定理
巴塔尼（al-Battānī，9–10 世纪）：系统用三角函数解球面天文问题，含球面余弦定理、正弦表。
公式
球面三角形余弦定理；$\sin$ 表与 $\tan$ 概念。
证明思路
（天文计算）把星位计算化为球面三角形求解，编制精密三角函数表。
应用/例子
星历、时刻确定、麦加方向（qibla）计算。
意义/影响
球面三角学的实用集大成，伊斯兰天文学直接驱动三角发展。
所属：四 中世纪·伊斯兰黄金时代 ｜ 难题证明状态 ↔ 数学难题编年
DOXA · 数学编年史 · 知识详情
9世纪 ｜ 巴塔尼 ｜ 分析 ｜ 突破
巴塔尼（al-Battānī，9–10 世纪）：系统用三角函数解球面天文问题，含球面余弦定理、正弦表。
球面三角形余弦定理；$\sin$ 表与 $\tan$ 概念。
（天文计算）把星位计算化为球面三角形求解，编制精密三角函数表。
星历、时刻确定、麦加方向（qibla）计算。
球面三角学的实用集大成，伊斯兰天文学直接驱动三角发展。
所属：四 中世纪·伊斯兰黄金时代 ｜ 难题证明状态 ↔ 数学难题编年