>>94
(1) tan の加法定理
(2) A,B を通る円がx軸に接するとき最大。接点がC。