香港 M2 三次函數係數區間的駐點型態精確證書：內部極小判別式與首次轉換半徑

摘要

在香港中學文憑試數學延伸部分單元二（M2），微分可用於尋找三次函數的極大、極小與水平拐點。然而，教材中一個確定的三次函數若改成一組係數各自處於獨立閉區間的函數，某一代表曲線的駐點數便不足以判定整個函數族。本文研究 $f(x)=ax^3+bx^2+cx+d$，假設 $a$ 的整個區間嚴格為正，將關鍵判別式寫成 $\Delta=b^2-3ac$。藉由平方函數的內點極小與雙線性乘積的端點極值，本文提出並證明精確、可實現的判別式範圍與駐點型態充要判準；指出只枚舉係數盒頂點會錯失 $b=0$ 的內部極小。對獨立共同半徑族，建立由有限個二次多項式、分支交點與有理根隔離構成的首次轉換半徑計算方法。兩組人工案例的臨界半徑分別精確為 $1/2$ 與 $(3-\sqrt3)/2$；精確有理數、分離程式與符號代數核對通過。結果是經典區間分析與微分理論在香港 M2 語境中的可核驗數學應用，不能由此宣稱通用判別式理論的新穎性，亦不代表教學有效性已受驗證。

關鍵詞： 三次函數；駐點；區間分析；判別式；魯棒保證；臨界半徑；香港中學文憑試；數學教育。

Abstract

Differentiation in Hong Kong's HKDSE Mathematics Extended Part Module 2 supports the study of local extrema and stationary inflections of cubic functions. This theoretical working paper considers cubic polynomials with independently interval-uncertain coefficients and a strictly positive leading coefficient. By minimizing a square term and a bilinear product separately, we derive attainable, exact discriminant bounds, proving necessary and sufficient certificates for every admissible stationary-point regime. A constructed example disproves the tempting strategy of checking coefficient-box vertices only: the discriminant minimum may occur at an interior value of the quadratic coefficient. We also describe a finite algebraic procedure for the first common coefficient-uncertainty radius allowing a stationary inflection and derive two exact constructed thresholds, $1/2$ and $(3-\sqrt3)/2$. Rational test boxes, an independently implemented audit, and symbolic computations reproduce the stated examples. The work presents a curriculum-specific application of established interval mathematics; global mathematical originality, classroom effectiveness, and external peer review remain unestablished.

Keywords: cubic polynomial; stationary point; interval analysis; discriminant; robust certificate; critical radius; Hong Kong Diploma of Secondary Education; mathematics education.

1. 引言

在定值三次函數的微分題目中，學生通常由 $f'(x)=0$ 求出臨界點，並利用導數符號判定極大值、極小值及增減區間。然而，當 $a,b,c,d$ 是區間值，例如由題目數字的四捨五入、量測誤差或模型參數浮動所產生，計算中心函數的兩個駐點並不能證明全部容許函數都有兩個駐點。「存在一個參數選擇」與「所有參數選擇」是不同量詞；前者給出例子，後者需要整個集合的下界或上界證書。

香港教育局 2017 年 Mathematics Education Key Learning Area Curriculum Guide (Primary 1–Secondary 6)，在 M2 學習單元列出「Differentiation」與「Applications of differentiation」（課程指南第 28 頁；PDF 頁面索引 43）。這確立本文與課程內容的直接關聯，卻不能自行保證在真實課堂易教易學。本文所定義的係數不確定性是研究者提出的額外數學假設，不是聲稱 HKDSE 試卷既有這種實際題目。

本文依次回答三個數學問題：對一個獨立係數盒，能否取得全體函數的駐點數充要證書；為何只檢查端點可能錯誤；在所有係數可獨立浮動同一半徑時，第一次出現零判別式是否有精確的有限代數計算方法。主要工作的價值是將分散的經典事實寫成可檢查證書，並附上反例、見證及可重現算術；其教育適用性尚待後續研究。

2. 文獻綜述與研究定位

對任意二次方程，判別式控制實根數是成熟的初等代數。NIST Digital Library of Mathematical Functions §1.11(iii) 列出二次根公式及 $b^2-4ac$。本研究只將這一事實應用於三次函數的導數，沒有改動已有理論。Moore、Kearfott 與 Cloud（2009）的 Introduction to Interval Analysis 系統介紹區間數、範圍與驗證計算，尤其強調尋找一個函數在輸入區間的實際像集而非任意寬鬆包圍。本文的閉區間、可達見證、最值算法屬這一既有框架的特例。

Kale 與 Tits（2000）討論 Kharitonov 定理中多項式族的魯棒穩定性和不變次數假設，證明「有區間係數」的研究脈絡早已成熟。但該文的中心問題是複平面根穩定性，而本文是三次多項式的實駐點數；不能以兩者研究對象不同，直接推斷本文的簡單公式具全球首創性。這三個來源提供數學與方法基線，香港教育局課程指南提供本地內容基線。

搜尋主要使用「香港 M2 微分 駐點 三次函數」「係數區間 判別式 根個數」「interval cubic coefficients stationary points」「discriminant interval coefficients」「interval polynomial Kharitonov」等中英文詞。其性質為定向而非系統性文獻檢索；書目與存取限制另見 Literature_Search_Log.md。沒有對所有付費期刊、中文學位論文或數學教育教材做排除性查新，因此以下成果不標為全新數學定理之首次提出。

表 1：先前理論與本文附加工作之分界

3. 理論框架與假設

考慮獨立閉有理區間 $A=[a_L,a_U]$、$B=[b_L,b_U]$、$C=[c_L,c_U]$、$D=[d_L,d_U]$，其中 $0<a_L\le a_U$；容許函數集合 $\mathcal F=\{ax^3+bx^2+cx+d:(a,b,c,d)\in A\times B\times C\times D\}$。完整的笛卡兒乘積意指各係數可自由組合，沒有相關、函數性約束或機率條件。有理端點保證每個界可用精確有理數表示；數學定理對實數閉端點同樣成立。

當 $\Delta>0$，導數二次式在 $x_-$ 和 $x_+$ 之間為負、兩端為正，故左方是局部極大點、右方是局部極小點。當 $\Delta=0$，$f'(x)=3a(x+b/(3a))^2$，導數不改變符號，只有一個駐點而沒有局部極值；該點是水平拐點。當 $\Delta<0$，$f'(x)>0$ 對所有 $x$ 成立，沒有實駐點。係數 $d$ 只改變曲線垂直位置，不影響 $f'$ 的根數。

定義 $s_-$、$s_+$ 為 $b^2$ 在 $B$ 上的最小及最大；$p_-$、$p_+$ 為 $ac$ 在 $A\times C$ 的最小及最大。為避免與二次方程傳統判別式 $4\Delta$ 混淆，以下一律稱 $\Delta$ 為「簡化判別式」。

4. 研究方法與核驗規格

數學分析先精確求 $b^2$ 和 $ac$ 兩個互不共用參數的值域；再透過係數盒的連通性證明「所有中間值」亦能實現；最後將共同半徑 $r$ 代入端點函數，求出跨越零的最早時刻。演算法把每個輸入當作有理數，而非浮點近似；符號半徑則使用 SymPy 展開和根式化簡。本文從不把人工測試結果當成一般定理的替代證明。

主程式 code/exact_discriminant.py 以 Fraction 取得 $b$ 的端點或零點、$ac$ 的四個角點與兩個可行見證。獨立程式 code/independent_audit.py 不匯入主程式，使用微分最值候選、四個 $ac$ 角點與 $5^3$ 有理格點核對。code/symbolic_radius_audit.py 以 SymPy 核對兩個半徑多項式、零根與見證。所有檢查都是研究者設計的人工數學案例，不涉及任何人類受試者或真實校本評核。

5. 數學定理、完整證明與反例

5.1 判別式的精確範圍

定理 1（可達的精確判別式區間）。 在第 3 節獨立係數盒假設下，所有可行 $\Delta$ 的集合恰好為以下閉區間：

證明。 固定任何 $a,c$，$b^2$ 的最小值必在離 $0$ 最近的區間點取得，即 $b$ 跨越零時取 $0$，否則取絕對值較小的端點；最大值在某端點取得。故式（2）完整刻畫 $b^2$ 的全域界。對 $ac$，固定 $c$ 時是 $a$ 的仿射函數，故最大最小可移至 $a_L$ 或 $a_U$；其後固定這個 $a$，對 $c$ 亦是仿射，故可移至 $c_L$ 或 $c_U$。由此必能在四個角點取得全域乘積上下界（包括負 $c$、零 $c$ 或退化區間），正是式（3）。

對任意可行 $a,b,c$，有 $s_-\le b^2\le s_+$ 及 $p_-\le ac\le p_+$，所以 $s_- -3p_+\le\Delta\le s_+-3p_-$。由 $B$ 可獨立於 $A,C$ 選值，選出 $b^2=s_-$ 的 $b$，同時選出 $ac=p_+$ 的角點，便有某個可行函數令 $\Delta=m$；反過來選 $s_+$ 和 $p_-$，亦能得到 $\Delta=M$。以上是可達極值，不是只求到保守包圍。

最後，$A\times B\times C\times D$ 是凸盒，故連通；$\Delta$ 是多項式映射，故連續。任取達到 $m$ 與 $M$ 的兩個可行係數組合，沿兩者的線段連續移動，介值定理保證每個介乎 $m$ 與 $M$ 的實數都是某個可行 $\Delta$。即得到整段像集。證畢。

推論 1（駐點數的必要充分判準）。 若 $m>0$，所有函數均有局部極大與極小各一；若 $M<0$，所有函數均無實駐點；若 $m=M=0$，所有函數均有且只有一個水平拐點。對其他情況，任意一個符號類別（負、零、正）是否存在，當且僅當區間 $[m,M]$ 與該符號區域有非空交集。因此 $m\le0\le M$ 當且僅當存在至少一個水平拐點，$m<0<M$ 當且僅當三種型態均可實現。

證明。 第 3 節已由二次根公式證立三種符號對駐點的分類，定理 1 又證明像集恰好是閉區間，故任一符號類別存在與否等同相應子區間是否含可行判別式，沒有額外條件。證畢。

表 2：以判別式上下界作完整分類

5.2 為甚麼只查全部頂點會給錯證書

反例 1（非頂點極小）。 令 $A=C=\{1\}$、$B=[-2,2]$，任意 $d$。在全部非重覆係數端點 $b=-2$ 和 $b=2$，$\Delta=4-3=1>0$；但合法的內部係數 $b=0$ 令 $\Delta=-3<0$。式（4）給出真實範圍 $[-3,1]$，故這族函數同時可能有兩個駐點、水平拐點及無實駐點。因此「全部係數盒頂點都有兩個駐點」並不蘊涵「盒內全部函數都有兩個駐點」。這一點在第七篇多仿射行列式端點法中不會出現，是本篇模型的重要數學差別。

5.3 共同係數半徑與首次零判別式

固定有理中心 $a_0>0,b_0,c_0$，令 $0\le r<a_0$，設 $A(r)=[a_0-r,a_0+r]$、$B(r)=[b_0-r,b_0+r]$、$C(r)=[c_0-r,c_0+r]$，各軸獨立；$D$ 任選非空閉區間。定義 $m(r),M(r)$ 為定理 1 的精確界。因所有盒隨半徑擴大而巢狀包含，$m(r)$ 非遞增、$M(r)$ 非遞減；而中心判別式 $\Delta_0=b_0^2-3a_0c_0$ 對全部 $r$ 均可實現。

定理 2（首次水平拐點半徑的有限代數證書）。 設 $\Delta_0\ne0$，考慮 $r\in[0,a_0)$。如果存在零判別式函數，則其首次容許半徑 $r_*$ 存在，且：

• 當 $\Delta_0>0$ 時，$r_*$ 是使 $m(r)=0$ 的最小容許半徑；
• 當 $\Delta_0<0$ 時，$r_*$ 是使 $M(r)=0$ 的最小容許半徑。

兩者均可透過至多四個 $P_{uv}$ 的二次式、$r=|b_0|$ 的可能分支界，以及 $P_{uv}=P_{u'v'}$ 的有限分支交點，分段解二次方程並以精確不等式驗證求得。如果在 $[0,a_0)$ 不存在零點，則模型的容許半徑內沒有首次轉換；不能把 $r=a_0$ 處的退化非三次函數當作本定理的見證。

證明。 若 $\Delta_0>0$，每個半徑盒均含中心，所以 $M(r)\ge\Delta_0>0$。推論 1 指出首次出現零判別式當且僅當 $m(r)\le0$。函數 $m(r)$ 是有限個連續函數的最大、最小及和，故連續；在 $r=0$，$m(0)=\Delta_0>0$。若存在一個容許半徑令 $m\le0$，介值定理及 $m$ 的非遞增性保證存在首次零點，且必達到 $m(r_*)=0$。若 $\Delta_0<0$，則 $m(r)\le\Delta_0<0$，由對稱論證及 $M(r)$ 非遞減性，首次可達零必出現在 $M(r_*)=0$。

式（5）的 $s_+$ 是整段一個二次式，$s_-$ 在 $r=|b_0|$（若該點處於容許區間）前後分別是 $(|b_0|-r)^2$ 和 $0$。每個 $P_{uv}$ 是至多二次式。因此在所有有限的候選切換位置（四條二次式的兩兩交點及 $|b_0|$）所劃分的開區間內，哪個 $P_{uv}$ 是最小、最大不會改變；$s_-$ 的分支也固定。於是每段的 $m$ 或 $M$ 都是至多二次多項式，可以列出實根並核實其半徑分段與可行性。所有有限候選位置本身都逐一代入式（6）檢查。

若相減的多項式恆為零，視為全段等值分支，毋須無限列交點。若某段的目標二次式恆為零，從左端點的連續性檢查最先達零的位置即可。只在 $[0,a_0)$ 的可行根中選最早一個；這是一個固定數量多項式的有限代數程序。證畢。

補充： 所有輸入若為有理數，分支位置和零點都是次數至多二的代數數。實作可用有理隔離區間及精確符號比較；單靠把根式印成小數並以浮點「約等於零」判別，無法保證臨界等號。$r_*$ 不一定存在於所限定的 $[0,a_0)$；這一例外是模型定義的一部分。

5.4 人工案例一：原先兩個駐點，首次容許水平拐點

設 $(a_0,b_0,c_0)=(1,2,0)$，$0\le r<1$。在此範圍 $b>0$；由 $C(r)=[-r,r]$ 和 $A(r)>0$，乘積最大為 $r(1+r)$、最小為 $-r(1+r)$。故精確上下界為：

$m(0)=4>0$，且在 $0\le r<1$ 嚴格遞減；解 $4-7r-2r^2=0$ 得兩個代數根 $1/2$ 及 $-4$，唯一容許非負根是 $r_*=1/2$。在 $r=1/2$，取 $a=3/2$、$b=3/2$、$c=1/2$，即有 $\Delta=9/4-9/4=0$；此函數的唯一駐點為 $x=-b/(3a)=-1/3$，是水平拐點。當 $r<1/2$，全部曲線有兩個相異極值；當 $1/2<r<1$，$m(r)<0<M(r)$，三種駐點型態均可實現。

5.5 人工案例二：原先沒有駐點，首次容許水平拐點

令 $(a_0,b_0,c_0)=(1,0,1)$，仍取 $0\le r<1$。此時 $b$ 區間含零，平方最小值 $0$；平方最大值 $r^2$。因 $a,c$ 在此範圍均非負，乘積最小值 $(1-r)^2$、最大值 $(1+r)^2$，因此：

$M(0)=-3$；方程 $-3+6r-2r^2=0$ 的兩根為 $(3\pm\sqrt3)/2$，只有較小者位於 $[0,1)$。於是

在 $r=r_*$ 之前 $M(r)<0$，所有曲線的導數均嚴格為正，故沒有駐點；在等號處出現唯一水平拐點見證；之後 $m(r)<0<M(r)$，三種型態同時成為可能。此例表明臨界半徑不限於有理數；準確寫出根式與代數證書，比只報三位小數更能回答「第一次」的嚴格問題。

5.6 假設的必要性與邊界反例

反例 2（相關係數不可套用獨立盒）。 令 $a\in[1,2]$ 且 $c=3-a$、$b=0$。實際約束下 $ac=a(3-a)$，在 $a\in[1,2]$ 的最小值為 $2$、最大值為 $9/4$，故 $\Delta$ 實際範圍為 $[-27/4,-6]$。若僅知道 $A=C=[1,2]$ 而忽略 $c=3-a$，獨立盒公式得 $[-12,-3]$；兩者不同，因為相關路徑不是完整的係數盒。模型無法由這種假想寬界推論實際某個端點見證可行。

反例 3（$a=0$ 改變函數次數）。 若容許 $a=0,b=1,c=0$，則 $f(x)=x^2+d$，只有一個局部極小點，雖然形式計算 $\Delta=b^2-3ac=1>0$。失敗原因是 $f'(x)$ 退化成線性函數，二次根的兩駐點分類已不適用。必須在定理的每一個函數中保證 $a>0$（或改用對負首項單獨證明的版本），不能只依靠中心 $a_0>0$ 而容許半徑到達或超過 $a_0$。

邊界 1（退化區間及 $c$ 的符號）。 定理 1 包含端點相等的閉區間。當 $c$ 可為負、零或正時，$ac$ 的四角點算法仍正確；但把 $p_+$ 偷換為 $a_Uc_U$ 可能錯誤：例如 $A=[1,2],C=[-3,-1]$，最大值為 $-1$，在 $(a,c)=(1,-1)$ 取得，而非 $(2,-1)$。

邊界 2（固定 $d$／不同 $d$）。 改變 $d$ 不會移動 $f'$ 的零點，但會移動圖像的高度；若研究對象要求的是駐點的座標值 $(x,f(x))$而非數目，仍要將 $D$ 的影響納入。

6. 計算結果及交叉核查

所有測試均使用人工生成的有理數區間而非學生資料。主程式用固定種子 2026101508 產生 600 個人工盒，精確檢查可實現的極小及極大判別式見證，並對比單純八個端點。273 個人工盒的真正最小值低於全部端點值，實際展示端點法的風險；該比率是此人為生成程序的結果，不代表現實教材或學生誤判率。

獨立程式另外使用固定種子 801552 生成 360 個人工盒。對每盒使用一套不同的候選值程序，並對每盒 $5^3=125$ 個有理格點共 45,000 次直接計算判別式；全部格點都位於理論上下界內，兩套界值一致。另對主程式五個指定人工案例的極值見證共十次直接代入核查。符號程式核對兩個包絡多項式、根、端點見證與非負半徑區間。數值與符號測試不能取代定理 1–2 的一般性證明。

表 3：獨立數學核驗（2026-10-15）

表 4：推論的證據種類

7. 討論：數學教育意義與可測試的教學假設

本文的首要教育啟示是把一道確定係數的導數題升級為要求全稱量詞的問題：「中心函數有兩個駐點」不等於「係數盒所有函數都有兩個駐點」。教師可先展示函數 $f(x)=x^3+bx^2+x$ 在 $b=-2,0,2$ 的導數與型態，再要求解釋為何單純查看最外兩條曲線不足；最後以 $m$ 和 $M$ 精確回答。這是供設計研究的數學例題提案，並非已經實施的教學實驗。

其次，內點 $b=0$ 的反例讓學生看見「極值常在端點」具有額外的仿射或單調性前提。直觀上，二次函數 $b^2$ 的最小值可能在內點；$ac$ 在矩形上因為分別對 $a,c$ 線性而可用端點。兩者形式相近卻有不同極值位置。這種比較可以服務於 M2 的微分、二次函數及數學論證，但其認知難度與所需教學時間都尚未由教師審定。

再次，$r_*$ 是一個兼具幾何與代數意義的分界。若測量或顯示精度得到 $r$ 的外向保證，教師能提出「在多大的誤差之前極值型態仍有保證」這類問題；不過實際測量誤差往往有相關、非均勻或隨機結構，不能不加檢查便假設獨立盒。另一方面，學術上式（4）是相當直接的區間分析特例，故其價值目前是課程化的精確證書、反例及可重現教材原型；更深入的數學原創性仍有待嚴格查新。

可供未來倫理審批研究的可驗證假設是：與只練習定值導數相比，加入「端點反例與全盒證書」的教學活動，會否提高學生區分存在量詞和全稱量詞的答題能力？要回答此問題，需要明確 rubric、前後測設計、班級配置、教師效應和共變量控制。目前任何正面或負面成效敘述均沒有數據支持。

8. 限制

數學方面，研究只涉及彼此獨立的實閉區間，並對所有函數假設 $a>0$。若係數相關、區間非閉、係數具有概率分佈、$a$ 可為零或使用有限精度浮點端點，需重新分析。定理 2 的半徑只在 $0\le r<a_0$ 的容許領域有效；並非每個中心都有一個落在該域內的首次零點。若要輸出機讀精確根，必須採用代數數比較或隔離區間；本稿實作只展示兩個具體符號半徑，不聲稱已有通用的經過完整驗證的無理代數根隔離軟件。

文獻方面，搜尋屬定向，部分全文需付費，中文研究覆蓋有限。引用的經典區間及穩定性理論已包括許多類似定理思想；本文未進行可證立全球新穎性的系統比對。教育方面，沒有真實香港教師審定、沒有學生訪談、沒有實驗或學習成效估計，不能由形式上的可計算性推斷課程適切程度，更不能聲稱提升成績。

9. 結論

本文對正首項、獨立閉區間係數的三次函數族，建立由 $b^2$ 的區間極值和 $ac$ 的矩形四角點組成的精確、可達判別式值域，並以連續性證明所有中間值實現；據此給出駐點數與水平拐點是否存在的必要充分判準。一個簡短反例證明只查係數盒頂點可能遺漏真正最小判別式。共同半徑條件下，有限多項式分支使首次零判別式可作精確代數分析；人工中心 $(1,2,0)$ 和 $(1,0,1)$ 分別取得 $1/2$ 與 $(3-\sqrt3)/2$ 的首個臨界半徑。兩套分離有理核驗及符號計算支持例題，沒有取代書面證明，也不構成教學成效證據。後續需要更廣泛的原著查新、香港教師審閱和受倫理規範的學習研究。

參考文獻

Curriculum Development Council. (2017). Mathematics education key learning area curriculum guide (Primary 1–Secondary 6). Recommended for use in schools by the Education Bureau, Hong Kong SAR Government. https://www.edb.gov.hk/attachment/en/curriculum-development/kla/ma/curr/ME_KLACG_eng_2017_12_08.pdf

Kale, A. A., & Tits, A. L. (2000). On Kharitonov's theorem without invariant degree assumption. Automatica, 36(7), 1075–1076. https://doi.org/10.1016/S0005-1098(00)00016-9

Moore, R. E., Kearfott, R. B., & Cloud, M. J. (2009). Introduction to interval analysis. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9780898717716

National Institute of Standards and Technology. (n.d.). Digital library of mathematical functions, §1.11(iii): Polynomials of degrees two, three, and four. https://dlmf.nist.gov/1.11.iii