Ответ:
Условие обрезано после слов «двух», поэтому не видно, о каких именно двух гномах идёт речь. Если имеются в виду два соседа каждого гнома по кругу, доказательство такое.
Обозначим рост гномов по кругу через a1, …, a7, считая индексы циклически. По условию каждый рост равен полусумме ростов соседей: 2ai = ai−1 + ai+1. Отсюда ai − ai−1 = ai+1 − ai: разности между соседними ростами одинаковы. При обходе всего круга сумма этих семи разностей равна нулю, поэтому каждая разность равна нулю. Следовательно, все гномы одного роста.
Для подтверждения, что в исходном условии речь именно о соседях, нужен обрезанный фрагмент строки.
