動機
三角運算是否可靠,取決於每一步的邏輯地位是否清楚。恆等式表示
兩個表達式在聲明的共同定義域內處處相等;方程則要求找出定義域
內使兩邊相等的輸入。恆等式可以改寫方程,但解出若干根並不能證明
一個恆等式。
定義域也是結論的一部分。例如 1+tan2θ=sec2θ 只在
cosθ=0 時有意義。分母不為零的限制若沒有先寫下,消去
分母、約分或除法就可能增根或漏根。因此,完整解答應先列原方程的
定義域,標明每次變形是雙向等價還是只產生候選根,再寫出全部週期
解族,最後回到原式驗根。
幾何把這些規則連在一起:弧度描述有方向的轉動,單位圓終點給出帶
符號的正弦與餘弦座標;反射產生對稱,重複轉動產生週期,圓方程產生
畢氏恆等式。反三角函數只選一個主值,真正的通解還要結合對稱性與
週期性。本節的重點不是孤立背誦公式,而是說明公式從何而來、在哪個
定義域成立,以及如何安全地用於方程。
定義
定義
方程、恆等式與聲明的定義域
設 D 是容許的實數輸入集合。方程 F(x)=G(x) 的解集為
S={x∈D:F(x)=G(x)}.若對每個 x∈D,只要 F(x) 與 G(x) 都有定義便有
F(x)=G(x),便稱它是在 D 上的恆等式。含有商、正切、餘切、
正割或餘割時,定義域條件不能省略。
若兩個方程在 D 中有完全相同的解集,便稱它們在 D 上等價。
使用共同定義域上的恆等式、兩邊加減同一個有定義的量,或乘除一個
已經證明不為零的量,都會保持等價。平方或乘以可能為零的式子通常
只能推出候選根;除以可能為零的式子則會丟掉一種情況,必須分類。
可把這些條件寫成「定義域清單」:先記錄原式何時有意義,再在每次
變形旁寫出使逆向推理成立的條件。最後用原始清單篩選週期解族。這樣
可以分開三個問題:表達式是否有定義、變形是否雙向、候選值是否真
滿足原方程。
定義
弧度與有向幾何
半徑 r>0 的圓上,若圓心角截得的有向弧位移為 s,則其帶符號
弧度為
θ=rs.逆時針為正,順時針為負;一周為 2π,所以
π 弧度=180∘,1∘=180π 弧度.在有向約定下,s=rθ 是有向弧位移,
Asigned=21r2θ 是帶符號的掃過面積。相應的
非負總行程弧長與掃過面積分別為 r∣θ∣ 與
21r2∣θ∣。當 ∣θ∣>2π 時,它們會把重複轉動
按次數累計,而不是描述一個簡單扇形區域的邊界長度或面積。
角的頂點在原點且始邊沿正 x 軸時,稱為標準位置角。除非另有
說明,本節所有角都用弧度表示,並容許任意大小的正、負轉動。
定義
以座標定義三角函數
角 θ 的終邊與半徑為 r 的圓交於 P(x,y),其中
r=x2+y2。定義
sinθ=ry,cosθ=rx,tanθ=xy,以及
cscθ=yr,secθ=xr,cotθ=yx.每個商都要求分母不為零。在單位圓上,終點就是
(cosθ,sinθ)。
所選標準角的函數值為
定義
反三角函數的主值範圍
把正弦限制在 [−π/2,π/2],餘弦限制在 [0,π],正切限制在
(−π/2,π/2),便得到
sin−1:[−1,1]⟶[−π/2,π/2],cos−1:[−1,1]⟶[0,π],tan−1:R⟶(−π/2,π/2).這裏的上標 −1 表示反函數,不表示倒數;例如 sin−1k 不是
csck。
定理 / 命題
定理
保持解集的方程變形
固定定義域 D。用在 D 上成立的恆等式改寫、兩邊加減同一個有
定義的量,以及乘除一個已知不為零的量,都保持解集不變。若某一步
只有單向蘊含,所得結果必須稱為候選集,並代回原方程檢驗。
定理
弧度幾何
對半徑 r>0 與帶符號角 θ,
s=rθ,Asigned=21r2θ.單位圓終點是 (cosθ,sinθ);象限決定符號,參考角決定
絕對值。
定理
對稱性與週期性
對任意實數 θ,
sin(−θ)=−sinθ,cos(−θ)=cosθ,sin(π−θ)=sinθ,cos(π−θ)=−cosθ,sin(π+θ)=−sinθ,cos(π+θ)=−cosθ,餘函數關係為
sin(2π−θ)=cosθ,cos(2π−θ)=sinθ,sin(2π+θ)=cosθ,cos(2π+θ)=−sinθ.sin(θ+2π)=sinθ,cos(θ+2π)=cosθ.在兩邊都有定義時,tan(−θ)=−tanθ、
tan(π−θ)=−tanθ、tan(θ+π)=tanθ;兩個
餘函數正切值分別為 cotθ 與 −cotθ,同樣要保留共同
定義域。這組關係把任意帶符號轉角化到參考角,同時保留象限所決定的
符號。正割、餘割的週期是 2π,餘切的週期是 π,也都只在
各自定義域內陳述。
定理
共同定義域上的畢氏恆等式
對所有實數 θ,
sin2θ+cos2θ=1.當 cosθ=0 時,
1+tan2θ=sec2θ;當 sinθ=0 時,
1+cot2θ=csc2θ.
定理
和角與差角公式
對任意實數 α,β,
sin(α±β)=sinαcosβ±cosαsinβ,cos(α±β)=cosαcosβ∓sinαsinβ.正切公式為
tan(α±β)=1∓tanαtanβtanα±tanβ,但只在 tanα、tanβ 與
tan(α±β) 都有定義的共同定義域成立;此時
右邊分母也必定不為零。
定理
倍角公式
對任意實數 α,
sin2α=2sinαcosα,cos2α=cos2α−sin2α=2cos2α−1=1−2sin2α.此外
tan2α=1−tan2α2tanα只在 tanα 與 tan2α 都有定義時成立,右邊分母也須
非零。
定理
積化和差公式
對任意實數 α,β,
sinαcosβ=21{sin(α+β)+sin(α−β)},cosαsinβ=21{sin(α+β)−sin(α−β)},sinαsinβ=−21{cos(α+β)−cos(α−β)},cosαcosβ=21{cos(α+β)+cos(α−β)}.
定理
和差化積公式
對任意實數 A,B,
sinA+sinB=2sin2A+Bcos2A−B,sinA−sinB=2cos2A+Bsin2A−B,cosA+cosB=2cos2A+Bcos2A−B,cosA−cosB=−2sin2A+Bsin2A−B.
定理
三類三角方程的完整通解
設 n∈Z。若 k∈[−1,1] 且 α=sin−1k,則
sinθ=k⟺θ=α+2nπ或θ=π−α+2nπ.若 k∈[−1,1] 且 α=cos−1k,則
cosθ=k⟺θ=±α+2nπ.若 k∈R 且 α=tan−1k,則
tanθ=k⟺θ=α+nπ.端點情況中兩個正弦或餘弦分支可能重合,這只是重複書寫。
定理
輔助角形式
實數 a,b 不同時為零時,令 R=a2+b2。唯一的
α∈[0,2π) 必須同時滿足
Rcosα=a,Rsinα=b,於是
asinθ+bcosθ=Rsin(θ+α).當 a=0 時,比值 tanα=b/a 至多確定相差 π 的兩個
方向;正確象限由兩條帶符號的係數方程共同決定。類似地,若
Rsinβ=a、Rcosβ=b,便有
asinθ+bcosθ=Rcos(θ−β)。
證明思路或證明
證明
弧度為何給出弧與有向面積
帶符號角 θ 佔整周的比例是 θ/(2π)。乘圓周長
2πr 得 s=rθ,乘圓面積 πr2 得
Asigned=21r2θ。順時針掃過時,這些帶符號量
為負;取絕對值得到總行程弧長與非負掃過面積,並按次數累計重複轉動。
證明
單位圓如何給出對稱、週期與畢氏關係
角 θ 的點為 (cosθ,sinθ)。關於 x 軸反射便是
−θ,轉一周回到同一點,轉半周使兩個座標同時變號,所以
y/x 在有定義時保持不變。單位圓方程 x2+y2=1 給出第一條畢氏
恆等式;再除以 cos2θ 或 sin2θ 時,必須保留相應
的非零條件。
證明
由餘弦差角公式生成和差角公式
在單位圓上取
A=(cosα,sinα)、B=(cosβ,sinβ),並以
ϕ∈[0,π] 表示 OA 與 OB 之間的較小夾角。有向角差
α−β 模 2π 後等於 ϕ 或 −ϕ;由餘弦的偶對稱性
與週期性,cosϕ=cos(α−β)。因此餘弦定理給出
AB2=2−2cos(α−β),座標距離公式則給出
AB2=2−2cosαcosβ−2sinαsinβ.比較兩式即得餘弦差角公式。以 −β 代替 β,再用對稱關係,
可得餘弦和角公式;餘函數關係給出正弦公式。用正弦式除以對應餘弦式
可得正切公式,但除法前要聲明所有相關餘弦不為零。
證明
倍角、積與和差公式之間的推導鏈
在和角公式中令 β=α 即得倍角公式。把正弦的和角、差角
公式相加或相減,可分別分離 2sinαcosβ 與
2cosαsinβ;對餘弦公式做同樣處理便得另外兩個積化和差
公式。反過來令 α=(A+B)/2、β=(A−B)/2,便得到四條
和差化積公式。
證明
通解為何不能只寫主值
水平直線與單位圓通常交於兩點,其對應角為 α、
π−α,所以正弦有兩個代表角,再加整周;垂直直線也交於
兩點,其對應角為 α、−α,所以餘弦也有兩支。正切
表示斜率,轉半周後斜率相同,因此只有
α+nπ 一族。固定主值範圍只是選代表角,並未消除週期性。
例題詳解
例題
1. 帶符號弧度、座標、弧與面積
把 −45∘ 化為弧度:
−45∘=−45180π=−4π.單位圓終點為 (2/2,−2/2)。若半徑為 3,則
s=−43π,Asigned=−89π.普通弧長與扇形面積分別是 3π/4、9π/8;負號只記錄順時針
方向,並非物理面積為負。
例題
2. 和差角的精確值
利用和差角公式求 sin15∘ 的精確值。因為 15∘=45∘−30∘,
sin15∘=sin45∘cos30∘−cos45∘sin30∘=2223−2221=46−2.結果為正,也與第一象限的小角相符。
例題
3. 三角形的正切恆等式
設 A,B,C 為三角形內角,並假設三個正切都有定義。由
A+B+C=π,
tanC=−tan(A+B)=−1−tanAtanBtanA+tanB.共同定義域排除了直角情況,也保證分母不為零。整理得
tanA+tanB+tanC=tanAtanBtanC.若不寫定義域,這句話會錯誤地看似包含正切未定義的直角三角形。
例題
4. 半角代換
令 t=tan(θ/2)。有限的 t 要求
θ≡π(mod2π)。倍角與畢氏公式給出
sinθ=1+t22t,cosθ=1+t21−t2.進一步有
tanθ=1−t22t,但這還要求 t=±1。用半角代換解方程時,必須另外檢查遺漏的
θ≡π(mod2π),並保留原方程的所有分母限制。
例題
5. 有理正切方程
求解
1−tanx1+tanx=1+sin2x.原定義域要求 cosx=0、tanx=1。令 t=tanx,因此
t=1,並用 sin2x=2t/(1+t2)。在這些條件下消去分母是等價的:
(1+t)(1+t2)=(1−t)(1+t2)+2t(1−t),所以 2t2(1+t)=0。兩個候選值 t=0,−1 都滿足原式,故
x=nπ或x=−4π+nπ,n∈Z.
例題
6. 先因式分解,再限制區間
利用和差化積及 1+cosx=2cos2(x/2),
cos2x+2cos3x+cos4x=2cos3x(cosx+1)=4cos3xcos22x.因此零點滿足 cos3x=0 或 cos(x/2)=0。第一支為
x=π/6+nπ/3,第二支在 [0,2π] 添加 x=π。區間內按
大小排列的答案是
{6π,2π,65π,π,67π,23π,611π}.
例題
7. 用符號選輔助角
把 3sinθ−cosθ 化為兩種輔助角形式。正弦形式要求
Rcosα=3,Rsinα=−1.故 R=2,餘弦正而正弦負,α 在第四象限,取
α=11π/6。餘弦形式則要求
Rsinβ=3、Rcosβ=−1,所以 β 在第二象限,
取 2π/3。因此
3sinθ−cosθ=2sin(θ+611π)=2cos(θ−32π).只看正切比值無法排除對面象限的角。
例題
8. 修正單一正弦方程的分支
因為
3cosx−sinx=2sin(x+32π),方程 3cosx−sinx=1 化為
sin(x+2π/3)=1/2。兩支分別給出
x=−2π+2nπ或x=6π+2nπ.第二支是正的 π/6,不是 −π/6;代入 x=π/6 得
3/2−1/2=1。
例題
9. 分母限制與驗根
求解
8cosx=cosx1−sinx3.先聲明 sinx=0、cosx=0。在此定義域乘
sinxcosx 是等價變形。整理並用積化和差得
2sin2xcosx=21sinx−23cosx,sin3x=sin(x+34π).正弦的兩支通解給出
x=32π+nπ或x=−12π+2nπ,n∈Z.兩族都不會使正弦或餘弦為零,所以都通過原定義域篩選;代回等價的
消去分母方程即可確認完整性。
常見錯誤
常見錯誤
把方程當作恆等式
sinx=1/2 只在解集上成立;sin2x+cos2x=1 才是在聲明
定義域上處處成立。變形前先說明所處理的是哪一種命題。
常見錯誤
只寫反三角函數主值
主值只是代表角。必須利用對稱與週期寫出全部正弦、餘弦或正切解族,
然後才限制到題目指定的區間。
常見錯誤
忽略正切公式的共同定義域
正弦、餘弦的和差角公式對所有實數角成立;正切公式是商,必須檢查
兩個輸入角及其和或差的餘弦均不為零。
常見錯誤
除掉可能為零的因子
從 F(x)G(x)=0 直接除以 F(x) 會刪去 F(x)=0 的整種情況。
除非已證明非零,否則應使用零乘積法則或分類討論。
常見錯誤
消去分母後忘記原來的排除值
消去分母前先寫所有分母不為零的條件。最後的解必須經過這些條件
篩選,並在原有理三角方程中驗根。
常見錯誤
以為半角代換覆蓋整圓
有限的 t=tan(θ/2) 遺漏
θ≡π(mod2π);正切的有理式還要求 1−t2=0。
常見錯誤
只憑正切比值選擇輔助角
正切只能把角確定到模 π。必須同時使用
Rcosα=a、Rsinα=b 的符號來選象限。
常見錯誤
把有向面積當成普通面積
角帶符號時,21r2θ 是有向掃過面積;非負掃過面積要
使用 ∣θ∣。多周角會把每次掃過累計起來,而不是描述一個簡單
扇形區域。
總結
驗根不是形式上的附加步驟;它確認定義域、每個分支與等價條件都沒有
在變形鏈中遺失。
- 先聲明原方程定義域與分母排除值;標記單向步驟,並在原式驗根。
- 弧度連接有向轉動、弧與掃過面積;單位圓給出座標、符號、對稱與
週期。
- 畢氏、和差角、倍角、積化和差及和差化積公式可以互相推導;商式
必須附共同定義域。
- 反三角函數提供主值,單位圓對稱與週期才產生完整通解。
- 輔助角的 R=a2+b2 來自係數平方和,象限來自兩條帶符號
的係數方程。
- 解有理三角方程時,先排除分母零點,再在容許的定義域內變形、求解
與核驗。
練習
- 在兩邊的共同定義域上證明
tan(A+B)+tan(A−B)=cos2A+cos2B2sin2A.
- 推導
sin3θ=3sinθ−4sin3θ,cos3θ=4cos3θ−3cosθ.
- 證明
4cosθcos(32π+θ)cos(32π−θ)=cos3θ.
- 證明
sin2θ+sin2ϕ−sin2(θ−ϕ)=2sinθsinϕcos(θ−ϕ).
- 若 A,B,C 為三角形內角,證明
tan2Atan2B+tan2Btan2C+tan2Ctan2A=1.
- 若 A,B,C 為三角形內角,證明
cos2A+cos2B+cos2C=1−2cosAcosBcosC.
- 對實數 a,b 且 b=0,推導
asinθ+bcosθ=Rcos(θ−α),其中 R>0,
並寫出無象限歧義地確定 α∈[0,2π) 的條件。
- 寫出 sinθ=−1/2、cosθ=2/2 與
tanθ=−3 的全部實數解。
答案與解答
解答 · 解答 1
在所有商都有定義處,通分後分子為
sin(A+B)cos(A−B)+sin(A−B)cos(A+B)=sin2A。又有
2cos(A+B)cos(A−B)=cos2A+cos2B.代入即得所求。共同定義域條件保證兩個分母均不為零。
解答 · 解答 2
把 3θ 寫成 2θ+θ,使用和角與倍角公式:
sin3θ=2sinθcos2θ+(cos2θ−sin2θ)sinθ=3sinθ−4sin3θ,cos3θ=(cos2θ−sin2θ)cosθ−2sin2θcosθ=4cos3θ−3cosθ.
解答 · 解答 3
積化和差給出
2cos(32π+θ)cos(32π−θ)=−21+cos2θ.再乘 2cosθ,得到
4cos3θ−3cosθ=cos3θ。
解答 · 解答 4
展開 sin(θ−ϕ),左邊化為
2sin2θsin2ϕ+2sinθcosθsinϕcosϕ.提出 2sinθsinϕ,括號內正是
cos(θ−ϕ),故結論成立。
解答 · 解答 5
令 u=A/2、v=B/2、w=C/2,則 u+v+w=π/2,且三個餘弦
均為正。展開和角餘弦並提出它們的乘積:
0=cosucosvcosw(1−tanutanv−tanvtanw−tanwtanu).所以括號為零,移項即得原式。
解答 · 解答 6
由 C=π−(A+B) 得
cosC+cosAcosB=sinAsinB。於是
cos2A+cos2B+cos2C+2cosAcosBcosC=(cosC+cosAcosB)2+cos2A+cos2B−cos2Acos2B=1.把乘積項移到右邊即可。
解答 · 解答 7
展開
Rcos(θ−α)=Rcosθcosα+Rsinθsinα.比較係數得 Rsinα=a、Rcosα=b,平方相加得
R=a2+b2。tanα=a/b 只給方向;兩條係數方程的
符號選出 [0,2π) 中唯一的角。
解答 · 解答 8
利用主值範圍和完整通解公式,
sinθ=−21:θ=−6π+2nπ或θ=67π+2nπ,cosθ=22:θ=±4π+2nπ,tanθ=−3:θ=−3π+nπ,n∈Z.