はさみうちの原理の証明
はさみうちの原理(数列版):
任意の自然数 に対して(または十分大きな に対して)
が成立し,
なら
はさみうちの原理は一見当たり前っぽい公式ですが,高校数学の範囲ではごまかされているのできちんと証明します。(証明には 論法, 論法という大学数学の道具を用いるので大学入試で問われることはありません)
証明の準備(極限の定義)
はさみうちの原理の証明
関数版のはさみうちの原理
証明の準備(極限の定義)
まず,高校数学の範囲では極限が厳密に定義されていません。厳密な部分はごまかしていたのです。
そこで,まずは極限の定義をきちんと行います。
極限の定義:
とは,
「任意の正の実数 に対して,ある が存在して なら が成立する」
厳密に書くと分かりにくいですが,意味は難しくありません。
「 を大きくすると はいくらでも に近づく」
→「 が十分大きいなら はいくらでも に近づく」
→「どんなに小さい正の数 に対しても が十分大きいなら となる」
→「任意の正の実数 に対して,ある が存在して なら が成立する」
これで極限の意味が厳密に定義されたのではさみうちの原理が証明できます。
はさみうちの原理の証明
まずは仮定と目標の式をきちんと表現しておきます。
仮定
・
・任意の に対してある が存在して なら
・任意の に対してある が存在して なら
目標
・任意の に対してある が存在して なら
仮定の2つ目と3つ目より,
任意の に対して となるように を取れば
なら
かつ
仮定の1つめと合わせると
つまり,
よって,はさみうちの原理が示された。
関数版のはさみうちの原理
関数版の場合も数列版とほとんど同様にして証明できます。まずは定義から。
極限の定義:
とは,
「任意の正の実数 に対して,ある が存在して なら が成立する」
関数版のはさみうちの原理:
かつ
なら
を示す。
仮定より,
任意の に対してある が存在して, なら かつ
ある が存在して なら
よって,
となるように を取れば
なら
かつ
よって,
つまり,
論法が大学数学最初の関門です。高校生のうちに雰囲気だけでも理解しておくとよいでしょう。→イプシロンデルタ論法とイプシロンエヌ論法