prove that 2 tan^-1 {tan a/2 . tan(pi/4 - b/2) } = tan^-1 {sina cosb/cosa+sinb}