Ответ:

Квадрат среднего из трёх последовательных членов равен произведению крайних:

\[b_n^2=b_{n-1}b_{n+1}.\]