How do you prove tan^-1(1/4)+tan^-1(2/9)=tan^-1(1/2)?