Applying the trigonometric identities in the LHS of 2tan−1(12)+tan−1(17)=tan−1(3117).
2tan−1(12)+tan−1(17)=tan−1⎛⎜ ⎜ ⎜ ⎜⎝2(12)1−(12)2⎞⎟ ⎟ ⎟ ⎟⎠+tan−1(17)
=tan−1⎛⎜ ⎜ ⎜⎝11−14⎞⎟ ⎟ ⎟⎠+tan−1(17)
=tan−1⎛⎜ ⎜ ⎜⎝134⎞⎟ ⎟ ⎟⎠+tan−1(17)
=tan−1(43)+tan−1(17)
=tan−1⎛⎜ ⎜ ⎜⎝43+171−(43)(17)⎞⎟ ⎟ ⎟⎠
=tan−1⎛⎜ ⎜ ⎜⎝28+3211−421⎞⎟ ⎟ ⎟⎠
=tan−1(3117)
=RHS