Напишем формулу для суммы 9 членов геометрической прогрессии
s9=(b1*(q^9-1))/(q-1)
Напишем формулу для суммы 18 членов геометрической прогрессии
s18=(b1*(q^18-1))/(q-1)
512=2^9
s9/(s18-s9)=2^9
GПеревернем дробь
(s18-s9)/s9=1/2^9
Числитель разделим на знаменатель почленно.
1-s18/s9=1/2^9 Отдельно упростим дробь s18/s9
s18/s9=(b1*(q18-1)/(q-1))/(b1*(q9-1)/(q-1)
Сократятся b1 и (q-1)
s18/s9=(q18-1)/(q9-1) разность квадратов
s18/s9=((q:9-1)*(q^9+1))/(q9-1) Сократим на (q^9-1)
s18/s9=q^9+1
Возвращаемся к уравнению
1-s18/s9=1/2^9
1-q^9+1=1/2^9
-q^9=1/2^9
q=-1/2
1) проверяем условие при наименьшем возможном значении n.
n>5, значит проверяем условие при n=6

Верно!
2) Сделаем предположение, что для всех n=k, k>5 верно неравенство:

3) Тогда при n=k+1 должно выполняться неравенство:

Вернемся к неравенству из второго пункта и домножим его на 2:

Подставим 2k² в 3-й пункт и рассмотрим полученное неравенство:

по методу интервалов определяем, что неравенство k²-2k-1>0 выполняется при k>1+√2, тогда при k>5 оно тоже выполняется (так как 5>1+√2)
Тогда обратным ходом получаем 2k²>k²+2k+1 при k>5 или 2k²>(k+1)² при k>5
Если
, а
, при k>5
То есть,
, при k>5, то по закону транзитивности:
, при k>5 - ч.т.д