cotx=t değişken değiştirmesi yapılırsa denklem 3t2+8t+3=0 biçimine dönüşür. Δ=82−4⋅3⋅3=28>0 olduğundan iki farklı gerçel t çözümü vardır. Bunlara t1, t2 diyelim. Köklerin her ikisi de negatiftir. t1,2=−4∓√73 t1+t2=83 ve t1⋅t2=1 olduğunu da not edelim.
cotx=−4+√73 dersek x değerleri 2. ve 4. bölgede olacaktır. x1=arccot−4+√73 ve x2=arccot−4+√73+π bulunur.
Benzer biçimde cotx=−4−√73 dersek yine x değerleri 2. ve 4. bölgede olacaktır. x3=arccot−4−√73 ve x4=arccot−4−√73+π bulunur.
Sonuç olarak x1+x2+x3+x4=2arccot−4+√73+2arccot−4−√73+2π elde edilir. Fakat bu haliyle pek şık durmadı. cot(x1+x3) için özdeşliği kullanacağız ancak hatırlayamadım. Hemen onu da ispat edelim:
cot(x1+x3)=1tan(x1+x3)=1−tanx1⋅tanx3tanx1+tanx3=1−1cotx1⋅cotx31cotx1+1cotx3=cotx1⋅cotx3−1cotx1+cotx3
oluyormuş. cotx1⋅cotx3=t1⋅t2=1 ve cotx1+cotx3=t1+t2=83. O halde (1) den dolayı cot(x1+x3)=0 bulunur. Buna göre x1+x3=π2+kπ dir. Ancak x1, x3 değerleri geniş açı olduğundan k=1 alınmalıdır. x1+x3=3π2 olur. x2+x4=3π2+2π=7π2 dir. Toplamda
x1+x2+x3+x4=5π
elde edilir.