二分查找算法详解与实现

二分查找算法，也称为折半查找算法，是一种高效的搜索算法，用于在有序数组中查找特定元素的位置。本文将详细介绍二分查找算法的原理、实现方式，并给出相应的源代码示例。

原理：
二分查找算法的基本思想是将查找区间逐步缩小，通过比较中间元素与目标元素的大小关系，来确定下一步查找的方向。具体的步骤如下：

1. 确定查找区间的起始位置（通常为数组的首尾元素）。
2. 计算查找区间的中间位置。
3. 将中间位置的元素与目标元素进行比较。
4. 若中间元素等于目标元素，则查找成功，返回中间位置。
5. 若中间元素大于目标元素，则目标元素可能在左侧，将查找区间缩小为左半部分，重复步骤2。
6. 若中间元素小于目标元素，则目标元素可能在右侧，将查找区间缩小为右半部分，重复步骤2。
7. 若查找区间为空，表示未找到目标元素，查找失败。

实现：
下面是使用Python编写的二分查找算法的示例代码：

def binary_search(arr