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.