Давайте предположим, что массив равен 1, 2, 1, 1, 3, 1, 4, 1, 6, 1.
Если массив содержит более половины элементов, то тогда должно быть где два последовательных элемента одинаковы.
В приведенном выше примере наблюдатель 1 повторяется более половины раз. И индексы (индекс начинаются с 0), индекс 2 и индекс 3 имеют одинаковый элемент.