Question Number 78489 by ~blr237~ last updated on 18/Jan/20
$$\mathrm{let}\:\:\mathrm{P}\left(\mathrm{x}\right)=\:\mathrm{x}^{\mathrm{5}} −\mathrm{209x}+\mathrm{56}\: \\ $$$$\mathrm{Prove}\:\mathrm{that}\:\mathrm{there}\:\mathrm{exist}\:\mathrm{two}\:\mathrm{roots}\:\:\mathrm{a},\mathrm{b}\:\mathrm{such}\:\mathrm{as}\:\:\:\mathrm{ab}=\mathrm{1} \\ $$$$\mathrm{Find}\:\mathrm{out}\:\mathrm{their}\:\mathrm{sum}\:\left(\:\mathrm{a}+\mathrm{b}=?\right)\:\:\mathrm{and}\:\mathrm{deduce}\:\mathrm{the}\:\mathrm{decomposition}\:\mathrm{of}\:\mathrm{P}\left(\mathrm{x}\right)\:\mathrm{in}\:\mathrm{prime}\:\mathrm{factors}. \\ $$
Answered by MJS last updated on 18/Jan/20
$$\mathrm{2}\:\mathrm{roots}\:\mathrm{with}\:{ab}=\mathrm{1}\:\Rightarrow\:\mathrm{we}\:\mathrm{have}\:\mathrm{a}\:\mathrm{square}\:\mathrm{factor} \\ $$$$\left({x}−{a}\right)\left({x}−\frac{\mathrm{1}}{{a}}\right)={x}^{\mathrm{2}} −\left({a}+\frac{\mathrm{1}}{{a}}\right){x}+\mathrm{1}= \\ $$$$\:\:\:\:\:\left[\mathrm{let}\:{a}+\frac{\mathrm{1}}{{a}}={A}\right] \\ $$$$={x}^{\mathrm{2}} −{Ax}+\mathrm{1} \\ $$$$\Rightarrow \\ $$$$\mathrm{the}\:\mathrm{other}\:\mathrm{factor}\:\mathrm{is} \\ $$$${x}^{\mathrm{3}} +\alpha{x}^{\mathrm{2}} +\beta{x}+\mathrm{56} \\ $$$$ \\ $$$${x}^{\mathrm{5}} −\mathrm{209}{x}+\mathrm{56}=\left({x}^{\mathrm{2}} −{Ax}+\mathrm{1}\right)\left({x}^{\mathrm{3}} +\alpha{x}^{\mathrm{2}} +\beta{x}+\mathrm{56}\right) \\ $$$${x}^{\mathrm{5}} −\mathrm{209}{x}+\mathrm{56}={x}^{\mathrm{5}} +\left(\alpha−{A}\right){x}^{\mathrm{4}} −\left(\alpha{A}−\beta−\mathrm{1}\right){x}^{\mathrm{3}} −\left(\beta{A}−\alpha−\mathrm{56}\right){x}^{\mathrm{2}} +\left(\beta−\mathrm{56}{A}\right){x}+\mathrm{56} \\ $$$$\Rightarrow \\ $$$$\left(\mathrm{1}\right)\:\:\alpha−{A}=\mathrm{0} \\ $$$$\left(\mathrm{2}\right)\:\:\alpha{A}−\beta−\mathrm{1}=\mathrm{0} \\ $$$$\left(\mathrm{3}\right)\:\:\beta{A}−\alpha−\mathrm{56}=\mathrm{0} \\ $$$$\left(\mathrm{4}\right)\:\:\beta−\mathrm{56}{A}+\mathrm{209}=\mathrm{0} \\ $$$$\Rightarrow \\ $$$${A}=\mathrm{4}\:\Rightarrow\:{a}=\mathrm{2}\pm\sqrt{\mathrm{3}}\:\Rightarrow\:{b}=\mathrm{2}\mp\sqrt{\mathrm{3}} \\ $$$$\alpha=\mathrm{4} \\ $$$$\beta=\mathrm{15} \\ $$$$\Rightarrow \\ $$$${x}^{\mathrm{5}} −\mathrm{209}{x}+\mathrm{56}= \\ $$$$=\left({x}−\mathrm{2}−\sqrt{\mathrm{3}}\right)\left({x}−\mathrm{2}+\sqrt{\mathrm{3}}\right)\left({x}^{\mathrm{3}} +\mathrm{4}{x}^{\mathrm{2}} +\mathrm{15}{x}+\mathrm{56}\right) \\ $$$$\mathrm{and}\:\mathrm{we}\:\mathrm{need}\:\mathrm{Cardano}'\mathrm{s}\:\mathrm{method}\:\mathrm{for}\:\mathrm{the}\:\mathrm{2}^{\mathrm{nd}} \\ $$$$\mathrm{factor} \\ $$
Commented by ~blr237~ last updated on 18/Jan/20
$$\mathrm{thanks}\:\mathrm{sir}\:\mathrm{for}\:\mathrm{this}\:\mathrm{part}\:,\:\mathrm{but}\:\mathrm{before}\:\mathrm{reaching}\:\mathrm{here}\:\mathrm{we}\:\mathrm{ought}\:\mathrm{to}\:\mathrm{prove}\:\mathrm{the}\:\mathrm{existence}\:\mathrm{of}\:\mathrm{a}\:\mathrm{and}\:\mathrm{b} \\ $$
Commented by MJS last updated on 18/Jan/20
$$\mathrm{I}\:\mathrm{have}\:\mathrm{no}\:\mathrm{idea}\:\mathrm{how}\:\mathrm{to}\:\mathrm{prove}\:\mathrm{the}\:\mathrm{existence}\:\mathrm{of} \\ $$$$\mathrm{the}\:\mathrm{roots}\:\mathrm{without}\:\mathrm{calculating}\:\mathrm{them} \\ $$
Commented by mr W last updated on 18/Jan/20
$${f}'\left({x}\right)=\mathrm{5}{x}^{\mathrm{4}} −\mathrm{209}=\mathrm{0}\:\Rightarrow{x}_{\mathrm{1},\mathrm{2}} =\mp\sqrt{\sqrt{\mathrm{209}/\mathrm{5}}} \\ $$$${f}\left({x}_{\mathrm{1}} \right)>\mathrm{0},\:{f}\left({x}_{\mathrm{2}} \right)<\mathrm{0} \\ $$$${f}\left(\rightarrow−\infty\right)\rightarrow−\infty,\:{f}\left(\rightarrow+\infty\right)\rightarrow+\infty \\ $$$$\Rightarrow{three}\:{real}\:{roots}\:{exist}.\:{one}\:<−\sqrt{\sqrt{\mathrm{209}/\mathrm{5}}} \\ $$$${one}\:>\sqrt{\sqrt{\mathrm{209}/\mathrm{5}}}\:{and}\:{the}\:{third}\:{one}\:{between}. \\ $$
Commented by mr W last updated on 18/Jan/20
Commented by mr W last updated on 18/Jan/20
$${that}\:{f}\left({x}\right)\:{has}\:{one}\:{factor}\:{x}^{\mathrm{2}} +{px}+\mathrm{1}\:{is} \\ $$$${the}\:{proof}\:{that}\:{two}\:{roots}\:{exist}\:{whose} \\ $$$${product}\:{is}\:\mathrm{1}. \\ $$
Commented by mr W last updated on 18/Jan/20
$${solution}\:{of}\:{MJS}\:{sir}\:{is}\:{absolutely} \\ $$$${correct}\:{and}\:{nice}. \\ $$