Question Number 195412 by Calculusboy last updated on 02/Aug/23
Answered by deleteduser1 last updated on 02/Aug/23
$${v}_{\mathrm{2}} \left({a}^{\mathrm{2}^{{n}} } −\mathrm{1}\right)={v}_{\mathrm{2}} \left({a}−\mathrm{1}\right)+{n}+{v}_{\mathrm{2}} \left({a}+\mathrm{1}\right)−\mathrm{1}\geqslant{n}+\mathrm{2} \\ $$$$\Rightarrow\mathrm{2}^{{n}+\mathrm{2}} \mid{a}^{\mathrm{2}^{{n}} } −\mathrm{1} \\ $$
Commented by Calculusboy last updated on 02/Aug/23
$${thanks} \\ $$
Answered by MM42 last updated on 02/Aug/23
$${proof}\:{by}\:{induction} \\ $$$$\left.\mathrm{1}\right){n}=\mathrm{1}\Rightarrow\mathrm{8}\mid{a}^{\mathrm{2}} −\mathrm{1}=\left(\mathrm{2}{m}+\mathrm{1}\right)^{\mathrm{2}} −\mathrm{1}=\mathrm{4}{m}\left({m}+\mathrm{1}\right)=\mathrm{8}{k}\:\checkmark \\ $$$$\left.\mathrm{2}\right){n}={k}\:\rightarrow\:\mathrm{2}^{{n}+\mathrm{2}} \:\mid{a}^{\mathrm{2}^{{n}} } −\mathrm{1}\Leftrightarrow{a}^{\mathrm{2}^{{n}} } −\mathrm{1}=\mathrm{2}^{{n}+\mathrm{2}} ×{t} \\ $$$$\left.\mathrm{3}\right)\mathrm{2}^{{n}+\mathrm{3}} \:\mid{a}^{\mathrm{2}^{{n}+\mathrm{1}} } \:−\mathrm{1}\:\Leftrightarrow\:{a}^{\mathrm{2}^{{n}+\mathrm{1}} } −\mathrm{1}=\mathrm{2}^{{n}+\mathrm{3}} ×{u}\:? \\ $$$${a}^{\mathrm{2}^{{n}+\mathrm{1}} } \:−\mathrm{1}=\left({a}^{\mathrm{2}^{{n}} } −\mathrm{1}\right)\left({a}^{\mathrm{2}^{{n}} } +\mathrm{1}\right)\:\:\: \\ $$$$=\mathrm{2}^{{n}+\mathrm{2}} ×{t}×\mathrm{2}{t}'=\mathrm{2}^{{n}+\mathrm{3}} ×{u}\:\checkmark \\ $$