第14章§6 - 2 2/03/2024 (証明) 問題1で示したtanの加法定理においてtanx=12,tany=13とすると tan(x+y)=tanx+tany1−tanxtany=12+131−12⋅13=1 これよりx+y=arctan1 となるからarctan12+arctan13=π4である. (証明終)