2*3^n≤2^n+4^n
преобразуем
2 ≤ (2^n+4^n ) / 3^n = (2/3)^n +(4/ 3)^n
в правой части оба слагаемые положительные числа
первое слагаемое (2/3)^n - дробь -всегда меньше 1
второе слагаемое (4/3)^n - дробь -всегда больше 1
достаточное условие доказательства , чтобы одно из слагаемых было БОЛЬШЕ 2
рассмотрим n=1,2,3
n=1
(2/3)^1 +(4/ 3)^1 = 2/3+4/3=6/3 =2 <выполняется равенство 4/3 < 2
n=2
(2/3)^2 +(4/ 3)^2 = 4/9+16/9=20/9 =2+2/9 >2 <выполняется НЕравенство 16/9 < 2
n=3
(2/3)^3 +(4/ 3)^3 = 8/27+64/27=72/27 =2+18/27 <выполняется НЕравенство 64/27 > 2
второе слагаемое (4/3)^n > 2 , для всех 3 ≤ n
следовательно, для любого натурального n справедливо заданное неравенство
ДОКАЗАНО
разбиваем слагаемые на группы
1+2+2^2 =1+2+4=7 n=0
2^3+2^4+2^5=2^3(1+2+2^2)=2^3*7 n=1
2^6+2^7+2^8=2^6(1+2+2^2)=2^6*7 n=2
2^9+2^10+2^11=2^9(1+2+2^2)=2^9*7 n=3
группа из 3-х последовательных членов
каждая группа может быть представлена в виде произведения 2-х множителей ,один из которых 7
закономерность 2^(3n)*7
3n <77
n=77/3 =25+2/3
последняя группа
2^75+2^76+2^77=2^75 (1+2+2^2)
все группы полные и делятся на 7
заданное число делится на 7 без остатка
