使用主方法证明：二分查找递归式的解是。