ロルの定理

下記テーマに関する記事の一部
解析学
微分法
定義
概念
法則と恒等式（英語版）
積分法
定義
道具
級数
収束判定法（英語版）
ベクトル
定理
多変数
形式と枠組み
定義
特殊化
その他
実数値関数 ƒ が閉区間 [a, b] 上で連続であり、開区間 (a, b) 上で微分可能であり、さらに区間の端点で ƒ(a) = ƒ(b) のとき、ƒ′(c) = 0 を満たす c が開区間 (a, b) に存在する。

ロルの定理（ロルのていり、英: Rolle's theorem）とは、解析学における定理である。直観的には、微分可能な実関数が相異なる2点で同じ値を取るとき、その2点間にグラフの傾きが0になるところがあるという定理である。

定理

有界閉区間 [a, b] 上で定義された連続関数 ƒ(x) が開区間 (a, b) で微分可能であり

を満たすとき、導関数 ƒ′(x) は、開区間 (a, b) 上に零点を持つ。

すなわち、

を満たす c ∈ (a, b) が存在する。

この定理は、c の位置を具体的に特定する定理ではなく、また、c は1つとは限らない。条件を満たす c が1個以上存在するということを保証する存在定理である。

ロルの定理は後にラグランジュやコーシーによって示される微分法における平均値の定理の特殊な場合であり、また、平均値の定理などの証明にも使われる基本的な定理である。

歴史

12世紀にインドの天文学者バースカラ2世がロルの定理と同じ内容の定理を述べた[1]。現在知られている形では、1690年にフランスの数学者ミシェル・ロルが著書の『代数学』(Traite d'algebre) で最初に定理を発表し[2]、1691年に定理の証明を発表した[3]。「ロルの定理」という名称は、1834年にドイツの数学者モーリッツ・ヴィルヘルム・ドロビッシュ（英語版）が最初に使用したものであり、1846年にイタリアの数学者ジュストロ・ベラヴィティス（英語版）も使用した[4]。

証明

ƒ(x) が x によらない定数であれば、任意の x ∈ (a, b) に対して ƒ′(x) ≡ 0 となる。

ƒ(x) が定数でないとする。ƒ(d) ≠ ƒ(a) となる d ∈ [a, b] が存在する。ƒ(x) は有界閉区間 [a, b] 上で連続なので [a, b] 上で最大値および最小値を取る（最大値最小値定理）。

・ƒ(d) > ƒ(a) のとき

f(x)が [a, b] 上で最大値をとるので、f(c)=Maxf(x) となる点 c ∈ [a, b] が存在する。このとき、a < c < b であるから、(a, b) において ƒ(x) が微分可能であることから、x = c において微分係数 ƒ′(c) が存在し

である。

ƒ(c) が最大値であることから分子は 0 以下であるので、

となる。したがって ƒ′(c) = 0 である。

ƒ(d) < ƒ(a) であるときも同様にして最小値を取る点 c ∈ (a, b) で ƒ′(c) = 0 となることが分かる。

いずれの場合でも ƒ′(c) = 0 となる c ∈ (a, b) が存在することになる。(Q.E.D)

脚注

[脚注の使い方]
  1. ^ Gupta (1997, p. 156)
  2. ^ Rolle (1690, p. 125)
  3. ^ Rolle (1691, p. 20)
  4. ^ カジョリ, 石井 & 1970-1975

参考文献

  • 杉浦光夫『解析入門I』東京大学出版会〈基礎数学2〉、1980年4月。ISBN 978-4-13-062005-5。https://www.utp.or.jp/bd/978-4-13-062005-5.html。 
  • 高木貞治『定本　解析概論』黒田成俊 補遺、岩波書店、2010年9月15日、51頁。ISBN 978-4-00-005209-2。http://www.iwanami.co.jp/.BOOKS/00/8/0052090.html。 

関連文献

関連項目

外部リンク

ウィキメディア・コモンズには、ロルの定理に関連するカテゴリがあります。

Read other articles:

2018–2019 United States federal government shutdown

Longest US federal government shutdown For the shutdown at the beginning of 2018, see January 2018 United States federal government shutdown. This article is part of a series on theBudget and debt in theUnited States of America Major dimensions Economy Expenditures Federal budget Financial position Military budget Public debt Taxation Unemployment Gov't spending Programs Medicare Social programs Social Security Contemporary issues Bowles–Simpson Commission Bush tax cuts Debt ceiling history...

 

Nikola Mikhov

BupatiNikola Mikhailov MikhovНикола Михайлов Михов Bupati BulgariaMasa jabatan28 Agustus 1943 – 7 September 1944Penguasa monarkiSimeon IIPerdana MenteriBogdan Filov PendahuluPosisi dibuatPenggantiTodor PavlovVenelin GanevTsvyatko BoboshevskiMenteri PerangMasa jabatan11 April 1942 – 14 September 1943Penguasa monarkiBoris IIIPerdana MenteriBogdan Filov PenggantiRusi Rusev Karier militerPihak Kerajaan BulgariaDinas/cabangAngkatan Darat BulgariaMasa&#...

 

Nicolas-François de Lorraine

Pour les articles homonymes, voir Cardinal de Lorraine. Nicolas-François de Lorraine Nicolas-François, duc de Lorraine Biographie Nom de naissance Nicolas-François de Vaudémont Naissance 6 décembre 1609Nancy Décès 25 janvier 1670 (à 60 ans)Nancy Cardinal de l'Église catholique Créécardinal 1626 par le pape Urbain VIII, démissionne en 1634 Évêque de l'Église catholique Fonctions épiscopales Évêque du diocèse de Toul (en) Notice sur www.catholic-hierarchy.org modifier&#...

Albert II de Monaco

Pour les articles homonymes, voir Albert, Prince Albert et Albert II. Albert II Le prince Albert en 2019. Titre Prince de Monaco En fonction depuis le 6 avril 2005(18 ans, 11 mois et 27 jours) Ministre d'État Patrick LeclercqJean-Paul ProustMichel RogerGilles Tonelli (intérim)Serge TellePierre Dartout Prédécesseur Rainier III Prince héréditaire de Monaco 14 mars 1958 – 6 avril 2005(47 ans et 23 jours) Monarque Rainier III Prédécesseur Caroline, pr...

 

Basketball at the 1996 Summer Olympics

International basketball tournament14th Olympic Basketball TournamentAtlanta 1996Tournament detailsOlympics1996 Summer OlympicsHost nationUnited StatesCityAtlantaDurationJuly 20 – August 4Men's tournamentTeams12 Medals Gold medalists  United States Silver medalists Serbia Bronze medalists  Lithuania Women's tournamentTeams12 Medals Gold medalists  United States Silver medalists Brazil Bronze medalists  Australia Tournaments ← Barcelona 1992 ...

 

نشيد تايلاند الوطني

نشيد تايلاند الوطني   البلد تايلاند  استمع للنشيد   تعديل مصدري - تعديل   بلينج شات (بالتايلندية:เพลงชาติ) مما يعني نشيد وطني بالتايلندية.[1][2] هو عنوان النشيد الوطني التايلندي. تمّ اعتماده في العاشر من ديسمبر عام 1939. الموسيقى من تلحين بيتر فيت والكلمات ...

Naval Base Simon's Town

Naval base in Cape Town, South Africa Naval Base Simon's TownNear Simon's Town in  South AfricaA view of Simon's Town and the naval baseLocation within the South African Western CapeCoordinates34°10′59″S 18°25′59″E / 34.18306°S 18.43306°E / -34.18306; 18.43306TypeNaval baseSite informationOwnerDepartment of Defence (South Africa)OperatorSouth African NavyControlled bySouth African National Defence ForceConditionActiveWebsiteSouth African Nava...

 

Kotaku

Video game website and blog KotakuType of siteGaming blogOwnerG/O MediaCreated byBrian CrecenteURLkotaku.comCommercialYesLaunchedOctober 2004; 19 years ago (2004-10) Kotaku is a video game website and blog that was originally launched in 2004 as part of the Gawker Media network.[1] Notable former contributors to the site include Luke Smith,[2] Cecilia D'Anastasio, Tim Rogers, and Jason Schreier. History Kotaku was first launched in October 2004 with...

 

大字 (数字)

この項目には、一部のコンピュータや閲覧ソフトで表示できない文字が含まれています（詳細）。 数字の大字（だいじ）は、漢数字の一種。通常用いる単純な字形の漢数字（小字）の代わりに同じ音の別の漢字を用いるものである。 概要 壱万円日本銀行券（「壱」が大字） 弐千円日本銀行券（「弐」が大字） 漢数字には「一」「二」「三」と続く小字と、「壱」「�...

لوس كورتيخوس (سيوداد ريال)

  لوس كورتيخوس (بالإسبانية: Cortijos, Los)‏[1]   - بلدية -    لوس كورتيخوس (سيوداد ريال)  خريطة الموقع تقسيم إداري البلد إسبانيا  [2] المقاطعة مقاطعة ثيوداد ريال خصائص جغرافية إحداثيات 39°18′51″N 4°03′07″W / 39.314166666667°N 4.0519444444444°W / 39.314166666667; -4.0519444...

 

Felipe López (baseball)

Puerto Rican baseball player (born 1980) For other people with the same name, see Felipe López (disambiguation). Baseball player Felipe LópezLópez with the Tampa Bay RaysInfielderBorn: (1980-05-12) May 12, 1980 (age 44)Bayamón, Puerto RicoBatted: SwitchThrew: RightMLB debutAugust 3, 2001, for the Toronto Blue JaysLast MLB appearanceAugust 20, 2011, for the Milwaukee BrewersMLB statisticsBatting average.264Home runs90Runs batted in439 Teams Toronto Blue J...

 

Question rhétorique

Raphaël, L'École d'Athènes. Une question rhétorique (ou question oratoire) est une figure de style qui consiste à poser une question n'attendant pas de réponse, cette dernière étant connue par celui qui la pose[1]. Définition Définition linguistique La question oratoire, ou « interrogation oratoire », est la forme la plus rhétorique de la question et de l'assertion déguisée. Ainsi le poète français Marcel Courault la nomme « fausse interrogation »[2]. Pa...

مجلس أوروبا

  مجلس أوروبا مجلس أوروبا‌     الاختصار (بالفرنسية: CdE)‏،  و(بالإنجليزية: CoE)‏  البلد فرنسا  المقر الرئيسي قصر أوروبا  تاريخ التأسيس 5 مايو 1949[1]  مكان التأسيس لندن[2]  منطقة الخدمة أوروبا  اللغات الرسمية الإنجليزيةالفرنسية  الموازنة 496000000 ي�...

 

Estatua ecuestre de George Meade (Filadelfia)

Estatua ecuestre de George Meade UbicaciónPaís Estados UnidosLocalidad FiladelfiaUbicación Parque FairmountCoordenadas 39°58′52″N 75°12′29″O / 39.980992, -75.20805CaracterísticasTipo EsculturaAutor Alexander Milne CalderMateriales Bronce y granitoHistoriaConstrucción 1887Inauguración 18 de octubre de 1887Dedicado a George Meade[editar datos en Wikidata] El Mayor general George Gordon Meade es una estatua ecuestre que se encuentra en el Parque Fairmoun...

 

Nipkow disk

Image scanning device This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Nipkow disk – news · newspapers · books · scholar · JSTOR (March 2010) (Learn how and when to remove this message) Schematic showing the circular paths traced by the holes in a Nipkow disk A Nipkow disk (sometimes Anglicized as Nipkov disk...

Critics' Choice Television Award for Best Actor in a Drama Series

Critics' Choice Television Award for Best Actor in a Drama SeriesThe 2024 recipient: Kieran CulkinCountryUnited StatesPresented byCritics Choice AssociationFirst awarded2011Currently held byKieran Culkin – Succession (2024)Websitecriticschoice.com The Critics' Choice Television Award for Best Actor in a Drama Series is one of the award categories presented annually by the Critics' Choice Television Awards (BTJA) to recognize the work done by television actors. It was introduced in 2011 when...

 

Larry McReynolds

Larry McReynoldsMcReynolds on NASCAR PerformanceLahirLawrence Joseph McReynolds III10 Januari 1959 (umur 65)Birmingham, Alabama, U.S.Tempat tinggalMooresville, North Carolina, U.S.Kebangsaan AmerikaNama lainLarry MacPekerjaanFormer NASCAR crew chiefFox NASCAR commentatorTahun aktif1975–presentDikenal atasMenang Daytona 500 sebagai kepala kru dua kali di 1992 dengan Davey Allison dan di 1998 dengan Dale Earnhardt Lawrence Joseph Larry McReynolds III (lahir 10 Januari 1959) me...

 

2014年亞洲運動會羽毛球男子團體比賽

2014年亚洲运动会羽球比賽 项目 男單 女單 男雙 女雙 混雙 男團 女團 2014年亞洲運動會羽毛球比賽為第十七屆亞洲運動會的其中一項競賽項目，共產生七面金牌；賽事將於2014年9月20日至9月29日在桂陽體育館舉行。本條目為男子團體項目的比賽結果。 本項賽事共有12支隊伍參與。決定各隊在淘汰賽中排位的抽籤儀式於2014年8月21日在南韓海港公園酒店（Harbor Park Hotel）舉行[1&...

基頻

基頻可以指： 基本頻率（Fundamental Frequency） 前端总线的时钟频率，簡稱基頻（Base Clock，縮寫BCLK），或稱外頻。 基頻處理器 这是一个消歧义页，羅列了有相同或相近的标题，但內容不同的条目。如果您是通过某條目的内部链接而转到本页，希望您能協助修正该處的内部链接，將它指向正确的条目。

 

Giovanni d'Inghilterra

Disambiguazione – Principe Giovanni rimanda qui. Se stai cercando altri principi noti con questo nome, vedi Principe Giovanni (disambigua). Giovanni d'Inghilterradetto SenzaterraGiovanni Senzaterra in una miniatura della Historia Anglorum di Matthew Paris, 1250-1259Re d'InghilterraStemma In carica6 aprile 1199 –19 ottobre 1216(contestato da Luigi I dal 21 maggio 1216)(17 anni e 196 giorni) PredecessoreRiccardo I SuccessoreEnrico III e Luigi I (trono conteso) Signor...