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