帕斯沃尔恒等式