漸近線

220px|thumb| の漸近線は 軸と直線  である。
解析幾何学において、平面曲線の**漸近線**（ぜんきんせん、）とは、十分遠くで曲線との距離が  に近づき、かつ曲線と接しない直線のことである。通常の定義では、漸近線は曲線と無限回交わってもよい。

漸近線は存在するとは限らず、また複数存在する場合もある。漸近線は、曲線上の点が十分進んだ所での概形である。

特に、座標平面における関数に対しては、そのグラフの漸近線の方程式は（存在の可否も含めて）求め方が確立されている。関数のグラフの接線の極限が存在するならばそれは漸近線に等しい。

代数幾何学などでは、漸近線は無限遠点のみで曲線と接する直線と定義される。

漸近線として直線だけでなく曲線を考えることもある。

## 例
300px|thumb| の漸近線は、軸および 軸である。
300px|thumb|曲線が漸近線と無限回交わる例
定数関数、多項式関数のグラフには、漸近線は存在しない。漸近線が存在する最も簡単な例は、関数  のグラフである。このグラフの漸近線は、直線  と直線  である。グラフを描くと、曲線  は ,  のときにそれぞれ 軸、軸に近づくことが見てとれる。この場合はグラフと漸近線は共有点を全く持たないが、一般にはそうとは限らない。漸近線が存在する関数は他にもいくつかある。

なかでも代表的なものは以下の通りである。

**分数関数**においては、分母が  になるところで漸近線になり、 で漸近線が存在する場合があるが、それぞれ存在しないこともある。
:どちらも存在しない例：
::y=\frac{x^4 +x^2 +1}{x^2 +1}
**無理関数**で漸近線が存在するのは 
:y= \textstyle\sum\limits_{i=1}^n k_i \sqrt[p_i]{(x- u_i)^{p_i} \pm {a_i}^{p_i}} +(bx+c)  

の形に限られる（漸近線は y= \textstyle\sum\limits_{i=1}^n k_i (x- u_i ) +bx+c）。

グラフと漸近線がどんな遠くでも無限回交わる例もある。減衰曲線（ や  など）と 軸はその一例である。

## 関数の漸近線
関数  のグラフの（直線である）漸近線は、次の2タイプである。
#軸に平行の直線（方程式を  とする）
# または  で漸近する直線（方程式を  とする）

### 軸平行の漸近線
直線  がグラフ  の漸近線であるための必要十分条件は、以下の4つのいずれかを満たすことである。
*\lim_{x\to a+} f(x)=\infty,
*\lim_{x\to a+} f(x)=-\infty,
*\lim_{x\to a-} f(x)=\infty,
*\lim_{x\to a-} f(x)=-\infty.
いずれも  で不連続の場合である。したがって、関数の不連続点が、軸平行の漸近線の場所の候補である。

### で漸近する直線
直線  が  でグラフ  に漸近するとする（ の場合も同様）。このとき、,  は（存在の可否も含めて）次の極限で求められる。
:a=\lim_{x\to \infty} \frac{f(x)}{x},
:b=\lim_{x\to \infty} (f(x)-ax).
;証明
直線  は  でグラフ  に漸近するから、
:(*)\quad \lim_{x\to \infty} \{ f(x)-(ax+b)\} =0
が成り立つ。左辺の式を  で割った式は、尚のこと  に近付くから、
:\lim_{x\to \infty} \frac{f(x)-(ax+b)}{x} =0.
ここで
:\lim_{x\to \infty} \frac{b}{x} =0
であるから、
:a=\lim_{x\to \infty} \frac{f(x)}{x}.
 より、
:b=\lim_{x\to \infty} (f(x)-ax)
である。■

この等式より、 で漸近する直線は、 と  にそれぞれ**1つ**である。

#### 軸平行の漸近線
とくに 軸平行の漸近線は、前節の  の場合であり、漸近線  は
:\lim_{x\to \infty} f(x)=b または \lim_{x\to -\infty} f(x)=b
で与えられる。
300px|thumb| は、2つの水平な漸近線が存在する例である。
例えば、逆正接関数  では、
:\begin{align}
\lim_{x\to \infty} \arctan x &=\frac{\pi}{2}, \\
\lim_{x\to -\infty} \arctan x &=-\frac{\pi}{2}
\end{align}
より、 は漸近線である。

### 分数関数の漸近線
分数関数の漸近線の方程式は、上記の方法を使わずに求めることができる。

分数関数の式を （既約分数式）とする。

;軸平行の漸近線
 を満たす  を求める ()。既約より  で、 が漸近線である。

; で漸近する直線
存在する必要十分条件は  である。このとき  の商 , 余り  を求める。 であり、直線  が  で漸近する直線である。

（例）
:y=\frac{x^3 +2x^2-2x+2}{x^2 -x} =x+3+\frac{x+2}{x(x-1)}
漸近線は、軸平行の漸近線は , 、 で漸近する直線は  である。

 の値によって、漸近線の位置が分類される。

## 媒介変数表示された曲線の漸近線
[200px|thumb| は、水平方向と垂直方向にそれぞれ2本ずつ漸近線を持つ。この曲線は  と[陰関数表示できる。]]
媒介変数表示された平面曲線
:C\colon (\alpha ,\beta )\to \mathbb{R}^2 ,\; t\mapsto (x(t),y(t))
を考える（ここで、 は  でもよく  は  でもよい）。曲線  は無限遠点に向かう、すなわち
:\lim_{t\to \beta -} \| C(t)\| =\infty \quad \text{i.e.} \ \lim_{t\to \beta -} (x^2 (t)+y^2 (t))=\infty
が成り立つことを仮定する。直線  が曲線  の漸近線であるとは、 のとき点  と直線  の距離が  に収束することと定義される。

一般に、点  と直線  の距離は
:\frac{\sqrt{a^2 +b^2}}
で与えられるので、直線  が曲線  の漸近線であるとは、
:(**)\quad \lim_{t\to \beta -} (ax(t)+by(t)+c)=0
が成り立つことと同値である。曲線の媒介変数表示は一意ではないが、漸近線の定義はその取り方に依らない。実際、 を媒介変数の取り換えとすると、 は
:\lim_{t\to \beta -} (ax(\gamma (t))+by(\gamma (t))+c)=0
と同値であるからである。

実一変数の実数値関数のグラフは、媒介変数表示された平面曲線の特別な場合と考えることができる。関数  のグラフは点  の集合であり、 を径数  とすれば、径数付け（の一つ）
:(\alpha ,\beta )\rightarrow \mathbb{R}^2 ,\; t\mapsto (t,f(t))
が得られる。

例えば、曲線  の右上の枝は媒介変数  により  と表示できる。まず、 のとき  であり、曲線上の点と 軸の距離  は  のとき  に収束する。したがって、軸は曲線の漸近線である。また、 のとき、 であり、このとき曲線上の点と 軸の距離  は  に収束する。したがって 軸も漸近線である。同様に、曲線の左下の枝も同じ2本の直線が漸近線であることが示される。

関数のグラフでは、垂直でない漸近線は  にそれぞれ高々1本ずつに限られるが、媒介変数表示から定まる一般の曲線は、垂直でない漸近線を3本以上持つこともあるし、1つの垂直な漸近線と2回以上交わる場合もある。

## 代数曲線の漸近線

## 曲線である漸近線
250px|thumb|（実線）とそれに漸近する放物線 （破線）。
漸近線の定義に直線であることを仮定しない場合もある。曲線によっては曲線である漸近線も考えた方が形をとらえやすいことがある。

例えば、曲線
:\begin{align}
y &=\frac{x^3 +2x^2 +3x+4}{x} \\
  &=x^2 +2x+3+\frac{4}{x}
\end{align}
は、放物線  に  で漸近する。

## 関連項目
*接線
*ランダウの記号
*極限
*ゼロ除算

## 脚注

## 参考文献