Положим что данное выражение равно s(n) , и преобразуем s(n)=2^(2^n)+2^(2^(n-1))+1=(2^(2^(n-1))+1)^2-2^(2^(n-1)) 1) Используя формулу разности квадратов , разложим на множители число s , для определенного n имеем s(n)=(2^(2^(n-1))-2^(2^(n-2))+1)*(2^(2^(n-2))-2^(2^(n-3))+1)*(2^(2^(n-3))-2^(2^(n-4))+1)*...*7 (7-это число s при n=1) 2) докажем что каждые два множителя s (вышеописанные множители) взаимно просты. 3)Для начала возьмём какие-нибудь два числа вида 2^(2^n)+1 и 2^(2^k)+1 , тогда докажем что НОД этих чисел будет равен 1. Без потери общности , положим n>k>0 , то все по той же разности квадратов получим 2^(2^n)+1=(2^(2^(n-1))+1)*(2^(2^(n-2))+1)*(2^(2^(n-3))+1)*...(2^(2^k)+1)*...*5 + 2 То есть это говорит о том что, число 2^(2^(n))+1 при деланий на 2^(2^(k))+1 даёт остаток равный 2 и НОД(2^(2^(k))+1 , 2)=1 так как числа рассматриваемого вида , всегда нечётна . То есть числа взаимно простые. 4)Теперь докажем пункт номер 2. Рассмотрим числа вида X=2^(2^k)-2^(2^(k-1))+1 и Y=2^(2^m)-2^(2^(m-1))+1 Используя формулу (a^2-a+1)(a+1)=a^3+1, заменим (2^(2^(k-1))+1)=u и (2^(2^(m-1))+1)=v получим что X*(2^(2^(k-1))+1)=X*u=2^(3*2^(k-1))+1=A , аналогично Y*(2^(2^(m-1))+1)=Y*v=2^(3*2^(m-1))+1=B Для чисел A и B рассуждая абсолютно аналогично как и в пункте 3 , следует что нод (A,B)=1 то есть они взаимно просты. Стало быть если НОД(X*u,Y*v)=1 и НОД(u,v)=1 значит и НОД(X,Y)=1 тем самым пункт 2 доказан. 5) Если записать упрощенна s(n)=a1*a2*a3*a4***a(n-1)*..*7 из пункта 2 следует (то что любые два числа взаимно просты) , это значит что у s(n) не существует простых делителей вида p^a где p-простое число , "a" целое положительное. В свою очередь это значит что если числа a1,a2,a3 итд являются сами простыми , то у него будет ровно n делителей , если хотя бы какое одно число не простое , то при разложений его , на простые множители , учитывая пункт 2, очевидно что будет больше чем n делителей.
