「$x$ は $a$ の何乗ですか」の答が $\log_{a}{x}$.よって,定義より直ちに $a^{\log_{a}{x}}=x$ となる.
スマートではないが,定義に律儀に式変形すると以下のようにもできる.