Ou bien:
Le système ==> ( 1/x + 1/y + 1/z)(x+y+z) = 9
==> 1 + y/x + z/x + x/y + 1 + z/y + x/z + y/z + 1 = 9
==> x/y + y/x -2 + x/z + z/x -2 + z/y + y/z = 0
==> (x-y)²/xy + (x-z)²/xz + (z-y)²/zy = 0
==> (x-y)²/xy = (x-z)²/xz = (z-y)²/zy = 0 (parce qu'ils sont tous positifs)
==> x = y = z
==> 3x = 3/670
==> x = y = z = 1/670
Et réciproquement, on peut bien constater que le couple est bien une solution au système proposé.
Alors : S={(1/670 ; 1/670 ; 1/670)}
CQFD.