tan(arctanx1+arctanx2)
=(x1+x2)/(1-x1x2)
=sin(π/5)/[1-cos(4π/5)]
=sin(π/5)/[2sin^2(2π/5)]
=sin(4π/5)/[2sin^2(2π/5)]
=2sin(2π/5)cos(2π/5)/[2sin^2(2π/5)]
=cot(2π/5)
故
arctanx1+arctanx2=π/2-2π/5=π/10
tan(arctanx1+arctanx2)
=(x1+x2)/(1-x1x2)
=sin(π/5)/[1-cos(4π/5)]
=sin(π/5)/[2sin^2(2π/5)]
=sin(4π/5)/[2sin^2(2π/5)]
=2sin(2π/5)cos(2π/5)/[2sin^2(2π/5)]
=cot(2π/5)
故
arctanx1+arctanx2=π/2-2π/5=π/10