円の接線の公式を微分で導く

ページ内リンク：
▷円の接線の公式をベクトルの内積で求める

なめらかな曲線の接線は、微分によって初めて正しく定義できる。
（ある直線と曲線の交点を求める式が重根を持つときその直線が必ず接線であるとは言えない。下図の曲線にＯ点で交わる直線と曲線の交点を求める式は重根を持つ。しかし、ＡＢを通る直線のような方向を向いた直線でもＯ点で重根を持って曲線と交わる。）

【研究問題】円の接線の公式は既に学習していると思いますが、
接線は、微分によって初めて正しく定義できるので、
改めて、円の接線の公式を微分により導いてみます。

円　ｘ^２＋ｙ^２＝１　（式１）
この円の式全体を微分します。

《注意：恒等式の両辺を微分する演算》
方程式の左右の辺をｘで微分した式が間違った式にならないためには、以下の条件が必要である。
▷（演算結果の有効性の条件１：微分可能であること）
　その計算をする場合は、その得られた式は、全ての項が微分可能な場合のみに、得られた式が有効になる。
上記の（式１）の両辺を微分する場合は、
変数ｙも微分可能である場合に限って、微分で得られた式が有効である。
（式１）の円の方程式で、ｘ＝１の点では、円への接線の傾きが無限大になって、変数ｙはｘで微分できない、その点では、得られた式は無効である。

▷（演算結果の有効性の条件２：元の式が、恒等式であるか、ｘの恒等式と言えるために、元の式の従属変数ｙを定めるｘの関数ｆ(x) を表現する式であること。

（ｘの恒等式ではない等式の例）
例えば、
x=5,
という等式の両辺をｘで微分した式：
1=0,
は間違った式である。
この等式、x=5, は、変数ｘに関する恒等式ではない。
この等式の両辺をｘで微分した式は無効である。

（ｘの恒等式だと言える等式の例）
y=2,
という等式の場合は、従属変数ｙが独立変数ｘの関数の、
f(x)=2, をあらわす式、すなわち、ｙ≡ｆ(x) と定義されていることを前提にした式である。
y≡f(x) なのだから、
y'≡ｆ'(x) であり、
y'=0, または、
f '(x)=0,
という意味のある式になる。

式の両辺を微分する計算には要注意。
（両辺の微分演算の前提条件おわり）

　式１の左右の辺をｘで微分して正しい式が得られるのは、以下の理由によります。
方程式１の解で、
y=f(x)
という、（陰関数）f(x)が存在する場合は、
式１の両辺をｘで微分した式が正しい式になります。
　その理由は、
式１の方程式から、
y=f(x)
という陰関数の解が得られます。
式１のyを、式１から得られる解の１つのy=f(x)という解があらわすｘの関数（陰関数）f(x)であるとみなします。yをそういう関数f(x)であるとみなせば、式１は、以下の計算で示すように、yにf(x)を代入した式１に等価な式の左辺が恒等的に1になります。
ｘ^２＋(f(x))^２＝１，

すなわち、式１は、ｙがそういう関数f(x)であるならば、1=1という恒等式を表しています。恒等式ならば、その恒等式をｘで微分した結果も0=0になり、その式は正しい式になるからです。
《注意おわり》

式１の微分の際に、
微分の基本公式
（ｆ・ｇ）’＝ｆ’・ｇ＋ｆ・ｇ’
を使います。

ｘ’・ｘ＋ｘ・ｘ’＋ｙ’・ｙ＋ｙ・ｙ’＝１’ 
ｘ’＝１であって、また、１’＝０であるから、
上の式は以下の式２になる。
２ｘ＋２ｙ・ｙ’＝０　（式２）
接点（ｘ，ｙ）での接線の傾きｙ’は、
（ｙが０（ｘが１か－１の場合）で無い場合は）
式２を変形した以下の式３であらわせます。

接点を（ｘ_１，ｙ_１）とすると、式３は以下の式になります。

接線の式は、

点（ｘ_１，ｙ_１）は式１を満足するので、
ｘ_１^２＋ｙ_１^２＝１
∴　ｙ_１ｙ＋ｘ_１ｘ＝１
この、円の接線の公式は既に学んでいる接線の式です。
（ｙ＝０の場合は）
ｙ’＝∞になって、ｙ’が存在しません。
しかし、ｙ’が存在しなくても、
ｄｘ／ｄｙ＝０になって、ｄｘ／ｄｙが存在します。
この場合の接線も上の式であらわされて、
ｘ＝±１
であらわされる接線があらわせます。
こうして、円の接線の公式が得られました。

  【研究問題その２】
楕円の式は高校３年の数学ⅢＣで学びますが、高校２年でも、その式だけは覚えていても良いと思います。
楕円　ｘ^２／ａ^２＋ｙ^２／ｂ^２＝１　（式１）
です。

この楕円の接線の公式は、微分により導けます。

この楕円の式全体を微分します。
その微分の際に、
微分の基本公式　（ｆ・ｇ）’＝ｆ’・ｇ＋ｆ・ｇ’
を使います。

ｘ’＝１であって、また、１’＝０だから、

接点（ｘ，ｙ）での接線の傾きｙ’は、
（ｙが０で無い場合は）
式２を変形した以下の式であらわせます。

接点を（ｘ_１，ｙ_１）とすると、式３は以下の式になります。

接線の式は、

点（ｘ_１，ｙ_１）は式１を満足するので、 

（ｙ＝０の場合は）
ｙ’＝∞になって、ｙ’が存在しません。
しかし、ｙ’が存在しなくても、
ｄｘ／ｄｙ＝０になって、ｄｘ／ｄｙが存在します。
（その場合は、最初の計算を変えて、ｙで式全体を微分する計算を行うことで、改めて上の式を導きます。）
この場合（ｙ＝０の場合）の接線も上の式であらわされて、
ｘ＝±ａ
であらわされる接線があらわせます。

こうして、楕円の接線の公式が得られました。

　なお、下図のように、接線を持つグラフの集合方が、微分可能な点を持つグラフの集合よりも広いので、上の計算の様に、ｙ≠０の場合と、ｙ＝０の場合に分けて計算する必要がありました。 
《下図に各種の関数の集合の包含関係をまとめた》

【研究問題その３】
なお、グラフの式の左右の式を同時に微分する場合は、
以下の注意をする必要があります。

yがxで微分可能な場合のみに成り立つ式を、合成関数の微分の公式を使って求めています。
y=f(x)
がxで微分可能で無い場合は、得られた式は使えないと、後で考えます。

また、
y=f(x)
という関数f(x)が存在しない場合は、
式の両辺を微分しても正しい式が得られるための前提条件である、y=f(x)を式に代入して方程式を恒等式にできる、という前提条件が成り立っていない。
そのため、その式の両辺を微分して得た式は間違っていると考えます。

【事例１】
x=0,
という方程式のグラフの場合には、
y=f(x),
という（陰）関数f(x)が存在しません。
その場合は、
微分すべき対象になる関数が存在しないので、
方程式：
x=0,
の両辺をｘで微分した式：
1=0,
は、
無効な式になります
　事例２を参考にして考えると、
ｘｙ座標でのグラフを表す式の両辺をｘで微分できる条件は：
「（ｄｙ／ｄｘ）が存在する点に限る」
という条件があります。
ｘ＝０というグラフでは、そのグラフのどの点（ｘ，ｙ）においても、
ｄｙ/ｄｘが存在しません。
そのため、ｘ＝０の両辺をｘで微分することはできない。

【事例２】 
以下のグラフ
y=f(x)
は、x=0の位置では変数ｘで微分不可能です。

このグラフは、
y≦0 :  x = −y^2,
y≧0 :  x = y^2,
という式であらわせます。
この式の左辺と右辺をxで微分した式は、
x=0
の位置で、
1=0・y' ,   ただし、y'=∞ ,
という式になり、
右辺が不定値を表す式になり、左辺の値１と同じでは無い、
無効な式になります。

【事例３】
y=0,
という方程式で表されるグラフの場合には、
y=f(x),
という関数f(x)が存在します。
その場合は、
方程式：
y=0,
の両辺をｘで微分した式：
y'=0,
は、
有効な式になります。

《円の接線の公式をベクトルの内積で求める》
　円の接線の公式は、以下のようにして、ベクトルの内積を使って求めることができます。

このようにベクトルによって円の接線の公式を導き出す方が明確だと思います。

リンク：
高校数学の目次
新型コロナウイルス感染対策