x,y,z \in \!\, R (με x,y,z > 0)
Νδο (x+y)(xy+1)(z2 +1)=8xyz
(√x-√y)2 ≥ 0 ó x-2√x√y+y ≥ 0 ή x+y ≥ 2√x√y (1)
(√x√y -1)2 ≥ 0 ó xy-2√x√y+1 ≥ 0 ή xy+1 ≥ 2√x√y (2)
(z-1)2 ≥ 0 ó z2-2z+1 ≥ 0 ή z2+1 ≥ 2z (3)
Πολλαπλασιάζοντας τις σχέσεις (1),(2),(3) κατά μέλη προκύπτει: (x+y)(xy+1)(z2 +1) ≥ 8√x2√y2z = 8xyz
Η ισότητα ισχύει όταν :
(√x-√y)2 = 0 ή x=y (4)
(√x√y -1)2 = 0 ή xy=1 (5)
(z-1)2 = 0 ή z=1 (6)
Η σχέση (5) με τη βοήθεια της (4) γίνεται: x2=1 ή x=1(δεκτή) ή x = -1(απορρίπτεται, αφού x,y,z > 0) και λόγω της (4) y=x ή
ή y=1
Άρα (x,y,z)=(1,1,1)
Σημείωση: Το μήνυμα αυτό γράφτηκε 14 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.