1

中間値の定理を高校数学で証明してみた

829
1

はじめに

中間値の定理を高校数学の範囲で証明できたので書いていきたいと思う。一部議論の怪しい箇所があるが、高校数学ならばほぼ自明なものだと思われるので見逃していただきたい。

中間値の定理

ここでは通常の中間値の定理より少し弱いものを扱う。一般に知られているものはこれに簡単な考察を加えれば示せる。

中間値の定理

閉区間[a,b]上連続な関数fについてf(a)f(b)であるとき、f(a)f(b)の間にある任意のγに対し、γ=f(c)となるcIが存在する。

証明

数列{an},{bn},{In}を次のような方法で定める。
a0=a ,  b0=b ,  I0=[a,b]
区間
[an,an+bn2] , [an+bn2,bn]
を考える。fが連続関数であるからこれらの区間における最大値、最小値はそれぞれ存在するので、最小値γ最大値を満たすような方の区間を一つとり、それをIn+1=[an+1,bn+1]とする。すると、
|In+1|=12|In|
であるから、nとしたとき|In|0となる。fが連続であるから区間内の最大値、最小値の極限値は一致する。ところで、γは各区間内の最大値と最小値の間に常に存在するようにとってきたので、これらの極限値はγである。なので、
limnan=limnbn=c
とすれば、
limnf(an)=f(c)
であり、この極限をとるとき区間の端点が最大値をとるとしても問題なく、よって
f(c)=γ
である。

おわりに

だいぶ厳密な議論からは遠ざかった気がする。「これは自明じゃねえ!!」なんて思う方、是非コメントしてほしいです。

投稿日:2020121
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

空集合
空集合
20
4981

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 中間値の定理
  3. 証明
  4. おわりに