二分查找是一种常用的查找算法，它可以在有序数组中快速查找目标元素，时间复杂度为O(log n)。在实际应用中，我们需要知道二分查找的次数公式，以便评估算法的效率和性能。

假设我们要在一个有序数组中查找目标元素，数组长度为n。首先，我们将数组分成两部分，分别为左边和右边。然后，我们将目标元素与中间位置的元素进行比较，如果相等，则查找成功；如果目标元素小于中间位置的元素，则在左半部分继续查找；如果目标元素大于中间位置的元素，则在右半部分继续查找。每次查找都可以将待查找的区间缩小一半，直到找到目标元素或者区间为空。

根据二分查找的过程可以得出，每次查找都可以将待查找的区间缩小一半，也就是说，每一次查找可以将待查找区间的长度缩小为原来的一半。因此，二分查找的次数可以表示为log2(n)。其中，n为数组的长度，log2表示以2为底数的对数。

举个例子，假设我们要在一个长度为8的有序数组中查找目标元素。第一次查找时，需要比较中间位置的元素，将数组分成两部分，左边长度为4，右边长度为3。第二次查找时，需要比较左半部分的中间位置元素，将左半部分分成两部分，左边长度为2，右边长度为1。第三次查找时，需要比较左半部分的最后一个元素，查找成功。因此，二分查找的次数为3，log2(8)=3。

总之，二分查找的次数公式为log2(n)，其中n为数组的长度。了解二分查找的次数公式可以帮助我们评估算法的效率和性能，提高代码的编写效率和质量。