250px|thumb|緑の曲線および赤の曲線では 座標が 0 に近づく際に 座標は 0 に近づくので、それらの間に挟まれた青の曲線でも同様である。 はさみうちの原理（）、俗にサンドイッチの定理（）とは、極限に関する定理の一つ。おおまかには、同じ極限値を持つ2つの関数に挟まれた第3の関数も同じ極限値を持つという主張である。
概要 直接には極限値を求めにくい場合も、極限値を求めやすい2つの関数ではさめるならば、はさみうちの原理によって間接的に極限値を得ることができる。考え方の源流は、アルキメデスが円周率の近似値を計算する際に用いた方法にまで遡るが、現代的な形での定式化はガウスによってなされた。
はさみうちの原理と同様の主張は、実数列（各項が実数である数列）の極限に対しても成り立つ。日本の大学受験業界においては、この主張をはさみうちの原理と呼ぶことが多く、これを用いて解く問題が頻出するために重要視されている。日本の高校教育においては感覚と直観に頼った極限概念しか扱わないため、「証明なしに用いてよい事実」とされているが、ε-δ論法によって極限を定式化すれば、関数に関しても数列に関しても、共に定理として個別に証明が可能である。なお、英語では定理 (theorem) の名を冠される場合が多く、squeeze theorem, pinching theorem, sandwich theorem などと呼ばれる。
イタリアやロシアでは、「二人の警察官の定理」として知られ、次のようなたとえ話と共に紹介される。囚人が二人の警察官に挟まれているとすれば、二人の警察官が部屋に入るときには、囚人も必然的にその部屋に入ることになる。
命題 数列に関する命題 3つの実数列 について、常に であって、
（A は定数）ならば、
が成り立つ。
最初の有限個の項は極限値には影響しないので、仮定における大小関係は常に成り立つ必要はなく、十分大きな n に対して成り立っていれば十分である。
関数に関する命題 3つの実数値関数 について、常に であって、
（ は定数）ならば、
が成り立つ。
やはり、大小関係は が十分大きな部分でのみ成り立っていればよい。また、上記は における極限についての主張であるが、 の場合や、ある実数 に対する の場合の極限についても同様の主張が成り立つ。 の場合は が十分小さな部分で、 の場合は に近い部分（正確には を含むある開区間）で大小関係が成り立っていればよい。
類似の命題 はさみうちの原理は、極限として有限の値をとる場合であったが、極限が または の場合にも似た命題が成り立つ。例えば、数列に関しては次の各命題が成り立つ。 十分大きな に対して であり、 が に発散するならば、 も に発散する。 十分大きな に対して であり、 が に発散するならば、 も に発散する。 これらの事実は数学的には特に重要ではないが、日本の大学受験業界においては追い出しの原理との名で紹介されることがある例えば、藤田宏ほか『大学への数学 III&C』研文書院、2005年 () の125頁に記述がある。。通常の解析学の枠組みにおいては、はさみうちの原理と追い出しの原理は別個に証明する必要があり、両者に数学的な依存関係はない。
名称の歴史 「はさみうちの原理」は英語の"Squeeze Theorem"に対応する名称であり、1950-1970年代の英語圏の解析学教科書で"Squeeze Theorem"が記載したことに由来すると考えられる。補足をすると名称が一般化された背景については不明であるが、この本自体が"Squeeze Theorem"という英語名を用いていることは確認でき他にStewart「Calculus」(1987)で紹介されている。
一方、英語では"Sandwich Theorem"という別名も用いられたが、これは歴史順に追うとHugo Steinhausらの1938年の"Sur la division des ensembles en parties égales"の発表後、1940年代のStone–Tukey (1942) が多次元の分割定理を定式化の後に1950〜1970年代でアメリカの数学教育で"Ham Sandwich Theorem"の名称が普及し"Sandwich Theorem"はそのバリエーションとして後に登場することは判明している。日本語では1960-1970年代の大学教科書で「はさみうちの原理」という訳語が定着したが、1980年代以降、一部の教材では"Sandwich Theorem"の直訳として「サンドウィッチ定理／原理」が用いられることもある。ただし、これらはいずれも同一の定理を指すものであり、ハムサンドイッチの定理（Ham Sandwich Theorem）とは無関係である。
脚注