これを証明する為には,まず,(1) 式の左辺を
と置いて,
を計算してやる.
これは
グラフでいうと,第一象限全体の積分となっている.ここで,
,
という変数変換をしてやる.積分変数の座標変換をするときにはヤコビアンという行列式を使うのであるが,それは知っているものとして変形すると,
これで証明終わり.
これを証明するには,まず上で証明した (1) 式を眺め,その両辺にある
を変数であると考えて,で微分してやる.簡単に確かめられるので,計算過程を書くまでもないと思う.
これを証明するには似た事を繰り返せばいい.まず上で証明した (2) 式を眺め,その両辺にあるを変数であると考えて,で微分してやる.
これは,(1) (2) (3) 式と形は似ているが,同じ系列ではない.これを証明するために,まず次のような式は簡単に計算できるであろう.
この式の両辺にあるを変数であると考えて,で微分してやれば (4) 式となる.
