阿布·瓦法

Abū al-Waf╣’（约940～997/998）

中世纪阿拉伯数学家、天文学家。940年6月10日生于布冉（现属伊朗东北霍腊散

省），长期在巴格达工作，直到去世。他把古希腊数学家欧几里得、丢番图等人的

著作译成阿拉伯文并作注解，还注释过花拉子米的数学著作。他有两部数学著作传

世。一为《办事人员和官员必读的算书》，书中用很大篇幅来讲述分数计算，也有面

积计算问题。另一部为《几何作图工匠必读》，其中有平面图形、多边形的作图方

法。阿布·瓦法在数学方面的重要成就是在三角学方面，这些成就集中在他所著《天

文全书》之中，此书与古希腊托勒密所著《天文学大成》极相类似。书中有关于正弦

的半角公式、倍角公式，并且给出了正弦加法定理的一种新的证明；与巴塔尼同时引

入正切和余切的定义并由他自己引入了正割和余割的概念；给出了间隔为15┡的正切

函数表,还用新的方法给出了间隔为15┡的正弦函数表；计算1/2度的正弦值精确到12

位小数；关于球面三角法，他给出了任意三角形的正弦定理的新证法。