漸近線のソースを表示

[[画像:1-over-x-plus-x.svg|220px|thumb|{{math2|グラフ ''y'' {{=}} ''x'' + {{sfrac|1|''x''}}}} の漸近線は {{mvar|y}}軸と直線 {{math2|''y'' {{=}} ''x''}} である。]]
[[解析幾何学]]において、平面[[曲線]]の'''漸近線'''（ぜんきんせん、{{lang-en-short|asymptote}}）とは、十分遠くで曲線との距離が {{math|0}} に近づき、かつ曲線と接しない[[直線]]のことである。通常の定義では、漸近線は曲線と無限回交わってもよい<ref>[https://web.archive.org/web/*/http://rowdy.msudenver.edu/~talmanl/PDFs/APCalculus/OnAsymptotes.pdf "Asymptotes" by Louis A. Talman]</ref>。

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

特に、[[直交座標系|座標平面]]における[[関数 (数学)|関数]]に対しては、その[[グラフ (関数)|グラフ]]の漸近線の方程式は（存在の可否も含めて）求め方が確立されている。関数のグラフの[[接線]]の[[極限]]が存在するならばそれは漸近線に等しい<ref>{{PDFlink|[https://www.chart.co.jp/subject/sugaku/suken_tsushin/80/80-6.pdf 数研通信80号（2014年9月）]}}</ref>。

[[代数幾何学]]などでは、漸近線は[[無限遠点]]のみで曲線と接する直線と定義される<ref>{{Citation |title=An elementary treatise on the differential calculus |chapter=Asymptotes |first=Benjamin |last=Williamson |url=https://books.google.co.jp/books?id=znsXAAAAYAAJ&pg=241&redir_esc=y&hl=ja#v=onepage&q&f=false |year=1899}}</ref><ref>{{Citation |first=Jeffrey |last=Nunemacher |title=Asymptotes, Cubic Curves, and the Projective Plane |journal=Mathematics Magazine |volume=72 |issue=3 |year=1999 |pages=183–192 |jstor=2690881 |doi=10.2307/2690881}}</ref>。

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

== 例 ==
[[画像:1-over-x alternative.png|300px|thumb|{{math2|グラフ ''y'' {{=}} {{sfrac|1|''x''}}}} の漸近線は、{{mvar|x}}軸および {{mvar|y}}軸である。]]
[[画像:Asymptote02 vectorial.svg|300px|thumb|曲線が漸近線と無限回交わる例]]
[[定数関数]]、[[多項式]]関数の[[グラフ (関数)|グラフ]]には、漸近線は存在しない。漸近線が存在する最も簡単な例は、[[関数 (数学)|関数]] {{math2|''f''(''x'') {{=}} {{sfrac|1|''x''}}}} のグラフである。このグラフの漸近線は、直線 {{math2|''x'' {{=}} 0}} と直線 {{math2|''y'' {{=}} 0}} である。グラフを描くと、曲線 {{math2|''y'' {{=}} {{sfrac|1|''x''}}}} は {{math|''x'' → 0±}}, {{math|''x'' → ±∞}} のときにそれぞれ {{mvar|y}}軸、{{mvar|x}}軸に近づくことが見てとれる。この場合はグラフと漸近線は共有点を全く持たないが、一般にはそうとは限らない。漸近線が存在する関数は他にもいくつかある。

なかでも代表的なものは以下の通りである。
{{-}}
{|class="wikitable" align=center
|+座標平面上の関数とその漸近線
!関数名
!関数式
!漸近線の方程式
|-
|'''[[正接関数]]'''
|{{math2|''y'' {{=}} tan ''x''}}
|{{math2|''x'' {{=}} {{sfrac|{{π}}|2}} + ''n''{{π}}}}<br>（{{mvar|n}} は整数）
|-
|'''[[指数関数]]'''
|{{math2|''y'' {{=}} ''a{{sup|x}}'' (''a'' > 0, ''a'' ≠ 1)}}
|{{math2|''y'' {{=}} 0}}
|-
|'''[[対数関数]]'''
|{{math2|''y'' {{=}} log{{sub|''a''}} ''x'' (''a'' > 0, ''a'' ≠ 1)}}
|{{math2|''x'' {{=}} 0}}
|-
|'''[[双曲線]]'''
|<math>\frac{x^2}{a^2} -\frac{y^2}{b^2} =\pm 1</math> {{math2|(''a'' > 0, ''b'' > 0)}}
|{{math2|''y'' {{=}} ±''{{sfrac|b|a}}x''}}
|-
|'''[[双曲線関数|双曲線正接関数]]'''
|<math>y=\tanh x=\frac{e^x -e^{-x}}{e^x +e^{-x}}</math>
|{{math2|''y'' {{=}} ±1}}
|-
|'''[[逆正接関数]]'''
|{{math2|''y'' {{=}} arctan ''x''}}
|{{math2|''y'' {{=}} ±{{sfrac|{{π}}|2}}}}
|-
|'''[[逆双曲線関数|逆双曲線正接関数]]'''
|{{math2|''y'' {{=}} tanh{{sup|&minus;1}} ''x'' {{=}} {{sfrac|1|2}} log {{sfrac|1 + ''x''|1 &minus; ''x''}}}}
|{{math2|''x'' {{=}} ±1}}
|}
'''分数関数'''においては、分母が {{math|0}} になるところで漸近線になり、{{math|''x'' → ±∞}} で漸近線が存在する場合があるが、それぞれ存在しないこともある。
:どちらも存在しない例：
::<math>y=\frac{x^4 +x^2 +1}{x^2 +1}</math>
'''無理関数'''で漸近線が存在するのは 
:<math>y= \textstyle\sum\limits_{i=1}^n k_i \sqrt[p_i]{(x- u_i)^{p_i} \pm {a_i}^{p_i}} +(bx+c)</math> {{math2|(''a{{sub|i}}'' > 0)}} 

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

グラフと漸近線がどんな遠くでも無限回交わる例もある。減衰曲線（{{math2|''y'' {{=}} {{sfrac|sin ''x''|''x''}}}} や {{math2|''y'' {{=}} ''e''{{sup|&minus;''x''}}sin ''x''}} など）と {{mvar|x}}軸はその一例である。

== 関数の漸近線 ==
関数 {{math2|''y'' {{=}} ''f''(''x'')}} のグラフの（直線である）漸近線は、次の2タイプである。
#{{mvar|y}}軸に平行の直線（方程式を {{math2|''x'' {{=}} ''a''}} とする）
#{{math|''x'' → ∞}} または {{math|''x'' → &minus;∞}} で漸近する直線（方程式を {{math2|''y'' {{=}} ''ax + b''}} とする）

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

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

この等式より、{{math|''x'' → ±∞}} で漸近する直線は、{{math|''x'' → ∞}} と {{math|''x'' → &minus;∞}} にそれぞれ'''1つ'''である。

==== {{mvar|x}}軸平行の漸近線 ====
とくに {{mvar|x}}軸平行の漸近線は、前節の {{math2|''a'' {{=}} 0}} の場合であり、漸近線 {{math2|''y'' {{=}} ''b''}} は
:<math>\lim_{x\to \infty} f(x)=b</math> または <math>\lim_{x\to -\infty} f(x)=b</math>
で与えられる。
[[画像:Asymptote03.svg|300px|thumb|{{math2|''y'' {{=}} arctan ''x''}} は、2つの水平な漸近線が存在する例である。]]
例えば、逆正接関数 {{math2|''y'' {{=}} arctan ''x''}} では、
:<math>\begin{align}
\lim_{x\to \infty} \arctan x &=\frac{\pi}{2}, \\
\lim_{x\to -\infty} \arctan x &=-\frac{\pi}{2}
\end{align}</math>
より、{{math2|''y'' {{=}} ±{{sfrac|{{π}}|2}}}} は漸近線である。

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

分数関数の式を {{math2|''y'' {{=}} {{sfrac|''g''(''x'')|''h''(''x'')}}}}（既約分数式）とする。

;{{mvar|y}}軸平行の漸近線
{{math2|''h''(''a{{sub|i}}'') {{=}} 0}} を満たす {{mvar|a{{sub|i}}}} を求める ({{math2|''i'' {{=}} 1,2, …, ''n''}})。既約より {{math2|''g''(''a{{sub|i}}'') ≠ 0}} で、{{math2|''x'' {{=}} ''a{{sub|i}}''}} が漸近線である。

;{{math2|''x'' → ±∞}} で漸近する直線
存在する必要十分条件は {{math2|deg ''g'' &minus; deg ''h'' ≤ 1}} である。このとき {{math2|''g''(''x'') ÷ ''h''(''x'')}} の商 {{math|''q''(''x'')}}, 余り {{math|''r''(''x'')}} を求める。{{math2|deg ''q'' ≤ 1}} であり、直線 {{math2|''y'' {{=}} ''q''(''x'')}} が {{math2|''x'' → ±∞}} で漸近する直線である。

（例）
:<math>y=\frac{x^3 +2x^2-2x+2}{x^2 -x} =x+3+\frac{x+2}{x(x-1)}</math>
漸近線は、{{mvar|y}}軸平行の漸近線は {{math2|''x'' {{=}} 0}}, {{math2|''x'' {{=}} 1}}、{{math|''x'' → ±∞}} で漸近する直線は {{math2|''y'' {{=}} ''x'' + 3}} である。

{{math2|deg ''g'' &minus; deg ''h''}} の値によって、漸近線の位置が分類される。
{|align=center class="wikitable"
|+分数関数の {{math|''x'' → ±∞}} で漸近する直線
|-
!{{math|deg ''g'' &minus; deg ''h''}}
!{{math|''x'' → ±∞}} で漸近する直線
!分数関数，{{math|''x'' → ±∞}} で漸近する直線の例
|-
|{{math|< 0}}
|{{math2|''y'' {{=}} 0}}
|<math>\frac{1}{x^2+1} ,\, y=0</math>
|-
|{{math|{{=}} 0}}
|{{math2|''y'' {{=}} ''q'' (≠ 0)}}
|<math>\frac{2x^2+7}{3x^2+x+12} ,\, y=\frac{2}{3}</math>
|-
|{{math|{{=}} 1}}
|{{math2|''y'' {{=}} ''ax'' + ''b'' (''a'' ≠ 0)}}
|<math>\frac{x^2+x+1}{x} ,\, y=x+1</math>
|-
|{{math|> 1}}
|存在しない
|<math>\frac{2x^4}{3x^2+1}</math>, なし
|}

== 媒介変数表示された曲線の漸近線 ==
[[画像:Graph of sect csct.svg|200px|thumb|{{math2|(sec(''t''), cosec(''t''))}} は、水平方向と垂直方向にそれぞれ2本ずつ漸近線を持つ。この曲線は {{math2|''x''{{sup|2}} + ''y''{{sup|2}} {{=}} (''xy''){{sup|2}}}} と[[陰関数]]表示できる。]]
[[パラメトリック方程式|媒介変数表示]]された平面曲線
:<math>C\colon (\alpha ,\beta )\to \mathbb{R}^2 ,\; t\mapsto (x(t),y(t))</math>
を考える（ここで、{{mvar|α}} は {{math|&minus;∞}} でもよく {{mvar|β}} は {{math|∞}} でもよい）。曲線 {{mvar|C}} は[[無限遠点]]に向かう、すなわち
:<math>\lim_{t\to \beta -} \| C(t)\| =\infty \quad \text{i.e.} \ \lim_{t\to \beta -} (x^2 (t)+y^2 (t))=\infty</math>
が成り立つことを仮定する。直線 {{mvar|l}} が曲線 {{mvar|C}} の漸近線であるとは、{{math|''t'' → ''β''&minus;}} のとき点 {{math|''C''(''t'')}} と直線 {{mvar|l}} の距離が {{math|0}} に収束することと定義される<ref>{{Cite book|和書
|author = 青本和彦、[[上野健爾]]、[[加藤和也 (数学者)|加藤和也]]、[[神保道夫]]
|date = 2005-09-29
|title = 岩波 数学入門辞典
|publisher = [[岩波書店]]
|isbn = 978-4000802093
}}</ref><ref>{{Citation |last1=Pogorelov |first1=A. V. |title=Differential geometry |publisher=P. Noordhoff N. V. |location=Groningen |series=Translated from the first Russian ed. by L. F. Boron |mr=0114163 |year=1959}}, §8.</ref>。

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

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

例えば、曲線 {{math2|''y'' {{=}} {{sfrac|1|''x''}}}} の右上の枝は媒介変数 {{mvar|t}} により {{math2|''x'' {{=}} ''t'', ''y'' {{=}} {{sfrac|1|''t''}} (''t'' > 0)}} と表示できる。まず、{{math|''t'' → ∞}} のとき {{math|''x'' → ∞}} であり、曲線上の点と {{mvar|x}}軸の距離 {{math|{{sfrac|1|''t''}}}} は {{math|''t'' → ∞}} のとき {{math|0}} に収束する。したがって、{{mvar|x}}軸は曲線の漸近線である。また、{{math|''t'' → 0+}} のとき、{{math|''y'' → ∞}} であり、このとき曲線上の点と {{mvar|y}}軸の距離 {{mvar|t}} は {{math|0}} に収束する。したがって {{mvar|y}}軸も漸近線である。同様に、曲線の左下の枝も同じ2本の直線が漸近線であることが示される。

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

== 代数曲線の漸近線 ==
{{empty section}}

== 曲線である漸近線 ==
[[画像:nonlinear asymptote.svg|250px|thumb|{{math2|''y'' {{=}} (''x''{{sup|3}} + 2''x''{{sup|2}} + 3''x'' + 4) / ''x''}}（実線）とそれに漸近する放物線 {{math2|''y'' {{=}} ''x''{{sup|2}} + 2''x'' + 3}}（破線）。]]
漸近線の定義に直線であることを仮定しない場合もある。曲線によっては曲線である漸近線も考えた方が形をとらえやすいことがある。

例えば、曲線
:<math>\begin{align}
y &=\frac{x^3 +2x^2 +3x+4}{x} \\
  &=x^2 +2x+3+\frac{4}{x}
\end{align}</math>
は、[[放物線]] {{math2|''y'' {{=}} ''x''{{sup|2}} + 2''x'' + 3}} に {{math|''x'' → ±∞}} で漸近する。

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

== 脚注 ==
{{Reflist}}

== 参考文献 ==

{{Normdaten}}
{{DEFAULTSORT:せんきんせん}}
[[Category:解析幾何学]]
[[Category:数学に関する記事]]