MathDB
Circumradii???

Source: 2022 AIME I #15

February 9, 2022
AMCAIMEAIME I

Problem Statement

Let xx, yy, and zz be positive real numbers satisfying the system of equations \begin{align*} \sqrt{2x - xy} + \sqrt{2y - xy} & = 1\\ \sqrt{2y - yz} + \hspace{0.1em} \sqrt{2z - yz} & = \sqrt{2}\\ \sqrt{2z - zx\vphantom{y}} + \sqrt{2x - zx\vphantom{y}} & = \sqrt{3}. \end{align*}Then [(1x)(1y)(1z)]2\big[ (1-x)(1-y)(1-z) \big] ^2 can be written as mn\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+nm+n.