■

調子の悪いときの生き方は難しいなぁ。

陰関数定理を示してみようと思い、とりあえず未知数ひとつの連立？方程式を解くことにしました。が、得られた関数がC^1級であることを示すのがすぐにはいかない。たぶん微分可能性のところだけちょっと頑張る必要があるのだと思います。