漸近線
解析幾何学において、平面曲線の漸近線(ぜんきんせん、asymptote)とは、十分遠くで曲線との距離が 0 に近づき、かつ曲線と接しない直線のことである。通常の定義では、漸近線は曲線と無限回交わってもよい。
漸近線は存在するとは限らず、また複数存在する場合もある。漸近線は、曲線上の点が十分進んだ所での概形である。
特に、座標平面における関数に対しては、そのグラフの漸近線の方程式は(存在の可否も含めて)求め方が確立されている。関数のグラフの接線の極限が存在するならばそれは漸近線に等しい。
代数幾何学などでは、漸近線は無限遠点のみで曲線と接する直線と定義される。
漸近線として直線だけでなく曲線を考えることもある。
定数関数、多項式関数のグラフには、漸近線は存在しない。漸近線が存在する最も簡単な例は、関数 f(x)  1 のグラフである。このグラフの漸近線は、直線 x  0 と直線 y  0 である。グラフを描くと、曲線 y  1 は x → 0±, x → ±∞ のときにそれぞれ y軸、x軸に近づくことが見てとれる。この場合はグラフと漸近線は共有点を全く持たないが、一般にはそうとは限らない。漸近線が存在する関数は他にもいくつかある。
なかでも代表的なものは以下の通りである。
分数関数においては、分母が 0 になるところで漸近線になり、x → ±∞ で漸近線が存在する場合があるが、それぞれ存在しないこともある。
どちらも存在しない例:
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) (ai > 0)
の形に限られる(漸近線は y= \textstyle\sum\limits_{i=1}^n k_i (x- u_i ) +bx+c)。
グラフと漸近線がどんな遠くでも無限回交わる例もある。減衰曲線(y  sin x や y  e−xsin x など)と x軸はその一例である。
関数 y  f(x) のグラフの(直線である)漸近線は、次の2タイプである。
y軸に平行の直線(方程式を x  a とする)
x → ∞ または x → −∞ で漸近する直線(方程式を y  ax + b とする)
直線 x  a がグラフ y  f(x) の漸近線であるための必要十分条件は、以下の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.
いずれも x  a で不連続の場合である。したがって、関数の不連続点が、y軸平行の漸近線の場所の候補である。
直線 y  ax + b が x → ∞ でグラフ y  f(x) に漸近するとする(x → −∞ の場合も同様)。このとき、a, b は(存在の可否も含めて)次の極限で求められる。
a=\lim_{x\to \infty} \frac{f(x)}{x},
b=\lim_{x\to \infty} (f(x)-ax).
直線 y  ax + b は x → ∞ でグラフ y  f(x) に漸近するから、
(*)\quad \lim_{x\to \infty} \{ f(x)-(ax+b)\} =0
が成り立つ。左辺の式を x で割った式は、尚のこと 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)
である。■
この等式より、x → ±∞ で漸近する直線は、x → ∞ と x → −∞ にそれぞれ1つである。
とくに x軸平行の漸近線は、前節の a  0 の場合であり、漸近線 y  b は
\lim_{x\to \infty} f(x)=b または \lim_{x\to -\infty} f(x)=b
で与えられる。
例えば、逆正接関数 y  arctan x では、
\begin{align}
\lim_{x\to \infty} \arctan x &=\frac{\pi}{2}, \\
\lim_{x\to -\infty} \arctan x &=-\frac{\pi}{2}
\end{align}
より、y  ±π は漸近線である。
分数関数の漸近線の方程式は、上記の方法を使わずに求めることができる。
分数関数の式を y  g(x)(既約分数式)とする。
h(ai)  0 を満たす ai を求める (i  1,2, …, n)。既約より g(ai) ≠ 0 で、x  ai が漸近線である。
x → ±∞ で漸近する直線
存在する必要十分条件は deg g − deg h ≤ 1 である。このとき g(x) ÷ h(x) の商 q(x), 余り r(x) を求める。deg q ≤ 1 であり、直線 y  q(x) が x → ±∞ で漸近する直線である。
(例)
y=\frac{x^3 +2x^2-2x+2}{x^2 -x} =x+3+\frac{x+2}{x(x-1)}
漸近線は、y軸平行の漸近線は x  0, x  1、x → ±∞ で漸近する直線は y  x + 3 である。
deg g − deg h の値によって、漸近線の位置が分類される。
C\colon (\alpha ,\beta )\to \mathbb{R}^2 ,\; t\mapsto (x(t),y(t))
を考える(ここで、α は −∞ でもよく β は ∞ でもよい)。曲線 C は無限遠点に向かう、すなわち
\lim_{t\to \beta -} \| C(t)\| =\infty \quad \text{i.e.} \ \lim_{t\to \beta -} (x^2 (t)+y^2 (t))=\infty
が成り立つことを仮定する。直線 l が曲線 C の漸近線であるとは、t → β− のとき点 C(t) と直線 l の距離が 0 に収束することと定義される。
一般に、点 C(t)  (x(t), y(t)) と直線 l : ax + by + c  0 の距離は
\frac{\sqrt{a^2 +b^2}
で与えられるので、直線 l が曲線 C の漸近線であるとは、
(**)\quad \lim_{t\to \beta -} (ax(t)+by(t)+c)=0
が成り立つことと同値である。曲線の媒介変数表示は一意ではないが、漸近線の定義はその取り方に依らない。実際、γ(t) を媒介変数の取り換えとすると、(∗∗) は
\lim_{t\to \beta -} (ax(\gamma (t))+by(\gamma (t))+c)=0
と同値であるからである。
実一変数の実数値関数のグラフは、媒介変数表示された平面曲線の特別な場合と考えることができる。関数 y  f(x) のグラフは点 (x, f(x)) の集合であり、x を径数 t とすれば、径数付け(の一つ)
(\alpha ,\beta )\rightarrow \mathbb{R}^2 ,\; t\mapsto (t,f(t))
が得られる。
例えば、曲線 y  1 の右上の枝は媒介変数 t により x  t, y  1 (t > 0) と表示できる。まず、t → ∞ のとき x → ∞ であり、曲線上の点と x軸の距離 1 は t → ∞ のとき 0 に収束する。したがって、x軸は曲線の漸近線である。また、t → 0+ のとき、y → ∞ であり、このとき曲線上の点と y軸の距離 t は 0 に収束する。したがって y軸も漸近線である。同様に、曲線の左下の枝も同じ2本の直線が漸近線であることが示される。
関数のグラフでは、垂直でない漸近線は x → ±∞ にそれぞれ高々1本ずつに限られるが、媒介変数表示から定まる一般の曲線は、垂直でない漸近線を3本以上持つこともあるし、1つの垂直な漸近線と2回以上交わる場合もある。
漸近線の定義に直線であることを仮定しない場合もある。曲線によっては曲線である漸近線も考えた方が形をとらえやすいことがある。
例えば、曲線
\begin{align}
y &=\frac{x^3 +2x^2 +3x+4}{x} \\
&=x^2 +2x+3+\frac{4}{x}
\end{align}
は、放物線 y  x2 + 2x + 3 に x → ±∞ で漸近する。