The Taylor expansions at zero give and . Squaring the first expression gives , so canceling the leading quadratic power yieldsBoth numerator and denominator vanish, but their leading nonzero coefficients have ratio two.
Expand before taking the fourth derivative:The apparent singularity at zero is removable. The convergent power series may be differentiated termwise, givingAt , the successive contributions are , and approximately . ThusEven the first two nonzero terms give ; the next retained correction quantifies that estimate's accuracy.
Use with the inverse tangent branch . Then , soFor , the geometric series gives . Integrating term by term on compact subintervals of producesThe integral identity itself holds for every real ; the displayed local power-series argument uses .
Articles by others on the same topic
There are currently no matching articles.