二分法的原理是什么定理