二分法定义