中華民國第 61 屆中小學科學展覽會 作品說明書
排版\050414-封面
高級中等學校組 數學科 (鄉土)教材獎
050414-封面
在多邊形中尋找反正切函數是否搞錯了甚麼
學校名稱:國立屏東高級中學
作者: 指導老師:
高二 陳柏澔 高二 梁耘睿 高二 曾俊哲
張宮明
關鍵詞:多邊形、反正切函數
摘要
本文由六個結合 tan−1 的等式及其所搭配的無字證明圖形出發,結合多邊形的性質發展出 新的圖形,並以向量以及三角函數佐以證明 tan−1 與多邊形的全新等式,並且討論四邊形中四 個角的不同狀況以得出不同定理。本文最大的價值在於:我們將國中學過的鏢形三內角相加等於 一外角的特性加以運用到四邊形,並結合高中所學的三角函數以及反三角函數和利用了方格紙 將圖形座標化後以內積公式去求出各個條件下四邊形的一般式,因此我們能夠利用此一般式快 速地利用座標來去算出不同四邊形的關係式。而本文最大的特色在於,我們將大部分國中及高 中所學知識融會貫通後,將其運用在我們報告中,且在本文中我們利用了假設各點並小心的驗 算列出了各圖形在各個條件下的一般式。
壹、研究動機:
國中時,我們都曾經作過科展,於是上高中後,我們便踏入了這個我們既熟悉又陌生的 科展領域 : 數學科。在開始這門研究時,我們充滿了自信,相信著我們肯定能創作出一件好 作品。一開始的我們勢如破竹,研究如飛梭般的進展,但好景不常,很快的我們遇到了許多 瓶頸。找不到可推廣方向、因資料太過龐大無法計算算是小事,最慘的就是在科展博覽會上 見到了自己的主題被別人研究透徹的光景。在我們面如死灰,大量的找尋新題目時,科展指 導老師給了我們一篇有趣的數學文章,作者 REX H. WU 用短短的兩頁,介紹了好幾個有關 於反三角函數的公式:
(1) arctanφ = arctan(1
2) + (1
2)arctan2,
(2) arctanφ - arctan(1
𝜑) = arctan(1
2) (3) 2arctan(𝜑1) = arctan2
(4) arctanφ + (1
2)arctan2 = 𝜋
2 =2arctan(1
𝜑) + arctan(1
2) (5) arctanφ - 2arctan(1
𝜑) = arctan(1
2) - (1
2)arctan2 (6) arctanφ = 𝜋
4 + (1
2)arctan(1
2)
作者 RE.0 X H. WU 用畫圖的方式,列出了以上的五個等式,但唯一的缺點便是證明並 不完善,故我們決定先詳細證明之,但在證明的過程中,我們也開始對這個主題有了許多的 發想,包括將數列、方格紙、向量等等的數學主題融合進去,於是在如此的構想之下,我們 就這麼開始了
貳、研究目的:
根據此題目,我們準備了下述的幾個研究目的
1、如何以圖形和文字詳細證明上述六個式子。
2、將上述六個式子進行一般式推廣。
3、將費氏數列帶進其中,找尋規律。
4、將其三角形的反三角函數等式推廣成多邊形的反三角函數等式。
,
參、研究設備及器材:
鉛筆、橡皮擦、紙、筆記型電腦、手機。
肆、研究過程與方法:
第一部分 : 原式的圖形詳細證明及一般化證明
在上述文章中,我們得到了作者提供的六個反三角函數式,但因為作者說明的不完全,
第一步我們決定以圖形及文字證明的方式來詳細證明此六個式子。而第二步則是將各式進行 一般化的操作。
第一式介紹
φ=(√5+1)
2 ,1
𝜑= (√5−1)
2
(1)第一式證明: arctanφ = arctan(1
2) + (1
2)arctan2 在 ΔBCE 中,tanγ= 1
(√5−1) 2
= (√5+1)
2 ,又 γ=α+β
故 tan(α+β) = (√5+1)
2 =φ,則可得 arctanφ=arctan(√5+1)
2 =α+β 在 ΔABE 中,tanβ=
1 2 1 = 1
2 ,故 arctan1
2 =β
在 ΔABE 中,tan2α= 11
2
=2 ,故 arctan2 =2α,1
2arctan2 =α 故 arctan(φ)=γ=α+β,代入原式,(α+β)=β+α 得證
(2)我們將第一式推廣成定理一 定理一:arctan(𝑏
𝑎)=arctan(𝑏
2−𝑎2 2𝑎𝑏 ) + 1
2arctan( 2𝑎𝑏
𝑏2−𝑎2)
證明:
因為 ΔABC 是等腰三角形
由圖可知𝐴𝐵 = √𝑎2+ 𝑏2 = 𝐴𝐶 由 ΔABC 面積可知 2a × b × 1
2= √𝑎2+ 𝑏2 × 𝐵𝐸 × 1
2
可得 𝐵𝐸 = 2𝑎𝑏
√𝑎2+𝑏2
而由 ΔABE 中,利用畢氏定理可得𝐵𝐸 2 = 𝐴𝐵 2-𝐴𝐸 2,𝐴𝐸 2 = 𝐴𝐵 2-𝐵𝐸 2
𝐴𝐸 2 = 𝑎2+ 𝑏2—4𝑎2𝑏2
𝑎2+𝑏2 = (𝑎2− 𝑏2)2
𝑎2+𝑏2 ,得𝐴𝐸 = |𝑎2− 𝑏
2|
√𝑎2+𝑏2
= 𝑏2− 𝑎2
√𝑎2+𝑏2
設
∠
BAD= ∠CAD=α,∠
ABE=β,∠
ACD= ∠ABD=γ,且 γ=α+β tanγ= 𝑏𝑎,tanβ=𝐴𝐸
𝐵𝐸 = 𝑏2−𝑎2
2𝑎𝑏 ,tan2α=𝐵𝐸
𝐴𝐸 = 2𝑎𝑏
𝑏2−𝑎2
可推得 arctan(𝑏
𝑎)=arctan(𝑏
2−𝑎2 2𝑎𝑏 ) + 1
2arctan( 2𝑎𝑏
𝑏2−𝑎2)
第二式介紹
(1) 第二式證明:arctanφ-arctan(1
𝜑) = arctan(1
2), 在 ΔABE 中,tanβ=
1 2 1 =1
2,故 arctan(1
2)=β
在 ΔBCE 中,tanα=
√5−1 2
1 = 1
𝜑,故 arctan(1
𝜑)=α 在 ΔBCE 中,tanγ= 1
(√5−1) 2
=√5+1
2 =φ,由圖可知 γ=α+β,
故 arctan(φ)=γ=α+β,代入原式 (α+β)-α=β,故得證
(2) 我們將第二式推廣成定理二 定理二:arctan𝑏
𝑎-arctan𝑎
𝑏=arctan𝑏2−𝑎2
2𝑎𝑏
證明:
因為 ΔABC 是等腰三角形 由圖可知𝐴𝐵 = √𝑎2+ 𝑏2 = 𝐴𝐶 由 ΔABC 面積可知 2a × b × 1
2= √𝑎2+ 𝑏2× 𝐵𝐸 1
2
可得𝐵𝐸 = 2𝑎𝑏
√𝑎2+𝑏2
而由 ΔABE 中,利用畢氏定理可得𝐵𝐸 2 = 𝐴𝐵 2-𝐴𝐸 2,𝐴𝐸 2 = 𝐴𝐵 2-𝐵𝐸 2
𝐴𝐸 2 = 𝑎2+ 𝑏2− 4𝑎2𝑏2
𝑎2+𝑏2 = (𝑎2− 𝑏2)2
𝑎2+𝑏2 ,得𝐴𝐸 =|𝑎2− 𝑏2|
√𝑎2+𝑏2= 𝑏2− 𝑎2
√𝑎2+𝑏2
設
∠
BAD= ∠CAD=α,∠
ABE=β,∠
ACD= ∠ABD=γ,且 γ-α=β tanγ= 𝑏𝑎,tanα=𝐵𝐷
𝐴𝐷 = 𝑎
𝑏,tanβ=𝐴𝐸
𝐵𝐸 =𝑏2−𝑎2
2𝑎𝑏
可推得 arctan𝑏
𝑎-arctan𝑎
𝑏=arctan𝑏2−𝑎2
2𝑎𝑏
第三式介紹
(1) 第三式證明:2 arctan(1
𝜑) = arctan2
在 ΔBCE 中,tanα=
√5−1 2 1 = 1
𝜑, 故 arctan(1)=α,2arctan(1)= 2α,
在 ΔABE 中,tan2α= 11
2
= 2 ,故 arctan2=2α,
故 2arctan(1
𝜑)= 2α,代入原式,2α=2α,故得證
.
(2)我們將第三式推廣成定理三 定理三:2arctan𝑎
𝑏=arctan 2𝑎𝑏
𝑏2− 𝑎2
證明:
因為 ΔABC 是等腰三角形 由圖可知𝐴𝐵 = √𝑎2+ 𝑏2 = 𝐴𝐶 由 ΔABC 面積可知 2a × b ×1
2= √𝑎2+ 𝑏2×𝐵𝐸×1
2
可得𝐵𝐸 = 2𝑎𝑏
√𝑎2+𝑏2
而由 ΔABE 中,利用畢氏定理可得𝐵𝐸 2 = 𝐴𝐵 2-𝐴𝐸 2,𝐴𝐸 2 = 𝐴𝐵 2-𝐵𝐸 2
𝐴𝐸 2 = 𝑎2+ 𝑏2− 4𝑎2𝑏2
𝑎2+𝑏2 = (𝑎2− 𝑏2)2
𝑎2+𝑏2 ,得𝐴𝐸 =|𝑎2− 𝑏2|
√𝑎2+𝑏2= 𝑏2− 𝑎2
√𝑎2+𝑏2
設
∠
BAD= ∠CAD=α,∠
ABE=β,∠
ACD= ∠ABD=γ,且 γ=α+β 在 ΔABD 中,tanα=𝐵𝐷𝐴𝐷 = 𝑎
𝑏,arctan𝑎
𝑏=α
在 ΔABE 中,tan2α= 𝐵𝐸
𝐴𝐸 =
2𝑎𝑏
√𝑎2+𝑏2 𝑏2− 𝑎2
√𝑎2+𝑏2
= 2𝑎𝑏
𝑏2− 𝑎2,arctan 2𝑎𝑏
𝑏2− 𝑎2=2α
可推得 2arctan𝑎
𝑏=arctan 2𝑎𝑏
𝑏2− 𝑎2
第四式介紹
(1)第四式證明:
arctanφ+ (1
2)arctan2 = 𝜋
2 = 2 arctan(1
𝜑) +arctan(1
2) 在 ΔBCE 中,tanγ= 1
(√5−1) 2
=√5+1
2 =φ,故 arctanφ=γ
在 ΔABE 中,tan2α= 11
2
= 2 ,故 arctan2= 2α,1
2arctan2 =α 在 ΔBCE 中,α+γ=arctanφ+1
2arctan2= 90°=𝜋
2,故得證
在 ΔBCE 中,tanα=
√5−1 2 1 = 1
𝜑,故 arctan(1
𝜑)=α,2arctan(1
𝜑)= 2α 在 ΔABE 中,tanβ=
1 2 1 =1
2,故 arctan(1
2)=β 在 ΔABE 中,2α+β=2arctan(1
𝜑)+ arctan(1
2)= 90°= 𝜋
2,故得證
(2)我們將第四式推廣成定理四 定理四: 2arctan𝑎
𝑏 + arctan𝑏2−𝑎2
2𝑎𝑏 = 1
2arctan 2𝑎𝑏
𝑏2− 𝑎2 + arctan𝑏
𝑎 = 𝜋
2
證明:
因為 ΔABC 是等腰三角形 由圖可知𝐴𝐵 = √𝑎2+ 𝑏2 = 𝐴𝐶 由 ΔABC 面積可知 2a × b ×1
2= √𝑎2+ 𝑏2×𝐵𝐸×1
2
可得𝐵𝐸 = 2𝑎𝑏
√𝑎2+𝑏2
而由 ΔABE 中,利用畢氏定理可得𝐵𝐸 2 = 𝐴𝐵 2-𝐴𝐸 2,𝐴𝐸 2 = 𝐴𝐵 2-𝐵𝐸 2
𝐴𝐸2 = 𝑎2+ 𝑏2—4𝑎2𝑏2
𝑎2+𝑏2 = (𝑎2− 𝑏2)2
𝑎2+𝑏2 ,得𝐴𝐸 =|𝑎2− 𝑏2|
√𝑎2+𝑏2 = 𝑏2− 𝑎2
√𝑎2+𝑏2
設
∠
BAD= ∠CAD=α,∠
ABE=β,∠
ACD= ∠ABD=γ,且 γ=α+β 在 ΔABD 中,tanγ=𝐴𝐷𝐵𝐷=𝑏
𝑎 ,arctan𝑏
𝑎=γ
在 ΔABE 中,tan2α=𝐵𝐸
𝐴𝐸=
2𝑎𝑏
√𝑎2+𝑏2 𝑏2− 𝑎2
√𝑎2+𝑏2
= 2𝑎𝑏
𝑏2− 𝑎2
arctan 2𝑎𝑏
𝑏2− 𝑎2= 2α,α=1
2arctan 2𝑎𝑏
𝑏2− 𝑎2
在 ΔBCE 中,α+γ= 90°= 𝜋
2,故1
2arctan 2𝑎𝑏
𝑏2− 𝑎2+arctan𝑏
𝑎= 90°=𝜋
2
在 ΔABD 中,tanα=𝐵𝐷
𝐴𝐷= 𝑎
𝑏, arctan𝑎
𝑏=α,2arctan𝑎
𝑏 = 2α 在 ΔABE 中,tanβ=𝐴𝐸
𝐵𝐸= 𝑏2−𝑎2
2𝑎𝑏 ,arctan𝑏2−𝑎2
2𝑎𝑏 =β 在 ΔABE 中,2α+β= 90°= 𝜋
2,故 2arctan𝑎
𝑏+arctan𝑏
2−𝑎2
2𝑎𝑏 = 90°= 𝜋
2
可推得 2arctan𝑎
𝑏+arctan𝑏2−𝑎2
2𝑎𝑏 = 1
2arctan 2𝑎𝑏
𝑏2− 𝑎2+arctan𝑏
𝑎 = 𝜋
2
第五式介紹
(1)第五式證明:
arctanφ-2 arctan(1
𝜑) = arctan(1
2)-(1
2)arctan2 在 ΔBCE 中,tanγ= 1
(√5−1) 2
=√5+1
2 =φ 故 arctanφ=γ
在 ΔBCE 中,tanα=
√5−1 2 1 = 1
𝜑,故 arctan(1
𝜑)=α,2arctan(1
𝜑)= 2α 在 ΔABE 中, tanβ=
1 2 1 =1
2,故 arctan(1
2)=β 在 ΔABE 中,tan2α= 11
2
= 2 ,故 arctan2=2α,1
2arctan2 = α arctanφ- 2 arctan(1
𝜑) = arctan(1
2)-(1
2)arctan2
⇒
γ-2α=β-α⇒
γ=β+α因 ΔABC 為等腰三角形,故得證
(2)我們將第五式推廣成定理五 定理五:arctan𝑏
𝑎 -2arctan𝑎
𝑏=arctan𝑏2−𝑎2
2𝑎𝑏 -arctan 2𝑎𝑏
𝑏2− 𝑎2
證明:
因為 ΔABC 是等腰三角形 由圖可知𝐴𝐵 = √𝑎2+ 𝑏2 = 𝐴𝐶 由 ΔABC 面積可知 2a × b × 1
2= √𝑎2+ 𝑏2 × 𝐵𝐸 × 1
2
可得𝐵𝐸 = 2𝑎𝑏
√𝑎2+𝑏2
而由 ΔABE 中,利用畢氏定理可得𝐵𝐸 2 = 𝐴𝐵 2-𝐴𝐸 2,𝐴𝐸 2 = 𝐴𝐵 2-𝐵𝐸 2
𝐴𝐸2 = 𝑎2+ 𝑏2− 4𝑎2𝑏2
𝑎2+𝑏2 = (𝑎2− 𝑏2)2
𝑎2+𝑏2 ,得𝐴𝐸 = |𝑎2− 𝑏2|
√𝑎2+𝑏2
= 𝑏2− 𝑎2
√𝑎2+𝑏2
設
∠
BAD= ∠CAD=α,∠
ABE=β,∠
ACD= ∠ABD=γ,且 γ=α+β 在 ΔABD 中,tanγ=𝐴𝐷𝐵𝐷=𝑏
𝑎、tanα=𝐵𝐷
𝐴𝐷= 𝑎
𝑏
在 ΔABE 中,tanβ=𝐴𝐸
𝐵𝐸= 𝑏2−𝑎2
2𝑎𝑏 、tan
∠
2α=𝐵𝐸𝐴𝐸=
2𝑎𝑏
√𝑎2+𝑏2 𝑏2− 𝑎2
√𝑎2+𝑏2
= 2𝑎𝑏
𝑏2− 𝑎2
從原式證明的 γ- 2α=β-α 可得 arctan𝑏
𝑎 -2arctan𝑎
𝑏=arctan𝑏2−𝑎2
2𝑎𝑏 -arctan 2𝑎𝑏
𝑏2− 𝑎2
第六式介紹
(1)第六式證明:
arctanφ= 𝜋
4 + (1
2)arctan(1
2) 在 ΔBCE 中,tanγ= 1
(√5−1) 2
=√5+1
2 =φ,由圖可知
∠
γ= ∠α+β在 ΔABE 中,tanβ=
1 2 1 =1
2,故 arctan(1
2)=β,(1
2)arctan(1
2)= 𝛽
2
而由定理(四)可知 𝜋
2 = β+2α,故 𝜋
4 = α+𝛽
2
故 arctan(φ)=γ=α+β,代入原式(α+β)= (α+𝛽
2)+𝛽
2, 故得證
(2)我們將第六式推廣成定理六 定理:arctan𝑏
𝑎= 𝜋
4+1
2arctan𝑏
2−𝑎2 2𝑎𝑏
因為 ΔABC 是等腰三角形 由圖可知𝐴𝐵 = √𝑎2+ 𝑏2 = 𝐴𝐶
由 ΔABC 面積可知 2a × b ×12= √𝑎2+ 𝑏2×𝐵𝐸×1
2
可得𝐵𝐸 = 2𝑎𝑏
√𝑎2+𝑏2
而由 ΔABE 中,利用畢氏定理可得𝐵𝐸 2 = 𝐴𝐵 2-𝐴𝐸 2,𝐴𝐸 2 = 𝐴𝐵 2-𝐵𝐸 2
𝐴𝐸2 = 𝑎2+ 𝑏2− 4𝑎2𝑏2
𝑎2+𝑏2 = (𝑎2− 𝑏2)2
𝑎2+𝑏2 ,得𝐴𝐸 = |𝑎2− 𝑏
2|
√𝑎2+𝑏2
= 𝑏2− 𝑎2
√𝑎2+𝑏2
在 ΔABD 中,tanγ=𝐴𝐷
𝐵𝐷= 𝑏
𝑎、tanα=𝐵𝐷
𝐴𝐷=𝑎
𝑏
在 ΔABE 中,tanβ=𝐴𝐸
𝐵𝐸= 𝑏2−𝑎2
2𝑎𝑏 ,故 arctan𝑏2−𝑎2
2𝑎𝑏 =β,1
2arctan𝑏2−𝑎2
2𝑎𝑏 =1
2β 而由原式可知 𝜋
2 = 2α+β,故 𝜋
4 = α+𝛽
2
γ=α+β= (α+𝛽
2)+𝛽
2
可推得 arctan𝑏
𝑎= 𝜋
4+1
2arctan𝑏
2−𝑎2 2𝑎𝑏
將上述六個我們研究出的定理整理如下(b>a)
定理一:arctan(𝑏𝑎)=arctan(𝑏2−𝑎2
2𝑎𝑏 ) + 1
2arctan( 2𝑎𝑏
𝑏2−𝑎2) 定理二:arctan𝑏
𝑎-arctan𝑎
𝑏=arctan𝑏2−𝑎2
2𝑎𝑏
定理三:2arctan𝑎
𝑏=arctan 2𝑎𝑏
𝑏2− 𝑎2
定理四:2arctan𝑎
𝑏+arctan𝑏
2−𝑎2 2𝑎𝑏 = 1
2arctan 2𝑎𝑏
𝑏2− 𝑎2+arctan𝑏
𝑎
定理五:arctan𝑏
𝑎 -2arctan𝑎
𝑏=arctan𝑏2−𝑎2
2𝑎𝑏 -arctan 2𝑎𝑏
𝑏2− 𝑎2
定理六:arctan𝑏
𝑎= 𝜋
4+1
2arctan𝑏
2−𝑎2 2𝑎𝑏
推廣(一): 費氏數列
我們先利用定理一作為探討對象,把費氏數列的前項以及後項分別當成分母和分子代入:
令分母=1
2底=a, 分子=高=b
當 a=1,b=2 時,可得上面的 arctan2=α+β
將我們所得出的代入一般式得 arctan3
4=β,arctan4
3=2α,1
2arctan4
3=α
∴arctan2=arctan3
4+1
2arctan4
3
當 a=2,b=3 時,可得上面的 arctan3
2=α+β
將我們所得出的代入一般式得 arctan5
12=β,arctan12
5 =2α,1
2arctan12
5 =α
∴arctan3
2=arctan5
12+1
2arctan12
5
以此類推,我們繼續往下運算了幾次,並製作了一張表格
公式𝑏𝑎(b>a) arctan(𝑏𝑎)=arctan(𝑏
2−𝑎2 2𝑎𝑏 ) + 1
2arctan( 2𝑎𝑏
𝑏2−𝑎2) 2
1
arctan(𝑓3
𝑓2)=arctan(3
4) + 1
2arctan(4
3) 3
2
arctan(𝑓𝑓4
3
)=arctan(5
12) + 1
2arctan(12
5) 5
3
arctan(𝑓𝑓5
4
)=arctan(16
30) + 1
2arctan(30
16) 8
5
arctan(𝑓𝑓6
5
)=arctan(39
80) + 1
2arctan(80
39)
設費氏數列為𝑓𝑛 由上圖三角形
設 a= 𝑓𝑛 b= 𝑓𝑛+1 並代入公式(一) 當 n>=2 時
則 arctan(𝑓𝑛+1
𝑓𝑛 )= arctan(𝑓𝑛+1
2−𝑓𝑛2 2𝑓𝑛+1𝑓𝑛 ) +1
2arctan( 2𝑓𝑛+1𝑓𝑛
𝑓𝑛+12−𝑓𝑛2) 又1
2arctan( 2𝑓𝑛+1𝑓𝑛
𝑓𝑛+12−𝑓𝑛2)=1
2 ∠2α= ∠α=arctan(𝑎
𝑏)= arctan( 𝑓𝑛
𝑓𝑛+1) 故可推得定理七: arctan(𝑓𝑛+1𝑓
𝑛
)= arctan(𝑓𝑛+1
2−𝑓𝑛2
2𝑓𝑛+1𝑓𝑛 ) + arctan(𝑓𝑓𝑛
𝑛+1
)
延伸研究:凹凸四邊形的反三角函數研究
研究緣由:在探究前面的式子時,我們遇到了些研究瓶頸,想不到該延伸至何處,就在這時,
我們靈光一閃,想難道反三角函數只能讓區區兩角相加嗎。所以我們便開始讓多個角進行相 加,試圖找出多個角相加的反三角函數式。首先便是四邊形的推廣。
對於四邊形的要求,我們先指定為一個凹四邊形(鏢型)ABCD,並固定其兩邊長𝐴𝐵、𝐴𝐷、以 𝐵𝐷內的點作為 C 點找出鏢型 ABCD,並藉由代數、三角函數、向量等等數學工具找出反三 角函數與鏢型 ABCD 四個角的對應關聯。
*固定 A,B,D 點,調整 C 點座標 1. A(0,0) B(3,4) C(4,1) D(5,0)
∠
BAD+∠
ADC+∠
ABC= ∠BCD∠
BCD=arctan(−12)
∠
BAD=arctan(43)
∠
ABC=arctan(139)
∠
ADC=arctan(1) arctan(−12)=arctan(4
3)+arctan(13
9)+arctan(1) 同理 設 C(x,y)
故 AB 向量(3,4)BA 向量(-3,-4) BC 向量(X-3,Y-4)CB 向量(3-X,4-Y) CD 向量(5-X,-Y)DC 向量(X-5,Y) DA 向量(-5,0)AD 向量(5,0)
(1)cos
∠
BCD= 𝐶𝐵⃑∙𝐶𝐷⃑|𝐶𝐵⃑| |𝐶𝐷⃑|,cos
∠
BCD= 𝑋2+𝑌2−8𝑋−4𝑌+15√𝑋2+𝑌2−6𝑋−8𝑌+25√𝑋2+𝑌2−10𝑋+25
,tan
∠
BCD= −4𝑋−2𝑌+20𝑋2+𝑌2−8𝑋−4𝑌+15
(2)cos
∠
BAD= 𝐴𝐵⃑∙𝐴𝐷⃑|𝐴𝐵⃑| |𝐴𝐷⃑|,cos
∠
BAD=3𝑥5+4𝑥05𝑥5 =3
5,tan
∠
BAD=43
(3)cos
∠
ADC= 𝐷𝐴⃑∙𝐷𝐶⃑|𝐷𝐴⃑| |𝐷𝐶⃑|,cos
∠
ADC= 25−5𝑋√𝑋2+𝑌2−10𝑋+25√25
,tan
∠
ADC= 𝑌5−𝑋 (4)cos
∠
ABC= 𝐵𝐴⃑∙𝐵𝐶⃑|𝐵𝐴⃑| |𝐵𝐶⃑|,cos
∠
ABC= 25−3𝑋−4𝑌√𝑋2+𝑌2−6𝑋−8𝑌+25√25
,tan
∠
ABC= 4𝑋−3𝑌−3𝑋−4𝑌+25
結合(1)(2)(3)(4)可推得下列一般式:
arctan( −4𝑋−2𝑌+20
𝑋2+𝑌2−8𝑋−4𝑌+15)=arctan(4
3)+arctan( 4𝑋−3𝑌
−3𝑋−4𝑌+25)+arctan( 𝑌
5−𝑋)
*固定 A,B,D 點,調整 C 點座標 2. A(0,0) B(0,5) C(1,1) D(5,0)
∠
BAD+∠
ABC+∠
ADC= ∠BCD∠
BCD=arctan(−158 )
∠
BAD=(𝜋2)
∠
ABC=arctan(14)
∠
ADC=arctan(14) arctan(−15
8 )= 𝜋
2+arctan(1
4)+arctan(1
4) 同理 設 C(x,y)
故 AB 向量(0,5)BA 向量(0,-5) BC 向量(X,Y-5)CB 向量(-X,5-Y) CD 向量(5-X,-Y)DC 向量(X-5,Y) DA 向量(-5,0)AD 向量(5,0)
(1)cos
∠
BCD=|𝐶𝐵⃑| |𝐶𝐷⃑|𝐶𝐵⃑∙𝐶𝐷⃑ ,cos∠
BCD= 𝑋2+𝑌2−5𝑋−5𝑌√𝑋2+𝑌2−10𝑌+25√𝑋2+𝑌2−10𝑋+25
,tan
∠
BCD= 5𝑋+5𝑌−25𝑋2+𝑌2−5𝑋−5𝑌
(2)
∠
BAD=90 度=𝜋2
(3)cos
∠
ADC= 𝐷𝐴⃑∙𝐷𝐶⃑|𝐷𝐴⃑| |𝐷𝐶⃑|,cos
∠
ADC= 25−5𝑋√𝑋2+𝑌2−10𝑋+25√25
,tan
∠
ADC= 𝑌5−𝑋 (4)cos
∠
ABC= 𝐵𝐴⃑∙𝐵𝐶⃑|𝐵𝐴⃑| |𝐵𝐶⃑|,cos
∠
ABC= 25−5𝑌√𝑋2+𝑌2−10𝑌+25√25
,tan
∠
ABC= 𝑋5−𝑌
結合(1)(2)(3)(4)可推得下列一般式:
arctan( 5𝑋+5𝑌−25
𝑋2+𝑌2−5𝑋−5𝑌)=arctan( 𝑋
5−𝑌)+arctan( 𝑌
5−𝑋)+(𝜋
2)
*固定 A,B,D 點,調整 C 點座標 3. A(0,0) B(3,4) C(3,3) D(4,3)
∠
BAD+∠
ABC+∠
ADC= ∠BCD∠
BCD=(𝜋2)
∠
BAD=arctan(1225)
∠
ABC=arctan(34)
∠
ADC=arctan(34)
𝜋
2=arctan(12
25)+arctan(34)+arctan(34) 同理 設 C(x,y)
故 AB 向量(3,4)BA 向量(-3,-4) BC 向量(X-3,Y-4)CB 向量(3-X,4-Y) CD 向量(4-X,3-Y)DC 向量(X-4,Y-3) DA 向量(-4,-3)AD 向量(4,3)
(1)cos
∠
BCD= 𝐶𝐵⃑∙𝐶𝐷⃑|𝐶𝐵⃑| |𝐶𝐷⃑|,cos
∠
BCD= 𝑋2+𝑌2−7𝑋−7𝑌+24√𝑋2+𝑌2−6𝑋−8𝑌+25√𝑋2+𝑌2−8𝑋−6𝑌+25
,tan
∠
BCD=( 𝑥+𝑦−7𝑋2+𝑌2−7𝑥−7𝑦+29) (2)cos
∠
BAD= 𝐴𝐵⃑∙𝐴𝐷⃑|𝐴𝐵⃑| |𝐴𝐷⃑|,cos
∠
BAD=3𝑥4+4𝑥35𝑥5 =24
25,tan
∠
BAD= 724
(3)cos
∠
ADC= 𝐷𝐴⃑∙𝐷𝐶⃑|𝐷𝐴⃑| |𝐷𝐶⃑|,cos
∠
ADC= 25−4𝑋−3𝑌√𝑋2+𝑌2−8𝑋−6𝑌+25√25
,tan
∠
ADC= 3𝑋−4𝑌25−4𝑋−3𝑌
(4)cos
∠
ABC=|𝐵𝐴⃑| |𝐵𝐶⃑|𝐵𝐴⃑∙𝐵𝐶⃑ ,cos∠
ABC= 25−3𝑋−4𝑌√𝑋2+𝑌2−6𝑋−8𝑌+25√25
,tan
∠
ABC= 4𝑋−3𝑌25−3𝑋−4𝑌
結合(1)(2)(3)(4)可推得下列一般式:
arctan( 𝑥+𝑦−7
𝑋2+𝑌2−7𝑥−7𝑦+29)=arctan(7
24)+arctan( 4𝑥−3𝑦
−3𝑥−4𝑦+25)+arctan( 3𝑥−4𝑦
−4𝑥−3𝑦+25)
*固定 A,B,D 點,調整 C 點座標 4. A(0,0) B(4,3) C(4,2) D(5,0)
∠
BAD+∠
ABC+∠
ADC= ∠BCD∠
BCD=arctan(−2),∠
BAD=arctan(34),
∠
ABC=arctan(43)
∠
ADC=arctan(2) arctan(-2)=arctan(34)+arctan(4
3)+arctan(2) 同理 設 C(x,y)
故 AB 向量(4,3)BA 向量(-4,-3) BC 向量(X-4,Y-3)CB 向量(4-X,3-Y) CD 向量(5-X,-Y)DC 向量(X-5,Y) DA 向量(-5,0)AD 向量(5,0)
(1)cos
∠
BCD= 𝐶𝐵⃑∙𝐶𝐷⃑|𝐶𝐵⃑| |𝐶𝐷⃑|,cos
∠
BCD= 𝑋2+𝑌2−9𝑋−3𝑌+20√𝑋2+𝑌2−8𝑋−6𝑌+25√𝑋2+𝑌2−10𝑋+25
,tan
∠
BCD= −3𝑥−𝑦+15𝑋2+𝑌2−9𝑥−3𝑦+20
(2)cos
∠
BAD= 𝐴𝐵⃑∙𝐴𝐷⃑|𝐴𝐵⃑| |𝐴𝐷⃑|,cos
∠
BAD=4𝑥5+3𝑥05𝑥5 =4
5,tan
∠
BAD=34
(3)cos
∠
ADC= 𝐷𝐴⃑∙𝐷𝐶⃑|𝐷𝐴⃑| |𝐷𝐶⃑|,cos
∠
ADC= 25−5𝑋√𝑋2+𝑌2−10𝑋+25√25
,tan
∠
ADC= 𝑌5−𝑋 (4)cos
∠
ABC= 𝐵𝐴⃑∙𝐵𝐶⃑|𝐵𝐴⃑| |𝐵𝐶⃑|,cos
∠
ABC= 25−4𝑋−3𝑌√𝑋2+𝑌2−8𝑋−6𝑌+25√25
,tan 3𝑥−4𝑦
結合(1)(2)(3)(4)可推得下列一般式:
arctan( −3𝑥−𝑦+15
𝑋2+𝑌2−9𝑥−3𝑦+20)=arctan(3
4)+arctan( 3𝑥−4𝑦
−4𝑥−3𝑦+25)+arctan( 𝑦
−𝑥+5)
將上述整理為以下 4 個一般式:
1. A(0,0) B(3,4) C(X,Y) D(5,0) arctan( −4𝑋−2𝑌+20
𝑋2+𝑌2−8𝑋−4𝑌+15)=arctan(4
3)+arctan( 4𝑋−3𝑌
−3𝑋−4𝑌+25)+arctan( 𝑌
5−𝑋) 2. A(0,0) B(0,5) C(X,Y) D(5,0)
arctan( 5𝑋+5𝑌−25
𝑋2+𝑌2−5𝑋−5𝑌)=arctan( 𝑋
5−𝑌)+arctan( 𝑌
5−𝑋)+(𝜋
2) 3. A(0,0) B(3,4) C(X,Y) D(4,3)
arctan( 𝑥+𝑦−7
𝑋2+𝑌2−7𝑥−7𝑦+24)=arctan(7
24)+arctan( 4𝑥−3𝑦
−3𝑥−4𝑦+25)+arctan( 3𝑥−4𝑦
−4𝑥−3𝑦+25) 4. A(0,0) B(4,3) C(X,Y) D(5,0)
arctan( −3𝑥−𝑦+15
𝑋2+𝑌2−9𝑥−3𝑦+20) =arctan(3
4)+arctan( 3𝑥−4𝑦
−4𝑥−3𝑦+25)+arctan( 𝑦
−𝑥+5)
將上述四個一般式在進行更深層的一般式推廣,且不再拘泥於𝐴𝐵、𝐴𝐷需要等長
設 A(0,0),B(𝑎1,𝑏1),C(x,y),D(𝑎2 ,𝑏2)
故 AB 向量(𝑎1,𝑏1)BA 向量(-𝑎1,-𝑏1) BC 向量(X-𝑎1,Y-𝑏1)CB 向量(𝑎1-X,𝑏1-Y) CD 向量(𝑎2-X,𝑏2-Y)DC 向量(X-𝑎2,Y-𝑏2) DA 向量(-𝑎2,-𝑏2)AD 向量(𝑎2,𝑏2)
(1)cos
∠
BCD= 𝐶𝐵⃑∙𝐶𝐷⃑|𝐶𝐵⃑| |𝐶𝐷⃑|,cos
∠
BCD=𝑎1𝑎2− 𝑎1𝑥− 𝑎2𝑥 + 𝑥2 + 𝑏1𝑏2− 𝑏1𝑦 − 𝑏2𝑦 + 𝑦2
√(𝑎1−𝑥)2+ (𝑏1−𝑦)2 √(𝑎2−𝑥)2+ (𝑏2−𝑦)2
,tan
∠
BCD= (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1)𝑥2+𝑦2−(𝑎1+𝑎2)𝑥−(𝑏1+𝑏2)𝑦+(𝑎1𝑎2+𝑏1𝑏2)
(2)cos
∠
BAD= 𝐴𝐵⃑∙𝐴𝐷⃑|𝐴𝐵⃑| |𝐴𝐷⃑|,cos
∠
BAD= 𝑎1𝑎2 + 𝑏1𝑏2√𝑎12+ 𝑏12 √𝑎22+ 𝑏22
,tan
∠
BAD=𝑎2𝑏1−𝑎1𝑏2𝑎1𝑎2+𝑏1𝑏2
(3)cos
∠
ADC= 𝐷𝐴⃑∙𝐷𝐶⃑|𝐷𝐴⃑| |𝐷𝐶⃑|,cos
∠
ADC= − 𝑎2𝑥 + 𝑎22 − 𝑏2𝑦 + 𝑏22
√(−𝑎2 )2+ (−𝑏2 )2 √(𝑥−𝑎2)2+ (𝑦− 𝑏2)2
,tan
∠
ADC= 𝑎2𝑦−𝑏2𝑥−𝑎2𝑥−𝑏2𝑦+𝑎22+𝑏22 (4)cos
∠
ABC= 𝐵𝐴⃑∙𝐵𝐶⃑|𝐵𝐴⃑| |𝐵𝐶⃑|,cos
∠
ABC= − 𝑎1𝑥 + 𝑎12 − 𝑏1𝑦 + 𝑏12
√(𝑎1 )2+ (𝑏1 )2 √(𝑥−𝑎1)2+ (𝑦− 𝑏1)2
,tan
∠
ABC= −𝑏1𝑥+𝑎1𝑦−𝑎1𝑥−𝑏1𝑦+𝑎12+𝑏12
在(1)(2)(3)(4)後即可得到
定理八 : arctan( (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1)
𝑥2+𝑦2−(𝑎1+𝑎2)𝑥−(𝑏1+𝑏2)𝑦+(𝑎1𝑎2+𝑏1𝑏2)) = arctan( −𝑏1𝑥+𝑎1𝑦
−𝑎1𝑥−𝑏1𝑦+𝑎12+𝑏12) + arctan( 𝑎2𝑦−𝑏2𝑥
−𝑎2𝑥−𝑏2𝑦+𝑎22+𝑏22) + arctan(𝑎2𝑏1−𝑎1𝑏2
𝑎1𝑎2+𝑏1𝑏2)
*ps 此處的定理八暫可用在四銳角情況下使用
推廣:多邊形四角因為上面的四個角在不同角度下的變化
因為定理八只能用在四銳角的狀況下,故我們決定探討四角在非四銳角情形下,對多邊形反 正切函數式的影響。首先我們先著重探討凹四邊形的情況:
前提定義: arctan 值轉換出的角度,我們將其界定於 -𝜋
2 與 𝜋
2 之間 故角度介於0。與 𝜋
2 之間時,原角度即為 arctan 值所對應的角度 則角度介於𝜋
2與 𝜋 之間時,原角度即為 arctan 值所對應的角度+ 𝜋 則角度介於
𝜋
與 3𝜋2 之間時,原角度即為 arctan 值所對應的角度+ 𝜋 最後角度介於3𝜋
2與 2𝜋 之間時,原角度即為 arctan 值所對應的角度+ 2𝜋
狀況一: ∠A, ∠B, ∠C, ∠D 皆為銳角,得
arctan( (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1)
𝑥2+𝑦2−(𝑎1+𝑎2)𝑥−(𝑏1+𝑏2)𝑦+(𝑎1𝑎2+𝑏1𝑏2))=
arctan( −𝑏1𝑥+𝑎1𝑦
2 2)+arctan( 𝑎2𝑦−𝑏2𝑥2 2)+arctan(𝑎2𝑏1−𝑎1𝑏2
𝑎 𝑎 +𝑏 𝑏 )
B
D A
C
狀況二:90。< ∠𝐴 < 180。,
∠
B, ∠C, ∠D 皆為銳角,得arctan( (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1)
𝑥2+𝑦2−(𝑎1+𝑎2)𝑥−(𝑏1+𝑏2)𝑦+(𝑎1𝑎2+𝑏1𝑏2))+𝜋 = arctan( −𝑏1𝑥+𝑎1𝑦
−𝑎1𝑥−𝑏1𝑦+𝑎12+𝑏12)+arctan( 𝑎2𝑦−𝑏2𝑥
−𝑎2𝑥−𝑏2𝑦+𝑎22+𝑏22)+arctan(𝑎2𝑏1−𝑎1𝑏2
𝑎1𝑎2+𝑏1𝑏2) 我們將此定義為定理九
狀況三:90。< ∠𝐴 < 180。,
∠
B, ∠C, ∠D 其中一角> 90。且< 180。,剩餘兩角為銳角,得arctan( (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1)
𝑥2+𝑦2−(𝑎1+𝑎2)𝑥−(𝑏1+𝑏2)𝑦+(𝑎1𝑎2+𝑏1𝑏2)) + 𝜋 = arctan( −𝑏1𝑥+𝑎1𝑦
−𝑎1𝑥−𝑏1𝑦+𝑎12+𝑏12)+arctan( 𝑎2𝑦−𝑏2𝑥
−𝑎2𝑥−𝑏2𝑦+𝑎22+𝑏22)+arctan(𝑎2𝑏1−𝑎1𝑏2
𝑎1𝑎2+𝑏1𝑏2) + 𝜋 𝜋互相抵銷推得
arctan( (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1)
𝑥2+𝑦2−(𝑎1+𝑎2)𝑥−(𝑏1+𝑏2)𝑦+(𝑎1𝑎2+𝑏1𝑏2))=
arctan( −𝑏1𝑥+𝑎1𝑦
−𝑎1𝑥−𝑏1𝑦+𝑎12+𝑏12)+arctan( 𝑎2𝑦−𝑏2𝑥
−𝑎2𝑥−𝑏2𝑦+𝑎22+𝑏22)+arctan(𝑎2𝑏1−𝑎1𝑏2
𝑎1𝑎2+𝑏1𝑏2)
接下來我們探討幾個凸多邊形的狀況:
狀況四: 180。< ∠𝐴 < 270。,∠B, ∠C, ∠D 其中一角> 90。且< 180。,剩餘兩角為銳角,則
arctan( (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1)
𝑥2+𝑦2−(𝑎1+𝑎2)𝑥−(𝑏1+𝑏2)𝑦+(𝑎1𝑎2+𝑏1𝑏2)) = + 𝜋 arctan( −𝑏1𝑥+𝑎1𝑦
−𝑎1𝑥−𝑏1𝑦+𝑎12+𝑏12)+arctan( 𝑎2𝑦−𝑏2𝑥
−𝑎2𝑥−𝑏2𝑦+𝑎22+𝑏22)+arctan(𝑎2𝑏1−𝑎1𝑏2
𝑎1𝑎2+𝑏1𝑏2) + 𝜋 將 𝜋 抵銷後,即得到
arctan( (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1)
𝑥2+𝑦2−(𝑎1+𝑎2)𝑥−(𝑏1+𝑏2)𝑦+(𝑎1𝑎2+𝑏1𝑏2))=
arctan( −𝑏1𝑥+𝑎1𝑦
−𝑎1𝑥−𝑏1𝑦+𝑎12+𝑏12)+arctan( 𝑎2𝑦−𝑏2𝑥
−𝑎2𝑥−𝑏2𝑦+𝑎22+𝑏22)+arctan(𝑎2𝑏1−𝑎1𝑏2
𝑎1𝑎2+𝑏1𝑏2)
狀況五: 180。< ∠𝐴 < 270。,
∠
B, ∠C, ∠D 其中一角> 180。且< 270。,餘兩角為銳角,得arctan( (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1) ) = + 𝜋
C B
D
A
arctan( −𝑏1𝑥+𝑎1𝑦
−𝑎1𝑥−𝑏1𝑦+𝑎12+𝑏12)+arctan( 𝑎2𝑦−𝑏2𝑥
−𝑎2𝑥−𝑏2𝑦+𝑎22+𝑏22)+arctan(𝑎2𝑏1−𝑎1𝑏2
𝑎1𝑎2+𝑏1𝑏2) + 𝜋 將 𝜋 抵銷後,即得到
arctan( (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1)
𝑥2+𝑦2−(𝑎1+𝑎2)𝑥−(𝑏1+𝑏2)𝑦+(𝑎1𝑎2+𝑏1𝑏2))=
arctan( −𝑏1𝑥+𝑎1𝑦
−𝑎1𝑥−𝑏1𝑦+𝑎12+𝑏12)+arctan( 𝑎2𝑦−𝑏2𝑥
−𝑎2𝑥−𝑏2𝑦+𝑎22+𝑏22)+arctan(𝑎2𝑏1−𝑎1𝑏2
𝑎1𝑎2+𝑏1𝑏2)
狀況六: 270。< ∠𝐴 < 360。,
∠
B, ∠C, ∠D 其中二角> 90。且< 180。,剩餘一角為銳角,得arctan( (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1)
𝑥2+𝑦2−(𝑎1+𝑎2)𝑥−(𝑏1+𝑏2)𝑦+(𝑎1𝑎2+𝑏1𝑏2)) + 2 𝜋 = arctan( −𝑏1𝑥+𝑎1𝑦
−𝑎1𝑥−𝑏1𝑦+𝑎12+𝑏12)+arctan( 𝑎2𝑦−𝑏2𝑥
−𝑎2𝑥−𝑏2𝑦+𝑎22+𝑏22) + 𝜋 + arctan(𝑎2𝑏1−𝑎1𝑏2
𝑎1𝑎2+𝑏1𝑏2) + 𝜋 將
𝜋
抵銷後,即可得arctan( (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1)
𝑥2+𝑦2−(𝑎1+𝑎2)𝑥−(𝑏1+𝑏2)𝑦+(𝑎1𝑎2+𝑏1𝑏2)) = arctan( −𝑏1𝑥+𝑎1𝑦
−𝑎1𝑥−𝑏1𝑦+𝑎12+𝑏12)+arctan( 𝑎2𝑦−𝑏2𝑥
−𝑎2𝑥−𝑏2𝑦+𝑎22+𝑏22)+arctan(𝑎2𝑏1−𝑎1𝑏2
𝑎1𝑎2+𝑏1𝑏2)
狀況七: 180。< ∠𝐴 < 270。,60。 < ∠B, ∠C, ∠D < 90。,得
arctan( (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1)
𝑥2+𝑦2−(𝑎1+𝑎2)𝑥−(𝑏1+𝑏2)𝑦+(𝑎1𝑎2+𝑏1𝑏2))+𝜋 = arctan( −𝑏1𝑥+𝑎1𝑦
−𝑎1𝑥−𝑏1𝑦+𝑎12+𝑏12)+arctan( 𝑎2𝑦−𝑏2𝑥
−𝑎2𝑥−𝑏2𝑦+𝑎22+𝑏22)+arctan(𝑎2𝑏1−𝑎1𝑏2
𝑎1𝑎2+𝑏1𝑏2) 狀況八: 270。< ∠𝐴 < 360。,三鈍角90。 < ∠B, ∠C, ∠D < 120。,得
arctan( (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1)
𝑥2+𝑦2−(𝑎1+𝑎2)𝑥−(𝑏1+𝑏2)𝑦+(𝑎1𝑎2+𝑏1𝑏2))+2 𝜋 = arctan( −𝑏1𝑥+𝑎1𝑦
−𝑎1𝑥−𝑏1𝑦+𝑎12+𝑏12) +𝜋 +arctan( 𝑎2𝑦−𝑏2𝑥
−𝑎2𝑥−𝑏2𝑦+𝑎22+𝑏22) +𝜋 +arctan(𝑎2𝑏1−𝑎1𝑏2
𝑎1𝑎2+𝑏1𝑏2)+𝜋 將
𝜋
削去後可得arctan( (𝑏1−𝑏2)𝑥+(𝑎2−𝑎1)𝑦+(𝑎1𝑏2−𝑎2𝑏1)
𝑥2+𝑦2−(𝑎1+𝑎2)𝑥−(𝑏1+𝑏2)𝑦+(𝑎1𝑎2+𝑏1𝑏2)) =
−𝑏 𝑥+𝑎 𝑦 𝑎 𝑦−𝑏 𝑥 𝑎 𝑏 −𝑎 𝑏