阿布·瓦法

中世纪阿拉伯数学家、天文学家。940年6月10日生于布冉(现属伊朗东北霍腊散省),长期在巴格达工作,直到去世。他把古希腊数学家欧几里得丢番图等人的著作译成阿拉伯文并作注解,还注释过花拉子米的数学著作。他有两部数学著作传世。一为《办事人员和官员必读的算书》,书中用很大篇幅来讲述分数计算,也有面积计算问题。另一部为《几何作图工匠必读》,其中有平面图形、多边形的作图方法。阿布·瓦法在数学方面的重要成就是在三角学方面,这些成就集中在他所著《天文全书》之中,此书与古希腊托勒密所著《天文学大成》极相类似。书中有关于正弦的半角公式、倍角公式,并且给出了正弦加法定理的一种新的证明;与巴塔尼同时引入正切和余切的定义并由他自己引入了正割和余割的概念;给出了间隔为15┡的正切函数表,还用新的方法给出了间隔为15┡的正弦函数表;计算1/2度的正弦值精确到12位小数;关于球面三角法,他给出了任意三角形的正弦定理的新证法。