Question Number 134615 by mathocean1 last updated on 05/Mar/21
$${show}\:{that}\:{for}\:{x};\:{y}\:\in\:\mathbb{Z}: \\ $$$$\left({x}+\mathrm{6}{y}\right)^{\mathrm{4}} −{x}^{\mathrm{4}} \:{is}\:{divisible}\:{by}\:\mathrm{24}. \\ $$
Answered by Olaf last updated on 05/Mar/21
$$\mathrm{Let}\:\mathrm{X}\:=\:\left({x}+\mathrm{6}{y}\right)^{\mathrm{4}} −{x}^{\mathrm{4}} \\ $$$$\mathrm{X}\:=\:\left({x}+\mathrm{6}{y}−{x}\right)\left[\left({x}+\mathrm{6}{y}\right)^{\mathrm{3}} +{x}\left({x}+\mathrm{6}{y}\right)^{\mathrm{2}} +{x}^{\mathrm{2}} \left({x}+\mathrm{6}{y}\right)+{x}^{\mathrm{3}} \right] \\ $$$$\mathrm{X}\:=\:\mathrm{6}{y}\left[\left({x}+\mathrm{6}{y}\right)^{\mathrm{3}} +{x}\left({x}+\mathrm{6}{y}\right)^{\mathrm{2}} +{x}^{\mathrm{2}} \left({x}+\mathrm{6}{y}\right)+{x}^{\mathrm{3}} \right] \\ $$$$\Rightarrow\:\mathrm{X}\:\mathrm{is}\:\mathrm{divisible}\:\mathrm{by}\:\mathrm{6},\:\mathrm{X}\:=\:\mathrm{6Y} \\ $$$$ \\ $$$$\mathrm{Y}\:=\:\left({x}+\mathrm{6}{y}\right)^{\mathrm{3}} +{x}\left({x}+\mathrm{6}{y}\right)^{\mathrm{2}} +{x}^{\mathrm{2}} \left({x}+\mathrm{6}{y}\right)+{x}^{\mathrm{3}} \\ $$$$\mathrm{Y}\:=\:\left({x}^{\mathrm{3}} +\mathrm{18}{x}^{\mathrm{2}} {y}+\mathrm{108}{xy}^{\mathrm{2}} +\mathrm{196}{y}^{\mathrm{3}} \right) \\ $$$$+\left({x}^{\mathrm{3}} +\mathrm{12}{x}^{\mathrm{2}} {y}+\mathrm{36}{xy}^{\mathrm{2}} \right)+\left({x}^{\mathrm{3}} +\mathrm{6}{x}^{\mathrm{2}} {y}\right)+{x}^{\mathrm{3}} \\ $$$$\mathrm{Y}\:=\:\mathrm{4}\left({x}^{\mathrm{3}} +\mathrm{9}{x}^{\mathrm{2}} {y}+\mathrm{36}{xy}^{\mathrm{2}} +\mathrm{49}{y}^{\mathrm{3}} \right) \\ $$$$\Rightarrow\:\mathrm{Y}\:\mathrm{is}\:\mathrm{divisible}\:\mathrm{by}\:\mathrm{4},\:\mathrm{Y}\:=\:\mathrm{4}{p} \\ $$$$ \\ $$$$\mathrm{Finally},\:\mathrm{X}\:=\:\mathrm{6Y}\:=\:\mathrm{24}{p} \\ $$$$\Rightarrow\:\mathrm{X}\:\mathrm{is}\:\mathrm{divisible}\:\mathrm{by}\:\mathrm{24} \\ $$
Answered by Rasheed.Sindhi last updated on 06/Mar/21
$$\left({x}+\mathrm{6}{y}\right)^{\mathrm{4}} −{x}^{\mathrm{4}} \\ $$$$=\left\{\left({x}+\mathrm{6}{y}\right)^{\mathrm{2}} −{x}^{\mathrm{2}} \right\}\left\{\left({x}+\mathrm{6}{y}\right)^{\mathrm{2}} +{x}^{\mathrm{2}} \right\} \\ $$$$=\left({x}+\mathrm{6}{y}−{x}\right)\left({x}+\mathrm{6}{y}+{x}\right)\left(\mathrm{2}{x}^{\mathrm{2}} +\mathrm{12}{xy}+\mathrm{36}{y}^{\mathrm{2}} \right) \\ $$$$=\mathrm{6}{y}.\mathrm{2}\left({x}+\mathrm{3}{y}\right).\mathrm{2}\left({x}^{\mathrm{2}} +\mathrm{6}{xy}+\mathrm{18}{y}^{\mathrm{2}} \right) \\ $$$$=\mathrm{24}{y}\left({x}+\mathrm{3}{y}\right)\left({x}^{\mathrm{2}} +\mathrm{6}{xy}+\mathrm{18}{y}^{\mathrm{2}} \right) \\ $$$$\therefore\:{The}\:{given}\:{expression}\:{is}\:{divisibile} \\ $$$${by}\:\mathrm{24}. \\ $$