コーシーの関数方程式