`L.H.S. = cot^(-1)7+cot^(-1)8+cot^(-1)18`
`=tan^(-1).(1)/(7)+tan^(-1).(1)/(8)+tan^(-1).(1)/(18),`
`" "[because cot^(-1)x=tan^(-1).(1)/(x)]`
`=(tan^(-1).(1)/(7)+tan^(-1).(1)/(8))+tan^(-1).(1)/(18)`
`=tan^(-1)(((1)/(7)+(1)/(8))/(1-(1)/(7)xx(1)/(8)))+tan^(-1).(1)/(18)`
`=tan^(-1)((15)/(55))+tan^(-1).(1)/(18)`
`=tan^(-1).(3)/(11)+tan^(-1).(1)/(18)`
`=tan^(-1)((65)/(195))=tan^(-1)((1)/(3))`
`=cot^(-1)3`
= R.H.S.
यही सिद्ध करना था।