三角形的限制：邊與角不能任意組合

GEO08｜三角形的限制：邊與角不能任意組合

適用入口、先備與邊界

適用入口：8 年級。 本篇只處理平面上三個不共線頂點形成的三角形。每個例子各自重新設定條件，不把不同例子的角度與邊長混在一起。

必要先備：正數的加減與大小比較；線段、射線、頂點與角的讀法；平角為 $180^{\circ}$ 、三角形內角和為 $180^{\circ}$ 。第四節的等腰性質推導另用到角平分線，以及「兩邊及其夾角對應相等，可以判定兩個三角形全等」的 SAS 全等判定。尚未學會這兩項工具的讀者，應先補足再讀該段證明；不能只因為同屬八年級內容，就假定每位讀者已經學過。官方手冊登錄的先備是 S-7-1、S-7-4；角平分線與 SAS 是本篇所選證明實際使用的工具，不列成本篇新完成的技能。《數學領域課程手冊》S-8-8，印刷第443頁

學完應能做到：判斷三段正長度能否形成非退化三角形；依三邊長短排出對角次序；在頂點、底邊明確的等腰三角形中求另一底角；沿指定方向延長一邊後求外角；依同一三角形的內角次序排列對邊。《數學領域課程手冊》S-8-8，印刷第443頁

本篇不做：接受共線的「三角形」、由三邊計算精確角度、使用餘弦定理或其他三角函數、跨不同三角形比較絕對邊長，也不展開未知第三邊的區間題、一般尺規作圖課或其他年級分支。

正文中的數值情境均為教學自設，不是歷史紀錄或實測資料。

一、從「能畫出幾條線」到「知道哪些圖不可能存在」

給你三段長度，要求畫一個三角形，真正的第一個問題不是「從哪一邊開始畫」，而是：這三段長度有沒有可能圍起來？

這個問題並不是因為人們以前不會作圖。歐幾里得的《幾何原本》承接了更早的幾何研究；它所代表的是既有知識的整理與論證，不是某一天突然發明所有三角形性質。約西元前 300 年前後的這部著作，可以作為這些關係已進入系統論證的代表節點，但不能據此指定每一條性質的唯一發明者。Clark University

《原本》第一卷開頭已處理在給定線段上作正三角形、從指定點作出等於已知長度的線段，以及從較長線段截取指定長度。也就是說，這部著作呈現的幾何工具，已包括作出特定圖形、移取長度與比較線段的方法。這是書中可以核對的構作能力，不是說命題排在前面，就一定在歷史上較早被發現。Clark University

然而，會作出每一段線，不等於任意三段線都能組成三角形。

《原本》第一卷命題 22 確實提出了「用三段給定長度構作三角形」的問題，而且明列三段長度必須滿足的限制。這讓我們看到：需要處理的並不只是如何移取長度，還包括給定條件是否允許所求圖形存在。Clark University

用今天的數字重現這個思想問題：長度 $2 、 3 、 5$ 的三段線都各自作得出來，但把它們接成三角形，卻是另一回事。若只依靠試擺，幾次沒有成功，仍不足以說明究竟是手勢不對，還是根本不可能；若只依靠看圖，也難以區分「非常扁」與「完全共線」。這裡的瓶頸不是單純畫得慢，而是個別嘗試不能取代一般性的成立條件與證明。這是用來理解問題的教學分析，不是對古代工匠工作方式的歷史描述。

《原本》第一卷命題 20 說明任意兩邊之和大於第三邊；命題 22 把這項限制放入給定三段長度的構作問題。於是，問題可以從「試著把線段接起來」，前進到「先判斷條件是否允許，再依條件進行構作」。這是原書實際可見的數學用途，不必替它附會一個未經證實的工程發明故事。Clark University

這項構作也不是孤立的結果：第一卷命題 23 在處理複製給定角的構作時，會使用命題 22 的三邊構作。它顯示，一項帶有成立條件的構作，可以繼續成為後續推理的工具；但這仍是原書內部可核對的依賴關係，不是各項知識的完整發明年表。Clark University

本篇接下來要理解的，正是這種能力：用邊與角之間的關係，判斷一個圖形能否成立，以及成立後哪些量不能任意指定。

二、三段線能不能封閉：關鍵是一個嚴格的大於

1. 什麼才算這裡的三角形？

取三個不共線的點 $A 、 B 、 C$ ，以線段 $A B 、 B C 、 C A$ 兩兩連接，才得到本篇所說的三角形。三段長度必須是正數，而且比較時要使用相同的長度單位。

三個點若落在同一直線上，即使能把線段首尾接起來，也沒有圍出三角形區域。本篇不把這種退化情況算作三角形。

長度為 $0$ 也不行，因為它不能成為連接兩個不同頂點的邊；負數更不是這裡的線段長。例如 $0 、 3 、 3$ 不能形成三角形，不能省略正長度這個前提。

2. 為什麼任意兩邊的和都要大於第三邊？

先用平面幾何的最短距離直觀理解：從 $B$ 到 $C$ ，直接走線段 $B C$ ，比先到不在直線 $B C$ 上的 $A$ 、再折回 $C$ 短。因此

B A + A C > B C .

把另外兩個頂點輪流當成折點，同樣得到

A B + B C > A C, A C + B C > A B .

這就是三角形的三邊限制。不等號是 $>$ ，不是 $\geq$ ；「嚴格」指的正是不接受相等的邊界。

這裡以「兩點間直線距離最短」作為理解的起點，也是課程手冊列出的說明方式；它不是在本篇另行證明最短距離性質，更不是逐字重現《原本》的原證明。《數學領域課程手冊》S-8-8，印刷第443頁

3. 為什麼只檢查兩短邊就夠了？

把三段正長度由小到大記作

0 < a \leq b \leq c,

其中 $c$ 是最長邊；遇到等長也可以照這樣排列。判斷條件可以縮成

a + b > c .

這不是少檢查兩次的猜測。因為 $a > 0$ ，必有

a + c > c \geq b;

又因為 $b > 0$ ，必有

b + c > c \geq a .

所以另外兩個不等式自動成立，真正可能失敗的，只有「兩短邊加起來仍不夠長」。這也是課程手冊採用的簡化判別。《數學領域課程手冊》S-8-8，印刷第443頁

這個條件也足以保證能形成三角形。可以用轉動線段理解：先固定最長的 $B C = c$ ，讓 $B A = a$ 繞 $B$ 轉動。 $A$ 朝向 $C$ 時， $A C = c - a$ ； $A$ 轉到背向 $C$ 的方向時， $A C = c + a$ 。

由 $a + b > c$ 可知

b > c - a;

而 $b \leq c < c + a$ ，所以

c - a < b < c + a .

想要的距離 $b$ ，嚴格落在這兩個端點距離之間。

端點連續轉動時，距離不會突然跳過中間的值，因此可以找到一個不共線的位置，使 $A C = b$ 。這是本篇採用的連續運動直觀，不是另外教授連續性定理，也不需要先學三角函數。官方手冊同樣明列：三個正數若滿足任意兩數和大於第三數，就能成為某一三角形的三邊長。《數學領域課程手冊》S-8-8，印刷第443頁

因此，在已確認三個數都是正長度、單位一致並完成排序後：

\begin{aligned} 能形成非退化三角形 & ⟺ a + b > c, \\ 不能形成非退化三角形 & ⟺ a + b \leq c . \end{aligned}

「不能形成」包括小於，也包括相等，不能只寫成 $a + b < c$ 。

4. 三種看似接近、結果卻不同的情況

三段長度，單位相同	檢查兩短邊	結論與理由
$3 、 4 、 5$	$3 + 4 = 7 > 5$	可以圍成三角形。
$2 、 3 、 5$	$2 + 3 = 5$	三段若要封閉接合，只能落成共線配置，不算三角形。
$2 、 2 、 5$	$2 + 2 = 4 < 5$	兩短段即使朝彼此伸直，仍相差 $1$ ，無法封閉。

GEO08 F01 — **圖 1（GEO08-F01）圖說｜**三列使用相同長度比例。中列的 $E$ 只是共線的接合點；下列的虛線表示尚未補上的間隔，不是另一條已存在的短邊。

再回查第一組：另外兩項確實有

3 + 5 > 4, 4 + 5 > 3 .

第二組即使有 $2 + 5 > 3$ 、 $3 + 5 > 2$ ，仍不能彌補 $2 + 3 = 5$ 的失敗。不能隨便挑兩邊相加，只要有一次大於就宣布成立。

也別把「很扁」當成「不存在」。例如 $2 、 3 、 4.99$ 仍滿足

2 + 3 > 4.99,

可以形成非退化三角形； $2 、 3 、 5$ 則剛好跨到被排除的邊界。判別依據是條件，不是圖畫看起來有多厚，也不能先把 $4.99$ 任意取整成 $5$ ，再說原資料不能成形。

相反地，邊長相等本身沒有問題。例如 $1 、 1 、 1$ 滿足 $1 + 1 > 1$ ，當然可以形成三角形。這裡排除的是兩短邊和等於最長邊，不是排除三邊之間出現等長。

三、比較以前，先找對「對面」

在 $△ A B C$ 中， $∠ A$ 是以 $A$ 為頂點、由 $A B$ 與 $A C$ 形成的內角。它的對邊是不經過頂點 $A$ 的那條邊，也就是 $B C$ 。

內角	對邊
$∠ A$	$B C$
$∠ B$	$A C$
$∠ C$	$A B$

這個對應不會因為圖形被旋轉，或某一邊畫在紙面上方而改變。 $A B$ 雖然含有字母 $A$ ，卻不是 $∠ A$ 的對邊；它是組成這個角的一邊。

接下來說的等邊、等角，以及大邊、大角，都要沿著這組對應閱讀。

四、等腰為什麼鎖住兩個底角？

若 $A B = A C$ ，這兩條等長的邊叫作腰，它們共同的端點 $A$ 是本題所指的頂點； $B C$ 是底邊，底角是 $∠ B$ 與 $∠ C$ 。因此等腰性質要寫成

A B = A C ⟹ ∠ B = ∠ C,

而不是只憑 $A B = A C$ ，就把 $∠ A$ 也一併列入相等。

不是因為看起來對稱，而是能找到全等的兩半

從 $A$ 作頂角的角平分線，交底邊 $B C$ 於 $M$ 。比較 $△ A B M$ 與 $△ A C M$ ：兩腰 $A B = A C$ ； $A M$ 是共同邊； $∠ B A M = ∠ M A C$ ，因為 $A M$ 平分頂角。

所以兩個小三角形由 SAS 判定全等，對應角 $∠ A B M$ 與 $∠ A C M$ 相等。由於 $M$ 位於底邊 $B C$ 上，這兩個角就是原三角形的兩個底角。因此

∠ A B C = ∠ A C B .

以頂角平分線分出兩個全等三角形，是手冊列出的理解路徑；《原本》第一卷命題 5 也記載了等腰三角形兩底角相等的性質，但原書的證明安排與本篇這個 SAS 教學版本不同。《數學領域課程手冊》S-8-8，印刷第443頁 Clark University

GEO08 F02 — **圖 2（GEO08-F02）圖說｜**相同刻痕表示 $A B = A C$ ；虛線 $A M$ 平分頂角。兩個 $α$ 表示相等的半頂角，兩個 $β$ 表示相等的底角。圖採用下例的等腰直角三角形，因此這個特定例子恰有 $α = β = 45^{\circ}$ ；一般等腰三角形並沒有 $α = β$ 的保證。

完整示例：另一個底角是多少？

已知 $A B = A C$ ， $A$ 是頂點，且 $∠ B = 45^{\circ}$ 。因為 $B 、 C$ 才是兩個底角，所以

∠ C = 45^{\circ} .

回查頂角：

∠ A = 180^{\circ} - 45^{\circ} - 45^{\circ} = 90^{\circ} .

三角形內角和正確，而且兩底角相等。但頂角是 $90^{\circ}$ ，不是 $45^{\circ}$ 。這同時給出一個反例：有兩邊相等，不表示三個角全部相等。

也要分清楚：「不能據此推出三個角相等」，不等於「頂角一定與底角不同」。正三角形的三個內角都是 $60^{\circ}$ ，它同樣具有兩邊相等的性質。等腰條件保證的是指定的兩個底角相等，不是保證第三角一定不同。

五、外角不是再添一個角，而是換一種記錄方式

在 $△ A B C$ 中，把 $B C$ 越過 $C$ 繼續延長到 $D$ ，使 $B 、 C 、 D$ 是依序共線的三個不同點。此時 $∠ A C D$ 由射線 $C A$ 與 $C D$ 夾成，是在 $C$ 處與內角 $∠ A C B$ 相鄰的外角。

本篇取的是小於 $180^{\circ}$ 的這個外角，不取繞到另一側的反角。因為三角形不退化，內角 $∠ A C B$ 介於 $0^{\circ}$ 與 $180^{\circ}$ 之間，所以這個外角也介於兩者之間。

方向要說清楚。只說「有一個外角」，卻沒有指出延長哪一邊、越過哪個頂點，還不足以判定題目所指的角。

由於 $C B$ 與 $C D$ 是方向相反的射線，

∠ A C D + ∠ A C B = 180^{\circ} .

另一方面，

∠ B A C + ∠ A B C + ∠ A C B = 180^{\circ} .

從兩式都扣掉相同的 $∠ A C B$ ，便得到

∠ A C D = ∠ B A C + ∠ A B C .

右邊的兩個角叫作這個外角的內對角，也就是不與它相鄰的兩個內角。相鄰的內角 $∠ A C B$ 已在扣除的過程中消去，不能再加回來。這項關係也見於《原本》第一卷命題 32。Clark University

完整示例與兩種回查

圖 3 另取一個三角形，已知 $∠ A = 90^{\circ}$ 、 $∠ B = 60^{\circ}$ ，並照上述方向延長 $B C$ 。外角為

∠ A C D = 90^{\circ} + 60^{\circ} = 150^{\circ} .

先由內角和算得

∠ C = 180^{\circ} - 90^{\circ} - 60^{\circ} = 30^{\circ} .

再查相鄰兩角：

150^{\circ} + 30^{\circ} = 180^{\circ};

也查三個內角：

90^{\circ} + 60^{\circ} + 30^{\circ} = 180^{\circ} .

兩條路一致。

GEO08 F03 — **圖 3（GEO08-F03）圖說｜**虛線與箭頭明示越過 $C$ 的延長方向。 $∠ A C D$ 是 $150^{\circ}$ 的非反角； $30^{\circ}$ 是與它相鄰的內角，兩者不是同一個角。

因為兩個內對角都是正角，外角一定比它們各自大。但這不表示外角大於三角形的每一個內角：例如三個內角為 $20^{\circ} 、 40^{\circ} 、 120^{\circ}$ 時，在 $120^{\circ}$ 那一角旁的外角只有 $60^{\circ}$ ，反而小於相鄰內角。

外角與相鄰內角也可能相等：相鄰內角為 $90^{\circ}$ 時，外角同樣是 $90^{\circ}$ 。因此，「一定比較大」適用的是兩個內對角，不是與它相鄰的那個內角。

六、大邊對大角，為什麼不是看圖猜的？

在同一個三角形裡，兩邊若不等長，較長邊的對角較大；反過來，較大角的對邊也較長。等長的兩邊則對著相等的角。

這些關係不必等到學餘弦定理才能理解。剛才的等腰性質與外角關係，已足以把關鍵理由接起來。

1. 把較長的一邊，先截出與短邊相等的一段

設 $A C > A B$ 。我們要比較它們的對角，也就是 $∠ B$ 與 $∠ C$ 。

在 $A C$ 上取 $D$ ，使 $A D = A B$ 。由於 $A C > A B$ ， $D$ 必在 $A 、 C$ 之間，而不是落在 $C$ 的外面。連接 $B D$ 。

GEO08 F04 — **圖 4（GEO08-F04）圖說｜**這一幅圖的 $D$ 位於 $A C$ 內部，與圖 3 的延長點是不同設定。圖中 $A B = A D = 5$ 、 $A C = 7$ 是精確示例；以下推理不依賴這些特定數值。
φ=∠ABD=∠ADB，δ=∠DBC，γ=∠BCD。

$△ A B D$ 因為 $A B = A D$ 而是等腰三角形，所以

∠ A B D = ∠ A D B .

對 $△ B C D$ 而言， $D A$ 是 $C D$ 越過 $D$ 的延長方向。因此 $∠ A D B$ 是它的外角，

∠ A D B = ∠ D B C + ∠ B C D > ∠ B C D .

此外， $B D$ 把原來的 $∠ A B C$ 分成兩個正角，因此

∠ A B C = ∠ A B D + ∠ D B C > ∠ A B D .

最後，因為從 $C$ 看去， $C D$ 與 $C A$ 是同一方向，所以 $∠ B C D = ∠ B C A$ 。把這些關係串起來：

∠ A B C > ∠ A B D = ∠ A D B > ∠ B C D = ∠ B C A .

因此 $A C > A B$ 確實推出 $∠ B > ∠ C$ 。新增的輔助線不是為了讓圖更複雜，而是把「兩邊不等」轉成一個等腰三角形，再用外角把大小關係傳遞出去。

這個截取等長線段、再利用等腰與外角的推理骨架，可在《原本》第一卷命題 18 中核對。原書在這裡使用的是「外角大於任一內對角」；本篇則使用已經說明的外角和關係來得到同一個嚴格不等式。兩者不能混稱為完全相同的原證明。Clark University

2. 反過來，為什麼大角也必須對著大邊？

現在已知 $∠ B > ∠ C$ 。

$A C$ 不可能等於 $A B$ ，否則等腰性質會推出 $∠ B = ∠ C$ 。 $A C$ 也不可能小於 $A B$ ，否則剛證明的大邊對大角，會推出 $∠ B < ∠ C$ 。

相等與較小都不成立，剩下的只有

A C > A B .

所以兩個方向都有理由，不能只因為一句話讀起來像能倒過來，就把反向敘述當成自動成立。《原本》第一卷命題 19 也使用排除其他可能的方式完成這個反向推理。Clark University

同樣地，若 $∠ B = ∠ C$ ，則 $A C$ 不能大於 $A B$ ，也不能小於 $A B$ ，否則會產生不相等的對角。因此只能有 $A C = A B$ 。

於是，對應的兩邊與兩角不只保留大小次序，也保留相等關係。

3. 完整示例：由三邊排列三個角

已知 $A B = 7$ 、 $B C = 9$ 、 $C A = 12$ ，單位相同。

先查存在性：三個數都是正數，且

7 + 9 = 16 > 12,

可以形成三角形。接著排列邊長：

A B < B C < C A .

逐一換成它們的對角： $A B$ 對 $∠ C$ ， $B C$ 對 $∠ A$ ， $C A$ 對 $∠ B$ ，因此

∠ C < ∠ A < ∠ B .

回查：最長的 $C A$ 對著最大的 $∠ B$ ；最短的 $A B$ 對著最小的 $∠ C$ 。我們得到了角的次序，並沒有算出三個角的精確度數。

排序也可能包含等號。例如 $A B = A C = 5$ 、 $B C = 6$ ，先檢查 $5 + 5 > 6$ ，再由等邊與大邊的對應關係得到

∠ B = ∠ C < ∠ A .

不能為了排出三個角，就硬把本來相等的兩角分成一大一小。

4. 完整示例：由角度排列對邊

另有一個 $△ A B C$ ，已知 $∠ A = 48^{\circ}$ 、 $∠ B = 77^{\circ}$ 。

先補出第三角：

∠ C = 180^{\circ} - 48^{\circ} - 77^{\circ} = 55^{\circ} .

因此 $∠ A < ∠ C < ∠ B$ ，換成對邊便是

B C < A B < A C .

回查：三個角都是正角，

48^{\circ} + 55^{\circ} + 77^{\circ} = 180^{\circ};

最大角在 $B$ ，最長邊就應是沒有頂點 $B$ 的 $A C$ 。這裡只能得到邊的次序，不能憑角度單獨決定邊長是多少公分。

同一個三角形這個前提不能拿掉。把整個圖形按同一倍率放大，角度保持不變，邊長卻全部改變；所以不同三角形的角度大小，不能直接拿來比較它們的絕對邊長。這裡只是說明判別的邊界，不另展開相似三角形課程。

七、每一項都看似合理，合在一起仍可能矛盾

現在看一份自設的圖形資料：

A B = A C, ∠ A = 70^{\circ}, ∠ B = 50^{\circ}, ∠ C = 60^{\circ} .

三個角都是正角，而且

70^{\circ} + 50^{\circ} + 60^{\circ} = 180^{\circ} .

只檢查內角和，這份資料似乎沒有問題。

但 $A B = A C$ 要求它們的對角相等，也就是 $∠ C = ∠ B$ ；資料卻給了 $60^{\circ}$ 與 $50^{\circ}$ 。因此這些條件不能同時成立。

這正是本篇各條性質要放在同一個骨架裡的理由：邊長通過存在性檢查，不代表任意指定的角度都能配上去；角度加起來是 $180^{\circ}$ ，也不代表可以忽略等腰與對邊次序。

不過，這裡也有一條範圍界線：只給三段正長度時，嚴格三角不等式可以完整判定能否成形；同時給出邊長與角度時，本篇的等角、次序等檢查，則不能冒充所有混合條件的完整相容判定法。通過若干必要檢查，不等於所有額外條件都已證明可以同時成立。

檢查三角形時，順序可以記成一句話：

先問能否形成，再認清對邊；等長看等角，不等長看次序；遇到外角，先確認延長方向。

八、今天的用處：先排除不可能，再計算更多

這種限制關係並沒有只留在古典作圖裡。現代的多地點走訪路線計算也會處理三角不等式。例如 NetworkX 的路線近似求解工具，會先用地點之間的最短路徑長建立兩兩距離，再進一步處理走訪順序，最後把求得的連接還原成原道路網中的路徑。NetworkX

下面只取其中一個容易理解的機制，不學整套演算法。假設三個不共線地點之間都能直接通行，直線距離為

P Q = 3 公尺, Q R = 4 公尺, P R = 5 公尺 .

若 $Q$ 不再是必須停靠的地點，從 $P$ 先到 $Q$ 再到 $R$ ，長度是

3 + 4 = 7 公尺;

直接從 $P$ 到 $R$ 則是 $5$ 公尺，少走 $2$ 公尺。

反過來，若同一份精確直線距離資料寫成 $P Q = 3$ 、 $Q R = 4$ 、 $P R = 8$ ，便有

3 + 4 = 7 < 8,

不符合三角形的邊長限制。此時應先檢查資料、單位或模型，不是繼續替不存在的三角形求角。若資料只是量測或四捨五入的結果，也要把誤差列入檢查，不能把近似數值無條件當成精確幾何條件。

但要保留兩個重要限制。

第一，直線較短不等於現場可以直走。有障礙、道路限制或必經地點時，仍須遵守路線條件，不能只因為 $5 < 7$ 就取消必要的停靠。

第二，一般最短路徑使用的是允許相等的關係。以固定、非負的道路長度為例，假設各段路線都可通行且相關最短距離有限：從 $P$ 經 $Q$ 再到 $R$ ，本身就是一條可行路線，因此從 $P$ 到 $R$ 的最短距離不可能比它更長。若用 $d (P, R)$ 表示最短路徑長，就有

d (P, R) \leq d (P, Q) + d (Q, R) .

最短路徑可能本來就經過 $Q$ ，這時可以相等。這與本篇針對不共線三頂點、比較三條直線邊長所得的嚴格不等式，不能混為一談。道路上的單一邊權重、任意費用，也不能未經檢查就直接當作上述最短距離。

NetworkX 文件另外提醒：原圖權重不符合三角不等式等情形，可能使最後還原出的路線出現重複頂點。這不等於說，在前述適當假設下，兩兩最短路徑長反而不滿足三角不等式；也不表示近似求解工具保證找到全域最短路線。NetworkX

上述數值與路線限制是本篇的模型推論；NetworkX 文件提供的是現代路線計算的實際連結，不是這些古代性質產生的已證實動機。

回到《原本》所呈現的進展，它並沒有承諾用幾個不等式就算出所有角度，也沒有保證紙上的圖形一定能用任何材料做成。它提供的是另一種重要能力：把作圖、比較與判斷建立在可以說明的關係上。Clark University

三角形不是三條邊、三個角各自填上數字就算完成。它是一組必須彼此相容的條件。理解這件事，才真正從「看見一張圖」前進到「判斷這張圖為什麼可能，或為什麼不可能」。