しまった、論理破綻だ
>>682のように指数対数関数を定義すれば e^0 = 1 はほとんど自明だ
指数関数の加法定理なんて使う必要なかったな

ちなみに底の変換の定義は
a^b = e^(b*log(a))