在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]