垂直接線のソースを表示

[[Image:Vertical tangent.svg|thumb|関数 ''&fnof;''(''x'') の点 ''x''=''c'' における垂直接線]]

[[数学]]および[[微分積分学]]における'''垂直接線'''（すいちょくせっせん、{{Lang-en-short|vertical tangent}}）とは、[[垂直]]であるような[[接線]]のことをいう。垂線は[[傾き (数学)|傾き]]が[[無限|無限大]]であるため、[[グラフ (関数)|グラフ]]に垂直接線があるような[[関数 (数学)|関数]]は、その接点において[[微分可能関数|微分可能]]ではない。

== 極限の定義 ==
関数 &fnof; が点 ''x''&nbsp;=&nbsp;''a'' において垂直接線を持つための十分条件は、その導関数を得る際に用いる[[差分商]]が無限大の極限を持つことである：

:<math>\lim_{h\to 0}\frac{f(a+h) - f(a)}{h} = +\infty \quad \text{or} \quad \lim_{h\to 0}\frac{f(a+h) - f(a)}{h} = -\infty.</math>

上の第一式は、傾きが上向きの垂直接線に対応し、第二式は下向きの垂直接線に対応する。非公式的な言い方をすれば、&fnof; のグラフの ''x''&nbsp;=&nbsp;''a'' において垂直接線が存在するための十分条件は、その点における &fnof; の導関数が正か負の無限大であることである。

[[連続関数]]に対し、導関数の極限を取ることにより、垂直接線を見つけることがしばしば可能となる。もし

:<math>\lim_{x\to a} f'(x) = +\infty</math>

であるなら、&fnof; は ''x''&nbsp;=&nbsp;''a'' において傾きが上向きの垂直接線を必ず持つ。同様に、もし

:<math>\lim_{x\to a} f'(x) = -\infty</math>

であるなら、&fnof; は ''x''&nbsp;=&nbsp;''a'' において傾きが下向きの垂直接線を必ず持つ。それらいずれの状況においても、&fnof; の垂直接線はその導関数のグラフの垂直[[漸近線]]として得られる。

== 垂直尖点 ==
垂直接線と密接に関連している概念に、'''[[尖点|垂直尖点]]'''がある。これは、[[半微分可能性|片側微分]]がいずれも無限大であるが、片方は正でもう片方は負の時に起こる。例えば、

:<math>\lim_{h \to 0^-}\frac{f(a+h) - f(a)}{h} = +\infty \quad \text{and} \quad \lim_{h\to 0^+}\frac{f(a+h) - f(a)}{h} = -\infty</math>

が成り立つなら、&fnof; のグラフには、左側では上向き、右側では下向きに伸びる尖点が存在する。

垂直接線と同様に、連続関数の導関数の極限を調べることで垂直接点を見つけることも、しばしば可能となる。例えば、
:<math>\lim_{x \to a^-} f'(x) = -\infty \quad \text{and} \quad \lim_{x \to a^+} f'(x) = +\infty</math>
が成り立つなら、&fnof; のグラフには左側では下向き、右側では上向きに伸びる尖点が存在する。これは、左側では <math>\infty</math> に、右側では <math>-\infty</math> に向かう、導関数のグラフ上の垂直漸近線に対応する。

== 例 ==
関数
:<math>f(x) = x^{1/3}, f'(x) = \frac{1}{3x^{2/3}}</math>
は、連続かつ
:<math>\lim_{x\to 0} f'(x) = \infty</math>
が成り立つため、''x''&nbsp;=&nbsp;0 において垂直接線を持つ。

同様に、関数
:<math>g(x) = x^{2/3}, g'(x) = \frac{2}{3x^{1/3}}</math>
は、連続かつ
:<math>\lim_{x\to 0^-} g'(x) = -\infty</math>
および
:<math>\lim_{x\to 0^+} g'(x) = +\infty</math>
が成り立つため、''x''&nbsp;=&nbsp;0 において垂直尖点を持つ。

== 参考文献 ==
[http://www.sosmath.com/calculus/diff/der09/der09.html Vertical Tangents and Cusps].  Retrieved May 12, 2006.

{{デフォルトソート:すいちよくせつせん}}
[[Category:解析学]]
[[Category:数学に関する記事]]