奔驰定理公式