n=0,分子3,分母3,整除;
设n时成立,则有(2^(3^n))+1=k*3^(n+1),k为两者的商.
现证明n+1成立
n+1时,分子=(2^(3^(n+1)))+1=(2^(3*3^n))+1=(2^(3^n))^3+1=(k*3^(n+1)-1)^3+1=(k*3^(n+1))^3-3*(k*3^(n+1))^2+3*k*3^(n+1)=k^3*3^(3n+3)-k^2*3^(2n+3)+k*3^(n+2)
显然,分子每一项都有3^(n+2)
n+1时分母为3^(n+2),故整除
综上所述,n>=0时命题成立.