**一、同角三角函数的基本关系**
**1. 定义**
在直角三角形中,同角三角函数具有以下基本关系:
```
sin θ = cos (90° - θ)
cos θ = sin (90° - θ)
tan θ = cot (90° - θ)
cot θ = tan (90° - θ)
sec θ = csc (90° - θ)
csc θ = sec (90° - θ)
```
**2. 推导**
这些基本关系可以通过几何证明或三角恒等式来推导。
**几何证明**:
在直角三角形中,∠A、∠B、∠C三者之和为180°。因此,∠B + ∠C = 90° - ∠A。
假设∠A = θ,则∠B = 90° - θ、∠C = θ。
根据正弦函数的定义,sin θ = 对边 \/ 斜边 = BC \/ AB。
根据余弦函数的定义,cos θ = 邻边 \/ 斜边 = AC \/ AB。
根据正切函数的定义,tan θ = 对边 \/ 邻边 = BC \/ AC。
根据余切函数的定义,cot θ = 邻边 \/ 对边 = AC \/ BC。
根据正割函数的定义,sec θ = 斜边 \/ 邻边 = AB \/ AC。
根据余割函数的定义,csc θ = 斜边 \/ 对边 = AB \/ BC。
将这些定义代入基本关系中,即可得到:
```
sin θ = sin (90° - θ)
cos θ = cos (90° - θ)
tan θ = cot (90° - θ)
cot θ = tan (90° - θ)
sec θ = csc (90° - θ)
csc θ = sec (90° - θ)
```
**三角恒等式**:
这些基本关系也可以通过三角恒等式来推导。
例如,根据三角恒等式 sin^2 θ + cos^2 θ = 1,可以得到:
```
sin θ = √(1 - cos^2 θ)
cos θ = √(1 - sin^2 θ)
```
将这些公式代入基本关系中,即可得到:
```
sin θ = cos (90° - θ)
cos θ = sin (90° - θ)
tan θ = cot (90° - θ)
cot θ = tan (90° - θ)
sec θ = csc (90° - θ)
csc θ = sec (90° - θ)
```
**二、 应用**
同角三角函数的基本关系在三角学、几何学和物理学中都有广泛的应用,例如:
**1. 三角形面积公式**
三角形面积公式为:
```
S = (1\/2) * b * h
```
其中,b为三角形的底边,h为三角形的高。
如果已知三角形的一个角和两条边长,可以使用同角三角函数的基本关系来求出三角形的高,从而求出三角形的面积。
例如,已知三角形∠A = 30°,AB = 5cm,AC = 8cm,求三角形的面积。
根据正切函数的定义,tan 30° = BC \/ AC = BC \/ 8。
解得:BC = 8 * tan 30° = 4√3 cm。
根据勾股定理,AC^2 = AB^2 + BC^2。
解得:h = √(AC^2 - AB^2) = √(64 - 25) = √39 cm。
因此,三角形面积为:
```
S = (1\/2) * 5cm * √39 cm = (5√39)\/2 cm^2
```
**2. 三角形边长公式**
三角形边长公式为:
```
a^2 = b^2 + c^2 - 2bc * cos A
```
其中,a、b、c分别是三角形的三条边,A是其中一个角。
如果已知三角形的三个角和一条边长,可以使用同角三角函数的基本关系来求出三角形的其他边长。
例如,已知三角形∠A = 30°,∠B = 45°,∠C = 105°,AB = 5cm,求三角形AC和BC的长度。
根据余角定理,∠ACB = 180° - ∠A - ∠B = 180° - 30° - 45° = 105°。
根据正切函数的定义,tan ∠ACB = AC \/ BC。
解得:AC = BC * tan ∠ACB。
因此,AC = BC * tan 105°。
根据正弦函数的定义,sin ∠B = BC \/ AB。
解得:BC = AB \/ sin ∠B。
因此,BC = 5cm \/ sin 45° = 5√2 cm。
将BC代入上式,得到:
```
AC = BC * tan 105° = 5√2 cm * tan 105°
```
根据计算器计算,AC ≈ 10.82cm。
因此,三角形的其他两条边长为AC ≈ 10.82cm和BC = 5√2 cm。
**三、 扩展**
同角三角函数的基本关系也可以推广到复数平面。
在复数平面中,三角函数可以表示为:
```
sin θ = (e^(iθ) - e^(-iθ)) \/ 2i
cos θ = (e^(iθ) + e^(-iθ)) \/ 2
tan θ = (e^(iθ) - e^(-iθ)) \/ (e^(iθ) + e^(-iθ))
```
其中,i是虚数单位,θ是实数。
这些复数三角函数具有与实数三角函数相似