三角関数と極限の組み合わせは、高校数学から大学数学にかけて頻繁に登場するテーマです。
中でもlim(x→0) sin x / x = 1という公式は、微分の定義や様々な応用問題において核となる基本極限として知られています。
本記事では、sinとcosの極限計算に関する公式を体系的に整理し、はさみうちの原理による証明から応用問題まで丁寧に解説します。
三角関数の極限に自信を持って取り組めるよう、基本から順を追って確認していきましょう。
三角関数の極限における最重要公式(結論)
それではまず、三角関数の極限における最重要公式について解説していきます。
三角関数の極限で最も重要な公式は以下の3つです。
三角関数の基本極限公式
①lim(x→0) sin x / x = 1
②lim(x→0) (1-cos x) / x = 0
③lim(x→0) (1-cos x) / x² = 1/2
これらの公式は多くの極限計算の出発点となります。
特に①は、sin xの微分公式((sin x)’=cos x)を導く際にも使われる根本的な公式です。
②と③は①と三角関数の変換公式を組み合わせることで導かれます。
これらをしっかり覚えておくことが、三角関数の極限計算をスムーズに進める最短ルートでしょう。
sin x / x の極限の意味
lim(x→0) sin x / x = 1という公式は、xが0に近づくとき、sin xとxがほぼ等しくなることを示しています。
これは「xが小さいとき sin x ≈ x」という近似式と深く結びついており、物理や工学でも広く利用されます。
たとえば振り子の運動方程式において、小角度近似としてsin θ ≈ θを用いるのはこの公式が根拠となっています。
数学的には、sin xのテイラー展開sin x = x-x³/6+…においてx→0のときxの係数が1であることからも確認できます。
cos x の極限の基本
cos xの極限は、sin xの極限とは異なる特徴を持ちます。
lim(x→0) cos x = 1は、cos xが連続関数であることから単純な代入で求まります。
(1-cos x)/xの極限が0になることは、分子・分母に(1+cos x)をかけて有理化する方法で証明できます。
(1-cos x)/x² = 1/2という結果は、cos xの2次近似cos x ≈ 1-x²/2 と対応しており、テイラー展開の観点からも自然な結果です。
tan x / x の極限
三角関数の極限としてよく登場するもうひとつの公式がlim(x→0) tan x / x = 1です。
tan x = sin x / cos xと書き換え、(sin x / x) × (1 / cos x) と変形すれば、1 × 1 = 1と求められます。
この公式も sin x / x と同じく、tan x ≈ x(xが小さいとき)という近似と対応しています。
これらの近似は信号処理や光学などの応用分野でも活躍する重要な知識でしょう。
はさみうちの原理による証明
続いては、lim(x→0) sin x / x = 1の証明に使われるはさみうちの原理について確認していきます。
はさみうちの原理(スクイーズ定理)は、ある関数をより扱いやすい2つの関数で挟み込むことで極限を求める方法です。
はさみうちの原理の定義
はさみうちの原理とは、g(x) ≤ f(x) ≤ h(x)が成立し、かつlim g(x) = lim h(x) = Lであるとき、lim f(x) = Lも成立するという定理です。
直感的には、「サンドイッチのように挟まれた関数は、両側の極限値と同じ値に収束する」というイメージです。
この定理は、直接計算が難しい関数の極限を、より簡単な不等式を通して求める際に非常に有効です。
sin x / x = 1の証明手順
lim(x→0) sin x / x = 1の証明は、単位円を用いた幾何学的不等式から始まります。
0 < x < π/2 のとき
単位円の扇形と三角形の面積比較から
sin x < x < tan x が成立
各辺をsin xで割ると
1 < x/sin x < 1/cos x
逆数をとると
cos x < sin x / x < 1
x→0のとき、cos x→1かつ1→1
よってはさみうちの原理より lim sin x / x = 1
x < 0の場合は、sin(-x)/(-x)=sin x / xより同様に成立します。
この証明は幾何学・不等式・極限の概念が一体となった美しい証明であり、数学の教養としても重要でしょう。
はさみうちの原理の応用例
はさみうちの原理は sin x / x 以外にも広く応用されます。
たとえばlim(x→0) x sin(1/x) = 0の証明に使えます。
|sin(1/x)| ≤ 1であるから、-|x| ≤ x sin(1/x) ≤ |x|が成立し、x→0のとき両辺とも0に収束することで、はさみうちにより極限は0と求まります。
このように、振動する関数との積の極限を求める際にはさみうちの原理が活躍します。
三角関数の極限の応用計算
続いては、基本公式を活用した三角関数の極限の応用計算について確認していきます。
基本公式を変形・組み合わせることで、より複雑な問題にも対処できるようになります。
sin(ax)/bxの極限
lim(x→0) sin(ax)/(bx)の形の極限は、基本公式の直接応用です。
lim(x→0) sin(ax)/(bx)
= lim(x→0) (sin(ax)/(ax)) × (a/b)
= 1 × (a/b) = a/b
このパターンは非常に頻出であり、「sin()の中身と分母に同じ式を作る」という変形の感覚を身につけることが大切です。
たとえば lim(x→0) sin(3x)/(2x) = 3/2 と即座に求めることができます。
複合的な三角関数の極限
より複合的な三角関数の極限では、複数の公式を組み合わせて対処します。
たとえばlim(x→0) (sin x)(1-cos x)/x²のような問題では、sin x/xと(1-cos x)/x²の公式をそれぞれ適用します。
lim(x→0) (sin x)(1-cos x)/x²
= lim(x→0) (sin x/x) × ((1-cos x)/x)
= 1 × 0 = 0
分子・分母をうまく分割して、既知の公式の形を作り出すことが解法の鍵です。
x→∞における三角関数の極限
x→∞における三角関数の極限では、はさみうちの原理が特に有効です。
たとえばlim(x→∞) sin x / x では、|sin x| ≤ 1より-1/x ≤ sin x / x ≤ 1/xが成立します。
x→∞のとき±1/x→0であるから、sin x / x → 0が導かれます。
このように、sin xの有界性(常に-1以上1以下)をうまく活用することがポイントです。
| 公式 | 極限値 | 証明方法 |
|---|---|---|
| lim sin x / x (x→0) | 1 | はさみうちの原理 |
| lim (1-cos x)/x (x→0) | 0 | 有理化+sin x/x |
| lim (1-cos x)/x² (x→0) | 1/2 | 半角公式+sin x/x |
| lim tan x / x (x→0) | 1 | sin x/x+cos x |
| lim sin x / x (x→∞) | 0 | はさみうちの原理 |
まとめ
本記事では、三角関数の極限公式について、sin x/x を中心にはさみうちの原理・基本極限・証明・応用の観点から詳しく解説しました。
lim(x→0) sin x / x = 1という公式は、三角関数の極限の核心であり、微分の定義にも直結する重要な公式です。
はさみうちの原理は、直接計算が難しい極限を「挟み込み」によって求める強力な手法であり、三角関数の極限証明に欠かせません。
基本公式を確実に習得し、変形・応用のパターンを身につけることで、三角関数の極限問題を自信を持って解けるようになります。
これらの知識は微分積分学の基盤となるため、繰り返し練習してしっかりと定着させましょう。