三邊長獨立區間不確定性下三角形面積的精確可達界：內部直角最優點、退化邊界與香港幾何探究

摘要

已知三角形三條邊的測量值各落在一個獨立閉區間，便不能直接把三個名義長度代入面積公式當作唯一答案；所有端點組合亦未必包含最大面積。本研究將正邊長區間盒與嚴格三角不等式的交集視為可行集，推導一套有限運算的精確面積集合證書。首先證明非退化三角形存在的充要條件為每一邊的下界小於其餘兩邊上界之和。其次利用海倫恆等式和面積對邊長的偏導數，證明最大值可在至多三個候選點之間求得：固定另外兩邊於上界，將餘下一邊的平方截取到直角三角形平方和與允許平方區間之間。這顯示最大面積可能出現在邊長區間內部。最小面積則分成兩類：若區間盒含退化三角形且亦有非退化三角形，面積下確界為零但不能取到；否則整盒均是非退化三角形，最小值必在八個頂點之一取到。最後證明所有可行面積沒有缺口，並給出有理數精確核驗、計算試驗及香港數學探究的應用邊界。成果屬經典三角幾何和優化的一項可教學特化，國際新穎性與教學成效仍待外部評估。

**關鍵詞：**區間不確定性；三角不等式；海倫公式；可達面積界；極值；退化三角形；香港數學教育。

Abstract

Independent measurement intervals for three triangle sides induce a constrained set of possible areas. Endpoint substitution is insufficient because the largest area may occur at an interior, right-angle value of one side. This working paper proves an exact feasibility criterion, a three-candidate formula for the global maximal area, a sharp characterization of the lower area bound (including unattained zero infima at degenerate boundaries), and the interval structure of all attainable areas. The proofs use Heron's identity, monotonicity in each side, and convexity of the strict triangle-inequality domain. An exact-rational implementation checks synthetic boxes and independently sampled grid configurations. We position these elementary but nontrivial deductions as an enrichment bridge from triangle inequalities and Pythagoras' theorem to mathematical uncertainty in Hong Kong secondary education. We do not claim worldwide priority, empirical classroom effectiveness, or external peer review.

Keywords: interval uncertainty; triangle inequality; Heron's formula; sharp bounds; geometric optimization; mathematics enrichment.

1. 引言與研究問題

學校常見三角形面積題目把三邊視為精確常數，按海倫公式或先求高再求面積。然而實際間尺測量的讀數會受刻度、估讀及四捨五入影響。若三邊分別在 $[l_1,u_1]$ 、 $[l_2,u_2]$ 、 $[l_3,u_3]$ ，即使六個端點全是正數，並非每組邊長均能構成三角形。若把三個上界直接代入海倫公式，還可能錯過真正最大面積：當某條邊變得過長，所對角會越過直角，面積可能反而減少。

教育局公開的初中修訂課程教學資源包含「畢氏定理在中國古代的證明方法」等幾何示例；《學校數學通訊》亦有固定周長三角形的最大面積問題。這些材料支持幾何優化探究與香港數學教育的聯繫，卻不證明本文的區間證書已列作必考內容，也不支持任何學習成效主張。

本稿研究四個可嚴格檢驗的問題。（RQ1）何種邊長區間存在非退化三角形？（RQ2）有限個候選點能否完全決定面積上界？（RQ3）面積最小值何時存在，何時只有下確界？（RQ4）可行面積是否覆蓋上下界之間所有值？模型只設三條邊可獨立取值；不加入相依測量誤差或已知角度。

2. 文獻回顧、香港課程與研究定位

海倫公式及其不同幾何、三角與代數證明均屬成熟知識。Sangwin（2024）系統整理該公式的證明和歷史文獻；固定兩條邊的面積在直角情形最大亦為經典事實，不能當作新發現。Keikha、Löffler 與 Mohades（2021）已從計算幾何研究位置不精確的點集所產生的三角形面積最值，是不確定幾何的重要先例；其輸入是點的位置區域及多點最優化，與本文僅三條邊的獨立閉區間並不相同。本文的潛在貢獻是針對較窄的香港幾何延伸問題提出可教學、常數個候選的完整充要證書，不宣稱一般不精確三角形面積研究首次被解決。

教育局初中數學示例頁明列古代畢氏定理證明與正弦等度量、圖形內容；同局《學校數學通訊》是中文與英文幾何拓展材料的公開入口。作為中文文獻線索，教育局《學校數學通訊》第 28 期有秦九韶「三斜求積」與海倫公式的比較，屬傳統求積史與公式研究，並未核查確認包括本文整套獨立區間極值結論。這次文獻檢索仍非全面系統查新。

表 1：文獻與本稿研究設定對照（不代表已完成國際新穎性審查）

來源	已核實關聯	差異與限制
Sangwin（2024），The College Mathematics Journal	海倫公式不同證明及幾何脈絡，出版商頁面與大學機構書目可查	不確認本文閉式是全球首次
Keikha et al.（2021），Computational Geometry	多個不精確點的最值三角形及演算法複雜度，摘要和 DOI 可查	變量和目標不同；未逐條比對所有付費正文定理
香港教育局：初中數學教學示例	畢氏定理與圖形度量的香港語境	區間三邊定理不屬已核實的必修要求
香港教育局：《學校數學通訊》	香港數學史和幾何優化延伸的中文入口	不能替代學生實測或所有原文查新

3. 數學模型與定義

給定三個閉區間 $I_i=[l_i,u_i]$ ，其中 $0<l_i\le u_i$ 。以 $a,b,c$ 表示邊長， $\mathcal B=I_1\times I_2\times I_3$ 表示區間盒。只有嚴格滿足三角不等式的三元組，才構成非退化三角形：

\mathcal T=\{(a,b,c)\in\mathcal B:a+b>c,\ a+c>b,\ b+c>a\}. \tag{1}

海倫恆等式將面積 $A$ 寫成沒有平方根的多項式：

16A^2=2(a^2b^2+b^2c^2+c^2a^2)-(a^4+b^4+c^4). \tag{2}

以下比較 $A^2$ 的確切值，以避免無必要的浮點開根誤差。三條邊的輸入是閉區間，表示測量真值可取端點；然而 $\mathcal T$ 因嚴格三角不等式而可能不是閉集，因此最小面積不一定能取到。

4. 研究方法與驗證策略

研究以分析證明為主。先比較三個上界能否構成三角形；如有過長邊，將該邊向下移至嚴格三角形區。再微分 $A^2$ ，辨別增加某邊何時改善面積；於全域最大點證明至少兩個偏導數嚴格為正，從而鎖定兩個上界，並把餘下一條邊化成凹二次式。最小面積先以區間盒是否接觸退化平面分流，再利用單變量的單峰性逐個座標推向端點。

數學核驗使用 Python 標準庫 fractions.Fraction，將有理邊長、面積平方及端點不等式作精確算術。固定種子生成正邊長半整數盒，測試可行性、退化條件、三個解析候選，以及三維有理格點能否構成反例。網格永遠不能替代連續集合上的正式證明。所有輸入純屬人工合成，不含任何學生或實測資料。

5. 精確數學推導與分析

5.1 非退化三角形存在的充要條件

定理 1（嚴格可行性）。 對正邊長閉區間， $\mathcal T\ne\varnothing$ 當且僅當對每個互異的 $(i,j,k)$ 有

l_i<u_j+u_k,\qquad i=1,2,3. \tag{3}

證明。 必要性：如 $(a,b,c)\in\mathcal T$ ，則 $l_i\le a_i<a_j+a_k\le u_j+u_k$ 。充分性：先取三個上界 $(u_1,u_2,u_3)$ 。若嚴格三角不等式全成立，立即得證；否則因三個上界都正，最多只有一個索引（設為 $i$ ）違反嚴格不等式，即 $u_i\ge u_j+u_k$ 。由條件 $l_i<u_j+u_k$ ，可在 $I_i$ 選出 $a_i$ ，使 $|u_j-u_k|<a_i<u_j+u_k$ ：只需在 $u_j+u_k$ 的充分近左方取值，同時大於 $l_i$ 和 $|u_j-u_k|$ 。於是 $(a_i,u_j,u_k)$ 的三個三角不等式全嚴格成立。證畢。

這裡的等號不可省略。例如邊長區間 $[5,5],[2,2],[3,3]$ 只容許退化直線，並非面積為零的非退化三角形。當某個 $l_i>u_j+u_k$ ，即使另兩條邊同時選取其最大值亦無法彌補，故可立即判為不可行。定理亦包括零寬度邊長區間而不需要額外例外。

5.2 退化邊界的精確接觸判定

引理 1（盒與退化平面的交）。 $\mathcal B$ 至少包含一組退化三邊（其中一邊等於另外兩邊之和）當且僅當以下三種情況至少一種成立：

[l_i,u_i]\cap[l_j+l_k,u_j+u_k]\ne\varnothing \quad\text{for some }\{i,j,k\}=\{1,2,3\}. \tag{4}

證明。 若 $a_i=a_j+a_k$ ，因其他兩個閉區間之和恰為 $[l_j+l_k,u_j+u_k]$ ， $a_i$ 必在交集之中。反之取交集內任何 $s$ ；兩個實數閉區間的 Minkowski 和沒有空隙，故存在 $a_j\in I_j,a_k\in I_k$ 令 $a_j+a_k=s$ 。選 $a_i=s$ 即得到退化三邊。證畢。

引理 1 包括盒角、盒邊和盒面僅觸及退化平面的情形。它是對端點取到性的重要提醒：當存在非退化三角形時，盒內可能同時有非法退化值，故不能把含零的閉範圍全視為真正可行面積。

5.3 最大面積：三候選解析證書

固定正數 $b,c$ ，設 $z=a^2$ ，海倫公式成為

16A^2=4b^2c^2-(b^2+c^2-z)^2. \tag{5}

右式是 $z$ 的開口向下二次式，唯一無約束最大點 $z=b^2+c^2$ ，即 $a$ 所對的角為直角時。定義 $\operatorname{clip}(x;L,U)=\max\{L,\min\{x,U\}\}$ 。對每個 $i$ ，令另外兩個索引為 $j,k$ ，設

z_i=\max\{l_i^2,\min\{u_j^2+u_k^2,u_i^2\}\}. \tag{6}

只保留滿足 $(u_j-u_k)^2<z_i<(u_j+u_k)^2$ 的候選 $i$ ，其面積平方為

M_i=\frac{4u_j^2u_k^2-(u_j^2+u_k^2-z_i)^2}{16}. \tag{7}

定理 2（三候選尖銳最大值）。 如 $\mathcal T$ 非空，上述合格候選至少有一個，而且

A_{\max}^2=\max_{i:\,(u_j-u_k)^2<z_i<(u_j+u_k)^2}M_i. \tag{8}

此最大值可由非退化三角形實際取到；候選 $i$ 對應 $(a_i,a_j,a_k)=(\sqrt{z_i},u_j,u_k)$ ，提供直接的等號證書。若區間端點有理，三個 $M_i$ 都是有理數，即使某個最優邊長含平方根。

證明。 閉合區域 $\overline{\mathcal T}$ 是非空緊集，連續函數 $A^2$ 在其上有最大值；因有正面積點，此最大值嚴格正，不可能出現在退化平面上。設最大點為 $(a,b,c)\in\mathcal T$ 。由式（2）微分，

\frac{\partial (16A^2)}{\partial a}=4a(b^2+c^2-a^2),\quad \frac{\partial (16A^2)}{\partial b}=4b(c^2+a^2-b^2),\quad \frac{\partial (16A^2)}{\partial c}=4c(a^2+b^2-c^2). \tag{9}

因三邊皆正，最多一個括號可以非正：若 $a^2\ge b^2+c^2$ 和 $b^2\ge c^2+a^2$ 同時成立，則 $0\ge2c^2$ ，矛盾。因此至少兩個偏導數嚴格為正。由最大點離退化邊界有正距離，若這兩條邊任何一條未達其上界，單獨略增該邊就可增大面積，與最大性矛盾。故至少兩條邊必取各自的上界。剩下那條邊 $a_i$ 的最大問題即式（5）的單峰凹二次式：若直角點在允許平方區間內就取直角點，否則取距離其平方和最近的區間端點。由原最大點為正面積，對此固定 $(u_j,u_k)$ 的真正單變量最大必在嚴格三角形範圍內，故至少一個候選合格。三候選均為實際可行三角形，最大候選面積不低於原最大點又不可能超過它，故相等。證畢。

反例。 固定 $b=3,c=4$ ，令 $a\in[4,6]$ 。真正最大面積於 $a=5$ 取到 $A=6$ ；兩個端點 $a=4,6$ 的面積都較小。因此「三條邊都取端點，足以求最大面積」是錯誤的。見圖 1。

圖 1：固定兩邊為 3、4 的面積曲線，內部邊長 5 為尖銳最大點；純數學公式計算

5.4 最小值、零下確界與面積值域

定理 3（尖銳下界的兩種情況）。 假設 $\mathcal T\ne\varnothing$ 。（a）若引理 1 的任何一個退化平面與 $\mathcal B$ 相交，則 $\inf_{\mathcal T}A=0$ ，但零面積不可取到。（b）若三個退化平面都不接觸 $\mathcal B$ ，則整個盒 $\mathcal B$ 均嚴格滿足三角不等式； $A_{\min}$ 在八個盒頂點至少其中一個取到。

證明。 （a）取退化點 $d\in\mathcal B$ 及真三角形點 $p\in\mathcal T$ 。由長方盒及三個非嚴格三角線性不等式的凸性， $(1-t)d+tp\in\mathcal T$ 對所有 $0<t\le1$ 成立，面積沿 $t\downarrow0$ 趨零。因此零是下確界，但非 $\mathcal T$ 中任何真三角形的面積。（b）若盒 $\mathcal B$ 含一個不構成三角形的點 $q$ ，由已知真三角形點 $p$ 連接 $q$ 的線段必穿過某個三角不等式的等號面，產生退化點，矛盾。故整個盒都是非退化三角形。固定其餘兩條邊，式（5）隨 $z=a^2$ 先增後減，最小值必在此區間的一個端點。依次將 $a,b,c$ 推到各自端點而不增面積；由整盒可行，操作一直留在 $\mathcal T$ ，所以至少一個八頂點的面積不大於任何原點。證畢。

定理 4（可行面積集合沒有缺口）。 若退化平面觸及盒且仍有真三角形，全部可行面積恰為 $(0,A_{\max}]$ ；若無退化接觸，恰為 $[A_{\min},A_{\max}]$ 。

證明。 $\mathcal T$ 是長方盒與三個嚴格線性半空間之交，因而凸且連通。面積是 $\mathcal T$ 上的連續實值函數；連續像必為實數區間。定理 2、3 已給出上下端的值及其是否包括，故結論成立。證畢。

由此得到完整的有限步驟：先查式（3）；若不可行，回傳「無真三角形」。若可行，再查式（4）；如有退化接觸，下確界為零，否則用八角求最小面積。最後依式（6）—（8）求最大面積，並標註哪個端點可取到。對三條固定邊長區間，計算只需常數個有理數四則、比較與平方；報告面積實值時才需開平方。

表 2：精確人工例子與上下界取到性

三條邊閉區間	尖銳下界	尖銳上界	理由
$a=[4,6],b=3,c=4$	$\sqrt{455}/4>0$	$6$	最大於內部 $a=5$ ；最小於端點 $a=6$
$a=[4,7],b=[2,4],c=[3,5]$	$0$ （不可取到）	$10$	$7=2+5$ 退化；最大於 $b=4,c=5,a=\sqrt{41}$
$a=3,b=4,c=5$	$6$	$6$	零寬度區間的固定直角三角形
$a=5,b=2,c=3$	不存在	不存在	$5=2+3$ ，嚴格可行性失敗

圖 2：固定另外兩邊為 3、4 時，使用端點最大面積可能造成的低估幅度；圖中為人工公式計算

5.5 捨入原像和邊長相關性的適用邊界

主要定理所研究的是閉區間、獨立真值，並不無條件涵蓋每一種報表捨入規則。若採取「恰半單位向上」，顯示值 $x$ 的真正原像可為 $[x-q/2,x+q/2)$ ，上端點被排除。閉區間分析依舊提供保守上界，但其等號配置可能只可任意逼近而不可實際取到。當三條邊共用同一測量儀器的標定偏差時，聯合可行集亦未必為三維長方盒，不能直接套用三候選證書。開端點與相關誤差模型各需要獨立推導，亦構成後續研究問題。

6. 研究結果與人工計算驗證

先看可逐行重現的算例。當 $b=3,c=4$ ，且 $4\le a\le6$ 時，式（5）化為

A^2(a)=36-\frac{(25-a^2)^2}{16}\le36,\qquad A(5)=6. \tag{10}

端點的面積平方分別為 $36-81/16=495/16$ 和 $36-121/16=455/16$ ，均小於 36；最大值必須透過內部直角候選才可得出。第二例的 $(a,b,c)=(\sqrt{41},4,5)$ 符合三角不等式並且面積為 $10$ ；而 $(7,2,5)$ 恰退化，故全部真正可行面積組成 $(0,10]$ 。圖 3 為固定種子人工隨機取樣密度，直方圖不是對真值面積分佈的估計，亦不是上下界的數學證明。

圖 3：人工區間盒 a 為 4 至 7、b 為 2 至 4、c 為 3 至 5 的模擬樣本；零下確界不可取到

重現方式是在本稿資料夾執行 python3 code/verify_exact.py。腳本以 fractions.Fraction 做有理數運算，固定種子 20261015，比對解析候選及逐盒有理格點，並輸出 qa/verification.json。這個測試是對實作的反例搜尋和數值復核，不是定理對無限實數域的替代證明。

表 3：實際精確計算的規模與證據效力

實際計算（2026-10-15）	檢查項目	解釋界線
1,100 個固定種子半整數人工盒	可行條件、退化接觸及面積分析界	其中 1,034 盒可行，66 盒不可行；非抽樣真實量度
364,183 個可行有理格點	格點面積平方處於理論上下界之內	8×8×8 網格易漏內部極值，不能單獨證明尖銳
2,630 個解析候選點	是否為真三角形及其面積平方	檢查邊界操作；尖銳性由定理 2 的全域證明保障
866 個含退化接觸的可行盒；542 次內部候選出現	零下確界與非端點最大候選的邊界狀況	542 是候選出現次數，不是 542 個由它獨佔全域最大值的盒

圖 1 的直角最優值、圖 2 的端點捷徑偏差及圖 3 的開區間面積下端分別對應極值位置、方法失效及取到性三種不同的數學現象。所有圖均依明列模型公式計算；不把合成數據結果延伸推論到教室學生的能力差異。

7. 討論：與既有理論的差異與香港教學啟示

與 Sangwin（2024）記錄的經典公式相比，本研究的特色在於把輸入集明確寫成三維區間盒，且把每個極值是否取到列為輸出；這是問題設定與結論形式的延伸，不是新的海倫公式。與 Keikha 等（2021）處理平面不精確位置與點集多重配置的複雜性相比，本題只需三段獨立邊長區間，因而有常數個解析候選。但不精確三角形面積文獻範圍廣泛，未完成系統查新以前不能以此聲稱閉式具全球優先權。

香港中學資優課或數學探究活動可以先讓學生由 $(3,4,5)$ 推出直角面積最大，再把第三邊設成 $[4,6]$ ，嘗試推翻「全查端點就能求最大面積」的猜想。較高階的學生可學習海倫公式平方、代數因式分解、二次函數最值、偏導符號、精確端點與拓樸上未取到的下確界。設計連接幾何直覺、代數證明及不確定性建模，但尚無教師共備、學生試用或成效數據，故只可作待驗證的教學設計建議。

表 4：學生可能提出的猜想與數學檢驗

直覺猜想	精確診斷	證書或反例
三邊愈長，面積必愈大	鈍角所對邊的面積偏導可以為負	式（9）；固定 3、4，取 $a=5$ 優於 $a=6$
八個頂點必含最大面積	一個內部直角點可能優於所有頂點	定理 2 及圖 1
面積最小值必可取到	退化邊被嚴格三角不等式排除	定理 3； $7=2+5$ 是極限而非真三角形
兩個極值之間可能有面積空隙	真三角形可行集合是凸的	定理 4；連續像的中間值性質

8. 研究限制

第一，輸入假定三條邊為相互獨立的正數閉區間；真實量測可能相關或具半開捨入原像，需重新推導。第二，全部數據來自人工模型，不能推論香港學生解題行為、認知負荷或學習成效。第三，已辨識海倫公式與不精確幾何的直接先例，但中文期刊全文及國際優化文獻未完成系統查新；若三候選公式已有等價形式，仍應將本稿定位為既知原理的香港教育特化。第四，帶角度限制、同時變動點位置、多邊形或非歐幾何情況不在本定理適用範圍。第五，數值網格及圖表只能作實作核查，不能代替一般證明。第六，圖 2 的色圖只作參數敏感度的人工顯示，端點式低估率在端點面積近零時可非常大，不代表教學效果量。

9. 結論及後續研究

對三個正獨立閉區間，本文給出嚴格三角形存在的充要條件、退化接觸判別、至多三候選的尖銳最大面積，以及「八頂點最小值」與「零但不取到的下確界」兩種精確分流；所有可行面積還形成沒有缺口的區間。最具可供數學探究使用的反例是八個邊長端點仍會漏掉最大面積，其代數原因是固定兩邊時海倫面積平方對第三邊平方呈單峰凹二次式。下一步宜將獨立閉盒改成半開捨入真值集合、含共享誤差的相關盒，並由香港教師和學生合作評估活動難度。這是一篇未經外部同行評審的理論研究工作論文。

參考文獻

Education Bureau. (n.d.). Learning and teaching examples for the revised junior secondary mathematics curriculum (2017): Measures, Shape and Space Strand. https://www.edb.gov.hk/en/curriculum-development/kla/ma/res/Measures-Shape-and-Space.html

香港教育局。（無日期）。《教學資源——學校數學通訊》。https://www.edb.gov.hk/tc/curriculum-development/kla/ma/res/smn.html

Keikha, V., Löffler, M., & Mohades, A. (2021). Largest and smallest area triangles on imprecise points. Computational Geometry, 95, Article 101742. https://doi.org/10.1016/j.comgeo.2020.101742

Sangwin, C. J. (2024). On Heron’s formula for the area of a plane triangle. The College Mathematics Journal, 55(5), 406–415. https://doi.org/10.1080/07468342.2024.2318191