Коллеги, вы бы лучше выучили второй вариант двоичного поиска из Алгоритмов... Вирта. Он и проще, и эффективней. Там ищется не a[i]=x, а такое i, что для всех j<i a[j]<x, и для всех j>=i a[j]>=x. Начало i=0, j=LEN. Охрана цикла i<j. В конце одна доп. проверка, имеет ли место a[i]=x. Тело цикла профессионалы заполнют сами, надеюсь. А остальные прочтут