Ta thấy n = 0 thỏa mãn.
Giả sử mệnh đề đúng với n = k.
Ta có: [tex]2^{3^k}+1\vdots 3^k[/tex],[TEX]2^{3^k}+1[/TEX] không chia hết cho [TEX]3^{k+1}[/TEX]
Ta thấy: [tex](2^{3^k}+1)^3=2^{3^{k+1}}+1+3.2^{3^k}(2^{3^k}+1) \vdots 3^{k+1}[/tex]
Vì [tex]2^{3^k}+1\vdots 3^k\Rightarrow 3.2^{3^k}(2^{3^k}+1)\vdots 3^{k+1}\Rightarrow 2^{3^{k+1}}+1\vdots 3^{k+1}[/tex]
Lại có: [tex]2^{3^k}+1\vdots 3^k\Rightarrow (2^{3^k}+1)^3\vdots 3^{3k}\vdots 3^{k+2}\Rightarrow 2^{3^{k+1}}+1+3.2^{3^k}(2^{3^k}+1)\vdots 3^{k+2}[/tex]
Vì [tex]2^{3^k}+1[/tex] không chia hết cho [TEX]3^{k+1}[/TEX] nên [tex]3.2^{3^k}(2^{3^k}+1)[/tex] không chia hết cho [TEX]3^{k+2}[/TEX]
Từ đó [tex]2^{3^{k+1}}+1[/tex] không chia hết cho [TEX]3^{k+2}[/TEX].