关于4点:因为arctan1=π/4,所以原式=4。一文了解三角函数与反三角函数的故事~
01 三角学三角形是几何中最简单的封闭图形,也是几何的入门知识,三角形中的边角关系是我们研究的重点,比如关于边有三边关系定理(三角形任意两边之和大于第三边),关于角也有内角和定理(三角形内角和为180°)等等。
了解完边与边、角与角的关系后,不禁要多问一句:那边与角之间呢?是否存在着某种联系?
答案是显然的,早在公元前600年左右,古希腊“科学鼻祖”泰勒斯就已经发现,在直角三角形中,相同的锐角其对边与斜边的比值是相等的,应用这样的原理,泰勒斯表示测量金字塔的高度只需要一根木棍就能搞定。
所以由于生产生活的需要,很早之久就有了专门研究平面三角形和球面三角形边角关系的学科——三角学,最早的目的是用于测量,后来在天文、航海中都发挥着巨大的作用。怎么又是天文、航海,可能夜观星象这种事情欧洲人也喜欢,至于航海嘛,没有航海哪来的新大陆。
“三角学”一词最早来自拉丁文“trigonometria”,德国牧师皮蒂斯楚斯在1595年出版的《三角学:解三角形的简明处理》中第一次使用英文“trigonomettry”(三角学)。希腊天文学家托勒密(约公元100-170年)著有《天文学大成》13卷,被认为是西方第一本系统论述三角学理论的著作,同时他本人也被称为三角学创始人。
在三角学的生命里,它先是投到天文学的怀抱,后来脱离天文称为数学的一个分支,最终时至今日划归到几何学门下。中世纪以来,三角学研究的重心逐渐与测量转向解三角形和对三角函数的研究。
德国数学家、天文学家雷蒂库斯率先用直角三角形的边与边的比定义如今我们所熟知的正弦、余弦等6种三角函数,此种方法也是我们初中学习三角函数定义的方式。
并且他还专门雇了一批就算人员编写了间隔为10′的6种三角函数表,对数有对数表,三角函数有三角函数表,事实上,除了雷蒂库斯,托勒密、韦达也干过这样的事,欧洲人对于列表的执念看来不浅呐。
18世纪,瑞士大数学家欧拉出版《无穷分析引论》,在这本划时代的著作中,欧拉第一次使用单位圆内以线段与半径之比来定义三角函数。
这个定义也是高中课本对三角函数的定义,也是我们了解三角函数最直接的形式,三角函数,与指数函数、对数函数、幂函数、反三角函数,并称为五大基本初等函数。
02 重新定义角度我们可能比认识三角形更早认识角,但或许我们未必对角有过全面的认识,什么叫角?两条共顶点的射线组成的图形叫做角,并且每个角都会有个度数,我们还知道一周是360°,那361°是个什么玩意,毕竟人家的口号叫多一度热爱,多的这一度搁哪呢?所以不同的定义方式会局限我们的认知。
把射线其绕端点旋转后所形成的图形叫做角,旋转的量叫做角度。并且还规定了逆时针为正方向,也就是说,逆时针旋转一周是360°,两周便是720°,反之,顺时针旋转90°得到的是-90°角,所以随便给一个度数,我们都会有对应的角,虽然有些角看起来并没有什么区别。
有了对角度的重新定义,三角函数也就焕发出了新的活力,对于任意的角度,都会有对应的角,同时也会存在其三角函数值,而欧拉通过单位圆的定义,则让函数图像活灵活现地展现在我们眼前:
同时观察正弦与余弦:
静态的图像:
而正切则有点鬼畜:
静态中的正切函数:
但其实这个图像还有个小小的问题,自变量是个度数,而因变量是个实数,也就是说横轴是个度数而对应的纵轴是个实数,固然可以从角度集合映射到实数集,但如果能够将自变量也转变为一个实数,岂不美哉?
03 弧度制于是关于角度迎来了一种新的制度:弧度制。
度量角的大小有两种制度,一种即我们通常说的角度制,比如说这个角是90°或者60°此类,其单位有度、分、秒。
而另外一种,叫弧度制,在单位圆中,用这个角所对的弧的长度来表示角的大小,比如90°角在单位圆中对应的弧长为π/2,即我们用π/2(rad)来表示直角,这里的rad是弧度单位,通常可以省略,类似,可以直接用π表示平角,2π表示周角等。
从角度制到弧度制的转换,其实就是在角度与全体实数之间建立起一一对应的关系,从而达到用实数表示角度的目的。应用到三角函数中,横纵轴都可以是实数!
说到这里,我们可以得到一个结论:tan(π/4)=1,已经很接近问题了!
04 反函数当在集合A和集合B之间存在一个一一映射的时候,反之在集合B和集合A之间也存在一个一一映射,这就是所谓的反函数。
简单说函数是两个变量之间的一种对应关系,当存在y=f(x)时,我们称y是x的函数。恰当的条件下(一一映射),对因变量和自变量作互换,将y作为自变量,对应的x作为因变量,可得x=g(y),这便是y=f(x)的反函数。
最典型的例子即对数函数与指数函数,欧拉根据指数函数y=a^x来定义对数函数,变换后的函数将y看作自变量,对应的x是因变量。或许这么说还是不够明白,不如直接上图像吧:
两个函数的图像是关于直线y=x对称的,原因就是调换自变量因变量的身份,即将原函数(x,y)对应关系变为(y,x)的对应关系,因此函数图像作了一个关于直线y=x的对称,再看一点例子:
所以是时候讨论一下三角函数的反函数了,以正弦为例,对于函数y=sinx,若y为自变量,x为因变量,通常记为x=arctan y,即反三角函数。
看看图像:
咦,为何画风不太一样,其实在y=x²和y=x^(1/2)已经体现了一点,我们要的是一一映射,一个x对应一个y,不同的x对应不同的y,所以对于正弦函数,我们只能取四分之一个周期来作反函数。
三角函数妙趣远不止于此,诸如三角函数变换、三角函数泰勒展开式等等,还有更多的奥秘等我们去探索。
谢谢阅读。
更多概念解析请点击轻松学菜单中“轻松学高数”