■ある無限級数(その106)

 逆関数の一般化にも超幾何関数が使えるかもしれない.ここでは地道に

  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)にあたるというわけである.

===================================