God knows what that complex number stuff is about. All the question needs is 5 minutes of trigonometry.
prove arctan(1/20) + arctan(1/1985) = pi/4 - 3arctan(1/4)
prove tan(arctan(1/20) + arctan(1/1985)) = tan(pi/4 - 3arctan(1/4))
LHS -> [(1/20) + (1/1985)]/[1 - 1/(20*1985)]
= [(397 + 4)/(7940)]/[39,699/39,700]
= 401*5/39,699
= 2005/39,699
= 5/99
RHS -> [1 - tan(3arctan(1/4))]/[1 + tan(3arctan(1/4)]
tan3x identity
tan3x = [tan2x + tanx]/[1 - tanxtan2x]
= [2tanx/(1-tan^2x) + tanx]/[1 - 2tan^2x/1-tan^2x]
= [2tanx + tanx - tan^3x]/[1 - tan^2x - 2tan^2x]
tan3x = [3tanx - tan^3x]/[1 - 3tan^2x]
tan(3arctan(1/4)) = [3/4 - 1/64]/[1 - 3/16]
= (47/64)/(52/64)
= 47/52
RHS-> [1 - 47/52]/[1 + 47/52]
= (5/52)/(99/52)
= 5/99
EDIT: I've loaded up the paper and will see what it's talking about.
EDIT2: I'd do the other part by the same method aswell.