Question Number 64201 by Prithwish sen last updated on 15/Jul/19
$$\mathrm{Find}\:\mathrm{all}\:\mathrm{positive}\:\mathrm{solutions}\: \\ $$$$\mathrm{x}+\mathrm{y}+\mathrm{z}\:=\:\mathrm{1} \\ $$$$\mathrm{x}^{\mathrm{3}} +\mathrm{y}^{\mathrm{3}} +\:\mathrm{z}^{\mathrm{3}} \:+\:\mathrm{xyz}\:=\:\mathrm{x}^{\mathrm{4}} \:+\:\mathrm{y}^{\mathrm{4}} \:+\:\mathrm{z}^{\mathrm{4}} \:+\mathrm{1} \\ $$
Answered by MJS last updated on 15/Jul/19
$${z}=\mathrm{1}−{x}−{y} \\ $$$$\Rightarrow \\ $$$${y}^{\mathrm{4}} +\mathrm{2}\left({x}−\mathrm{1}\right){y}^{\mathrm{3}} +\frac{\mathrm{6}{x}^{\mathrm{2}} −\mathrm{8}{x}+\mathrm{3}}{\mathrm{2}}{y}^{\mathrm{2}} +\frac{\mathrm{4}{x}^{\mathrm{3}} −\mathrm{8}{x}^{\mathrm{2}} +\mathrm{5}{x}−\mathrm{1}}{\mathrm{2}}{y}+\frac{\mathrm{2}{x}^{\mathrm{4}} −\mathrm{4}{x}^{\mathrm{3}} +\mathrm{3}{x}^{\mathrm{2}} −{x}+\mathrm{1}}{\mathrm{2}}=\mathrm{0} \\ $$$${y}={t}−\frac{{x}−\mathrm{1}}{\mathrm{2}} \\ $$$${t}^{\mathrm{4}} +\frac{{x}\left(\mathrm{3}{x}−\mathrm{2}\right)}{\mathrm{2}}{t}^{\mathrm{2}} +\frac{\mathrm{9}{x}^{\mathrm{4}} −\mathrm{12}{x}^{\mathrm{3}} +\mathrm{4}{x}^{\mathrm{2}} +\mathrm{7}}{\mathrm{16}}=\mathrm{0} \\ $$$$\Rightarrow\:{t}^{\mathrm{2}} =−\frac{{x}\left(\mathrm{3}{x}−\mathrm{2}\right)}{\mathrm{4}}\pm\frac{\sqrt{\mathrm{7}}}{\mathrm{4}}\mathrm{i} \\ $$$$\Rightarrow\:\mathrm{no}\:\mathrm{real}\:\mathrm{solutions}\:\mathrm{at}\:\mathrm{all} \\ $$
Commented by MJS last updated on 15/Jul/19
$$\mathrm{the}\:\mathrm{maximum}\:\mathrm{of} \\ $$$$−{x}^{\mathrm{4}} −{y}^{\mathrm{4}} −{z}^{\mathrm{4}} −\mathrm{1}+{x}^{\mathrm{3}} +{y}^{\mathrm{3}} +{z}^{\mathrm{3}} +{xyz} \\ $$$$\mathrm{is}\:−\frac{\mathrm{7}}{\mathrm{8}} \\ $$
Commented by Prithwish sen last updated on 15/Jul/19
$$\mathrm{thank}\:\mathrm{you}\:\mathrm{sir} \\ $$
Answered by ajfour last updated on 16/Jul/19
$$\left({x}+{y}+{z}\right)^{\mathrm{4}} ={x}^{\mathrm{4}} +\left({y}+{z}\right)^{\mathrm{4}} +\mathrm{4}{x}^{\mathrm{3}} \left({y}+{z}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:+\mathrm{6}{x}^{\mathrm{2}} \left({y}+{z}\right)^{\mathrm{2}} +\mathrm{4}{x}\left({y}+{z}\right)^{\mathrm{3}} \\ $$$$\Rightarrow\:{x}^{\mathrm{4}} +{y}^{\mathrm{4}} +{z}^{\mathrm{4}} +\mathrm{4}{yz}\left[\left({y}+{z}\right)^{\mathrm{2}} −\mathrm{2}{yz}\right) \\ $$$$\:\:+\mathrm{6}{y}^{\mathrm{2}} {z}^{\mathrm{2}} +\mathrm{6}{x}^{\mathrm{2}} \left({y}+{z}\right)^{\mathrm{2}} +\mathrm{4}{x}\left({y}+{z}\right)^{\mathrm{3}} =\mathrm{1} \\ $$$$ \\ $$$${or}\:\:{since}\:\:{y}+{z}=\mathrm{1}−{x} \\ $$$$\Rightarrow \\ $$$${x}^{\mathrm{4}} +{y}^{\mathrm{4}} +{z}^{\mathrm{4}} −\mathrm{2}{y}^{\mathrm{2}} {z}^{\mathrm{2}} +\mathrm{6}{x}^{\mathrm{2}} \left(\mathrm{1}−{x}\right)^{\mathrm{2}} \\ $$$$\:\:\:\:\:\:+\mathrm{4}{x}\left(\mathrm{1}−{x}\right)^{\mathrm{3}} =\mathrm{1}\:\:\:\:\:\:\: \\ $$$$\:\:\:\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ \\ $$$$\Rightarrow\:\:\mathrm{2}{y}^{\mathrm{2}} {z}^{\mathrm{2}} =\:{x}^{\mathrm{4}} +{y}^{\mathrm{4}} +{z}^{\mathrm{4}} +\left(\mathrm{2}{x}^{\mathrm{2}} +\mathrm{4}{x}\right)\left(\mathrm{1}−{x}\right)^{\mathrm{2}} −\mathrm{1} \\ $$$$\:\:\:\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:……\left({i}\right) \\ $$$$\left({x}+{y}+{z}\right)^{\mathrm{3}} ={x}^{\mathrm{3}} +{y}^{\mathrm{3}} +{z}^{\mathrm{3}} \\ $$$$\:+\mathrm{3}\left[{x}^{\mathrm{2}} \left({y}+{z}\right)+{y}^{\mathrm{2}} \left({z}+{x}\right)+{z}^{\mathrm{2}} \left({x}+{y}\right)\right] \\ $$$$\:\:+\mathrm{6}{xyz} \\ $$$$\Rightarrow\:\:{x}^{\mathrm{3}} +{y}^{\mathrm{3}} +{z}^{\mathrm{3}} +\mathrm{3}{x}^{\mathrm{2}} \left(\mathrm{1}−{x}\right)+\mathrm{3}{yz}\left(\mathrm{1}−{x}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:+\mathrm{3}{x}\left(\mathrm{1}−\mathrm{2}{yz}\right)+\mathrm{6}{xyz}=\mathrm{1} \\ $$$$\Rightarrow\:{yz}=\frac{{x}^{\mathrm{3}} +{y}^{\mathrm{3}} +{z}^{\mathrm{3}} −\mathrm{3}{x}^{\mathrm{3}} +\mathrm{3}{x}^{\mathrm{2}} +\mathrm{3}{x}−\mathrm{1}}{\mathrm{3}{x}−\mathrm{3}} \\ $$$${or} \\ $$$$\:\:\mathrm{3}\left({x}−\mathrm{1}\right){yz}={x}^{\mathrm{3}} +{y}^{\mathrm{3}} +{z}^{\mathrm{3}} +\left(\mathrm{1}−{x}^{\mathrm{2}} \right)\left(\mathrm{3}{x}−\mathrm{1}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:…….\left({ii}\right) \\ $$$$\left({i}\right)−\left({ii}\right) \\ $$$$\mathrm{2}{y}^{\mathrm{2}} {z}^{\mathrm{2}} −\mathrm{3}\left({x}−\mathrm{1}\right){yz}={xyz}−\mathrm{1} \\ $$$$\:\:\:+\mathrm{2}{x}\left({x}+\mathrm{2}\right)\left(\mathrm{1}−{x}\right)^{\mathrm{2}} −\mathrm{1}−\left(\mathrm{1}−{x}^{\mathrm{2}} \right)\left(\mathrm{3}{x}−\mathrm{1}\right) \\ $$$$\Rightarrow\:\: \\ $$$$\mathrm{2}{yz}\left({yz}+{x}\right)+\mathrm{2}=\left(\mathrm{1}−{x}\right)\left[−\mathrm{2}{x}^{\mathrm{3}} −\mathrm{2}{x}^{\mathrm{2}} +\mathrm{4}{x}−\mathrm{3}{x}^{\mathrm{2}} −\mathrm{2}{x}+\mathrm{1}\right) \\ $$$$\Rightarrow\:\mathrm{2}{yz}\left({yz}+{x}\right)+\mathrm{2}+ \\ $$$$\:\:\:\:\:\:\:\:\:\left(\mathrm{1}−{x}\right)\left(\mathrm{2}{x}^{\mathrm{3}} +\mathrm{5}{x}^{\mathrm{2}} −\mathrm{2}{x}−\mathrm{1}\right)=\mathrm{0} \\ $$$${say} \\ $$$$\:\:\:{y}^{\mathrm{2}} {z}^{\mathrm{2}} +{x}\left({yz}\right)+\mathrm{1}+{f}=\mathrm{0} \\ $$$$\:\:\:{yz}=−\frac{{x}}{\mathrm{2}}+\sqrt{\frac{{x}^{\mathrm{2}} }{\mathrm{4}}−\left(\mathrm{1}+{f}\right)} \\ $$$$\:\:{and}\:\:\:{y}+{z}=\mathrm{1}−{x} \\ $$$$\Rightarrow \\ $$$$\:\:{y},\:{z}\:{are}\:{roots}\:{of}\:{eq}. \\ $$$$\:\:\:{s}^{\mathrm{2}} −\left(\mathrm{1}−{x}\right){s}+\sqrt{\frac{{x}^{\mathrm{2}} }{\mathrm{4}}−\left(\mathrm{1}+{f}\right)}−\frac{{x}}{\mathrm{2}}=\mathrm{0} \\ $$$$\Rightarrow\:{y},\:{z}\:=\:\frac{\mathrm{1}−{x}}{\mathrm{2}}\pm\sqrt{\frac{\left(\mathrm{1}−{x}\right)^{\mathrm{2}} }{\mathrm{4}}+\frac{{x}}{\mathrm{2}}−\sqrt{\frac{{x}^{\mathrm{2}} }{\mathrm{4}}−\left(\mathrm{1}+{f}\right)}} \\ $$$${for}\:+{ve}\:\:\:\:{y}\:{and}\:{z}\:\:,\:\:{x}<\mathrm{1} \\ $$$$\:\:\:\mathrm{1}+{f}\:<\:\mathrm{0} \\ $$$$\:\:\:\:\:\:\:\:\:\mathrm{2}+\mathrm{2}{f}=\left(\mathrm{1}−{x}\right)\left(\mathrm{2}{x}^{\mathrm{3}} +\mathrm{5}{x}^{\mathrm{2}} −\mathrm{2}{x}−\mathrm{1}\right)+\mathrm{2}<\:\mathrm{0} \\ $$$$\Rightarrow\:\:\mathrm{2}{x}^{\mathrm{4}} +\mathrm{3}{x}^{\mathrm{3}} −\mathrm{7}{x}^{\mathrm{2}} +{x}−\mathrm{1}>\:\mathrm{0} \\ $$$$\:\:\:\:{for}\:{x}\in\left(\mathrm{0},\mathrm{1}\right) \\ $$$$\:\:\:\:\:{but}\:{for}\:{no}\:{real}\:{x}\:{is}\:{this}\:{true}, \\ $$$$\:\:\left({see}\:{graph}\:{below}\right).. \\ $$
Commented by ajfour last updated on 16/Jul/19
Commented by Prithwish sen last updated on 16/Jul/19
$$\mathrm{Thank}\:\mathrm{you}\:\mathrm{sir} \\ $$