Question Number 213641 by Abdullahrussell last updated on 12/Nov/24
Answered by Ghisom last updated on 03/Dec/24
$$\alpha_{{k}} \in\mathbb{Z} \\ $$$${p}\left({x}\right)=\underset{{k}=\mathrm{3}} {\overset{{n}} {\sum}}\alpha_{{k}} {x}^{{k}} \\ $$$${x}\in\mathbb{Z}\:\Rightarrow\:{p}\left({x}\right)\in\mathbb{Z} \\ $$$$ \\ $$$$\:\:\:\:\:\mathrm{we}'\mathrm{ll}\:\mathrm{need}\:\mathrm{this}\:\mathrm{later}: \\ $$$$\:\:\:\:\:\mathrm{2}\mid{pq}\:\Rightarrow\:\mathrm{2}\mid{p}\vee\mathrm{2}\mid{q} \\ $$$$\:\:\:\:\:\mathrm{2}\nmid{pq}\:\Rightarrow\:\mathrm{2}\nmid{p}\wedge\mathrm{2}\nmid{q} \\ $$$$\:\:\:\:\:\Rightarrow \\ $$$$\:\:\:\:\:\mathrm{2}\mid\alpha_{{k}} {x}^{{k}} \:\Rightarrow\:\mathrm{2}\mid\alpha_{{k}} \left({x}+\mathrm{2}\right)^{{k}} \\ $$$$\:\:\:\:\:\mathrm{2}\nmid\alpha_{{k}} {x}^{{k}} \:\Rightarrow\:\mathrm{2}\nmid\alpha_{{k}} \left({x}+\mathrm{2}\right)^{{k}} \\ $$$$\:\:\:\:\:\Rightarrow\:\left(\mathrm{2}\mid{p}\left({x}\right)\wedge\mathrm{2}\mid{p}\left({x}+\mathrm{2}\right)\right)\vee\left(\mathrm{2}\nmid{p}\left({x}\right)\wedge\mathrm{2}\nmid{p}\left({x}+\mathrm{2}\right)\right)\:\bigstar \\ $$$$ \\ $$$${f}\left({x}\right)={p}\left({x}\right)+{ax}^{\mathrm{2}} +{bx}+{c} \\ $$$$\mathrm{inserting}\:{f}\left(\mathrm{1}\right)=\mathrm{2}\wedge{f}\left(\mathrm{2}\right)=\mathrm{3}\wedge{f}\left(\mathrm{3}\right)=\mathrm{5}\:\mathrm{and} \\ $$$$\mathrm{solving}\:\mathrm{for}\:{a},\:{b},\:{c}\:\mathrm{we}\:\mathrm{get} \\ $$$${a}=\frac{\mathrm{1}}{\mathrm{2}}−\frac{{p}\left(\mathrm{1}\right)}{\mathrm{2}}+{p}\left(\mathrm{2}\right)−\frac{{p}\left(\mathrm{3}\right)}{\mathrm{2}} \\ $$$${b}=−\frac{\mathrm{1}}{\mathrm{2}}+\frac{\mathrm{5}{p}\left(\mathrm{1}\right)}{\mathrm{2}}−\mathrm{4}{p}\left(\mathrm{2}\right)+\frac{\mathrm{3}{p}\left(\mathrm{3}\right)}{\mathrm{2}} \\ $$$${c}=\mathrm{2}−\mathrm{3}{p}\left(\mathrm{1}\right)+\mathrm{3}{p}\left(\mathrm{2}\right)−{p}\left(\mathrm{3}\right)\:\Rightarrow\:{c}\in\mathbb{Z} \\ $$$${a}\in\mathbb{Z}\:\Rightarrow\:\frac{\mathrm{1}}{\mathrm{2}}−\frac{{p}\left(\mathrm{1}\right)}{\mathrm{2}}−\frac{{p}\left(\mathrm{3}\right)}{\mathrm{2}}={M}\in\mathbb{Z} \\ $$$${b}\in\mathbb{Z}\:\Rightarrow\:−\frac{\mathrm{1}}{\mathrm{2}}+\frac{\mathrm{5}{p}\left(\mathrm{1}\right)}{\mathrm{2}}+\frac{\mathrm{3}{p}\left(\mathrm{3}\right)}{\mathrm{2}}={N}\in\mathbb{Z} \\ $$$$\Rightarrow \\ $$$${p}\left(\mathrm{1}\right)=\mathrm{3}{M}+{N}−\mathrm{1} \\ $$$${p}\left(\mathrm{3}\right)=−\mathrm{5}{M}−{N}+\mathrm{2} \\ $$$$\mathrm{all}\:\mathrm{combinations}\:\mathrm{of}\:{M}\:\mathrm{and}\:{N}\:\mathrm{being}\:\mathrm{odd}\:\mathrm{or} \\ $$$$\mathrm{even}\:\mathrm{yield} \\ $$$$\mathrm{2}\mid{p}\left(\mathrm{1}\right)\:\Leftrightarrow\:\mathrm{2}\nmid{p}\left(\mathrm{3}\right)\:\wedge\:\mathrm{2}\nmid{p}\left(\mathrm{1}\right)\:\Leftrightarrow\:\mathrm{2}\mid{p}\left(\mathrm{3}\right) \\ $$$$\mathrm{but} \\ $$$${p}\left(\mathrm{3}\right)={p}\left(\mathrm{1}+\mathrm{2}\right)\:\Rightarrow\:\mathrm{contradiction}\:\mathrm{to}\:\bigstar \\ $$