Question Number 78948 by TawaTawa last updated on 21/Jan/20
$$\mathrm{Prove}\:\mathrm{by}\:\mathrm{mathematical}\:\mathrm{induction}\:\mathrm{that}. \\ $$$$\:\:\:\mathrm{n}^{\mathrm{4}} \:+\:\mathrm{4n}^{\mathrm{2}} \:+\:\mathrm{11}\:\:\:\mathrm{is}\:\mathrm{divisible}\:\mathrm{by}\:\mathrm{16} \\ $$
Commented by john santu last updated on 21/Jan/20
$${let}\:{p}\left({n}\right)\:=\:{n}^{\mathrm{4}} +\mathrm{4}{n}^{\mathrm{2}} +\mathrm{11} \\ $$$${for}\:{n}=\mathrm{1}\:\Rightarrow\mathrm{1}+\mathrm{4}+\mathrm{11}=\mathrm{16}\:\mid\mathrm{16}\:\left({true}\right) \\ $$$${suppose}\:{n}={k}\:{such}\:{that}\: \\ $$$${p}\left({k}\right)={k}^{\mathrm{4}} +\mathrm{4}{k}^{\mathrm{2}} +\mathrm{11}\:=\:{u}\left({mod}\:\mathrm{16}\right) \\ $$$${we}\:{can}\:{proof}\:{that}\:{for}\: \\ $$$${n}={k}+\mathrm{1}\:{divisible}\:{by}\:\mathrm{16} \\ $$$${k}^{\mathrm{4}} +\mathrm{4}{k}^{\mathrm{2}} +\mathrm{11}+\left({k}+\mathrm{1}\right)^{\mathrm{4}} +\mathrm{4}\left({k}+\mathrm{1}\right)+\mathrm{11} \\ $$$${next}.. \\ $$
Commented by TawaTawa last updated on 21/Jan/20
$$\mathrm{It}\:\mathrm{is}\:\mathrm{for}\:\:\mathrm{k}\:+\:\mathrm{1}\:\mathrm{i}\:\mathrm{don}'\mathrm{t}\:\mathrm{get}\:\mathrm{sir} \\ $$
Commented by mind is power last updated on 21/Jan/20
$${error}\:{in}\:{this} \\ $$$${n}=\mathrm{2}{k}\:{didn}'{t}\:{worck}\:{ever} \\ $$$$ \\ $$
Commented by TawaTawa last updated on 21/Jan/20
$$\mathrm{That}\:\mathrm{means}\:\mathrm{the}\:\mathrm{question}\:\mathrm{is}\:\mathrm{wrong}\:\mathrm{sir}? \\ $$
Commented by mind is power last updated on 21/Jan/20
$${yeah} \\ $$
Commented by john santu last updated on 21/Jan/20
$${and}\:\:\:\:…{in}\:{fact}\:{not}\:{proved}\:{miss} \\ $$$${the}\:{equation}\:{error}.\:{k}^{\mathrm{4}} +\mathrm{4}{k}^{\mathrm{2}} +\mathrm{11} \\ $$$${not}\:{divisible}\:{by}\:\mathrm{16}. \\ $$$${i}.{q}\:{let}\:{k}=\mathrm{2}\:\Rightarrow\mathrm{16}+\mathrm{16}+\mathrm{11}\neq\mid\mathrm{16} \\ $$
Commented by TawaTawa last updated on 21/Jan/20
$$\mathrm{God}\:\mathrm{bless}\:\mathrm{you}\:\mathrm{sir} \\ $$
Answered by mind is power last updated on 21/Jan/20
$${first}\:{Methode} \\ $$$${n}=\mathrm{2}{k} \\ $$$$\Rightarrow{n}^{\mathrm{4}} +\mathrm{4}{n}^{\mathrm{2}} +\mathrm{11}=\mathrm{16}{k}^{\mathrm{4}} +\mathrm{16}{k}^{\mathrm{2}} +\mathrm{11}\equiv\mathrm{11}\left(\mathrm{16}\right) \\ $$$${error}\:{sir}\: \\ $$
Commented by TawaTawa last updated on 21/Jan/20
$$\mathrm{Sir}\:\mathrm{what}\:\mathrm{of}\:\mathrm{this} \\ $$$$\:\:\mathrm{n}^{\mathrm{4}} \:+\:\mathrm{4n}^{\mathrm{2}} \:+\:\mathrm{11}\:\:\mathrm{is}\:\mathrm{a}\:\mathrm{multiple}\:\mathrm{of}\:\:\mathrm{16}\:\:\mathrm{for}\:\mathrm{all}\:\mathrm{odd}\:\mathrm{positive}\:\mathrm{integral} \\ $$
Commented by TawaTawa last updated on 21/Jan/20
$$\mathrm{Help}\:\mathrm{me}\:\mathrm{prove}\:\mathrm{this} \\ $$
Commented by mind is power last updated on 21/Jan/20
$${ifn}=\left(\mathrm{2}{k}+\mathrm{1}\right) \\ $$$${n}^{\mathrm{4}} =\left(\mathrm{2}{k}+\mathrm{1}\right)^{\mathrm{4}} =\mathrm{16}{k}^{\mathrm{4}} +\mathrm{32}{k}^{\mathrm{3}} +\mathrm{24}{k}^{\mathrm{2}} +\mathrm{8}{k}+\mathrm{1} \\ $$$${n}^{\mathrm{2}} =\mathrm{4}{k}^{\mathrm{2}} +\mathrm{4}{k}+\mathrm{1} \\ $$$${n}^{\mathrm{4}} +\mathrm{4}{n}^{\mathrm{2}} +\mathrm{1}=\mathrm{16}{k}^{\mathrm{4}} +\mathrm{32}{k}^{\mathrm{3}} +\mathrm{24}{k}^{\mathrm{2}} +\mathrm{8}{k}+\mathrm{1}+\mathrm{4}\left(\mathrm{4}{k}^{\mathrm{2}} +\mathrm{4}{k}+\mathrm{1}\right)+\mathrm{11} \\ $$$$=\mathrm{16}{k}^{\mathrm{4}} +\mathrm{32}{k}^{\mathrm{3}} +\mathrm{40}{k}^{\mathrm{2}} +\mathrm{24}{k}+\mathrm{16} \\ $$$$=\mathrm{16}\left({k}^{\mathrm{4}} +\mathrm{2}{k}^{\mathrm{3}} \right)+\mathrm{16}+\mathrm{8}{k}\left(\mathrm{5}{k}+\mathrm{3}\right)=\mathrm{8}{k}\left(\mathrm{5}{k}+\mathrm{3}\right){mod}\left(\mathrm{16}\right) \\ $$$${k}\left(\mathrm{5}{k}+\mathrm{3}\right)={k}\left(\mathrm{5}{k}+\mathrm{5}−\mathrm{2}\right)=\mathrm{5}{k}\left({k}+\mathrm{1}\right)−\mathrm{2}{k}=\mathrm{2}{m} \\ $$$$\Rightarrow\mathrm{8}{k}\left(\mathrm{5}{k}+\mathrm{3}\right)=\mathrm{8}.\mathrm{2}{m}=\mathrm{16}{m}=\mathrm{0}\left(\mathrm{16}\right) \\ $$$$\Rightarrow\mathrm{16}\mid{n}^{\mathrm{4}} +\mathrm{4}{n}^{\mathrm{2}} +\mathrm{11}\Rightarrow{n}=\left(\mathrm{2}{k}+\mathrm{1}\right){is}\:{True} \\ $$$$ \\ $$
Commented by TawaTawa last updated on 22/Jan/20
$$\mathrm{God}\:\mathrm{bless}\:\mathrm{you}\:\mathrm{sir} \\ $$
Commented by mind is power last updated on 22/Jan/20
$${y}'{re}\:{Welcom}\:{Sir}\:{Withe}\:{pleasur} \\ $$