この記事では, ,
が [*] ,
の逆関数であることを確認します.
は,簡単に示せます [†] .
でははたして,
は,どうしたら示せるでしょうか? [‡]
それには,ちょっと工夫が要ります. 式 において,
と置いてやるのです.
一番最後の行で,最初に決めた関係 を用いました.
これで,めでたく
が示せました. では,そろそろ,今日はここまで.