第14章§6 - 2

(証明) 問題1で示したtanの加法定理においてtanx=12,tany=13とすると tan(x+y)=tanx+tany1tanxtany=12+1311213=1 これよりx+y=arctan1 となるからarctan12+arctan13=π4である. 
(証明終)