承据(6)、(9)式证明等额本息还款总额A1大于等额本金还款总额A1

首先，我们来看一下等额本息还款总额的计算公式：

A1 = P × (i × (1 + i)^n) / ((1 + i)^n - 1)

其中，P为贷款本金，i为月利率，n为还款期数。

而等额本金还款总额的计算公式为：

A2 = (P/n) + [(P - (P × (m-1)/n)) × i]

其中，m为当前还款期数。

接下来，我们证明A1大于A2。

首先，我们可以将等额本金还款总额的计算式展开，得到：

A2 = (P/n) + [(P × (n-1)/n) × i]

然后，我们将等额本金还款总额的计算式代入等额本息还款总额的计算式中，得到：

A1 = P × (i × (1 + i)^n) / ((1 + i)^n - 1)

下面，我们将A1-A2展开，得到：

A1 - A2 = [P × (i × (1 + i)^n) / ((1 + i)^n - 1)] - [(P/n) + [(P × (n-1)/n) × i]]

将上式化简，得到：

A1 - A2 = (P × i × ((1 + i)^n - 1 - n(1 + i)^n/n)) / ((1 + i)^n - 1)

接下来，我们将证明分子大于0，即：

(1 + i)^n - 1 - n(1 + i)^n/n > 0

化简上式，得到：

(1 + i)^n > (n-1)/n

取对数，得到：

n × log(1 + i) > log(n-1) - log(n)

移项，得到：

log(1 + i) > (log(n-1) - log(n)) / n

再将两边都取指数，得到：

1 + i > e^((log(n-1) - log(n))/n)

化简上式，得到：

i > (e^((log(n-1) - log(n))/n) - 1)

由于e^x是单调递增的，因此(log(n-1) - log(n))/n也是单调递增的。当n=1时，(log(n-1) - log(n))/n=0。当n趋近于无穷大时，(log(n-1) - log(n))/n趋近于0。因此，i > (e^((log(n-1) - log(n))/n) - 1)始终成立。

因此，A1-A2大于0，即等额本息还款总额A1大于等额本金还款总额A2，证毕。