Sharp Existential-Root Certificates for Polynomials with Independently Bounded Coefficients: Sign-Aware Envelopes, Bernstein Subdivision, and Hong Kong Mathematics Enrichment

摘要

高中代數常把多項式的係數看作精確常數，但測量、擬合與報表的數值只可能落在指定區間。若每個係數獨立取自閉區間，一個指定實數區段內是否可能存在某組係數使多項式為零，與「所有多項式都有根」及「某一條名義多項式有根」是三個不同問題。本文證明：對連通係數盒與自變數閉區間，所有可實現的多項式函數值組成沒有缺口的閉區間；其端點可由依 x 正負及奇偶次方選取係數端點的兩條包絡函數之全域極值精確給出。由此得到「全部嚴格正、全部嚴格負、至少一組可有零點」的互斥且窮盡三分類，以及對零點可實現性的一條充要證書。本文又給出有理數輸入下利用多項式根隔離作精確符號檢驗的有限演算法，證明 Bernstein 基底控制係數全正是充分而非必要條件，並證明當嚴格正性有正裕量時等分細分終會給出有限張正性證書。研究包括三個邊界反例、380 組人工區間盒的獨立頂點／Sturm 交叉核驗、130 組 Bernstein 恆等核驗與三幅人工數學圖。研究範圍與香港高中「更多關於多項式」及 M2 代數與微積分的高階延伸相連，但不是該課程已列明的必考區間算法。

**關鍵詞：**區間多項式；存在性實根；魯棒正性；奇偶次方；Bernstein 基底；Sturm 序列；香港資優數學。

Abstract

For a polynomial whose real coefficients vary independently in closed rational intervals, root existence for some coefficient realization is logically distinct from root existence for every realization or for one nominal polynomial. This working paper establishes exact sign-aware lower and upper polynomial envelopes on both sides of the origin. It proves that the total attainable value set over the connected coefficient box and a closed input interval is a closed interval, with endpoints given by extrema of those envelopes. Consequently, universal strict positivity, universal strict negativity, and existence of at least one realizable zero form an exhaustive exact classification. We formulate finite rational tests using classical exact root-counting, demonstrate why selecting all lower coefficient endpoints fails on negative inputs, and explain the insufficiency and eventual strict-margin completeness of Bernstein positivity controls under subdivision. Independent vertex/Sturm comparisons over synthetic boxes and exact Bernstein identities provide reproducibility checks, not substitutes for proof. Bernstein certificates and interval polynomial root analysis have substantial prior literature. The contribution is a scoped, proof-oriented educational specialization for advanced Hong Kong mathematics; global novelty and classroom effectiveness are unverified.

Keywords: interval polynomial; existential root; robust positivity; sign-sensitive bounds; Bernstein basis; exact root counting; mathematics enrichment.

1. 引言：一個量詞的差異如何改變解答

當老師在黑板寫出 $p(x)=x^2-2x+1$ 時，判斷 $p(x)=0$ 可直接完成平方。然而若其中某個係數來自四捨五入或有界測量，便可能只知道 $\alpha_k\in[\ell_k,u_k]$ 。所研究對象不再是一條曲線，而是一個具有獨立參數的多項式家族。就一個閉區間 $x\in[L,U]$ ，以下問題不能互相替代：

（I）是否存在某些係數與某個 $x$ ，使 $p(x)=0$ ？（II）是否每種係數配置至少有一個根？（III）是否對全部係數及整個區段， $p(x)>0$ ？（IV）只用某組名義係數作圖能否代表整個家族？

本稿重點放在（I）和（III），另給出（II）的充分例子但不宣稱解決一般的強制有根分類。這一約束使我們能夠在一個小而清晰的模型內證明真正的充要結論，並對判定「不可能有零點」提供可被覆核的有限證書。同時分析常見的兩個誤區：當 $x<0$ 時把所有係數下界代入並不構成函數下界；Bernstein 控制係數含負數亦不等於多項式在區段內曾經變負。

香港教育局《高中數學課程及評估指引》所附課程流程圖包含「更多關於多項式」及 M2 代數與微積分相關學習單元。這足以說明代數函數、符號、根和求導在本地課程有明確銜接；獨立區間係數盒的 Sturm／Bernstein 判定並非已核實為 HKDSE 必修考核項目。因此本稿只定位於高中資優、數學研究及跨科建模延伸。

2. 文獻回顧與新舊知識界線

根隔離已知先例：Collins 與 Akritas（1976）使用 Descartes 符號法則求多項式實根隔離，其 ACM 正式記錄明確描述方法及複雜度。因此一般性根數演算法不是本研究的新貢獻。Mourrain 與 Pavone（2009）將 Bernstein 表示與 Descartes 法則用於細分求解多項式系統；Peña（2005）研究 Descartes 法則的精確性。Boudaoud、Caruso 與 Roy（2008）尤其已直接建立 Bernstein 基底正性證書及細分相關的位元複雜度界；本文所述「嚴格正時細分會終止」是既有方法的簡化證明，不能歸屬原創。

中文直接先例：樊旭川（2005）在中國科學技術大學博士論文《區間多項式與區間隱式化方法》研究區間多項式實根集合與多項式族的零區間；陳越強（2008）同校博士論文《樣條曲面的區間隱式化、區間曲面的降階及區間多項式零點的研究》更列有區間 Descartes／Budan–Fourier／Sturm 定理的推廣。現可追溯到公開學位論文書目、目錄與摘要，但未取得可逐行核對的完整原始博士論文文本。這兩項發現意味「區間多項式零點的中文研究缺乏」或「第一次提出區間 Sturm」均屬不可接受的宣稱。

本稿的差異：限制在一元、多個彼此獨立係數閉區間與指定閉自變數區段，強調「存在某一組係數與某一個實根」的二重量詞，導出兩段正負包絡和單一價值區間的精確圖像，再用傳統根計數和 Bernstein 證書作可核實的教學與算法比較。這可能只是既有區間分析的特殊表述，不能推斷全球首創。

表 1：文獻對比及資料可及範圍

來源	主要現有研究	本稿採用部分／尚待核查
Collins & Akritas（1976）	Descartes 實根隔離	本稿使用現有精確根數判定；ACM 摘要與書目已核實
Mourrain & Pavone（2009）	Bernstein 與 Descartes 細分求解	本稿以其作 Bernstein 根證書先例；原始全文部分受取用限制
Boudaoud et al.（2008）	Bernstein 正性證書及位元大小上界	完全承認正性細分的已有先例；正式出版書目可核實
樊旭川（2005）、陳越強（2008）	中文區間多項式的零區間、Sturm 擴展	公開學位目錄與摘要；尚未逐頁審讀正式博士全文
香港教育局（2017）	高中多項式、M2 課程流程及學習脈絡	只作高階延伸的課程橋接，不宣稱此算法為必修

3. 理論框架：係數盒、函數值域及根量詞

設 $n\ge0$ 是固定整數，所有 $\ell_k,u_k$ 均是實數且 $\ell_k\le u_k$ ；若為有理數便可作完全精確計算。考慮閉長方盒 $\mathcal A=\prod_{k=0}^{n}[\ell_k,u_k]$ ，以及非空閉自變數區間 $I=[L,U]$ ，其中 $L\le U$ 。對任一 $\boldsymbol\alpha=(\alpha_0,\ldots,\alpha_n)\in\mathcal A$ ，定義

p_{\boldsymbol\alpha}(x)=\sum_{k=0}^{n}\alpha_k x^k,\qquad \mathcal V=\{p_{\boldsymbol\alpha}(x):\boldsymbol\alpha\in\mathcal A,\ x\in I\}. \tag{1}

符號上區分三種主張。可實現零點（existential root）是存在 $\boldsymbol\alpha,x$ 令 $p_{\boldsymbol\alpha}(x)=0$ ；全族嚴格正是對所有 $\boldsymbol\alpha,x$ 均有 $p_{\boldsymbol\alpha}(x)>0$ ；全族必有根則是對每一組 $\boldsymbol\alpha$ 都存在（可能不同）的 $x$ 。本文的精確三分類針對前兩者，而不把全族必有根當作已完全分類。

因 $\mathcal A\times I$ 是緊致凸集合， $p_{\boldsymbol\alpha}(x)$ 對所有變量連續，所以整體值域 $\mathcal V$ 緊緻且連通，亦即某個閉實數區間。這個極其基本的拓樸事實是往後「兩處分別出現正值與負值，也必存在某個零值」的正確理由：那兩處的係數不必相同，因為允許沿參數空間連續改變係數。若研究問題要求先固定同一組係數，這個結論就不可直接套用。

4. 方法設計與核驗

數學部分依次證明：固定 $x$ 的點態極值是各係數端點的線性選擇；當 $x$ 穿越零點，奇次項須交換所選上下端點；全域值域因連通而無缺口；根存在可化成至多兩段有理多項式的嚴格正／負判定。之後採用傳統精確實根計數作算法性證書，將 Bernstein 控制係數法明確標為充分證書，並以局部 Taylor 展開證明細分的正裕量終止性。

計算驗證設置雙路：第一路按兩段包絡計算；第二路直接枚舉所有係數盒角點，逐一以 SymPy 的有理 Sturm 計數測試在 $I$ 內的嚴格正、嚴格負。這兩條路不依賴同一個端點選擇規則。另直接用有理數比較 Bernstein 變換前後的恒等值，並用可構造的邊界反例檢查代碼。由於每組數據是人工固定種子產生，所得「PASS」只能描述該次有限執行，不會取代以下正式證明。

5. 數學推導：精確包絡與可實現根證書

5.1 每個自變數位置的上下界

對每個固定的 $x$ ， $p_{\boldsymbol\alpha}(x)$ 是係數 $\boldsymbol\alpha$ 的線性函數。因此只需對每項 $\alpha_kx^k$ 判斷 $x^k$ 的正負：若正，最小取 $\alpha_k=\ell_k$ ；若負，最小取 $\alpha_k=u_k$ 。此原理即區間線性優化的逐座標端點性質，並不新穎。定義

m(x)=\sum_{k:x^k\ge0}\ell_kx^k+\sum_{k:x^k<0}u_kx^k,\quad M(x)=\sum_{k:x^k\ge0}u_kx^k+\sum_{k:x^k<0}\ell_kx^k. \tag{2}

當 $x=0$ 時約定 $x^0=1$ ，其餘正次冪為零。故 $m(0)=\ell_0$ 、 $M(0)=u_0$ 。在 $x>0$ ，所有次冪非負， $m(x)=\sum\ell_kx^k$ 和 $M(x)=\sum u_kx^k$ ；但在 $x<0$ ，恰好奇次冪為負，因此奇數 $k$ 的上下係數端點必交換。若研究區段跨過零， $m$ 和 $M$ 各由兩條確定性多項式拼合而成，在零處連續但導數不必連續。

引理 1（點態區間準確性）。 對任意固定 $x$ ，所有允許係數生成的數值集恰為 $[m(x),M(x)]$ ，沒有缺口。

證明。 該數值是線性映射 $f_x:\mathcal A\to\mathbb R$ 的像。線性函數在緊致盒上的最小及最大值，由係數逐項的符號選擇恰為式（2）；盒是凸集，故兩個端點對應的係數向量的每一個凸組合仍在盒內，其函數值覆蓋兩個端點之間所有數值。證畢。

引理 1 解決「在同一個 $x$ 」的全部數值；它沒有直接回答同一組係數在不同 $x$ 的根數。這一區別對解析題目中的量詞尤為關鍵。

5.2 所有可實現數值的精確區間

定義兩個全域端點。因 $m,M$ 連續且 $I$ 緊致，以下兩個極值存在：

v_-=\min_{x\in[L,U]}m(x),\qquad v_+=\max_{x\in[L,U]}M(x). \tag{3}

定理 1（完整值域充要公式）。 在上述模型下，整個可實現函數值集合恰為 $\mathcal V=[v_-,v_+]$ ； $v_-$ 、 $v_+$ 都可被某組係數及某個位置實際取到。

證明。 任取 $\boldsymbol\alpha,x$ ，引理 1 給出 $m(x)\le p_{\boldsymbol\alpha}(x)\le M(x)$ ，故 $\mathcal V\subseteq[v_-,v_+]$ 。另一方面， $m$ 在某個 $x_-$ 取得 $v_-$ ，選取式（2）給出的端點係數便取得 $v_-$ ；同理 $v_+$ 可取得。因 $\mathcal A\times I$ 連通且映射 $(\boldsymbol\alpha,x)\mapsto p_{\boldsymbol\alpha}(x)$ 連續， $\mathcal V$ 是連通實數集，包含 $v_-$ 、 $v_+$ ，也就包含它們之間所有實數。證畢。

定理 2（存在性零點與魯棒符號的精確三分類）。 如式（1）的係數盒與自變數區間均非空，則恰好以下三種情況之一發生：

\begin{cases} v_->0 & \text{每組係數在整段均嚴格正};\\ v_+<0 & \text{每組係數在整段均嚴格負};\\ v_-\le0\le v_+ & \text{存在某組係數和某個位置使 }p=0. \end{cases} \tag{4}

證明。 若 $v_->0$ ，由定理 1 所有可實現函數值均正；反過來若全部嚴格正，緊緻性保證可實現值的最小值仍嚴格正，故 $v_->0$ 。全族嚴格負的論證類似。若前兩者均不成立，因 $v_-\le v_+$ 且 $\mathcal V$ 為閉區間，其餘情況必為 $v_-\le0\le v_+$ ；依定理 1，零屬可實現值域，所以存在一組係數與位置令 $p=0$ 。三種情況互斥且窮盡。證畢。

重要推論：若一位學生在 $x_1$ 以某組係數得到負值，又在不同的 $x_2$ 以另一組係數得到正值，不能直接套用同一條固定曲線的中間值定理；但本研究的二重存在性問題允許兩者之間沿係數盒及區間共同作連續插值，因此確實有某個中途配置與位置實現零。若題目改成「所有係數配置都至少有根」，上述證明就不夠，需要另行研究。

5.3 關於零值的尖銳距離

從定理 1 可直接得到整個家族的最小絕對值。因 $\mathcal V$ 恰是閉區間，零到這個集合的距離為

\min_{\boldsymbol\alpha\in\mathcal A,\ x\in I}|p_{\boldsymbol\alpha}(x)| =\max\{v_-,-v_+,0\}. \tag{5}

式（5）可解釋成「保證所有可能曲線在此段與零保持的最佳共同距離」。例如如全族嚴格正，裕量恰為 $v_-$ ；若全族嚴格負，裕量恰為 $-v_+$ ；若有可實現根，裕量為零。若有人把「有根可能」錯寫成「每條曲線都有根」，這條公式也提供清晰反駁：右方等於零只證明至少有一個配置到達零，沒有涵蓋其他配置。

5.4 有理輸入下的有限充要驗證

由式（2）可見， $m$ 和 $M$ 在 $I\cap(-\infty,0]$ 及 $I\cap[0,\infty)$ 上各是一條係數確定的多項式。給定有理端點與有理係數，判斷某條多項式在一個閉有理區段內是否嚴格正，可用傳統 Sturm／精確實根計數完成：左端點函數值正，且該閉區段內不存在任何實根，是嚴格正的充要條件。同理，嚴格負的充要條件是左端點負且整段無根。對零多項式，直接判為兩者均不成立。

這導出不需求出 $v_-$ 、 $v_+$ 的十足精確判定算法：

（第一步）把 $I$ 以 $x=0$ 分成至多兩個閉子區段；（第二步）按正負和次方奇偶建構下包絡 $m$ 與上包絡 $M$ ；（第三步）若 $m$ 在每個子段均嚴格正，回報 ALWAYS_POSITIVE；（第四步）否則若 $M$ 在每個子段均嚴格負，回報 ALWAYS_NEGATIVE；（第五步）否則回報 SOME_ROOT_EXISTS。由定理 2 確保最後一類是已證存在性，而不是計算器找不到反例之後留下的未知項。

形式上亦可求精確代數極值：對每段的 $m$ （或 $M$ ）收集區段兩端及其導函數在段內全部實根，計算該有限集合上的函數值，取最小（或最大）。對有理係數，導數根可經 Sturm 有理隔離區間、代數數運算及符號比較確切判斷；不應以普通浮點抽樣近似充當充要證書。當多項式恆等常數時只需端點，並沒有除以零或根數無限的困難。

對任一多項式 $r$ 在閉區段 $[a,b]$ 的符號檢驗，可寫成

r>0\text{ on }[a,b]\quad\Longleftrightarrow\quad r(a)>0\ \text{且}\ N_{[a,b]}(r)=0, \tag{6}

其中 $N_{[a,b]}(r)$ 為不同實零點的確切數目（兩端也要計算），並假設 $r$ 非零多項式。此處使用的 Sturm 演算法是數學史上的傳統技術。單純把圖像放大、畫更多格線不能代替檢查重根或邊界零。

5.5 等價的係數盒角點驗證與計算代價

命題 1（獨立頂點反核）。 每組係數、每個 $x$ 均有 $p_{\boldsymbol\alpha}(x)>0$ ，當且僅當每個係數盒角點組成的多項式都在整個 $I$ 嚴格正；「全部嚴格負」亦然。

證明。 必要性顯然成立；充分性是因對任一固定 $x$ ， $p_{\boldsymbol\alpha}(x)$ 是係數的多仿射（實際線性）函數，最小值一定在盒的某個角點取得。所有角點於該 $x$ 均正，則最小值亦正。對每一個 $x$ 重複，即得全稱結論。嚴格負用最大值同理。證畢。

頂點法最壞需要 $2^{n+1}$ 條多項式的符號核驗；依奇偶分段的包絡法只需要最多四個確定性多項式片段。這種減少是本研究獨立係數模型的簡化特化，並非宣稱一般區間多項式的複雜度首次被改善。若係數具有相互依賴的聯合約束，將各維度單獨當作自由區間會引入本來不存在的係數配置，兩條包絡便不再是尖銳的。

圖 1：一次多項式家族 1+alpha*x、alpha 介乎 1 至 2 的真實正負包絡；負的 x 必切換係數端點。圖像由解析式計算，非觀察數據

5.6 Bernstein 基底：正性證書的邏輯強度

設一條確定的實係數多項式 $r$ 次數不超過 $n$ ，限制在非退化區段 $[a,b]$ （ $a<b$ ），令 $t=(x-a)/(b-a)$ 。定義 Bernstein 基底及其唯一展開為

B_{j,n}(t)=\binom njt^j(1-t)^{n-j},\quad r(a+(b-a)t)=\sum_{j=0}^{n}\beta_jB_{j,n}(t). \tag{7}

對任意 $t\in[0,1]$ ， $B_{j,n}(t)\ge0$ 且 $\sum_jB_{j,n}(t)=1$ ，故曲線每個函數值是控制係數 $\beta_j$ 的凸組合。若 $r(a+(b-a)t)=\sum_{s=0}^{n}q_st^s$ ，基底轉換的精確公式是

\beta_j=\sum_{s=0}^{j}q_s\frac{\binom js}{\binom ns}, \qquad j=0,1,\ldots,n. \tag{8}

引理 2（控制係數充分正性）。 若式（7）所有 $\beta_j>0$ ，則 $r(x)>0$ 對每個 $x\in[a,b]$ 成立；所有 $\beta_j<0$ 則 $r$ 在全段嚴格負。反命題一般不成立。

證明。 $r$ 是有限個正數的凸組合，至少一個基底在每點嚴格正，故 $r>0$ 。負情況同理。反命題的具體反例將在命題 2 給出。證畢。

我們可以把精確 Sturm 檢驗和 Bernstein 快速證書放在同一邏輯序列。若全體控制點同號，便能立即判定某個包絡片段的嚴格符號；若有混合正負控制點，只可宣告「此張證書未能判定」，不能直接說多項式存在根。尤其式（7）的 $\beta_j$ 是變換後的相關線性組合：即使原來 $\alpha_k$ 各自獨立落在一個盒，Bernstein 控制向量一般也不會填滿各分量的獨立外包盒。例如 $r_\alpha(x)=\alpha(1+x)$ ， $\alpha\in[1,2]$ ，於 $[0,1]$ 的一次 Bernstein 向量是 $(\alpha,2\alpha)$ 。各自區間 $[1,2]$ 、 $[2,4]$ 所構成的矩形包含 $(1,4)$ ，但不存在任何單一 $\alpha$ 同時產生兩者。如此處理會破壞可實現性及尖銳性。

命題 2（嚴格正但全段控制點有負值）。 取 $r(x)=(x-\frac12)^2+\frac1{100}=x^2-x+\frac{13}{50}$ ， $I=[0,1]$ 。顯然 $r(x)\ge1/100>0$ 。然而按式（8）計算，二次 Bernstein 控制向量恰為 $(13/50,-6/25,13/50)$ ，中間項為負。因此「有負控制點便有根」是錯誤的逆命題。

這個反例還能展示細分後同一張證書如何恢復效力：將 $[0,1]$ 分成 $[0,\frac12]$ 和 $[\frac12,1]$ ，分別按本地變量重算 Bernstein 係數，得到 $(13/50,1/100,1/100)$ 與 $(1/100,1/100,13/50)$ 。兩組皆嚴格正，於是不需求根即可驗證全段嚴格正。圖 2 的控制點位置是參照各片段的本地 Bernstein 控制點橫座標繪製，與函數圖上同一位置的函數值未必相等。

圖 2：嚴格正二次多項式在整段的中間 Bernstein 控制係數為負；等分兩段後六個局部控制係數皆正。所有數值均為有理解析構造，並非學生數據

5.7 正裕量時的有限細分終止證明

定理 3（局部 Bernstein 正性證書的有限可得性；已知性質的直接證明）。 設 $r$ 為實係數的固定 $n$ 次以下多項式，且存在 $\delta>0$ 令 $r(x)\ge\delta$ 對 $[L,U]$ 所有 $x$ 成立，其中 $L<U$ 。則當區段切成足夠短的子區段時，每個子區段按式（7）計得的所有 Bernstein 係數均嚴格正。特別地，連續等分最終會在有限層數給出全段正性證書。

證明。 任取一個子區段 $[a,a+h]\subseteq[L,U]$ ， $h>0$ 。Taylor 展開是恆等的有限多項式展開： $r(a+ht)=\sum_{s=0}^{n}\bigl(r^{(s)}(a)h^s/s!\bigr)t^s$ 。令 $D_s=\sup_{x\in[L,U]}|r^{(s)}(x)|$ ，由緊緻性各 $D_s$ 有限；從式（8）知 $0\le\binom js/\binom ns\le1$ （ $0\le s\le j\le n$ ）。故對每個局部控制係數，

\beta_j\ge r(a)-\sum_{s=1}^{n}\frac{D_s h^s}{s!} \ge\delta-\sum_{s=1}^{n}\frac{D_s h^s}{s!}. \tag{9}

有限和隨 $h\downarrow0$ 趨零，因此存在 $h_*>0$ ，使 $0<h<h_*$ 時式（9）右方嚴格正。將 $[L,U]$ 等分為 $2^d$ 個相等區段，只要 $(U-L)/2^d<h_*$ ，所有局部 $\beta_j$ 同時為正。層數 $d$ 有限，證畢。

推論 1（保守而可靠的混合證書）。 對式（2）的每個下包絡片段執行 Bernstein 嚴格正檢查；若全部成功，則全族嚴格正。上包絡片段全部嚴格負則全族嚴格負。當這些快速檢查失敗，可以按需要繼續細分，最後改用式（6）精確根檢驗。若確實存在嚴格正或負的共同裕量，細分會終止；若只是在某點與零相切，不能根據有限次細分未成功推斷有根，須保留完整的精確分支。 $L=U$ 的退化區段只需直接比較 $m(L),M(L)$ ，無須作任何基底變換。

這證明支持一個清晰的演算法設計：在合理的截斷細分深度內優先使用較便於驗算的有理 Bernstein 係數作充分證書；仍未判定時，利用精確 Sturm 根隔離決定三分類。嚴格正性存在足夠裕量時，Bernstein 加速路徑可獨立終止；一般情況則不可省略精確決策步驟。上述 Bernstein 正性與細分性質已有 Boudaoud 等（2008）研究，定理 3 只提供針對高中延伸閱讀的自足版本。

5.8 三個邊界反例與量詞診斷

反例 A：負 $x$ 時不能把係數全部設下界。 考慮 $p_\alpha(x)=1+\alpha x$ ， $\alpha\in[1,2]$ ， $x\in[-3/4,0]$ 。若一律設 $\alpha=1$ ，得到 $1+x\ge1/4>0$ ，便可能誤判全族嚴格正。可是實際下包絡為 $m(x)=1+2x$ ，在 $x=-1/2$ 達零且在 $x=-3/4$ 為 $-1/2$ ；取 $\alpha=2$ 就產生實根。圖 1 顯示上、下包絡如何隨 $x$ 的符號改變選擇係數端點。

反例 B：Bernstein 控制點負不等於曲線負。 命題 2 的 $r(x)>0$ 卻有 $\beta_1=-6/25$ ，表明非充分方向不成立；細分使負控制係數轉正，顯示充分證書與充要檢驗不可混淆。

反例 C：零點相切不屬於嚴格正。 $p(x)=x^2$ 且 $x\in[-1,1]$ ，雖然處處非負，但 $p(0)=0$ ；它必落入 SOME_ROOT_EXISTS，而非 ALWAYS_POSITIVE。檢驗器必須把重根和閉區段端點零點視為根。定理 3 的 $\delta>0$ 假設不能省略。

進一步取 $\alpha\in[1,u]$ 、 $u\ge1$ ， $I=[L,0]$ 、 $L<0$ 。對 $x\le0$ ，下包絡為 $1+ux$ ，且其最小值 $1+uL$ ；上包絡至少在 $x=0$ 等於 $1$ 。由定理 2，存在可實現根當且僅當

\exists\alpha\in[1,u],\,x\in[L,0]:1+\alpha x=0 \quad\Longleftrightarrow\quad u\ge-\frac1L. \tag{10}

若 $-1/L<1$ ，因已假設 $u\ge1$ ，條件自動成立；若 $-1/L>1$ ，門檻提供真正的係數上界。圖 3 的分界線 $1+uL=0$ 是精確解析門檻，而不是擬合資料得到的概率曲線。等號上的零點亦算入 SOME_ROOT_EXISTS。

圖 3：在 u 大於等於 1 及 L 小於 0 時，一次區間係數家族存在零點的解析相界 1+uL=0；色塊由不等式逐點人工生成，沒有抽樣學生成績

6. 研究結果：形式定理、完全有理驗證與限制

理論結論可整理如下。定理 1 證明全部可實現值並無缺口；定理 2 把根可實現性化成精確的三分類；式（5）提供距離零的尖銳界；式（6）將有理資料判定化為已知的 Sturm 根數程序。引理 2 和命題 2 證明 Bernstein 控制係數只給充分證書，定理 3 說明有正裕量時細分可在有限步終止。這些推論都是嚴格命題，與以下有限計算結果分開。

表 2：理論模型的可重現構造例子

家族與閉區段	精確理由	分類／診斷
$1+\alpha x$ ， $\alpha\in[1,2]$ ， $x\in[-3/4,0]$	$m(-3/4)=-1/2$ ， $M(0)=1$ ； $\alpha=2,x=-1/2$	SOME_ROOT_EXISTS
$1+\alpha x$ ， $\alpha\in[1,2]$ ， $x\in[0,1]$	$m(x)=1+x\ge1$	ALWAYS_POSITIVE
$-3+\alpha x$ ， $\alpha\in[0,1]$ ， $x\in[0,1]$	$M(x)=-3+x\le-2$	ALWAYS_NEGATIVE
$x^2$ ， $x\in[-1,1]$	原點有二重根，嚴格正命題失敗	SOME_ROOT_EXISTS
$(x-\tfrac12)^2+\tfrac1{100}$ ， $x\in[0,1]$	全段正；全段 Bernstein 控制點有負數	Bernstein 單層證書未判定

計算程式使用固定偽隨機種子 20261015；生成 1 至 4 次有理係數盒、每維獨立非負有理寬度及有理閉區段。第一路依 $x$ 符號建構兩段包絡，逐段以 SymPy 精確有理多項式根數判斷；第二路完全枚舉盒的係數角點，對每個角點直接作 Sturm 符號判斷。每個樣本的兩個分類結果必須完全相同方可通過。全部數據均為合成的數學測試用例，不是香港學生、考試或現實測量資料。

表 3：固定種子合成測試實際執行的核驗紀錄

測試項目	數量／結果	可信結論邊界
有理係數盒，包絡法與獨立角點／Sturm 比對	380/380 一致	所抽樣本沒有找到實作分歧，不等於一般性證明
ALWAYS_POSITIVE	86	只是合成用例的分類數
ALWAYS_NEGATIVE	45	只是合成用例的分類數
SOME_ROOT_EXISTS	249	存在某個可實現零點，不代表每條曲線均有根
不同有理多項式的 Bernstein 恒等核驗	130	每條以五個有理評估點檢查基底與原式一致
出現全正 Bernstein 控制向量的檢查	145 次	每次再用直接精確符號判斷驗證其充分性
指定邊界反例	3/3 通過	覆蓋負 $x$ 、不充分、重根相切三種常見誤區

此處的 145 是檢查過程中全正向量出現的次數，並非 145 條互不相同的多項式；單一多項式可重複進入不同斷言。合成盒的 86、45、249 三類相加恰為 380。運算皆用精確有理數與根數；只用 Matplotlib 浮點值作圖像可視化，圖上的顏色與像素不承擔證明。

7. 討論：算法、數學表達與香港高中探究

本文最需要注意的是量詞先於求解技巧。假如學生在一個區段上找到某組係數令 $p=0$ ，他只證明 $\exists\boldsymbol\alpha\,\exists x$ ；若要證明 $\forall\boldsymbol\alpha\,\exists x$ ，則須給出對每個係數組合都成立的論證。相同的代數式，在量詞不同的題目中可需要完全不同的證書。定理 2 能精確處理前者，不應對外宣稱已完成後者的充要決策。

例如仍取 $p_\alpha(x)=1+\alpha x$ 、 $\alpha\in[1,2]$ ，但把研究區間改成 $[-1,0]$ ，則對每個 $\alpha$ 都可取 $x=-1/\alpha\in[-1,-1/2]$ ，因此這個特殊家族確實滿足「全族必有根」。然而若改成 $[-3/4,0]$ ， $\alpha=1$ 的根 $-1$ 不在區段，故只滿足某組係數可有根。這兩個直接構造示例清晰展示二重量詞的差別。

表 4：與香港高中數學的可行探究銜接（教學設計建議，未經實驗測試）

概念階段	學生可進行的數學活動	應觀察的證明能力
函數根與閉區間	比較 $x^2$ 與 $x^2+1/100$ 的零點及符號	區分非負、嚴格正及相切根
參數範圍及不等式	解釋 $1+\alpha x$ 在負 $x$ 下何者最小	看出奇次冪與係數端點翻轉
量詞與反例	比較「某個配置有根」與「所有配置都有根」	正確寫出 $\exists$ 、 $\forall$ 並給反例
高階 M2／資優延伸	計算二次 Bernstein 係數、檢驗細分前後差異	辨別充分條件、必要條件和充要條件
計算數學及程式核驗	用有理數的兩條路徑核驗分類	建立證書、覆核邊界及重根案例

教育局的高中數學文件包括必修部分及延伸部分 Module 2（Algebra and Calculus）的課程說明。本研究建議把代數不等式、微積分極值與函數性質結合成專題探究，沒有證據顯示上述 Bernstein／Sturm 技術屬於 HKDSE M2 指定應考內容。若要推廣到學校，應先設計由淺入深的課堂活動，再獨立評估學習成果，不能憑本論文的程式 PASS 推出任何真實教學效益。

研究方法上的關鍵節省，是把獨立係數盒的逐項最佳端點組合，化為 $x<0$ 與 $x\ge0$ 的四個包絡片段；它把可能隨階數指數增長的角點核驗，減成常數數目的確定多項式核驗。這是特定模型中的結構化簡，不表示精確根計數本身的位元複雜度為常數，也不代表任意相關係數約束仍具此性質。若所有係數限制來自同一擬合誤差或同一量測標定，直接套用獨立盒往往只是過分保守的外界，需改用原始相依模型。

8. 研究限制與未核實命題

第一，本文假設係數可彼此獨立取整個閉區間，且 $x$ 被限制於單一閉實區段。非凸參數集、聯合限制、整數係數、開區間、自變數多維或無界區段都需要重新考慮連通性、端點取到性及演算法；把本文三分類直接搬去上述模型可能錯誤。

第二，形式證明的主要構件屬於已知的區間分析、連續映射、Sturm 根計數與 Bernstein 正性理論。本文未證明全球首創；截至本文所列的定向檢索，亦未取得足以建立完整優先權主張的系統性文獻普查。中文博士論文目前只能由公開書目、摘要及目錄確定研究範圍，不能據此斷言本文與其完整證明無重疊。

第三，380 組盒與 Bernstein 檢查是有限的合成計算，雖使用確切分數，仍未涵蓋所有次數、係數規模、浮點前處理或極端重根案例，沒有正式的軟件證明或第三方程式審計。精確 SymPy 根數計算的實際時間成本會隨階數和有理數位元長度增長。

第四，本文提出的是理論探究課程銜接；沒有收集學生資料，沒有實施教學實驗，沒有控制組、問卷、測驗前後比較、效果量或因果推斷。課程適切性須另由香港教師和相關課程專家檢閱。五角度的後續評閱是內部模擬評閱，不能等同校外匿名期刊審稿。

9. 結論及後續問題

對有界獨立係數的實多項式家族，正確的負輸入奇偶端點選擇，連同參數盒和閉區間的連通性，給出完整、可被係數及位置取到的函數值區間。這進一步建立全族嚴格正、全族嚴格負及某組係數存在零點的互斥三分類；在有理資料下可用有限次確切多項式符號核驗完成決策。Bernstein 全正控制係數是有用但非必要的快速證書，而在嚴格正裕量下等分細分會得到有限證書。所有結論的模型假設、量詞和證書強弱必須保留。

可供下一篇研究的明確問題包括：對相依係數多面體構造尖銳而可計算的值域包絡；研究 $\forall\boldsymbol\alpha\,\exists x$ 的全族必有根判定並處理重根；以及在香港資優數學學習環境設計可預註冊、合倫理的量詞理解教學研究。上述均為研究建議，並非本文已證定理。

參考文獻

Boudaoud, F., Caruso, F., & Roy, M.-F. (2008). Certificates of positivity in the Bernstein basis. Discrete & Computational Geometry, 39(4), 639–655. https://doi.org/10.1007/s00454-007-9042-x

Collins, G. E., & Akritas, A. G. (1976). Polynomial real root isolation using Descarte's rule of signs. In Proceedings of the third ACM symposium on symbolic and algebraic computation (pp. 272–275). Association for Computing Machinery. https://doi.org/10.1145/800205.806346

Education Bureau, Hong Kong SAR Government. (2017). Mathematics curriculum and assessment guide (Secondary 4–6) (updated December 2017). https://www.edb.gov.hk/en/curriculum-development/kla/ma/curr/index2.html

Education Bureau, Hong Kong SAR Government. (2018). Explanatory notes to senior secondary mathematics curriculum: Module 2 (Algebra and Calculus) (updated August 2018). https://www.edb.gov.hk/attachment/en/curriculum-development/kla/ma/curr/EN_M2_e.pdf

Mourrain, B., & Pavone, J.-P. (2009). Subdivision methods for solving polynomial equations. Journal of Symbolic Computation, 44(3), 292–306. https://doi.org/10.1016/j.jsc.2008.04.016

Peña, J. M. (2005). On Descartes' rules of signs and their exactness. Mathematische Nachrichten, 278(14), 1706–1713. https://doi.org/10.1002/mana.200310335

樊旭川。（2005）。《區間多項式與區間隱式化方法》［博士論文，中國科學技術大學］。公開學位書目及摘要：https://www.xueweilunwen.com/doc/1625399 （正式全文尚未獨立核對）。

陳越強。（2008）。《樣條曲面的區間隱式化、區間曲面的降階及區間多項式零點的研究》［博士論文，中國科學技術大學］。公開學位書目及摘要：https://www.xueweilunwen.com/doc/1558407 （正式全文尚未獨立核對）。