もとの関数とその逆関数が一致するための条件を教えてください