Hanz.
← RESEARCH INDEX

Algebra, geometry & analysis

** Sharp Two-Sided Trapezoidal Error Certificates with Bounded Curvature and a Fixed Endpoint Slope Difference: An Enrichment Study for Hong Kong M1

摘要

香港中學文憑試數學延伸單元一（M1）包括梯形法，但教育局的正式課程闡釋明確指出，梯形法的定量誤差估計不是必修要求。本文因此定位於高階數學延伸，考慮二次連續可微函數的二階導數介於已知的 m,Mm,M，且兩端斜率差已知時，單區間梯形積分誤差的資訊上最佳上下確界。利用經典 Peano 核恆等式和固定質量選層原理，本文求得完整閉式，證明當正規化總曲率介於零與一時，兩個端點為 C2C^2 類別中的不可達但可任意逼近的確界；並構造恰好保留端點斜率差的連續曲率輪廓。結果自然誘導一個尖銳積分區間與最小最大常數修正。人工例子 m=0,M=2,d=1m=0,M=2,d=1、區間長為一，其誤差的最佳區間為 [5/96,11/96][5/96,11/96]，中點修正最壞誤差為 1/321/32。研究以兩套獨立的有理數實作作有限驗證：12 組離散窮舉、4 組平滑見證、280 個 Bernstein 多項式和 6 個邊界案例。本文不聲稱創造 Peano 核、bathtub principle 或普遍最優梯形公式；研究貢獻限於特定資訊條件下完整可審核的特化推導及香港 M1 高階探究的應用框架。

**關鍵詞：**香港 M1；梯形法；Peano 核；有界曲率；固定端點斜率差；尖銳誤差界；最優恢復；實分析。

Abstract

Hong Kong's Extended Mathematics Module 1 includes the trapezoidal rule, while its official notes explicitly exclude quantitative trapezoidal error estimation from the required syllabus. This theoretical working paper addresses an enrichment problem. For twice continuously differentiable functions with bounded second derivatives and a fixed difference of endpoint slopes, we derive the exact infimum and supremum of the single-panel trapezoidal integration error. The proof specializes the classical Peano kernel representation and the bathtub principle. Explicit, mass-preserving continuous curvature ramps prove sharpness in the C² class and expose nonattainment of the extremal values for interior normalized curvature mass. An exact integration interval and a minimax correction within a specified class of fixed-shift trapezoidal estimators follow. For the constructed unit-interval example with curvature bounds zero and two and slope difference one, the sharp error envelope is [5/96, 11/96], and the minimax midpoint correction has worst-case error 1/32. Rational arithmetic checks include exhaustive discrete instances, continuous-ramp witnesses, and 280 independent Bernstein-polynomial cases. Classical principles and closely related corrected-trapezoid research are explicitly acknowledged. Neither worldwide mathematical novelty nor classroom efficacy is established.

Keywords: Hong Kong mathematics education; Module 1; trapezoidal quadrature; Peano kernel; bounded second derivative; sharp bounds; optimal recovery; bathtub principle.

1. 引言

梯形法把曲線下面積近似為直線所圍成的面積，讓學生將函數圖像、導數、定積分及數值近似聯繫起來。香港教育局（2018 年更新）的 M1 課程闡釋，第 9 單元要求理解梯形法、使用等寬分段、理解增加分段有助改善近似，以及根據二階導數和凹凸性判定高估或低估。然而官方文件同頁清楚聲明「Error estimation in the application of the trapezoidal rule is not required in the curriculum」。本文全部數值誤差證書均屬進階理論研究，不能列為現行 DSE 必考內容。

實際的數學疑問是：已知二階導數整體落在 [m,M][m,M]，不一定知道它在每個位置的值；然而如果兩端斜率 f′(a)f'(a) 與 f′(b)f'(b) 可取得，微積分基本定理又固定了二階導數的總積分。如此，最大曲率不能隨意在全區間各處取到，同時必須滿足一項「總質量」守恆限制。由於梯形誤差對不同位置的曲率給予不同權重，有限的整體資訊實際可以縮小誤差範圍。

本文聚焦四個可證問題：第一，能否以端點斜率差和曲率上下限推得最佳雙側誤差？第二，最壞曲率在函數類別受到連續性限制時是否真正存在？第三，如何構造沒有違反守恆資料的合法逼近列？第四，如何以所得的尖銳區間設計資訊受限的最小最大常數修正？所有數值算例均以解析公式人工生成，並無問卷、學生答題或教學實驗。

2. 文獻綜述與研究位置

Peano 核是將線性數值求積誤差寫成導數加權積分的經典方法；Salgado 與 Wise（2022）在數值分析專書中系統討論 Peano Kernel Theorem 與尺度變換，Pečarić 與 Ujević（2006）早已研究求積公式的 Peano 核表示和誤差界。Lieb 與 Loss（2001，第 1.14 節）的 bathtub principle 是固定總積分、函數值上下界之下的成熟線性泛函最佳化工具。本文只把這些既有工具應用於具體限制條件，不可把任一原理當作首次發明。

直接相關的先例是 Talvila 與 Wiersma（2012）的 Optimal error estimates for corrected trapezoidal rules（Journal of Mathematical Inequalities, 6(3), 431–445）：該文研究包含端點導數差修正項的梯形求積公式，並對 f′′∈Lpf''\in L^p 的條件最佳化誤差係數，給出尖銳界及複合公式。該文證明端點導數修正及尖銳求積誤差已是成熟研究方向。本稿的問題則是固定原始梯形誤差，在 m≤f′′≤Mm\le f''\le M 和已知曲率總積分同時成立時，尋找帶符號的雙側像集及 C2C^2 的可達性。這是不同的指定資訊問題，卻不能僅憑目前查到的篇目斷言相同閉式先前不存在。

表 1：已有理論與本研究的界線

來源 可核對內容 本文依賴或比較 原創性邊界
香港教育局（2018 更新） M1 梯形法，誤差估計不屬必修要求 香港課程定位 不可宣稱為 DSE 必考或官方採納
Lieb & Loss（2001） 固定質量的 bathtub principle 高、低核權選層 屬成熟最優化定理
Salgado & Wise（2022） Peano 核及求積尺度 基本核表示 數值分析既有教材
Pečarić & Ujević（2006） 多種求積公式及尖銳核界 相關研究背景 已核期刊摘要，未取得付費全文
Talvila & Wiersma（2012） 端點導數校正梯形法及最優誤差常數 最接近的現有原始研究 已讀公開原文；尚須查全套引用鏈

本稿可以確定的特定貢獻是：在上述限制類給出完整公式、以逐點質量轉移證明雙側尖銳界、以恰好保持總曲率的分段線性連續逼近處理 C2C^2 不可達性，再推導最小最大常數修正及可重現有理數驗證。它是一個清晰、可核驗的特化與教學延伸工作論文，而非已獲國際外審確認的全新分析定理。中文及英文檢索字串、來源獲取限制另載於文獻檢索日誌。

3. 理論框架與基本定義

考慮 f∈C2([a,b])f\in C^2([a,b])，a<ba<b，L=b−a>0L=b-a>0，實數 m≤Mm\le M 滿足 m≤f′′(x)≤Mm\le f''(x)\le M。指定兩端斜率差 D=f′(b)−f′(a)D=f'(b)-f'(a)，並令 d=D/Ld=D/L 為平均曲率。可行性的必要充分條件是 m≤d≤Mm\le d\le M：必要性由 D=∫abf′′D=\int_a^b f''，充分性可由 f′′≡df''\equiv d 的二次函數構造。

梯形積分近似 TT、真實積分 II 與帶符號誤差 E=T−IE=T-I 定義如下，令 t=(x−a)/Lt=(x-a)/L、k(t)=t(1−t)/2k(t)=t(1-t)/2：

T=L2[f(a)+f(b)],I=∫abf(x) dx,E=T−I=L3∫01k(t)f′′(a+Lt) dt.(1)T=\frac L2[f(a)+f(b)],\quad I=\int_a^b f(x)\,dx,\quad E=T-I=L^3\int_0^1 k(t)f''(a+Lt)\,dt.\tag{1}

若 m<Mm<M，引入正規化曲率 gg 與其固定積分 α\alpha：

g(t)=f′′(a+Lt)−mM−m,0≤g≤1,∫01g(t) dt=α=d−mM−m∈[0,1].(2)g(t)=\frac{f''(a+Lt)-m}{M-m},\quad 0\le g\le1,\quad \int_0^1g(t)\,dt=\alpha=\frac{d-m}{M-m}\in[0,1].\tag{2}

由核的總積分為 1/121/12，得到精確化簡：

EL3=m12+(M−m)∫01k(t)g(t) dt,∫01k(t) dt=112.(3)\frac E{L^3}=\frac m{12}+(M-m)\int_0^1k(t)g(t)\,dt,\qquad \int_0^1k(t)\,dt=\frac1{12}.\tag{3}

此處 kk 非負、以 1/21/2 為中心對稱、在中心最大，於兩端為零。m,Mm,M 可跨過零，故不能單憑曲率上下界非零就猜測 EE 必定同號。若 m=Mm=M，則二階導數必為常數，直接由式（1）得 E=mL3/12E=mL^3/12，以下涉及 α\alpha 的公式只用於 m<Mm<M。

圖 1：單區間梯形法 Peano 核；α=1/2 時的中央最高權重集合與兩側最低權重集合。來源：本研究由精確公式生成的數學示意，非真實學生資料。

4. 研究方法與核驗設計

採取三層研究設計。數學層先用兩次分部積分取得式（1），再利用固定質量下的高層／低層積分比較，推導最優誤差數值與唯一（幾乎處處意義）階躍見證。可達性層將上述階躍替換成連續線性過渡帶，完全保留積分 α\alpha，在 C2C^2 類別構造真正合法的極限序列，避免把不連續二階導數錯稱為二次連續可微。計算層先用 Fraction 格點窮舉與有理多項式積分檢查特殊結果，再由另一套不匯入原始程式的 Bernstein–Beta 有理積分，檢查不同 m,M,α,Lm,M,\alpha,L 情況。

本研究區分一般性數學證明與有限程式測試。後者只可確定若干實作輸出正確、辨識計算符號錯誤，並不自動證明連續無窮維最佳性。數學來源亦區分可見原文、摘要、書籍章節頁面及尚未取得的付費全文。

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

5.1 雙側尖銳誤差定理

**定理 1。**固定 a,b,m,M,da,b,m,M,d，假設 m<Mm<M、m≤d≤Mm\le d\le M。在所有滿足第 3 節假設的 C2C^2 函數中，單區間梯形積分誤差的下確界與上確界為 L3B−L^3B_- 及 L3B+L^3B_+，其中

B−=m12+(M−m)(α28−α324),B+=m12+(M−m)(α8−α324).(4)B_-=\frac m{12}+(M-m)\left(\frac{\alpha^2}{8}-\frac{\alpha^3}{24}\right),\quad B_+=\frac m{12}+(M-m)\left(\frac\alpha8-\frac{\alpha^3}{24}\right).\tag{4}

這兩個最優確界的間隔為

L3(B+−B−)=L3(M−m)8α(1−α).(5)L^3(B_+-B_-)=\frac{L^3(M-m)}8\alpha(1-\alpha).\tag{5}

若 0<α<10<\alpha<1，在 C2C^2 類兩個確界均不能取到，但都可由合法函數任意逼近；若 α∈{0,1}\alpha\in\{0,1\}，兩界相等且真正可達。

**證明（一：核積分）。**設 F(t)=f(a+Lt)F(t)=f(a+Lt)，有 F′′(t)=L2f′′(a+Lt)F''(t)=L^2f''(a+Lt)。由 k(0)=k(1)=0k(0)=k(1)=0、k′(0)=1/2k'(0)=1/2、k′(1)=−1/2k'(1)=-1/2 及 k′′=−1k''=-1，兩次分部積分給出 ∫01kF′′=[F(0)+F(1)]/2−∫01F\int_0^1kF''=[F(0)+F(1)]/2-\int_0^1F。乘 LL 得式（1），代入正規化曲率和 ∫k=1/12\int k=1/12 得式（3）。至此符號、L3L^3 量綱及總質量條件都已確立。

**證明（二：固定質量的選層最優化）。**先在可測函數類考慮 0≤g≤10\le g\le1、∫g=α\int g=\alpha。當 0<α<10<\alpha<1，令

A+=[1−α2,1+α2],A−=[0,α2]∪[1−α2,1].(6)A_+=\left[\frac{1-\alpha}{2},\frac{1+\alpha}{2}\right],\qquad A_-=\left[0,\frac\alpha2\right]\cup\left[1-\frac\alpha2,1\right].\tag{6}

兩個集合的測度都是 α\alpha。A+A_+ 恰是核 kk 的中央高層集，兩邊界具有相同核值 c+c_+。對任何容許 gg，利用 ∫(g−1A+)=0\int(g-\mathbf1_{A_+})=0，得 ∫k(g−1A+)=∫(k−c+)(g−1A+)≤0\int k(g-\mathbf1_{A_+})=\int(k-c_+)(g-\mathbf1_{A_+})\le0。因在 A+A_+ 上第一因子非負、第二因子非正，而補集上恰相反，故不等式逐點成立。對 A−A_- 取其邊界核值 c−c_-，同法得 ∫k(g−1A−)≥0\int k(g-\mathbf1_{A_-})\ge0。由 kk 嚴格向中心上升，其閾值等號集合只有有限點，故兩端等號分別迫使 gg 幾乎處處等於對應指示函數。這是已知 bathtub principle 的具體一維形式。

按區間積分核，直接得到

∫A−k(t) dt=α28−α324,∫A+k(t) dt=α8−α324.(7)\int_{A_-}k(t)\,dt=\frac{\alpha^2}{8}-\frac{\alpha^3}{24},\qquad \int_{A_+}k(t)\,dt=\frac\alpha8-\frac{\alpha^3}{24}.\tag{7}

連同式（3）證明式（4）、（5）的不等式，並證明在可測二階導數類中階躍是真正的極值。尚須核實這些數字在更嚴格 C2C^2 類中仍然是確界，而非只是較大類別的最優值。

5.2 保持斜率差的 C2C^2 最優逼近

**引理 1。**設 0<α<10<\alpha<1，s=(1−α)/2s=(1-\alpha)/2、r=(1+α)/2r=(1+\alpha)/2，取 0<ε<min⁡(α,1−α)/20<\varepsilon<\min(\alpha,1-\alpha)/2。建立連續分段線性 g+,εg_{+,\varepsilon}：在 [0,s−ε][0,s-\varepsilon] 為 0；在 [s−ε,s+ε][s-\varepsilon,s+\varepsilon] 線性由 0 升至 1；在 [s+ε,r−ε][s+\varepsilon,r-\varepsilon] 為 1；在 [r−ε,r+ε][r-\varepsilon,r+\varepsilon] 線性降至 0；餘下為 0。另令 g−,ε=1−g+,ε(1−α)g_{-,\varepsilon}=1-g_{+,\varepsilon}^{(1-\alpha)}，上標表示將中央輪廓的質量參數改用 1−α1-\alpha。則

g±,ε∈C([0,1]),0≤g±,ε≤1,∫01g±,ε(t) dt=α.(8)g_{\pm,\varepsilon}\in C([0,1]),\quad 0\le g_{\pm,\varepsilon}\le1,\quad \int_0^1g_{\pm,\varepsilon}(t)\,dt=\alpha.\tag{8}

**證明。**中央平台長 α−2ε\alpha-2\varepsilon，每個過渡帶寬 2ε2\varepsilon、面積 ε\varepsilon，故總面積精確為 α\alpha。補集的積分為 1−(1−α)=α1-(1-\alpha)=\alpha。無須事後調整曲率總量。對任意常數 A,BA,B，構造

f±,ε(x)=A+B(x−a)+∫ax(x−u)[m+(M−m)g±,ε(u−aL)] du.(9)f_{\pm,\varepsilon}(x)=A+B(x-a)+\int_a^x(x-u) \left[m+(M-m)g_{\pm,\varepsilon}\left(\frac{u-a}{L}\right)\right]\,du.\tag{9}

被積函數連續，故 f±,ε∈C2f_{\pm,\varepsilon}\in C^2，兩次微分恰得括號中的曲率，符合上下界。積分二階導數，確得 f±,ε′(b)−f±,ε′(a)=L[m+(M−m)α]=Ldf'_{\pm,\varepsilon}(b)-f'_{\pm,\varepsilon}(a)=L[m+(M-m)\alpha]=Ld。ε↓0\varepsilon\downarrow0 時，g±,εg_{\pm,\varepsilon} 在有限跳點以外收斂至相應的 1A±\mathbf1_{A_\pm}，又因 0≤g≤10\le g\le1、kk 可積，由支配收斂定理可得其誤差分別趨於式（4）兩端。至此證明在 C2C^2 中上下確界尖銳。

假設 0<α<10<\alpha<1 但某個連續 gg 真正達到上界。選層比較的等號條件迫使 g=1A+g=\mathbf1_{A_+} 幾乎處處。然而 A+A_+ 的左右邊界相鄰開區間的常值不同，任何連續函數都不可能幾乎處處與這種階躍相等，矛盾；下端同理。若 α=0\alpha=0 或 1，0≤g≤10\le g\le1 且其積分為端點，連續性迫使 gg 恆定為 0 或 1，二次函數給出可達的唯一誤差。若 m=Mm=M，同樣由 f′′≡mf''\equiv m 處理。定理 1 證畢。

圖 3：四個總曲率 α=1/2 精確守恆的連續過渡輪廓，逐步趨向可測階躍；每條實線都對應合法 C² 函數。來源：人工數學構造。

5.3 從誤差區間到最小最大修正

**推論 1。**對所有容許函數，真實積分 II 的保證區間為

T−L3B+≤I≤T−L3B−.(10)T-L^3B_+\le I\le T-L^3B_-.\tag{10}

這裏的尖銳性是指只知道指定曲率界及端點斜率差的誤差泛函；若知道更多內部函數值、兩端的個別函數值所施加的額外矩條件或其他導數資料，便屬另一資訊問題。

**推論 2。**只考慮形式 I^=T−c\widehat I=T-c 的估計器，其中 cc 是只依 m,M,d,Lm,M,d,L 決定的常數，不可讀取其他函數資訊。則最壞絕對誤差由兩個確界的中點修正最小化：

c∗=L3(B−+B+)2,R∗=min⁡csup⁡f∣E−c∣=L3(M−m)16α(1−α).(11)c_*=\frac{L^3(B_-+B_+)}2,\qquad R_*=\min_c\sup_f|E-c|=\frac{L^3(M-m)}{16}\alpha(1-\alpha).\tag{11}

證明。對任意 cc，由可以任意逼近的雙端確界，sup⁡f∣E−c∣=max⁡{∣L3B−−c∣,∣L3B+−c∣}\sup_f|E-c|=\max\{|L^3B_--c|,|L^3B_+-c|\}。右側在中點唯一最小化，值為全寬的一半。即使上、下界在 C2C^2 類均未達到，也不妨礙其最壞情況上確界。本命題只是「固定梯形公式再加資訊型常數修正」類別的 minimax 結論，沒有宣稱所有可能讀取更多函數資料的數值積分方法已被最佳化。

以 f′′f'' 的平均值 dd 直接取代整條曲率，會得到 E=L3d/12E=L^3d/12 的錯誤一般恆等式。它距離兩個確界的偏差為

L3d12−L3B−=L3(M−m)24α(1−α)(2−α),L3B+−L3d12=L3(M−m)24α(1−α)(1+α).(12)\frac{L^3d}{12}-L^3B_-=\frac{L^3(M-m)}{24}\alpha(1-\alpha)(2-\alpha),\quad L^3B_+-\frac{L^3d}{12}=\frac{L^3(M-m)}{24}\alpha(1-\alpha)(1+\alpha).\tag{12}

除了 α=1/2\alpha=1/2 和質量退化端點，固定平均曲率猜測也通常不是 minimax 中點。圖 2 畫出非線性的真實上下界與平均曲率虛線之差，說明「相同總曲率」不等於「相同求積誤差」。

圖 2：固定曲率總量 α 下，單區間加權核積分的尖銳上、下界與常數平均曲率的參考曲線。來源：解析數學公式，非實測數據。

5.4 嚴格反例及複合版本界線

**反例 1。**在 [0,1][0,1] 取 m=0,M=2m=0,M=2、f′′(t)=2t2f''(t)=2t^2，即 f(t)=t4/6f(t)=t^4/6 加任意仿射函數。其端點斜率差為 d=2/3d=2/3，但

E=∫01t(1−t)t2 dt=120≠d12=118.(13)E=\int_0^1 t(1-t)t^2\,dt=\frac1{20}\ne\frac d{12}=\frac1{18}.\tag{13}

這是一個處處連續二階導數、完全符合已知曲率界的構造反例，證明端點斜率差無法唯一確定梯形法誤差。

若拆成數個等寬或不等寬小區間，且對每個小區間另有合法的 mj,Mj,djm_j,M_j,d_j，便可把局部定理 1 不等式相加取得複合梯形公式的有效雙側保證。然而全局 C2C^2 曲率必須在接合點連續；目前未證明在這個額外接合要求下，局部最佳界相加仍為全局最窄界。只有總斜率差、沒有各局部斜率差時，更不能將全局平均曲率直接當成每段平均曲率。

6. 研究結果與可重現驗證

表 2：人工案例的精確尖銳誤差界（L=1L=1）

mm MM dd α\alpha B−B_- B+B_+ 精確寬度
0 2 1 1/2 5/96 11/96 1/16
0 1 0 0 0 0 0
0 1 1 1 1/12 1/12 0
-1 1 0 1/2 -1/32 1/32 1/16
0 2 2/3 1/3 2/81 13/162 1/18

表中包括負曲率和正曲率共存的人工例子。對 m=−1,M=1,d=0m=-1,M=1,d=0，端點斜率相同，誤差仍可能接近兩個相反號確界。最後一列同時容納反例 1 的 1/201/20，足以確認「同斜率差」只給出區間而非一個固定誤差。

表 3：固定 m=0,M=2,d=1,L=1m=0,M=2,d=1,L=1 的連續 C2C^2 見證（Fraction 精確計算）

ε\varepsilon 下端見證 EE 上端見證 EE 各自與確界的距離
1/16 27/512 175/1536 1/1536
1/32 107/2048 703/6144 1/6144
1/64 427/8192 2815/24576 1/24576
1/128 1707/32768 11263/98304 1/98304

上表的誤差值透過分段一次曲率乘多項式核的有理定積分取得，不是模擬成績或測量結果。見證趨近速度在這個對稱特例隨 ε2\varepsilon^2 縮小，亦與定理中的支配收斂證明一致。每一行是合法 C2C^2 見證；不能將其極限階躍當成仍屬 C2C^2。

表 4：計算核驗方法、範圍與限制

方法 人工案例數 確認事項 不可據此推出
Fraction 中點核格點窮舉 12 有限組合趨勢與連續閉式相容 所有無窮維函數的最優性
Fraction 精確連續過渡核積分 4 平滑見證守恆、誤差收斂 所有實數參數的完整證明
獨立 Bernstein–Beta 核積分 280 任意有理多項式曲率與 L3L^3 縮放 全球研究首創
獨立退化／邊界核驗 6 α=0,1\alpha=0,1、不同 LL 課堂效果
f′′=2t2f''=2t^2 特別反例 1 1/20≠1/181/20\ne1/18 實際學生誤區比例

第二套驗算沒有匯入第一套的計算函數，直接使用正整數階乘的 Beta 積分。280 個測試由固定種子 20261015 生成，包含負的曲率下限、不同長度及不同階數的 Bernstein 曲率多項式。對所有測試，均以 Fraction 精確確認式（4）的包絡。測試不能取代第 5 節的解析證明，也不意味統計置信水準。

7. 討論與香港教育意涵

只知道 m≤f′′≤Mm\le f''\le M 時，最直接的粗界是 mL3/12≤E≤ML3/12mL^3/12\le E\le ML^3/12，寬度 L3(M−m)/12L^3(M-m)/12。加入端點斜率差後，尖銳寬度變成 L3(M−m)α(1−α)/8L^3(M-m)\alpha(1-\alpha)/8；由 α(1−α)≤1/4\alpha(1-\alpha)\le1/4，新寬度最多 L3(M−m)/32L^3(M-m)/32。這個改進來自二階導數的位置重新分配約束，而不是單純增加更多小梯形。當 α=0\alpha=0 或 1，因曲率被固定為常數，誤差精確可知。

特例 m=0,M=2,d=1,L=1m=0,M=2,d=1,L=1 的真實積分必位於 [T−11/96,T−5/96][T-11/96,T-5/96]。由兩端的中點取 c∗=1/12c_*=1/12，得到資訊受限的近似 I^=T−1/12\widehat I=T-1/12，最壞絕對誤差 R∗=1/32R_*=1/32；若僅知道曲率上下限而不知道端點斜率差，粗區間的中點最壞誤差為 1/121/12。這是一個從理論上可以審查的確切改進，而不是由少量圖形「猜測」得來。

在教學銜接上，可先讓學生用凹凸性作高／低估判別，再用兩條總曲率相同但曲率集中位置不同的函數，挑戰「平均曲率完全決定誤差」的直覺。進階學生可自行驗算核 kk、比較中心與兩端配置，再逐步理解為何最大誤差值在 C2C^2 類不能被某個光滑函數恰好取到。這能作為實分析、最佳化和科學計算的過渡題材；但本稿沒有進行學生實驗，不能認為已證實某種教法有效。

此外，研究提醒使用數學不等式時必須註明其最優性的對象：本稿先確定的是固定資料的誤差界，然後在指定的固定修正類推導 minimax；它不等於「最佳求積算法」，更不意味在擴充了端點函數值或其他內部資訊後不能改善誤差。這類清楚區分資訊與命題範圍的練習，是數學研究素養的重要部分。

8. 限制、學術倫理及未完成查證

本稿的 Peano 核和 bathtub 原理均為既有理論，且 Talvila 與 Wiersma（2012）明確構成端點導數修正與尖銳梯形誤差的直接先例。中文與英文的定向關鍵字搜尋未完成系統性引文鏈及所有教科書、學位論文比對，故即使本稿有完整證明，仍不能斷言相同閉式從未發表。外部審稿前須擴大真實文獻查核。

數學範圍僅為單區間、f∈C2f\in C^2、曲率有上下界及已知兩端斜率差。複合梯形法的全局 C2C^2 接合尖銳性尚未證明。若進一步固定端點個別函數值、內部節點或曲率的其他矩條件，可能取得更窄的最佳界；第 5 節並未聲稱對所有擴展資訊仍最優。

所有結果是解析推導與人工生成的數學驗算，沒有真實香港學校、教師或學生受試者。現行 M1 課程明確不要求梯形誤差估計，不可向學生或學校表示本稿是官方考核的新要求。學術同儕審查在本資料庫中只可標示為五角度模擬內部自審，不可寫作獨立外部評審或期刊接納。

9. 結論

本文把「已知斜率差」轉化為「曲率總量固定」的可核查數學限制，以 Peano 核和固定質量選層證明梯形積分誤差的最佳雙側閉式；用恰好守恆的連續曲率輪廓嚴格區分可測函數類的極值與 C2C^2 類的不可達確界；再利用精確包絡推得真實積分區間與固定修正類的最小最大規則。兩套有理數實作、反例和解析圖像支持重現驗算。這是與香港 M1 主題有明確聯繫的高階理論工作論文，仍需查核國際先例、外部數學同行評審與教育適用性研究。

參考文獻

Education Bureau. (2018). Explanatory notes to senior secondary mathematics curriculum: Module 1 (calculus and statistics) (updated August 2018). https://www.edb.gov.hk/attachment/en/curriculum-development/kla/ma/curr/EN_M1_e.pdf

Lieb, E. H., & Loss, M. (2001). Analysis (2nd ed.). American Mathematical Society. https://www.ams.org/books/gsm/014/

Pečarić, J., & Ujević, N. (2006). A representation of the Peano kernel for some quadrature rules and applications. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 462(2073), 2817–2832. https://doi.org/10.1098/rspa.2006.1714

Salgado, A. J., & Wise, S. M. (2022). Numerical quadrature. In Classical numerical analysis: A comprehensive course (pp. 372–416). Cambridge University Press. https://doi.org/10.1017/9781108942607.018

Talvila, E., & Wiersma, M. (2012). Optimal error estimates for corrected trapezoidal rules. Journal of Mathematical Inequalities, 6(3), 431–445. https://doi.org/10.7153/jmi-06-40