逆関数の性質を持つ数学