はさみうちの原理

ウィキペディア

はさみうちの原理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/04/09 12:16 UTC 版)

緑の曲線および赤の曲線では x座標が 0 に近づく際に y座標は 0 に近づくので、それらの間に挟まれた青の曲線でも同様である。

はさみうちの原理（はさみうちのげんり）は、極限に関する定理の一つ。おおまかには、同じ極限値を持つ2つの関数に挟まれた第3の関数も同じ極限値を持つという主張である。

概要

直接には極限値を求めにくい場合も、極限値を求めやすい2つの関数ではさめるならば、はさみうちの原理によって間接的に極限値を得ることができる。考え方の源流は、アルキメデスが円周率の近似値を計算する際に用いた方法にまで遡るが、現代的な形での定式化はガウスによってなされた。

はさみうちの原理と同様の主張は、実数列（各項が実数である数列）の極限に対しても成り立つ。日本の大学受験業界においては、この主張をはさみうちの原理と呼ぶことが多く、これを用いて解く問題が頻出するために重要視されている。日本の高校教育においては感覚と直観に頼った極限概念しか扱わないため、「証明なしに用いてよい事実」とされているが、ε-δ論法によって極限を定式化すれば、関数に関しても数列に関しても、共に定理として個別に証明が可能である。なお、英語では定理 (theorem) の名を冠される場合が多く、squeeze theorem, pinching theorem, sandwich theorem などと呼ばれる。

イタリアやロシアでは、「二人の警察官の定理」として知られ、次のようなたとえ話と共に紹介される。囚人が二人の警察官に挟まれているとすれば、二人の警察官が部屋に入るときには、囚人も必然的にその部屋に入ることになる。

命題

数列に関する命題

3つの実数列 {a_n}, {b_n}, {c_n} について、常に a_n ≤ b_n ≤ c_n であって、

${\displaystyle \lim _{n\to \infty }a_{n}=\lim _{n\to \infty }c_{n}=A}$