二分法公式推导