Given : tan−1x−cot−1x=cos−1(2−x) Above equality holds good iff
2−x∈[−1,1]⇒x∈[1,3]
Now,
2tan−1x−π2=cos−1(2−x)[∵tan−1x+cot−1x=π2]
Taking cosine on both sides, we get
⇒cos(2tan−1x−π2)=2−x⇒sin(2tan−1x)=2−x⇒2tan(tan−1x)1+tan2(tan−1x)=2−x⇒2x(1+x2)=2−x⇒x3−2x2+3x−2=0
By observation, x=1 is one root
⇒(x−1)(x2−x+2)=0
As x2−x+2>0 ∀x∈R
∴x=1
Hence, the sum of all the real solution is 1.