Question Number 2748 by Rasheed Soomro last updated on 26/Nov/15
$${Show}\:{that}\:\frac{\mathrm{3}^{\mathrm{2}{n}+\mathrm{1}} +\mathrm{5}^{\mathrm{2}{n}+\mathrm{1}} }{\mathrm{8}}\:{is}\:{an}\:{integer}\:{for}\:{n}\in\mathbb{Z}^{+} \:. \\ $$
Answered by prakash jain last updated on 26/Nov/15
$${f}\left({n}\right)=\mathrm{3}^{\mathrm{2}{n}+\mathrm{1}} +\mathrm{5}^{\mathrm{2}{n}+\mathrm{1}} \\ $$$${f}\left(\mathrm{1}\right)=\mathrm{27}+\mathrm{125}=\mathrm{152}=\mathrm{19}×\mathrm{8} \\ $$$$\mathrm{Let}\:\mathrm{us}\:\mathrm{say}\:{f}\left({n}\right)\:\mathrm{3}^{\mathrm{2}{n}+\mathrm{1}} +\mathrm{5}^{\mathrm{2}{n}+\mathrm{1}} \:\mathrm{is}\:\mathrm{divisible}\:\mathrm{by}\:\mathrm{8}. \\ $$$${f}\left({n}+\mathrm{1}\right)=\mathrm{3}^{\mathrm{2}{n}+\mathrm{3}} +\mathrm{5}^{\mathrm{2}{n}+\mathrm{3}} \\ $$$${f}\left(\mathrm{n}+\mathrm{1}\right)−{f}\left({n}\right)=\mathrm{3}^{\mathrm{2}{n}+\mathrm{3}} −\mathrm{3}^{\mathrm{2}{n}+\mathrm{1}} +\mathrm{5}^{\mathrm{2}{n}+\mathrm{3}} −\mathrm{5}^{\mathrm{2}{n}+\mathrm{1}} \\ $$$$=\mathrm{3}^{\mathrm{2}{n}+\mathrm{1}} \left(\mathrm{8}\right)+\mathrm{5}^{\mathrm{2}{n}+\mathrm{1}} \left(\mathrm{24}\right) \\ $$$$=\mathrm{8}\left(\mathrm{3}^{\mathrm{2}{n}+\mathrm{1}} +\mathrm{3}\centerdot\mathrm{5}^{\mathrm{2n}+\mathrm{1}} \right) \\ $$$$\because\:\frac{{f}\left({n}\right)}{\mathrm{8}}={k}\Rightarrow{f}\left({n}\right)=\mathrm{8}{k},\:{k}\in\mathbb{N} \\ $$$${f}\left({n}+\mathrm{1}\right)=\mathrm{8}\left(\mathrm{3}^{\mathrm{2}{n}+\mathrm{1}} +\mathrm{3}\centerdot\mathrm{5}^{\mathrm{2}{n}+\mathrm{1}} \right)+\mathrm{8}{k} \\ $$$${f}\left({n}+\mathrm{1}\right)=\mathrm{8}\left(\mathrm{3}^{\mathrm{2}{n}+\mathrm{1}} +\mathrm{3}\centerdot\mathrm{5}^{\mathrm{2}{n}+\mathrm{1}} +{k}\right) \\ $$$$\therefore\:{f}\left({n}+\mathrm{1}\right)\:\mathrm{is}\:\mathrm{divisible}\:\mathrm{by}\:\mathrm{8}\:\mathrm{or} \\ $$$$\frac{{f}\left({n}+\mathrm{1}\right)}{\mathrm{8}}\:\mathrm{is}\:\mathrm{an}\:\mathrm{integer}. \\ $$
Commented by RasheedAhmad last updated on 26/Nov/15
$$\mathcal{N}{ice}! \\ $$