数学及び
微分積分学において、
垂直接線とは、接点において
垂直な性質を持つ
接線のことを指します。具体的には、その傾きが
無限大であるため、
垂直接線が存在する点では関数は微分不可能だと言えます。これは、幾何学的な図形において直線が鉛直に立っている状態を表します。
関数 ƒ がある点 x = a で
垂直接線を持つ必要十分条件の一つは、その導関数を求める時に使用する差分商が
無限大の極限に達することです。具体的には、以下のような式が成り立ちます:
$$
egin{align}
ext{lim}_{h o 0} \frac{f(a + h) - f(a)}{h} = + infty
r
ext{或者} \frac{f(a + h) - f(a)}{h} = - infty.
ext{end{align}
}
$$
最初の式は、上向きの
垂直接線に関するものであり、もう一つの式は、下向きの
垂直接線に関連します。言い換えれば、ƒ のグラフにおいて x = a で
垂直接線が存在するためには、その点での ƒ の導関数が
無限大に達しなければなりません。連続関数に対して、導関数の極限を利用して
垂直接線を見つけるのが一般的です。
例えば、もし $$\text{lim}_{x o a} f'(x) = +\infty$$ であれば、ƒ は x = a において上向きの
垂直接線を持ちます。同様に、$$\text{lim}_{x o a} f'(x) = -\infty$$ であれば、下向きの
垂直接線に相当します。このように、ƒ の
垂直接線はその導関数のグラフにおける
垂直な
漸近線として扱われます。
垂直接線に関連する重要な概念として
垂直尖点があります。これには、片側微分の影響が
無限大となるが、片方が正で他方が負という状況が含まれます。例えば、以下の条件が成立するなら、ƒ のグラフには上向きの左側と下向きの右側を持つ尖点が存在します。
$$
egin{align}
ext{lim}_{h o 0^-} \frac{f(a + h) - f(a)}{h} = + infty\
ext{and}\ ext{lim}_{h o 0^+} \frac{f(a + h) - f(a)}{h} = - infty.
ext{end{align}
}
$$
このように、導関数の異なる極限により、グラフにおける尖点の特性が明らかになります。特に、左側が下向き、右側が上向きに進む場合、その点での導関数が
無限大の極限を持つか、またはその逆の場合です。
具体例
具体的な関数の例を考えましょう。関数 $$f(x) = x^{1/3}$$ において、導関数は $$f'(x) = \frac{1}{3x^{2/3}}$$ です。この関数は連続で、点 x = 0 においては $$\text{lim}_{x o 0} f'(x) = +\infty$$ となるため、
垂直接線が存在します。
次に、関数 $$g(x) = x^{2/3}$$ も考えてみましょう。この場合、導関数は $$g'(x) = \frac{2}{3x^{1/3}}$$ です。この関数も連続的であり、点 x = 0 において $$\text{lim}_{x o 0^-} g'(x) = -\infty$$ および $$\text{lim}_{x o 0^+} g'(x) = +\infty$$ を満たすため、ここでも
垂直尖点が存在します。
結論
垂直接線と
垂直尖点には、
数学的な深い意味と応用が存在し、これらを理解することは微分の概念を深める助けとなります。これらの関数の特性を分析することで、曲線の挙動や性質をより詳細に把握できるようになります。