下面的7个算法与本章的二分搜索算法binarySearch略有不同。请判断这7个算法的正确性。如果算法不正确，请说明产生错误的原因；如果算法正确，请给出算法的正确性证明

分治法

2-2 下面的7个算法与本章的二分搜索算法binarySearch略有不同。请判断这7个算法的正确性。如果算法不正确，请说明产生错误的原因；如果算法正确，请给出算法的正确性证明。

（1）与主教材中的算法binarySearch相比，数组段左、右游标left和right的调整不正确，导致陷入死循环

（2）与主教材中的算法binarySearch相比，数组段左、右游标left和right的调整不正确，导致当x=a[n-1]时返回错误。

（3）与正确算法binarySearch5相比，数组段左、右游标left和right的调整不正确，导致当x=a[n-1]时返回错误。

（4）与正确算法binarySearch5相比，数组段左、右游标left和right的调整不正确，导致陷入死循环。

（5）算法正确，且当数组中有重复元素时，返回满足条件的最右元素。

（6）与正确算法binarySearch5相比，数组段左、右游标left和right的调整不正确，导致当x=a[n-1]时返回错误。

（7）与正确算法binarySearch5相比，数组段左、右游标left和right的调整不正确，导致当x=a[0]时陷入死循环。