Označimo t=sinx. Budući da je x∈[0,2π], slijedi t∈[0,1].
Za t∈[0,1] vrijedi
t+12t2+2≤2.
Naime,
t+12t2+2≤2⟺t+12t2−2t≤0⟺t+1t(t−1)≤0.
Za t∈[0,1] nazivnik je pozitivan, a brojnik nepozitivan, pa posljednja nejednakost vrijedi. Stoga izraz na lijevoj strani dane jednadžbe iznosi najviše 2.
S druge strane, za svaki izbor para (x,y) vrijedi 3+cos(x+y)≥2. Time smo pokazali da je
sinx+12sin2x+2≤3+cos(x+y).
Jednakost se postiže ako i samo ako su obje strane jednake 2, što je moguće jedino ako je sinx=0 ili sinx=1, te cos(x+y)=−1. Budući da je x+y∈[0,π], jedino rješenje je
(x,y)=(2π,2π).