几个求和公式的证明与Bernoulli数新计算公式

班桂宁给出九个在自同构群研究中较常用的求和公式,这里给出它们的新证明,还得到了Bernoulli数新计算公式。