Question Number 112004 by Aina Samuel Temidayo last updated on 05/Sep/20

$$\mathrm{Suppose}\:\mathrm{x},\mathrm{y},\mathrm{z}\:\in\mathbb{N},\:\left(\mathrm{yz}+\mathrm{x}\right)\:\mathrm{is}\:\mathrm{prime} \\ $$$$\left(\mathrm{yz}+\mathrm{x}\right)\mid\left(\mathrm{zx}+\mathrm{y}\right),\:\left(\mathrm{yz}+\mathrm{x}\right)\mid\left(\mathrm{xy}+\mathrm{z}\right). \\ $$$$\mathrm{Find}\:\mathrm{all}\:\mathrm{possible}\:\mathrm{values}\:\mathrm{of}\: \\ $$$$\frac{\left(\mathrm{xy}+\mathrm{z}\right)\left(\mathrm{zx}+\mathrm{y}\right)}{\left(\mathrm{yz}+\mathrm{x}\right)^{\mathrm{2}} }. \\ $$
Answered by A5T last updated on 15/Jul/25

$$\left(\mathrm{yz}+\mathrm{x}\right)\mid\mathrm{zx}+\mathrm{y}+\mathrm{xy}+\mathrm{z}=\left(\mathrm{z}+\mathrm{y}\right)\left(\mathrm{x}+\mathrm{1}\right) \\ $$$$\mathrm{yz}+\mathrm{x}\:\mathrm{is}\:\mathrm{prime}\:\Rightarrow\:\mathrm{yz}+\mathrm{x}\mid\mathrm{z}+\mathrm{y}\:\mathrm{or}\:\mathrm{yz}+\mathrm{x}\mid\mathrm{x}+\mathrm{1} \\ $$$$\mathrm{Case}\:\mathrm{I}:\:\mathrm{yz}+\mathrm{x}\mid\mathrm{z}+\mathrm{y} \\ $$$$\mathrm{when}\:\mathrm{y},\mathrm{z}\geqslant\mathrm{2}\:,\mathrm{yz}\geqslant\mathrm{2y}\:\mathrm{and}\:\mathrm{yz}\geqslant\mathrm{2z} \\ $$$$\Rightarrow\mathrm{2yz}\geqslant\mathrm{2}\left(\mathrm{y}+\mathrm{z}\right)\Rightarrow\mathrm{yz}\geqslant\mathrm{y}+\mathrm{z}\Rightarrow\mathrm{yz}+\mathrm{x}>\mathrm{y}+\mathrm{z}\:\mathrm{since}\:\mathrm{x}\geqslant\mathrm{1} \\ $$$$\Rightarrow\mathrm{One}\:\mathrm{of}\:\mathrm{y},\mathrm{z}\:\mathrm{is}\:\mathrm{1},\:\mathrm{when}\:\mathrm{y}=\mathrm{1},\:\mathrm{z}+\mathrm{x}\mid\mathrm{z}+\mathrm{1} \\ $$$$\mathrm{z}+\mathrm{x}\leqslant\mathrm{z}+\mathrm{1}\Rightarrow\mathrm{x}=\mathrm{1}\Rightarrow\left(\mathrm{x},\mathrm{y},\mathrm{z}\right)=\left(\mathrm{1},\mathrm{1},\mathrm{z}\right) \\ $$$$\mathrm{when}\:\mathrm{z}=\mathrm{1},\:\mathrm{y}+\mathrm{x}\mid\mathrm{y}+\mathrm{1}\Rightarrow\mathrm{y}+\mathrm{x}\leqslant\mathrm{y}+\mathrm{1}\Rightarrow\mathrm{x}=\mathrm{1} \\ $$$$\Rightarrow\left(\mathrm{x},\mathrm{y},\mathrm{z}\right)=\left(\mathrm{1},\mathrm{y},\mathrm{1}\right) \\ $$$$\Rightarrow\frac{\left(\mathrm{xy}+\mathrm{z}\right)\left(\mathrm{zx}+\mathrm{y}\right)}{\left(\mathrm{yz}+\mathrm{x}\right)^{\mathrm{2}} }=\frac{\left(\mathrm{1}+\mathrm{z}\right)\left(\mathrm{z}+\mathrm{1}\right)}{\left(\mathrm{z}+\mathrm{1}\right)^{\mathrm{2}} }=\mathrm{1} \\ $$$$\mathrm{or}\:\frac{\left(\mathrm{y}+\mathrm{1}\right)\left(\mathrm{1}+\mathrm{y}\right)}{\left(\mathrm{y}+\mathrm{1}\right)^{\mathrm{2}} }=\mathrm{1} \\ $$$$\mathrm{Case}\:\mathrm{II}:\:\mathrm{yz}+\mathrm{x}\mid\mathrm{x}+\mathrm{1}\:\Rightarrow\mathrm{yz}+\mathrm{x}\leqslant\mathrm{x}+\mathrm{1}\Rightarrow\mathrm{yz}\leqslant\mathrm{1} \\ $$$$\Rightarrow\left(\mathrm{x},\mathrm{y},\mathrm{z}\right)=\left(\mathrm{x},\mathrm{1},\mathrm{1}\right)\Rightarrow\frac{\left(\mathrm{xy}+\mathrm{z}\right)\left(\mathrm{zx}+\mathrm{y}\right)}{\left(\mathrm{yz}+\mathrm{x}\right)^{\mathrm{2}} }=\frac{\left(\mathrm{x}+\mathrm{1}\right)\left(\mathrm{x}+\mathrm{1}\right)}{\left(\mathrm{x}+\mathrm{1}\right)^{\mathrm{2}} }=\mathrm{1} \\ $$$$ \\ $$$$\Rightarrow\mathrm{In}\:\mathrm{all}\:\mathrm{cases},\:\mathrm{we}\:\mathrm{have}\:\frac{\left(\mathrm{xy}+\mathrm{z}\right)\left(\mathrm{zx}+\mathrm{y}\right)}{\left(\mathrm{yz}+\mathrm{x}\right)^{\mathrm{2}} }=\mathrm{1} \\ $$