达保定理在微积分教学上的应用.docVIP

達保定理在微積分教學上的應用 張幼賢陳火炎、陳昭地 ★ 國立灣師範大學數學系大同大學應用數學系北市私立大同高中 摘要：本文旨於探討微積分教學中，分析函數圖形最主要的指導原則：求, 正負範圍與檢測區間的檢測點相對應，背後隱藏地支持其有效教學教法的達保定理。提出達保定理的簡易證明，並舉例說明它在微積分教學上的應用，提供微積分教學參考。 關鍵字：達保定理, 微積分, 遞增, 遞減, 凹性, 反曲點。 前言 在微積分題材中, 函數圖形的繪製分析是一齣重頭戲，我們無意誇大繪圖在數學中的重要性，然而笛卡兒(Descartes, René, 1595-1650)引入解析幾何對十七世紀中葉開始才迅速發展的微積分具有深遠的貢獻，就如拉格朗日(Lagrange, Joseph Louis, 1736-1813)所言，代數和幾何聯合起來，可從對方獲得新生命力得以快速的節奏向前趨向完美([1])。 在分析函數圖形的時候，大體上應該特別注意到有用的資訊，諸如x截距、y截距、對稱性、定義域和值域、連續性、可微分性、相對極值、凹性(或凸性)、反曲點、漸近線和在無窮遠處的極限等等([1])。在多項式函數圖形的教學，以和為0的點，來決定相對極值及反曲點，甚至判定遞增或遞減的區間，是繪圖極重要的基本指導原則([1], [5], [6])，而背後支持這個指導原則卻是法國數學家*達保(Darboux, Jean Gaston, 1842-1917)原先為處理基本微分方程解的存在性問題(怎樣的函數才可能有反導函數)，所提出初等但卻給人深刻印象的定理—達保定理([2], [3])： 設I為開區間，並設函數是可微分的, 則的值域是一個區間, 即對I中任意兩點u, v, 介於與之間的任意k值, 都存在於u, v之間的某一點使得, 亦即在I上具有類似連續函數的中間值性質。 我們首先給出達保定理的簡易證明，再進一步探討這個定理在微積分上的基本應用，特別在分析函數圖形時的關鍵用途。 達保定理的證明及其在定積分教學上的應用([2]) 這個定理的證明方法，一開始有些類似連續函數的中間值定理。 u, v, k如定理所述，不妨設, 先定義為 , . 計算：, . 由已知條件可設, . 為連續函數, 為有界閉區間, 故由最值定理存在一個使得為其最小值. 因, 所以不是最小值; 又因, 也不是最小值. 由3, 4知, 於是由費馬極值定理知, 即. 由達保定理得知： 當, 而不是一個區間時, 就必然不存在可微分函數使得, . 因此對於不具有中間值性質的函數，應先確定是否可積分，如果可積分，可能需要用定義來求得積分而無法直接使用微積分基本定理。 *達保是赫密特()的學生和巴黎學院的教授，他雖然是幾何學的著名學者，但在分析學上也有重要的貢獻。 範例([4])： (一). 設, , , 則其值域不是一個區間, 故必不存在可微分函數使得, . 此時, f在上仍可積分, 其定積分為 , 但無法利用微積分基本定理找到反導函數計算此定積分的值. (二). 考慮高斯函數, , 則不是一個區間, 故必不存在可微分函數使得, . 但直接由定積分的定義可得 , 它仍然無法利用微積分基本定理來計算. (三). 設, 則不為區間, 故不存在可微分函數使得, . 不過它在上仍然可積分([2], [3], [4]). 事實上, 設是的n等分分割, 函數對任一的黎曼和之極小值稱為達保下和(Darboux lower sum), 而其最大值稱為達保上和(Darboux upper sum), 分別記為與. 由的定義可知, 且其函數值超過子區間的個數不超過, 故當時, (m為任意正整數) 因此, . 利用夾擠定理可得, 其中黎曼和, , , , 所以在上可積分且. (四). 設, 則,故不存在可微分函數使得, . 此時可依積分定義知道在上不可積分. 事實上, 的達保上和永遠為1, 而其達保下和永遠為0, 它們的差距永遠為1, 所以在上不可積分. 達保定理在微分教學上的應用—分析函數圖形([1], [5], [6]) 根據分析函數圖形的最主要原則： 標出和為0或不存在的點, 將這些點依序排成, 則由達保定理和在檢測區間, , …, 及上, 它們為正值或負值是固定的, 因此只要在每一檢測區間中任取一點c, 代入計算, 的正負, 就可決定和在整個檢測區間取值的正負. 因此也就可以判斷在每個檢測區間上函數的遞增或遞減, 其圖形凹口向上或凹口向下, 反曲點, 並可確認函數f在這些點是否產生極值了. 底下我們來看幾個例子. (五). 分析函數, 並繪圖. 【參考解答】：注意, 且函數在沒有定義. (1) , . (2) , 無解. (3) 檢測區間為：, , , . 下表說明如何利用檢測區間來決定函數圖形的特徵.