17世纪初对数发明后大大简化了三角函数的计算,制作三角函数表已不再是很难的事,人们的注意力转向了三角学的理论研究.不过三角函数表的应用却一直占据重要地位,在科学研究与生产生活中发挥着不可替代的作用.
三角公式是三角形的边与角、边与边或角与角之间的关系式.三角函数的定义已体现了一定的关系,一些简单的关系式在古希腊人以及后来的阿拉伯人中已有研究.
文艺复兴后期,法国数学家韦达(F.Vieta)成为三角公式的集大成者.他的《应用于三角形的数学定律》(1579)是较早系统论述平面和球面三角学的专著之一.其中第一部分列出6种三角函数表,有些以分和度为间隔.给出精确到5位和10位小数的三角函数值,还附有与三角值有关的乘法表、商表等.第二部分给出造表的方法,解释了三角形中诸三角线量值关系的运算公式.除汇总前人的成果外,还补充了自己发现的新公式.如正切定律、和差化积公式等等.他将这些公式列在一个总表中,使得任意给出某些已知量后,可以从表中得出未知量的值.该书以直角三角形为基础.对斜三角形,韦达仿效古人的方法化为直角三角形来解决.对球面直角三角形,给出计算的完整公式及其记忆法则,如余弦定理,1591年韦达又得到多倍角关系式,1593年又用三角方法推导出余弦定理.