在12个互异元素构成的有序数组a[1..12]中进行二分查找(即折半查找，向下取整)，若待查找的元素正好等于a[9][，则在此过程中，依次与数组中的()比较后，查找成功结束。
A.a[6]、a[7]、a[8]、a[9]
B.a[6]、a[9]
C.a[6]、a[7]、a[9]
D.a[6]、a[8]、a[9]