指数関数の原始関数

質問

本で、対数の底をeとして、(a^t)'=(loga)a^t・・・(1)となることはわかったのですが、(1)から　a^t/logaはa^tの原始関数である。というのがわからないので質問します。
自分は、(a^t)'/loga=a^t ∴(a^t/loga)'=a^tより、微分してa^tになるので、a^t/logaが
a^tの原始関数である。と考えました。しかしあっているか自信がありません。
自分の考えがまちがっていたら訂正をお願いします。

回答No.2

info33 · ベストアンサー

>自分は、(a^t)'/loga=a^t ∴(a^t/loga)'=a^tより、微分してa^tになるので、
> a^t/logaが a^tの原始関数である。と考えました。
>しかしあっているか自信がありません。

あっているよ。

お礼

お返事ありがとうございます。