数学について
a＞０に対して、y＝logｘとｘ軸、およびｘ＝a、ｘ＝a＋１で囲まれた部分をｘ軸の周りに１回転してできる立体の体積をｆ(a)とする。
（１）ｆ‘(a)とｆ(a)を求めよ。
なんですが、ｆ(a)は求めれたのですが、ｆ‘(a)がｆ(a)を微分するとなるとかなり計算が面倒です。
解答だと・・・
ｆ(a)=π∫（a→a＋１）｛logX｝＾２dxより
ｆ‘(a)＝π・d/da∫（a→a＋１）｛logX｝＾２dx
=π[｛log（a＋１）｝＾２－（loga）＾２]になっています。
ｆ(a)=π∫（a→a＋１）｛logX｝＾２dxより
ｆ‘(a)＝π・d/da∫（a→a＋１）｛logX｝＾２dx
=π[｛log（a＋１）｝＾２－（loga）＾２]は、微分と積分の関係の公式を使ったのでしょうか？
詳しい解説お願いします。
