log互換公式證明