はさみうちの原理のソースを表示

[[画像:Squeeze theorem example.svg|250px|thumb|緑の曲線および赤の曲線では {{mvar|x}}座標が 0 に近づく際に {{mvar|y}}座標は 0 に近づくので、それらの間に挟まれた青の曲線でも同様である。]]
'''はさみうちの原理'''（はさみうちのげんり）は、[[極限]]に関する[[定理]]の一つ。おおまかには、同じ極限値を持つ2つの[[関数 (数学)|関数]]に挟まれた第3の関数も同じ[[極限値]]を持つという主張である。

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

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

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

== 命題 ==
=== 数列に関する命題 ===
3つの実数列 {{math2|{{mset|''a{{sub|n}}''}}, {{mset|''b{{sub|n}}''}}, {{mset|''c{{sub|n}}''}}}} について、常に {{math2|''a{{sub|n}}'' ≤ ''b{{sub|n}}'' ≤ ''c{{sub|n}}''}} であって、
:<math>\lim_{n\to\infty}a_n=\lim_{n\to\infty}c_n=A</math>
（''A'' は定数）ならば、
:<math>\lim_{n\to\infty}b_n=A</math>
が成り立つ。

最初の有限個の項は極限値には影響しないので、仮定における大小関係は常に成り立つ必要はなく、十分大きな ''n'' に対して成り立っていれば十分である。

=== 関数に関する命題 ===
3つの実数値関数 {{math2|''f''(''x''), ''g''(''x''), ''h''(''x'')}} について、常に {{math2|''f''(''x'') ≤ ''g''(''x'') ≤ ''h''(''x'')}} であって、
:<math>\lim_{x\to\infty}f(x)=\lim_{x\to\infty}h(x)=A</math>
（{{mvar|A}} は定数）ならば、
:<math>\lim_{x\to\infty}g(x)=A</math>
が成り立つ。

やはり、大小関係は {{mvar|x}} が十分大きな部分でのみ成り立っていればよい。また、上記は {{math2|''x'' → ∞}} における極限についての主張であるが、{{math|''x'' → &minus;∞}} の場合や、ある実数 {{mvar|a}} に対する {{math2|''x'' → ''a''}} の場合の極限についても同様の主張が成り立つ。{{math2|''x'' → &minus;∞}} の場合は {{mvar|x}} が十分小さな部分で、{{math2|''x'' → ''a''}} の場合は {{mvar|a}} に近い部分（正確には {{mvar|a}} を含むある[[開区間]]）で大小関係が成り立っていればよい。

== 類似の命題 ==
はさみうちの原理は、極限として有限の値をとる場合であったが、極限が {{math|+∞}} または {{math|&minus;∞}} の場合にも似た命題が成り立つ。例えば、数列に関しては次の各命題が成り立つ。
* 十分大きな {{mvar|n}} に対して {{math2|''a{{sub|n}}'' ≤ ''b{{sub|n}}''}} であり、{{mvar|a{{sub|n}}}} が {{math|+∞}} に発散するならば、{{mvar|b{{sub|n}}}} も {{math|+∞}} に発散する。
* 十分大きな {{mvar|n}} に対して {{math2|''a{{sub|n}}'' ≤ ''b{{sub|n}}''}} であり、{{mvar|b{{sub|n}}}} が {{math|&minus;∞}} に発散するならば、{{mvar|a{{sub|n}}}} も {{math|&minus;∞}} に発散する。
これらの事実は数学的には特に重要ではないが、日本の大学受験業界においては'''追い出しの原理'''との名で紹介されることがある<ref>例えば、藤田宏ほか『[[大学への数学 (研文書院)|大学への数学]] III&C』研文書院、2005年 (ISBN 4-7680-1075-X) の125頁に記述がある。</ref>。通常の[[解析学]]の枠組みにおいては、はさみうちの原理と追い出しの原理は別個に証明する必要があり、両者に数学的な依存関係はない。

== 脚注 ==
{{Reflist}}

{{DEFAULTSORT:はさみうちのけんり}}

[[Category:数学に関する記事]]
[[Category:関数]]
[[Category:微分積分学の定理]]
[[Category:極限 (数学)]]
[[Category:数列]]