三角関数の不定形極限を機械的な計算で求める方法

三角関数の 00\dfrac{0}{0} 不定形の極限を求める問題は,マクローリン展開を用いた多項式近似で素早く解くことができる。

三角関数の多項式近似

マクローリン展開を用いることで,三角関数 sinx,cosx\sin x,\:\cos xx=0x=0 の付近で以下のように多項式で近似できます。

sinx=k=0(1)kx2k+1(2k+1)!=xx36+\sin x={\displaystyle\sum_{k=0}^{\infty}}(-1)^k\dfrac{x^{2k+1}}{(2k+1)!}=x-\dfrac{x^3}{6}+\cdotscosx=k=0(1)kx2k(2k)!=1x22+\cos x={\displaystyle\sum_{k=0}^{\infty}}(-1)^k\dfrac{x^{2k}}{(2k)!}=1-\dfrac{x^2}{2}+\cdots

マクローリン展開を知らなくても,三角関数が原点付近で上記の多項式で近似できると覚えておきましょう。

この近似式を用いて三角関数を多項式のように扱うことで,極限の値を求めることができます。

三角関数を何次の多項式で近似するかは問題によって異なります。次数が低すぎると不定形が解消されず意味がありませんが,次数が高いぶんには問題ありません。以下の例題で具体的に見てみましょう。

例題

問題1

limx0sin(sin2x)x\displaystyle\lim_{x\to 0} \dfrac{\sin(\sin 2x)}{x} の値を求めよ。

方針

この極限は 00\dfrac{0}{0} の不定形です。 sin2x\sin 2x を1次近似(sin2x2x\sin 2x\fallingdotseq 2x )します。近似を2回行うことで sin(sin2x)2x\sin(\sin 2x)\fallingdotseq 2x と多項式に近似できます。やってみれば分かりますが,この問題は1次近似でうまくいきます。

解答

x0x\to 0sin(sin2x)sin(2x)2x\sin(\sin 2x)\fallingdotseq\sin(2x)\fallingdotseq 2x とみなせるので,

limx0sin(sin2x)x=limx02xx=2\displaystyle\lim_{x\to 0} \dfrac{\sin(\sin 2x)}{x}=\lim_{x\to 0} \dfrac{2x}{x}=2

ちなみに,教科書に載っている正攻法では分母分子に 2xsin2x2x\sin 2x をかけて計算します:

limx0sin(sin2x)x=limx0sin(sin2x)sin2xsin2x2x2xx=2\displaystyle\lim_{x\to 0} \dfrac{\sin(\sin 2x)}{x}= \lim_{x\to 0} \dfrac{\sin(\sin 2x)}{\sin 2x}\dfrac{\sin 2x}{2x}\dfrac{2x}{x}=2

問題2

limx01cosxx2\displaystyle\lim_{x\to 0} \dfrac{1-\cos x}{x^2} の値を求めよ。

方針

この極限は 00\dfrac{0}{0} の不定形です。cosx\cos x を多項式に近似して解きます。1次近似(cosx1\cos x\fallingdotseq 1)してみると,(与式)= limx011x200\displaystyle\lim_{x\to 0}\dfrac{1-1}{x^2}\to\dfrac{0}{0} となり,不定形が解消されないので二次近似(cosx1x22\cos x\fallingdotseq 1-\dfrac{x^2}{2})します。

解答

x0x\to 0cosx1x22\cos x\fallingdotseq 1-\dfrac{x^2}{2} とみなせるので,

limx01cosxx2=limx01(1x22)x2=12\displaystyle\lim_{x\to 0} \dfrac{1-\cos x}{x^2}=\lim_{x\to 0} \dfrac{1-(1-\dfrac{x^2}{2})}{x^2}=\dfrac{1}{2}

ちなみに,教科書に載っている正攻法では,分母分子に 1+cosx1+\cos x をかけて計算します:

limx01cosxx2=limx0(1cosx)(1+cosx)x2(1+cosx)=limx0sin2xx2(1+cosx)=12\displaystyle\lim_{x\to 0} \dfrac{1-\cos x}{x^2}\\ =\displaystyle \lim_{x\to 0} \dfrac{(1-\cos x)(1+\cos x)}{x^2(1+\cos x)}\\ =\displaystyle\lim_{x\to 0}\dfrac{\sin^2 x}{x^2(1+\cos x)}=\dfrac{1}{2}

問題1,2ともに教科書に載っている方法は それぞれのパターンの問題にしか使えない少し不自然な発想が必要です。もちろん教科書に載っている方法は有名で思い浮かばないことはないと思いますが,問題ごとにパターンを覚えるのは大変ですし,見たことのないパターンに対応できません。多項式近似の方法なら 00\dfrac{0}{0} の不定形の問題なら確実に解くことができます。

→高校数学の問題集 ~最短で得点力を上げるために~のT52では,問題2の4通りの解法を紹介しています。

実際の試験で使うときのポイント

  • tanx\tan xsinxcosx\dfrac{\sin x}{\cos x} に直してから cosx\cos xsinx\sin x をそれぞれ近似しましょう。

  • 三角関数の極限のほとんどの問題が 00\dfrac{0}{0} の不定形をしていますが,ごくまれに 00\dfrac{0}{0} の不定形でない当たり前でつまらない問題(例えば limxxsinx\displaystyle\lim_{x\to \infty}x\sin x\to 振動)も含まれているので一応最初に 00\dfrac{0}{0} の不定形になっているか確認しましょう。

  • 実戦では3次近似を用いればほぼ確実に成功します。3次の項までは確実に覚えておきましょう: sinxxx36\sin x\fallingdotseq x-\dfrac{x^3}{6}cosx1x22\cos x\fallingdotseq 1-\dfrac{x^2}{2}

  • 記述式の試験で,正攻法で解けるときは正攻法で解いた後に,この方法を検算として用いましょう。この方法に慣れれば三角関数の極限はあっという間(10秒程度)に求められるようになるので,正攻法で解けるときも必ずこの方法で検算しましょう。

ちなみに

正攻法の解法が思いつかない上に,記述式だからこの裏技も使いたくない!」という人はマクローリン型不等式(三角関数)はさみ打ちの原理を用いる方法もあります。

例えば,上記の問題2は,

マクローリン型不等式 1x22cosx1x22+x4241-\dfrac{x^2}{2}\leq \cos x\leq 1-\dfrac{x^2}{2}+\dfrac{x^4}{24} を解答中で証明した上で,はさみ打ちの原理を用いて極限値を求めることになります。

(1)でマクローリン型の不等式を証明させた上で,(2)ではさみ打ちの原理を用いて極限値を求めさせる入試問題は頻出なので,この方法も覚えておくとよいでしょう。

指数,対数関数に関しても全く同様な議論ができます。→指数関数と対数関数の極限の公式

Tag:マクローリン展開の応用例まとめ