极化恒等式
奔驰定理