Prove that cot (π4−2cot−1 3)=7
We have to prove, cot(π4−2cot−1 3)=7
⇒ (π4−2cot−1 3)=cot−1 7⇒ (2cot−1 3)=π4−cot−1 7⇒ 2tan−113=π4−tan−117⇒ 2tan−113+tan−117=π4⇒ tan−12/31−(1/3)2+tan−117=π4⇒ tan−12/38/9+tan−117=π4⇒ tan−134+tan−117=π4⇒ tan−134+171−34.17=π4⇒ tan−1(21+4)/28(28−3)/28=π4⇒ tan−12525=π4⇒ 1=tanπ4⇒ 1=1⇒ LHS=RHS Hence proved.