数学の極限計算において、ルート（平方根）を含む式は特有の難しさを持つテーマです。
そのままでは不定形になってしまう式も、有理化という変形テクニックを使うことで、スムーズに極限値を求められるようになります。
この記事では、√を含む式の極限・分母の有理化・共役・無理関数・連続性といった観点から、ルートを含む極限計算の方法を体系的に解説していきます。
有理化のコツをしっかり身につけて、ルートが含まれる問題にも自信を持って取り組めるようになりましょう。
ルートを含む極限の基本方針と有理化の核心
それではまず、ルートを含む極限計算の基本方針と有理化の考え方について解説していきます。
√を含む式の極限では、そのまま代入すると0/0型や∞−∞型の不定形になることがよくあります。
こうした場合に最も有効な手法が「有理化」です。
有理化の核心：√a−√b という形の式に、共役な式 √a+√b を掛けることで、(√a−√b)(√a+√b)=a−b という差の積の公式を利用し、ルートを消去します。この操作を有理化と呼びます。
有理化は、分子・分母の両方に同じ式を掛ける（分数の値は変えない）という操作です。
有理化後に現れる「a−b」の形が、不定形を解消するための共通因子になることがポイントです。
有理化の基本公式
有理化に使う基本公式は以下の通りです。
(√a−√b)(√a+√b) = a−b
(√a+√b)(√a−√b) = a−b
（a, b ≥ 0）
この公式は、(x−y)(x+y)=x²−y²という差の積の公式で x=√a, y=√b とした特別なケースです。
この公式を使いこなすことが、ルートを含む極限計算の第一歩となります。
共役な式とは何か
√a−√b に対する共役な式は √a+√b であり、逆も同様です。
一般に、「√を含む二項式に対して、中間の符号を逆にした式」が共役な式です。
共役な式を分子・分母に掛けることで、ルートを有理化（整数や有理式に変換）できます。
分子の有理化による0/0型の解消
続いては、分子にルートが含まれる0/0型の不定形を有理化で解消する方法を確認していきます。
分子に √ が含まれる場合、共役な式を分子・分母に掛けて分子を有理化します。
基本的な分子有理化の例
例：lim(x→4) (√x−2)/(x−4) を求める
分子・分母に (√x+2) を掛ける
= (√x−2)(√x+2)/((x−4)(√x+2))
= (x−4)/((x−4)(√x+2))
= 1/(√x+2)
x→4のとき → 1/(√4+2) = 1/4
有理化によって、(x−4) という共通因子が現れ、約分できるようになります。
有理化後に共通因子が現れることが、0/0型解消の仕組みです。
一般化された分子有理化
lim(x→a)(√x−√a)/(x−a)という形は、接線の傾きの定義にも登場する重要なパターンです。
lim(x→a)(√x−√a)/(x−a)
分子・分母に (√x+√a) を掛ける
= (x−a)/((x−a)(√x+√a))
= 1/(√x+√a)
x→aのとき → 1/(2√a)（a>0）
これはf(x)=√x の x=a における微分係数 1/(2√a) に一致し、有理化と微分の定義がつながっていることを示しています。
二重ルートを含む式の有理化
√(x+1)−√(x−1) のように、二つのルートの差を含む場合も同様に有理化が使えます。
lim(x→∞)(√(x+1)−√(x−1))
共役 (√(x+1)+√(x−1)) を掛けると
= (x+1−(x−1))/(√(x+1)+√(x−1))
= 2/(√(x+1)+√(x−1))
x→∞のとき分母→∞ なので → 0
分母の有理化と∞型の処理
続いては、分母にルートが含まれる場合の有理化と、x→∞での処理方法を確認していきます。
分母の有理化の基本
分母に √ が含まれる場合も、共役な式を掛けることで分母を有理化できます。
例：lim(x→0) x/(√(x+1)−1)
分子・分母に (√(x+1)+1) を掛ける
= x(√(x+1)+1)/((x+1)−1)
= x(√(x+1)+1)/x
= √(x+1)+1
x→0のとき → √1+1 = 2
分母を有理化することで、分子のxと約分できるようになります。
x→∞でのルートを含む有理式の極限
x→∞における √を含む式の極限では、最高次の因子でくくるアプローチが有効です。
例：lim(x→∞) √(x²+x)/x
= lim(x→∞) x√(1+1/x)/x（x>0のとき√(x²)=x）
= lim(x→∞) √(1+1/x)
= √1 = 1
x→∞では、√(x²+ax+b)≈x+a/2（x→∞）という近似も有用です。
√を含む∞−∞型の処理
例：lim(x→∞)(√(x²+3x)−x)
共役 (√(x²+3x)+x) を掛ける
= (x²+3x−x²)/(√(x²+3x)+x)
= 3x/(√(x²+3x)+x)
= 3x/(x√(1+3/x)+x)
= 3/(√(1+3/x)+1) → 3/2
∞−∞型のルートを含む式は、必ず有理化によって分数形に変換することで処理できます。
無理関数の連続性と極限
続いては、無理関数（ルートを含む関数）の連続性と極限の関係を確認していきます。
√x の連続性と定義域
f(x)=√x は x≥0 の範囲で定義された連続関数です。
x=0 においても右側から近づけば lim(x→0⁺)√x = 0 = f(0) が成立し、右連続です。
定義域が x≥0 に制限されることが無理関数の特徴のひとつです。
合成関数の連続性とルート
f(x)=√(g(x)) は、g(x)が連続かつ g(x)≥0 の範囲で連続になります。
たとえば、f(x)=√(1−x²) は −1≤x≤1 の範囲で定義・連続です。
x=±1 では右・左連続になり、その外側では実数値を取りません。
無理関数の微分とルートの極限の関係
f(x)=√x の微分は f'(x)=1/(2√x)（x>0）です。
これは先ほどの lim(x→a)(√x−√a)/(x−a)=1/(2√a) という有理化の結果と一致しています。
ルートを含む極限の計算は、無理関数の微分と有機的につながっていることがわかります。
ルートを含む極限の応用パターン
続いては、試験や問題演習で頻出するルートを含む極限の応用パターンを確認していきます。
三重ルートや高次根を含む極限
³√x（立方根）を含む極限でも、同様の発想が使えます。
a³−b³=(a−b)(a²+ab+b²) という因数分解の公式を使って有理化に相当する操作ができます。
例：lim(x→1)(³√x−1)/(x−1)
a=³√x, b=1 とすると a³−b³=x−1
= 1/(a²+a+1) = 1/((³√x)²+³√x+1)
x→1のとき → 1/(1+1+1) = 1/3
はさみうちの原理との組み合わせ
ルートを含む式にはさみうちの原理を組み合わせることも有効です。
たとえば、√n²+n−n のような形では、有理化後に上下から挟む関数を設定して極限を求めます。
テイラー展開による近似との関係
√(1+x) ≈ 1+x/2（x→0）というテイラー展開の近似は、lim(x→0)(√(1+x)−1)/x=1/2という極限と対応しています。
有理化とテイラー展開は、ルートを含む極限を求める二つの異なるアプローチで、結果は一致します。
まとめ
この記事では、ルートを含む極限計算について、有理化・共役・無理関数・連続性の観点から解説してきました。
√を含む不定形は、共役な式を掛けて有理化することで、共通因子が現れて約分・計算が可能になります。
x→∞の場合は最高次の因子でくくり、∞−∞型は有理化で分数形に変換するのが基本方針です。
有理化のテクニックはルートの極限計算において最も重要な道具ですので、繰り返し練習してしっかり身につけましょう。
