>>61
log_{a}(x) = Y とでも置くと定義より

a^Y = x