Binary search requires sorted input because: 1) Relies on comparing middle element to determine search direction, 2) Eliminates half of remaining elements each iteration, 3) Assumes elements to left are smaller and right are larger, 4) Cannot make valid comparisons on unsorted data, 5) Time complexity of O(log n) depends on this property, 6) Sorting requirement is crucial for algorithm correctness, 7) Most efficient when array maintains sorted state, 8) Common source of bugs when prerequisite not met.