三角函数/一些初步结果
外观
< 三角函数
我们证明了一些在微积分应用于三角函数时需要的结果。
定理:如果 ; 是一个大于0但小于直角的正角(以弧度表示),则 .
证明:考虑一个圆,圆心为 ,半径为 ,并在圆周上选择两个点 和 ,使得 小于直角。在点 处作圆的切线,并设 的延长线与切线交于点 。显然
即
结果得证。
推论:如果是一个负角,大于负直角(以弧度表示),那么。[这来自和。]
推论:如果是一个非零角,小于直角但大于负直角(以弧度表示),那么。
定理:当和。
证明:将前一定理的结果除以并取倒数,
- .
但趋向于当趋向于,因此第一部分成立。
将前一定理的结果除以并取倒数,
- .
再次, 趋于 因为 趋于 ,所以第二部分成立。
定理: 如果 如前所述,则 。
证明
- .
定理: 如果 如前所述,则 。
证明
- .
- .
- .
定理: 和 是连续函数。
证明: 对于任意 ,
- ,
因为 不超过 ,并且 不超过 。因此,当
- ,
证明了连续性。cos(θ) 的证明类似,或者可以从以下公式推导
- .