Množenjem zagrada i kraćenjem zajedničkih članova s obje strane dobijemo da je sustav ekvivalentan sustavu
sin2x+cos2ysin2y+cos2zsin2z+cos2x≥1,≥1,≥1.
Zbrajanjem ovih nejednakosti dobijemo
3≤(sin2x+cos2y)+(sin2y+cos2z)+(sin2z+cos2x).
Budući da je
3≤(sin2x+cos2y)+(sin2y+cos2z)+(sin2z+cos2x)=(sin2x+cos2x)+(sin2y+cos2y)+(sin2z+cos2z)=1+1+1=3,
zaključujemo da se u sve tri nejednakosti postiže jednakost.
Stoga je
sin2x=1−cos2y=sin2y.
Budući da su x i y šiljasti kutovi, njihovi sinusi su pozitivni pa je
sinx=siny,
odnosno
x=y.
Analogno slijedi i x=z.
Sva rješenja zadovoljavaju x=y=z. Direktnom provjerom se vidi da svi takvi x,y,z zaista jesu rješenja sustava.