Ta có: \(2\equiv-1\left(mod 3\right)\Rightarrow2^n\equiv\left(-1\right)^n\left(mod3\right)\)
Vì n là số tự nhiên nên n có dạng 2k hoặc 2k + 1 (k là số tự nhiên)
+) Nếu n có dạng 2k \(\Rightarrow2^n\equiv\left(-1\right)^n\equiv\left(-1\right)^{2k}\equiv\left[\left(-1\right)^2\right]^k\equiv1\left(mod3\right)\Rightarrow2^n-1\equiv0\left(mod3\right)\Rightarrow2^n-1⋮3\Rightarrow A⋮3\)
Nếu n có dạng 2k + 1 \(\Rightarrow2^n\equiv\left(-1\right)^{2k+1}\equiv\left(-1\right)^{2k}.\left(-1\right)\equiv-1\left(mod3\right)\Rightarrow2^n+1\equiv0\left(mod3\right)\Rightarrow2^n+1⋮3\Rightarrow A⋮3\)