埃尔米特恒等式的推导过程