a+b=pi/4.
1=tan(pi/4)=(tan(a)+tan(b))/(1-tan(a)tan(b)).
(1+tan(a))(1+tan(b))=2.