Prove the result : 2tan^-1(1/2) + tan^-1(1/7) = tan^-1(31/17)