MathLabs

Problem 4

Find all positive real solutions (x1,x2,x3,x4,x5)(x_1,x_2,x_3,x_4,x_5) of (x12−x3x5)(x22−x3x5)≤0(x_1^2-x_3x_5)(x_2^2-x_3x_5)\le0, (x22−x4x1)(x32−x4x1)≤0(x_2^2-x_4x_1)(x_3^2-x_4x_1)\le0, (x32−x5x2)(x42−x5x2)≤0(x_3^2-x_5x_2)(x_4^2-x_5x_2)\le0, (x42−x1x3)(x52−x1x3)≤0(x_4^2-x_1x_3)(x_5^2-x_1x_3)\le0, and (x52−x2x4)(x12−x2x4)≤0(x_5^2-x_2x_4)(x_1^2-x_2x_4)\le0.
Step 3 of 4: Cancel positive factors
In plain words

Positivity lets product equalities become variable equalities.

x1x2=x1x4,x2x3=x2x5,x3x4=x3x1,x4x5=x4x2x_1x_2=x_1x_4,\quad x_2x_3=x_2x_5,\quad x_3x_4=x_3x_1,\quad x_4x_5=x_4x_2
Detailed analysis

All ten squares must vanish. Since every xi>0x_i>0, the displayed equalities imply x2=x4x_2=x_4, x3=x5x_3=x_5, x4=x1x_4=x_1, and x5=x2x_5=x_2.