Question Number 94097 by Rio Michael last updated on 16/May/20
$$\mathrm{find}\:\mathrm{all}\:\mathrm{integers}\:{n}\:\:\mathrm{for}\:\mathrm{which}\:\:\mathrm{13}\:\mid\mathrm{4}\left({n}^{\mathrm{2}} +\mathrm{1}\right). \\ $$
Commented by Rasheed.Sindhi last updated on 17/May/20
$${This}\:{s}\:{equivalent}\:{to}: \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{13}\:\mid\left({n}^{\mathrm{2}} +\mathrm{1}\right) \\ $$$$\frac{{n}^{\mathrm{2}} +\mathrm{1}}{\mathrm{13}}={k}\Rightarrow\mathrm{13}{k}−\mathrm{1}={n}^{\mathrm{2}} \\ $$$${All}\:{k}'{s}\:{for}\:{which}\:\mathrm{13}{k}−\mathrm{1}\:{is} \\ $$$${perfect}\:{square}. \\ $$$${Some}\:{values}\:{of}\:{k}: \\ $$$${k}=\mathrm{2},\mathrm{5},\mathrm{25},\mathrm{34},\mathrm{74},\mathrm{89},… \\ $$$${n}=\mathrm{5},\mathrm{8},\mathrm{18},\mathrm{21},\mathrm{31},\mathrm{34},\mathrm{44},… \\ $$$$\mathcal{G}{eneral}\:{solutions}: \\ $$$${n}=\mathrm{13}{q}+\mathrm{5},\mathrm{13}{q}+\mathrm{8}\:\:\:\:\forall\:{q}\in\mathbb{Z}\:\:\: \\ $$$$….. \\ $$$$… \\ $$
Answered by Rasheed.Sindhi last updated on 17/May/20
$$\mathrm{13}\:\nmid\:\mathrm{4}\Rightarrow\mathrm{13}\:\mid\:\left({n}^{\mathrm{2}} +\mathrm{1}\right) \\ $$$${Let}\:{n}=\mathrm{13}{k}+{i}\:{where}\:{k},{i}\in\mathbb{Z}\:\wedge\:\mathrm{0}\leqslant{i}\leqslant\mathrm{12} \\ $$$$\:{n}^{\mathrm{2}} +\mathrm{1}=\mathrm{13}^{\mathrm{2}} {k}^{\mathrm{2}} +\mathrm{2}\left(\mathrm{13}{k}\right)\left({i}\right)+{i}^{\mathrm{2}} +\mathrm{1} \\ $$$$\mathrm{13}\:\mid\:\left({n}^{\mathrm{2}} +\mathrm{1}\right)\Rightarrow\mathrm{13}\mid\left\{\mathrm{13}^{\mathrm{2}} {k}^{\mathrm{2}} +\mathrm{2}\left(\mathrm{13}{k}\right)\left({i}\right)+{i}^{\mathrm{2}} +\mathrm{1}\right\} \\ $$$$\:\:\:\:\:\:\Rightarrow\:\mathrm{13}\:\mid\:\left({i}^{\mathrm{2}} +\mathrm{1}\right) \\ $$$${In}\:{interval}\:\mathrm{0}\leqslant{i}\leqslant\mathrm{12}\:{only}\:{i}=\mathrm{5},\mathrm{8} \\ $$$${satisfy}\:{above}. \\ $$$${Hence}\: \\ $$$$\:\:{n}=\mathrm{13}{k}+\mathrm{5},\mathrm{13}{k}+\mathrm{8}\:{are}\:{satisfying} \\ $$$${values}\:\forall\:{k}\in\mathbb{Z} \\ $$
Answered by Rasheed.Sindhi last updated on 17/May/20
$$\mathrm{13}\:\mid\mathrm{4}\left({n}^{\mathrm{2}} +\mathrm{1}\right)\:{is}\:{aquivalent}\:{to}: \\ $$$$\:\:\:\:\:\:\:\mathrm{13}\:\mid\left({n}^{\mathrm{2}} +\mathrm{1}\right) \\ $$$$\:^{\bullet} {n}:\mathrm{13}{k},\mathrm{13}{k}+\mathrm{1},…,\mathrm{13}{k}+\mathrm{4},\mathrm{13}{k}+\mathrm{5}, \\ $$$$\:\:\:\:\:\:\mathrm{13}{k}+\mathrm{6},\mathrm{13}{k}+\mathrm{7},\mathrm{13}{k}+\mathrm{8},\mathrm{13}{k}+\mathrm{9}, \\ $$$$\:\:\:\:\:\:…,\mathrm{13}{k}+\mathrm{12} \\ $$$$\:^{\bullet} \mathcal{F}{or}\:{values}\:{of}\:{n}\:{written}\:{in}\:{black} \\ $$$${We}\:{can}\:{easily}\:{prove}\:{that}: \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{13}\:\nmid\:\left({n}^{\mathrm{2}} +\mathrm{1}\right) \\ $$$$\:\:\:\:{For}\:{example}\:{if}\:{n}=\mathrm{13}{k}+\mathrm{2} \\ $$$$\:\:\:\:{n}^{\mathrm{2}} +\mathrm{1}=\mathrm{13}^{\mathrm{2}} {k}^{\mathrm{2}} +\mathrm{2}.\mathrm{13}{k}.\mathrm{2}+\mathrm{5} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:=\mathrm{13}\left(\mathrm{13}{k}^{\mathrm{2}} +\mathrm{4}{k}\right)+\mathrm{5} \\ $$$$\:\:\:\:\therefore\:\mathrm{13}\:\nmid\:\left({n}^{\mathrm{2}} +\mathrm{1}\right) \\ $$$$\:^{\bullet} \mathcal{F}{or}\:{values}\:{of}\:{n}\:{written}\:{in}\:{red} \\ $$$${We}\:{can}\:{easily}\:{prove}\:{that}: \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{13}\:\mid\:\left({n}^{\mathrm{2}} +\mathrm{1}\right) \\ $$$$\:\:\:\:\:{For}\:{an}\:{example}\:{if}\:{n}=\mathrm{13}{k}+\mathrm{8} \\ $$$$\:\:\:\:\:{n}^{\mathrm{2}} +\mathrm{1}=\mathrm{13}^{\mathrm{2}} {k}^{\mathrm{2}} +\mathrm{2}.\mathrm{13}{k}.\mathrm{8}+\mathrm{65} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:=\mathrm{13}\left(\mathrm{13}{k}^{\mathrm{2}} +\mathrm{16}{k}+\mathrm{5}\right) \\ $$$$\:\:\:\:\:\therefore\:\:\mathrm{13}\:\mid\:\left({n}^{\mathrm{2}} +\mathrm{1}\right) \\ $$$$\:^{\bullet} \mathcal{H}{ence}\mathrm{13}\:\mid\:\left({n}^{\mathrm{2}} +\mathrm{1}\right)\:{for}\:{only} \\ $$$$\mathrm{13}{k}+\mathrm{5}\:\&\:\mathrm{13}{k}+\mathrm{8} \\ $$
Commented by Rio Michael last updated on 17/May/20
$$\mathrm{thank}\:\mathrm{you}\:\mathrm{sir}. \\ $$