第六講——一元函數微分學的應用之中值定理、微分等式與微分不等式

文章目錄

    • 連續函數性質定理
      • 定理1 有界與最值定理
      • 定理2 介值定理
      • 定理3 平均值定理
      • 定理4 零點定理
      • 定理5 費馬定理
      • 導數介值定理(達布定理)
    • 中值定理
      • 羅爾定理
      • 拉格朗日中值定理
      • 柯西中值定理
      • 泰勒公式
    • 討論方程的根問題——微分等式
    • 證明不等式問題
      • 使用函數的性質(單調性、凹凸性、最值等)證明
      • 使用常數變量化證明不等式
      • 使用中值定理證明不等式

本章內容是考試的重中之重,分值最高占17分,而且多是難題——證明題

連續函數性質定理

有界與最值定理
介值定理
零點定理
費馬定理
羅爾定理
拉格朗日中值定理

設 f ( x ) 在 [ a , b ] 上連續,則: 設f(x)在[a,b]上連續,則: f(x)[a,b]上連續,則:

定理1 有界與最值定理

m ≤ f ( x ) ≤ M ,其中 m , M 分別為 f ( x ) 在 [ a , b ] 上的最小值與最大值 m≤f(x)≤M,其中m,M分別為f(x)在[a,b]上的最小值與最大值 mf(x)M,其中mM分別為f(x)[a,b]上的最小值與最大值
閉區間上連續函數必有界且能取到最大值最小值。

定理2 介值定理

當 m ≤ μ ≤ M 時,存在 ξ ∈ [ a , b ] 使得 f ( ξ ) = μ 當m≤μ≤M時,存在 ξ∈[a,b]使得f(ξ)=μ mμM時,存在ξ[a,b]使得f(ξ)=μ
顯然介值定理可以看作是有界與最值定理的變體。

定理3 平均值定理

a < x 1 < x 2 < … … < x n < b 時,在 [ x 1 , x n ] 內至少存在一點 ξ a<x_1<x_2<……<x_n<b時,在[x_1,x_n]內至少存在一點ξ a<x1?<x2?<……<xn?<b時,在[x1?,xn?]內至少存在一點ξ,使得
f ( ξ ) = f ( x 1 ) + f ( x 2 ) + … + f ( x n ) n f(ξ)=\frac{f(x_1) + f(x_2) + …+f(x_n)}{n} f(ξ)=nf(x1?)+f(x2?)++f(xn?)?
在這里插入圖片描述

定理4 零點定理

當 f ( a ) . f ( b ) < 0 時,存在 ξ ∈ ( a , b ) ,使得 f ( ξ ) = 0 當f(a).f(b)<0時,存在ξ∈(a,b),使得f(ξ)=0 f(a).f(b)<0時,存在ξ(a,b),使得f(ξ)=0
推廣的零點定理: f ( x ) 在 ( a , b ) 內連續, lim ? x → a + f ( x ) = α , l i m x → b ? f ( x ) = β ,且 α . β < 0 ,則 f ( x ) = 0 在 ( a , b ) f(x)在(a,b)內連續,\lim_{x \to a^{+}}f(x)=α,lim_{x \to b^{-}}f(x)=β,且α.β<0,則f(x)=0在(a,b) f(x)(a,b)內連續,limxa+?f(x)=αlimxb??f(x)=β,且α.β<0,則f(x)=0(a,b)內至少有一個根。
零點定理可以看作是介值定理的特例。
在這里插入圖片描述

應用:實系數奇數次多項式方程至少有一個實根
首先設函數f(x)等于這個實系數奇數次多項式方程:
f ( x ) = a n x n + a n ? 1 x n ? 1 + ? + a 0 ( a n ≠ 0 , n 為奇數 ) f(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots+a_{0}(a_n≠0,n為奇數) f(x)=an?xn+an?1?xn?1+?+a0?(an?=0,n為奇數)
在這里插入圖片描述
f ( x ) f(x) f(x)的連續性及推廣的零點定理可知,存在 ξ ∈ ( ? ∞ , + ∞ ) ξ∈(-\infty,+\infty) ξ(?,+),使 f ( ξ ) = 0 ,即 f ( x ) = 0 f(ξ)=0,即f(x)=0 f(ξ)=0,即f(x)=0至少有一個實根。

定理5 費馬定理

若函數在 x 0 處取得局部極值且可導,則 f ′ ( x 0 ) = 0 x_0處取得局部極值且可導,則 f'(x_0)=0 x0?處取得局部極值且可導,則f(x0?)=0
證明:

導數介值定理(達布定理)

達布定理(Darboux’s Theorem)是微積分中的重要定理,它指出:?若函數 f ( x ) 在閉區間 [ a , b ] f(x)在閉區間 [a,b] f(x)在閉區間[a,b]上可導,則其導數 f ′ ( x ) f'(x) f(x)具有介值性質。即對任意實數k滿足 f ′ ( a ) < k < f ′ ( b ) (或 f ′ ( a ) > k > f ′ ( b ) ) f'(a)<k<f'(b)(或 f'(a)>k>f'(b)) f(a)<k<f(b)(或f(a)>k>f(b)),存在點 c ∈ ( a , b ) c∈(a,b) c(a,b) 使得 f ′ ( c ) = k f'(c)=k f(c)=k
不需要導數連續

中值定理

從連續到可導再到泰勒公式全都連起來了:
在這里插入圖片描述
在這里插入圖片描述
在這里插入圖片描述
在這里插入圖片描述

羅爾定理

在這里插入圖片描述
簡單的時候可以用暴力求解,但是如果再復雜一些呢?在這里不妨使用羅爾定理來求解。

拉格朗日中值定理

柯西中值定理

泰勒公式

討論方程的根問題——微分等式

事實上,討論方程 f ( x ) = 0 f(x) = 0 f(x)=0的根就是討論函數 f ( x ) f(x) f(x)的零點,從幾何上來講也是討論曲線之間的交點。通常可以考慮以下解法:

  1. 零點定理
    可以用來證明根的存在性,若 f ( x ) 在 [ a , b ] 上連續,且 f ( a ) . f ( b ) < 0 ,則 f ( x ) = 0 在 ( a , b ) f(x)在[a,b]上連續,且f(a).f(b)<0,則f(x)=0在(a,b) f(x)[a,b]上連續,且f(a).f(b)<0,則f(x)=0(a,b)內至少有一個根。
  2. 單調性
    可以用來證明根的唯一性,若 f ( x ) 在 ( a , b ) 內單調,則 f ( x ) = 0 在 ( a , b ) f(x)在(a,b)內單調,則f(x)=0在(a,b) f(x)(a,b)內單調,則f(x)=0(a,b)內至多有一個根,這里區間 ( a , b ) (a,b) (a,b)可以是有限區間也可以是無窮區間。這一步可以直接用求導解決。
  3. 羅爾定理及其推論
    當不易使用零點定理時,可考慮羅爾定理及其推論。
    如果f(x)在區間 I 上 n I上n In階可導,且 f n ( x ) ≠ 0 f^{n}(x)≠0 fn(x)=0,即 f n ( x ) ≠ 0 無實根 ( 至多有 0 個根) f^{n}(x)≠0無實根(至多有0個根) fn(x)=0無實根(至多有0個根),于是 f ( x ) = 0 至多有 n 個根 f(x)=0至多有n個根 f(x)=0至多有n個根
    證明:使用反證法,并多次使用羅爾定理。假設 f ( x ) = 0 在 I 上有 n + 1 f(x)=0在I上有n+1 f(x)=0I上有n+1個實根,即 f ( x 1 ) = f ( x 2 ) = . . . = f ( x n + 1 ) = 0 f(x_1)=f(x_2)=...=f(x_{n+1})=0 f(x1?)=f(x2?)=...=f(xn+1?)=0
    不妨設 x 1 < x 2 < x 3 < . . . < x n + 1 x_1<x_2<x_3<...<x_{n+1} x1?<x2?<x3?<...<xn+1?,在每個小區間使用羅爾定理,可知 f ′ ( x ) = 0 f'(x)=0 f(x)=0至少有 n n n個實根。再次使用羅爾定理可知, f ′ ′ ( x ) = 0 至少有 n ? 1 f''(x)=0至少有n-1 f′′(x)=0至少有n?1個實根;依次逐階遞推,則 f n ( x ) = 0 f^{n}(x)=0 fn(x)=0至少有1個實根,設為ξ,即 f n ( ξ ) = 0 f ^{n}(ξ)=0 fn(ξ)=0。與題干矛盾,故假設不成立。原命題成立。
    事實上有更一般的結論,即羅爾原話:若 f n ( x ) = 0 至多有 k f^{n}(x)=0至多有k fn(x)=0至多有k個根,則 f ( x ) = 0 至多有 k + n f(x)=0至多有k+n f(x)=0至多有k+n個根。這個就像階數換根數了。
    整體的解題步驟就是:先證根存在再證根唯一。
  • 證明 2 x ? x 2 ? 1 = 0 2^x-x^2-1=0 2x?x2?1=0有且僅有三個根

證明不等式問題

使用函數的性質(單調性、凹凸性、最值等)證明

例題如下:

  • 證明當 0 < x < π 2 0<x<\frac {\pi }{2} 0<x<2π?時,有 s i n x > 2 x π sinx>\frac {2x}{\pi} sinx>π2x?
    其實用自己的方法做對也行,不過也要開拓眼界,看一下別的方法:
    在這里插入圖片描述
  • 證明:
    ( l n 1 + x x ? 1 1 + x ) 2 < 1 x ( 1 + x ) 2 ( x > 0 ) (ln\frac{1+x}{x}-\frac{1}{1+x})^2<\frac{1}{x(1+x)^2}(x>0) (lnx1+x??1+x1?)2<x(1+x)21?(x>0)
    在這里插入圖片描述
    在這里插入圖片描述

使用常數變量化證明不等式

如果題目中欲證的不等式中都是常數,則可以將其中一個或者幾個常數變量化,再利用導數的性質去證明。

  • 0 < a < b 0<a<b 0<a<b,證明不等式
    2 a a 2 + b 2 < l n b ? l n a b ? a < 1 a b \frac{2a}{a^2+b^2}<\frac{lnb-lna}{b-a}<\frac{1}{\sqrt{ab}} a2+b22a?<b?alnb?lna?<ab ?1?

使用中值定理證明不等式

主要使用拉格朗日中值定理或者泰勒公式

本文來自互聯網用戶投稿,該文觀點僅代表作者本人,不代表本站立場。本站僅提供信息存儲空間服務,不擁有所有權,不承擔相關法律責任。
如若轉載,請注明出處:http://www.pswp.cn/web/83363.shtml
繁體地址,請注明出處:http://hk.pswp.cn/web/83363.shtml
英文地址,請注明出處:http://en.pswp.cn/web/83363.shtml

如若內容造成侵權/違法違規/事實不符,請聯系多彩編程網進行投訴反饋email:809451989@qq.com,一經查實,立即刪除!

相關文章

2025.06.11【Ribo-seq】|用CPAT預測sORF序列的編碼潛能

文章目錄 前言一、準備工作1. 安裝CPAT2. 下載物種特異性模型 二、準備sORF核酸序列1. 獲取sORF的拼接核酸序列示例腳本&#xff08;假設已獲得外顯子fasta&#xff09;&#xff1a; 三、運行CPAT預測編碼潛能1. 準備CPAT模型和hexamer表2. 運行CPAT 四、結果解讀五、常見問題與…

Hive面試題匯總

一、hive架構相關 遇到這類問題&#xff0c;可以靈活的去回答&#xff0c;比如可以結合平時使用hive的經驗作答&#xff0c;也可以結合下圖從數據的讀入、解析、元數據的管理&#xff0c;數據的存儲等角度回答&#xff1a; 二、hive的特點 本題主要為了考察對hive的整體使用…

樹莓派超全系列教程文檔--(57)如何設置 Apache web 服務器

如何設置 Apache web 服務器 設置 Apache web 服務器安裝 Apache測試 web 服務器更改默認網頁 為 Apache 安裝 PHP 文章來源&#xff1a; http://raspberry.dns8844.cn/documentation 原文網址 設置 Apache web 服務器 Apache 是一款流行的 web 服務器應用程序&#xff0c;您…

(九)現代循環神經網絡(RNN):從注意力增強到神經架構搜索的深度學習演進

現代循環神經網絡的內容&#xff0c;將介紹幾種先進的循環神經網絡架構&#xff0c;包括門控循環單元&#xff08;GRU&#xff09;、長短期記憶網絡&#xff08;LSTM&#xff09;的變體&#xff0c;以及注意力機制等。這些內容將幫助你更深入地理解循環神經網絡的發展和應用。 …

牛市與熊市:市場周期的雙面鏡

牛市推動資產增值與風險積累&#xff0c;熊市擠壓泡沫并孕育機會&#xff0c;兩者交替循環&#xff0c;構成市場自我調節機制。 1、概念對比&#xff1a;情緒與趨勢的博弈 牛市&#xff08;Bull Market&#xff09;&#xff1a;指資產價格持續上漲&#xff08;通常漲幅超20%&a…

web程序設計期末復習-填空題

常用標簽 塊級標記 行內標記等 一、塊級元素 特點&#xff1a; 獨占一行可以設置寬度、高度、內外邊距默認情況下會從上到下垂直排列 常見標簽&#xff1a; 標簽 含義 <div> 最常用的通用塊級容器 <p> 段落 <h1>到<h6> 標題&#xff08;一級…

go全局配置redis,全局只需要連接一次,然后全局可以引用使用

創建redis文件夾、創建dadeRedis.go package redisimport ("context""github.com/go-redis/redis/v8""log""time" )var (client *redis.Clientctx context.Background() )// 初始化Redis連接&#xff08;建議在程序啟動時調用&am…

緩沖區(C語言緩沖區+內核緩沖區)一個例子解釋他們的關系和作用!!!

首先提出問題&#xff1a; 為什么以下代碼是先sleep三秒后&#xff0c;屏幕才顯示"XXXXXXX"。 #include<stdio.h> #include<unistd.h>int main() {printf("XXXXXXX");sleep(3);return 0; } 為什么以下代碼是先顯示"XXXXXXX"&#xf…

【2025版】Java 工程師學習路線圖 —— 掌握程度描述版

?【2025版】Java 工程師學習路線圖 &#x1f4a1; 目標&#xff1a;成為合格的 Java 工程師&#xff08;前后端都要會&#xff09; &#x1f4dd; 結構清晰 | 階段明確 | 掌握程度分級 | 適合自學或轉行 &#x1f539; 階段一&#xff1a;編程基礎 計算機通識 模塊內容推薦掌…

從零實現一個紅隊智能體

從零實現一個紅隊智能體(持續更新) 2025-06-09 背景&#xff1a;最近學了基礎些東西和工具基礎使用&#xff0c;發現一套流程下來太多需要手工要做的&#xff0c;就像自己能不能結合自己的技術棧實現小工具 &#x1f947; 第一步&#xff1a;從實用性開始分析 目標場景 希望…

Uniapp實現多選下拉框

文章目錄 前言一、效果展示1.1 下拉效果圖1.2 下拉選擇效果圖1.3 選擇顯示效果圖 二、組件源碼2.1.CustomCheckbox.vue源碼2.2.niceui-popup-select.vue源碼 三、demo.vue代碼演示 前言 之前在使用Uniapp時&#xff0c;一直都是下拉框單選。今天某個項目需求需要使用Uniapp實現…

JavaScript-Array.from

Array.from() 是 JavaScript 中用于將類數組對象&#xff08;array-like&#xff09;或可迭代對象&#xff08;iterable&#xff09;轉換為真實數組的一個非常有用的方法。 &#x1f4cc; 一、基本語法 Array.from(arrayLike, mapFn?, thisArg?)參數說明&#xff1a; 參數類…

二刷蒼穹外賣 day02

新增員工 DTO 將前端傳遞的參數列表通過對應的實體類接收 當前端提交的數據和實體類中對應的屬性差別較大時&#xff0c;使用DTO來封裝數據 Data public class EmployeeDTO implements Serializable {private Long id;private String username;private String name;private…

通過Heron Handoff 插件我們在figma設計中可以像sketch導出離線標注

一、設計交付的歷史困境與破局契機 在數字產品開發的全流程中&#xff0c;設計標注的高效傳遞始終是連接創意與實現的關鍵紐帶。傳統設計工具如 Sketch 憑借 Bluebeam、Sketch Measure 等插件構建了成熟的離線標注體系&#xff0c;設計師可將標注文件打包交付&#xff0c;開發…

SSE 數據的傳輸無法流式獲取

問題 調試過程中發現SSE數據返回的時間都是一樣的&#xff0c;懷疑是接口問題。 參考 EventSource數據一次性出來&#xff0c;并未流式輸出的原因_sourceevent為什么結果一下全部返回了-CSDN博客 處理 EventStream 不能流式返回的問題&#xff1a;Nginx 配置優化 解決方案 …

markdown文本轉換時序圖

好久沒更新了~這篇是markdown文本轉換時序圖的常用方法 文章目錄 前言一、Mermaid語法示例二、PlantUML語法示例三、在線工具快速轉換總結 前言 使用專業工具如Mermaid或PlantUML可以直接在Markdown中繪制時序圖。這些工具支持簡潔的語法&#xff0c;生成可嵌入文檔的圖表&…

谷粒商城-分布式微服務 -集群部署篇[一]

十九、k8s 集群部署 19.1 k8s 快速入門 19.1.1 簡介 Kubernetes 簡稱 k8s。是用于自動部署&#xff0c;擴展和管理容器化應用程序的開源系統。 中文官網 中文社區 官方文檔 社區文檔 概述 | Kubernetes 傳統部署時代&#xff1a; 早期&#xff0c;各個組織是在物理服務器上…

微信小程序- 用canvas生成排行榜

設計功能不是很復雜&#xff0c;也不想用插件&#xff0c;最終出現現在版本&#xff0c;主要用到微信小程序 wx.canvasToTempFilePath方法 // 直接調用改方法 createQRCode() {const qrCodeCanvasId "qrcodeCanvas";drawQrcode({width: 200,height: 200,canvasId: …

深度剖析:UI 設計怎樣為小程序構建極致輕量體驗

內容摘要 在小程序的世界里&#xff0c;用戶都追求快速、便捷的輕量體驗。但你是否好奇&#xff0c;為啥有些小程序能讓人輕松上手&#xff0c;快速達成目標&#xff0c;而有些卻讓人感覺繁瑣、卡頓&#xff1f;這里的關鍵差異&#xff0c;往往就藏在 UI 設計中。UI 設計到底施…

【網絡安全】Qt免殺樣本分析

初步研判 SHA256&#xff1a;9090807bfc569bc8dd42941841e296745e8eb18b208942b3c826b42b97ea67ff 我們可以看到引擎0檢出&#xff0c;是個免殺樣本&#xff0c;不過通過微步云沙箱的行為分析&#xff0c;已經被判為惡意 行為分析 進程行為 可以看到demo顯示調用了winver獲…