>>237
指数の法則は必要なのか?
対数の定義だけだろ。
r^x=e^(log(r^x))=e^(xlog(r))