絶対値を含む関数の極限計算は、場合分けが必要になるため多くの学習者が苦手とするテーマです。
絶対値の定義「x≥0ならば|x|＝x、x＜0ならば|x|＝－x」を正確に理解し、正負の判定と場合分けを丁寧に行うことが、絶対値の極限計算の核心です。
本記事では、絶対値を含む極限の計算方法を、正負判定・連続性・微分可能性・最大最小・距離関数といったキーワードを中心に詳しく解説します。
具体的な計算例を通じて、絶対値の扱いに自信を持てるようになりましょう。
絶対値の極限における場合分けの基本（結論）
それではまず、絶対値を含む極限の基本的な解き方について解説していきます。
絶対値を含む関数の極限を求める際の基本方針は、絶対値の中身の正負に応じて場合分けを行うことです。
絶対値の極限計算の手順
①絶対値の中身g(x)が正になる範囲と負になる範囲を特定する
②左極限（x→a⁻）と右極限（x→a⁺）を場合分けして別々に計算する
③左右の極限値が一致すれば極限値はその値、一致しなければ極限は存在しない
絶対値の境界（中身が0になる点）の周辺では特に慎重な場合分けが必要です。
たとえばf(x)＝|x－2|/（x－2）のような形では、x＝2の前後で正負が入れ替わるため、左右の極限が異なる値になります。
|x|の極限の基本
最も基本的な絶対値関数|x|のx→0における挙動を確認します。
x→0⁺のとき|x|＝xなので右極限は0、x→0⁻のとき|x|＝－xなので左極限も0です。
左右の極限がともに0で一致するため、lim(x→0) |x| ＝ 0です。
一方、|x|/xでは右極限が1、左極限が－1となり、極限値は存在しません。
絶対値を含む一般的な極限の解き方
一般にf(x)＝|g(x)|/h(x)のような形の極限では、g(x)の符号に応じた場合分けが必要です。
g(x)＞0の領域ではf(x)＝g(x)/h(x)、g(x)＜0の領域ではf(x)＝－g(x)/h(x)として計算します。
極限を求めたい点の付近でg(x)の正負がどうなるかを先に調べることが、スムーズな解法への第一歩でしょう。
絶対値と連続性の関係
|f(x)|は、f(x)が連続ならば|f(x)|も連続であるという性質があります。
これは|f(x)－L| ≤ |f(x)－L|という事実から、|f(x)|の連続性がf(x)の連続性から保証されることによります。
ただし、f(x)が不連続であっても|f(x)|が連続になるケースもあるため注意が必要です。
たとえばf(x)＝1（x≥0）、f(x)＝－1（x＜0）という関数はx＝0で不連続ですが、|f(x)|＝1は連続です。
場合分けの具体的な計算例
続いては、具体的な計算例を通じて絶対値を含む極限の場合分けを確認していきます。
有理式に絶対値が含まれる場合
例：lim(x→3) |x－3|/(x²－9)
x²－9＝(x＋3)(x－3)なので
|x－3|/((x＋3)(x－3))
x→3⁺のとき|x－3|＝x－3なので (x－3)/((x＋3)(x－3))＝1/(x＋3)→1/6
x→3⁻のとき|x－3|＝－(x－3)なので－(x－3)/((x＋3)(x－3))＝－1/(x＋3)→－1/6
左右極限が異なるため、極限値は存在しない
このように有理式に絶対値が組み合わさった場合、左右極限の符号が反転することが多いです。
符号の変化に敏感になることが、絶対値の極限計算における重要なスキルです。
多項式の絶対値の極限
f(x)＝|x²－4|のような多項式の絶対値では、x²－4の符号が変わる点x＝±2での場合分けが必要です。
x²－4≥0（すなわち|x|≥2）の領域では|x²－4|＝x²－4、|x|＜2の領域では|x²－4|＝－(x²－4)＝4－x²です。
各点でどちらの場合に当てはまるかを確認した上で、極限を計算します。
多項式の絶対値は比較的扱いやすく、符号の切り替わり点を先に求めることが解法の鍵でしょう。
絶対値と三角関数の組み合わせ
|sin x|のような絶対値と三角関数の組み合わせでは、sin xの正負に応じた場合分けが必要です。
x→0のとき|sin x|/xでは、x→0⁺でsin x＞0なので|sin x|/x＝sin x/x→1、x→0⁻でsin x＜0なので|sin x|/x＝－sin x/x→1となります。
この場合は左右の極限がともに1で一致するため、lim(x→0) |sin x|/x ＝ 1です。
このように場合分けを経ても極限値が存在するケースもあるため、必ず左右を計算して比較する習慣をつけましょう。
微分可能性と絶対値関数
続いては、絶対値関数の微分可能性と極限の関係について確認していきます。
|x|の微分不可能性
|x|はx＝0で連続ですが、x＝0において微分不可能です。
微分係数の定義に基づいて計算すると、h→0⁺のとき|h|/h＝1、h→0⁻のとき|h|/h＝－1となり、左右が一致しません。
グラフ上ではx＝0に「折れ曲がり（角）」があり、接線が一意に定まらないことに対応しています。
「連続だが微分不可能」な典型例として、|x|は解析学の教科書で必ず登場する重要な関数でしょう。
絶対値関数の導関数
x≠0においては、|x|はなめらかで微分可能です。
x＞0では|x|＝xなので|x|’＝1、x＜0では|x|＝－xなので|x|’＝－1です。
これをまとめると|x|’＝x/|x|（x≠0）またはsgn(x)（符号関数）と書くことができます。
この導関数は、絶対値を含む合成関数の微分にも応用されます。
距離関数としての絶対値
絶対値|x－a|は、数直線上の点xと点aの距離を表す距離関数としての役割も持ちます。
ε-δ論法における「|f(x)－L|＜ε」という表現は、「f(x)とLの距離がε以下である」ことを意味しています。
このように絶対値は極限の厳密な定義においても不可欠な概念であり、数学的距離の概念の基礎となっています。
| 関数 | x→0⁺の極限 | x→0⁻の極限 | 極限値の存在 |
|---|---|---|---|
| |x| | 0 | 0 | 存在（0） |
| |x|/x | 1 | －1 | 存在しない |
| |sin x|/x | 1 | 1 | 存在（1） |
| x/|x| | 1 | －1 | 存在しない |
まとめ
本記事では、絶対値を含む極限の計算方法について、正負判定・場合分け・連続性・微分可能性・距離関数の観点から詳しく解説しました。
絶対値の極限では、絶対値の中身の正負を判定し、左右の極限を別々に計算して比較するという手順が基本です。
|x|がx＝0で連続だが微分不可能であることは、連続性と微分可能性の違いを示す典型例として重要です。
場合分けを丁寧に行い、左右極限を必ず比較する習慣を身につけることで、絶対値の極限計算を確実にこなせるようになるでしょう。
絶対値の概念はε-δ論法とも直結しており、解析学の基礎として深く理解しておくことが数学力向上の鍵となります。
