■ライプニッツの調和三角形(その22)
逆関数の一般化にも超幾何関数が使えるかもしれない.ここでは地道に
y=f(x)の逆関数をx=f(y)←→y=g(x)とする.
y=f(x)の(x0,y0)における接線の傾きはf’(x0)
y=g(x)の(y0,x0)における接線の傾きはg’(y0)
f’(x0)・g’(y0)=1
ここで,y0=f(x0)であるから,
g’(y0)=g’(f(x0))=1/f’(x0)
===================================
微分を使わない表現では
y=f(x)の(x0,y0)における値はy0=f(x0)
y=g(x)の(y0,x0)における値はx0=g(y0)
x0=g(y0)=g(f(x0))
これが(その105)にあたるというわけである.
===================================