Given:
f(x)=2x+cot−1x+log(√1+x2−x)
Differentiating both sides w.r.t. x, we get
⇒f'(x)=2−11+x2+1√1+x2−x[1√1+x2−1]
=2−11+x2+1√1+x2−x.x−√1+x2√1+x2
⇒f'(x)=2−11+x2−1√1+x2
Since. 1+x2 & √1+x2≥1 for all real x
⇒11+x2 & 1√1+x2≤1 for all real x
∴2−11+x2 & 1√1+x2>0 for all real x
⇒f'(x)≥0 for all real x
Hence, f(x) is increasing on R
Hence proved.