为什么圆1默认g(a)为以下等式而不是g(x)来证明圆2 -b是否成立？

后一个公式的值只与A和B有关，所以是A和B的函数，固定的B视为A的函数，记为g(a)。

对于g(a)的求导，第一个积分公式利用微积分基本定理导出f(a)，第二个积分公式与A无关，导数为0，最后-ab的导数为-B。