DOXA · 数学编年史 · 知识详情

图西——三角学独立成科

13世纪 | 图西分析出版

图西像(《四边论》)
图西像(《四边论》)

知识/定理

图西(Nasir al-Din al-Tusi,13 世纪)《四边论》:三角学脱离天文独立成科——平面/球面三角的完整体系。

公式

正弦定理、正切定理、球面三角公式的系统整理。

证明思路

(系统化)把零散三角恒等式组织为公理化演绎体系。

应用/例子

天文、测绘、导航的标准三角教科书。

意义/影响

三角学作为独立数学分支的确立者;欧洲文艺复兴时的三角学直接受其影响。

所属:四 中世纪·伊斯兰黄金时代 | 难题证明状态 ↔ 数学难题编年