弦函数chord function),又称全弦[1],是最早的三角函数之一[2],符号通常表示为[3],由古希腊数学家喜帕恰斯所定义[4],在三角学的早期发展中被广泛使用,主要用于解决天文学计算的问题[5],现已鲜少使用,但部分的程式库仍会提供弦函数的计算函式[6]。 弦函数的函数值为该角在单位圆上的弦长[7]或圆上特定圆心角对应的弦与半径的比值[8],换句话说,就是单位圆上角的终边端点到始边端点的距离。 弦函数与正弦函数不太一样,但关系十分密切[8]。 在0到π弧度(180)之间的全弦(crd)与正弦(sin)的关系为crd θ = 2 sin θ/2[9]

弦函数的函数图形

定义 编辑

 

假设角θ介于0和π弧度(180度)之间,则 的值由圆心角∠AOB构造等腰三角形ΔOAB底边 给出[2],其中O圆心,即圆心角顶点。 弦函数的几何定义如右图所示。 角的弦函数值是单位圆上由该圆心角分隔的两点之间的弦的长度。 角度θ取正值,必须位于0 < θ ≤ π(以弧度为单位,或0 < θ ≤ 180度)区间内。 弦函数可以与现代的正弦函数连结起来,取其中一点为(1,0),另一点为(cos θ, sin θ),然后利用勾股定理即可计算弦长度。[10]

 [11][注 1]
 
弦函数(蓝色)、正弦函数(黄色)与正矢函数(绿色)的函数图形
 
crd函数(灰色)在单位圆上的位置
 
原始的弦函数只定义在0至π(180度)之间,可以透过与他对应的等式以及同界角的性质进行扩展定义。图为使用公式 绘制的弦函数图形

也就是说,弦长度可以透过下列等式来计算:[7]

弦长 =  

其中,r为圆的半径、θ为弦对应的圆心角角度。

弦函数与正弦函数相关联。 在下表中,弦函数可以满足许多类似于众所周知的现代函数的恒等式:

明成 基于正弦函数 基于弦函数
勾股定理    
半角公式    
边心距 (a)    
角 (θ)    
其中,c为半径r(直径D)的圆之圆心角θ对应的弦长。

弦函数也可以表达成如下指数定义:

 

历史 编辑

最早已知的弦函数表由喜帕恰斯编制,其列出了每7+1/2度的弦函数值。 在公元二世纪,亚历山大的托勒密在他的天文学书《天文学大成》中编制了弦函数的函数表——托勒密全弦表,其给出了从1/2度到180度的角度的弦函数值,表中的每行以1/2度为单位。 但其并非是直接以单位圆列出弦函数值,其列出的数值,参考的圆形直径为120,弦长精确到整数部分后两位60进位的数字,[10] 也就是说,托勒密全弦表所列出的值是弦函数的60倍,例如 ,而在托勒密全弦表中,60度角所记录的值为弦的全长——60。[12]

弦函数与现代常用的正弦函数之关系可以看做是正弦函数代入半角公式的结果。

 [13][注 1]

上述等式只成立于0 < θ ≤ π(以弧度为单位,或0 < θ ≤ 180度)。

正如现代三角学是建立在正弦函数的基础上一样,古代三角学也是建立在和弦函数的基础上。 据说喜帕恰斯写了一本十二卷的关于弦函数的著作,虽然现在全部都失传了,但想必人们对弦函数有一定的了解。[15]

托勒密的弦函数 编辑

托勒密所建立的托勒密全弦表是纪录特定圆心角θ°在直径120(半径60)的圆形上所对应的弦之长度,换句话说,这个函数表所对应的函数 与正弦函数的关系为:[16][17]

 

恒等式 编辑

导数 编辑

 ,(0 < θ ≤ π[注 2]
 

积分 编辑

 ,(0 < θ ≤ π[注 2]
 

其他恒等式 编辑

 [13]
 
 [18]
 [13]

正弦定理也可以写成基于弦函数的形式:[19]

 

其中,a、b和c为三角形的三条边;而A、B和C则为对应边的对角。

与其他三角函数的关系 编辑

弦函数可以透过正弦馀弦正矢等函数来构造:[20]

 [20]0 < θ ≤ π0 < θ ≤ 180°
 [20]
 [20]

特殊值 编辑

 
 [13]
 [13]
 [13]
 [13]
 [13]
 [13]
 [13]
 [13]
 

反函数 编辑

 
弦函数的反函数

弦函数的反函数可以定义如下:

 

在这定义下只有0 ≤ y ≤ 2是有意义的(弦长没有负值、单位圆的弦长不会超过两倍半径)。

或者用 回推得到:

 

反弦函数有时会简称为acrd[6]

因此已知弦长可以回推圆心角的角度: [21]

 

其中,其中c是弦长、r是圆的半径。

相关函数 编辑

 
正弦(sin)、馀弦(cos)、全弦(crd)、正矢(versin)、和半正矢(haversin)函数的函数图形

弦函数的值域范围在0到2之间,类似的函数还有正矢函数(versin),值域范围也在0到2之间,但函数图形略有差异。 弦函数在范围0到π(180度)之间的图形与正弦函数0到π/2(90度)的形状类似,但边长差了1倍的缩放倍率。弦函数与其他“正”的三角函数(正弦正切正割正矢)同样是从零开始递增的函数。

arc θ 编辑

 
弧长(arc θ)、弦长(crd θ)和正弦(sin θ)关系

与弦函数(crd θ)类似的还有另一个符号——arc θ,用于表达指定角θ对应的圆弧弧长[5]这个概念有时称为正弧[22],对应于割圆八线中正角的弧。 早期为了计算天文学上的球面几何问题,例如计算球面三角形和四边形。 因此需要找出arc θcrd θ的对应关系。[5]在单位圆上,arc θ以黑色较粗的线标示在下图上。

 
arc θ(黑色较粗之弧线)和crd θ(灰色)、在单位圆上的位置

在单位圆上,arc θ的值在范围0到(360度)之间与θ相等,在以上时,则为最小正同界角的弧度值。

正弧与馀弧 编辑

 
割圆八线。正角对应的弧为正弧(乙丙)、馀角对应的弧为馀弧(乙庚)

相同的概念在割圆八线中也存在。 arc θ在割圆八线中对应“正弧”,即正角(θ)对应的弧。在这概念下,除了正弧(arc θ)外,也存在对应的馀弧(coarc θ),即馀角对应的弧,等价于直角与正角之差所对应的弧[23]coarc θ = arc(π/2θ)。 正弧与馀弧的概念早在清代就已经记载于梅文鼎的著作《平三角举要》中了[22][24], 并且正弧和馀弧的概念与正弦、馀弦、正切、馀切、正割、馀割、正矢和馀矢并列列出,同时也给角“正角”和“馀角”的概念。[24]

参见 编辑

注释 编辑

  1. ^ 1.0 1.1 1.2 事实上,将crd函数定义为 并不完全正确。 因为弦函数的定义是弦长,长度不会有负值,然而 会有负值,因此此等式不完全正确,仅在0 < θ ≤ π(以弧度为单位,或0 < θ ≤ 180度)时成立。
  2. ^ 2.0 2.1 此等式是使用 计算的[注 1],因此只适用于0 < θ ≤ π(以弧度为单位,或0 < θ ≤ 180度)的区间。

参考文献 编辑

  1. ^ 蔡聪明. 數學拾貝. 三民书局. 2020-01-17: 225. ISBN 9789571467634. 
  2. ^ 2.0 2.1 The Chord Function (PDF). math.ucr.edu. [2023-10-26]. (原始内容存档 (PDF)于2023-01-19). 
  3. ^ Hodgkin, L. A History of Mathematics: From Mesopotamia to Modernity. OUP Oxford. 2013: 130. ISBN 9780191664366. 
  4. ^ Hipparchus of Rhodes. mathshistory.st-andrews.ac.uk. [2023-10-26]. (原始内容存档于2007-10-23). 
  5. ^ 5.0 5.1 5.2 Folkerts, Menso and Launert, Dieter and Thom, Andreas. Jost Bürgi's method for calculating sines. Historia mathematica (Elsevier). 2016, 43 (2): 133–147. 
  6. ^ 6.0 6.1 Alan Lang@std/trig. alan-lang.org. [2023-10-27]. (原始内容存档于2023-03-20). 
  7. ^ 7.0 7.1 Sozio, Gerardo. Trigonometry: Chords, Arcs and Angles (PDF). Parabola. 2005,. Volume 41 (Issue 1) [2023-10-27]. (原始内容存档 (PDF)于2023-02-13). 
  8. ^ 8.0 8.1 吴俊辉; 姚珩; 徐光台 等著. 星空協奏曲. 知识漫游. 国立台湾大学出版中心出版. 2013: 59 [2023-10-27]. ISBN 9789860380224. (原始内容存档于2023-10-28). 
  9. ^ Eng, M and Schwarz, René. Trigonometric Functions (PDF). Image. 2017, 3 (2): 4 [2023-10-31]. (原始内容存档 (PDF)于2023-10-31). 
  10. ^ 10.0 10.1 Maor, Eli, Trigonometric Delights, Princeton University Press: 25–27, 1998, ISBN 978-0-691-15820-4 
  11. ^ Weisstein, Eric W. (编). Circular Segment. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. (英语). 
  12. ^ Chapter 5. Introduction of Western Mathematics : Trigonometric Tables. www.ndl.go.jp. [2023-10-26]. (原始内容存档于2022-10-05). 
  13. ^ 13.00 13.01 13.02 13.03 13.04 13.05 13.06 13.07 13.08 13.09 13.10 蔡聪明. 星空燦爛的數學(I)——托勒密如何編製弦表? (PDF). 数学传播. 1999年6月, 23卷 (2期): 57–67 [2023-10-27]. (原始内容存档 (PDF)于2021-05-06). 
  14. ^ Thurston, Hugh, Early Astronomy, Springer, 1996, ISBN 978-0-387-94822-5 
  15. ^ Thurston[14], pp. 235–236
  16. ^ Rodica Nan. PI – Not Just an Ordinary Number. John Carroll University. 2020 [2023-10-28]. (原始内容存档于2023-04-17). 
  17. ^ Chapter 5. Trigonometry (PDF). faculty.etsu.edu: 5. [2023-10-28]. (原始内容存档 (PDF)于2023-05-28). 
  18. ^ Ganikhodjaev, Nasir and Husain, Ahmad Hamidi. Al-Kāshī, the first scientist who introduced dynamical system. AIP Conference Proceedings (AIP Publishing). 2018, 1974 (1). 
  19. ^ Duke, Dennis W. Hipparchus' eclipse trios and early trigonometry (PDF). Centaurus-Oxford (Copenhagen: Munksgaard, 1950). 2005, 47 (2): 163–177 [2023-10-31]. (原始内容存档 (PDF)于2023-10-31). 
  20. ^ 20.0 20.1 20.2 20.3 Trig Functions and Naming Conventions. resources.wolframcloud.com. [2023-10-31]. (原始内容存档于2023-10-31). 
  21. ^ Simpson, David G. AUXTRIG (FORTRAN-90 source code). Greenbelt, Maryland, USA: NASA Goddard Space Flight Center. 2001-11-08 [2015-10-26]. (原始内容存档于2008-06-16). 
  22. ^ 22.0 22.1 梅文鼎. 測算名義. 《平三角举要》. 
  23. ^ 方恺. 平三角附測量 (PDF). 代数通艺录 (成文堂刊本). 1890, 卷十三 [2023-11-06]. (原始内容存档 (PDF)于2023-03-26). 
  24. ^ 24.0 24.1 彭良祯. 《平三角舉要》與《方圓羃積》初探. HPM通讯 (国立台湾师范大学数学系). [2023-11-05]. (原始内容存档于2013-08-04).