二等分定理

bisection theorem