阿贝尔恒等式推导过