MathDB
Today's calculation of Integral 853

Source:

November 12, 2012
calculusintegrationlimitlogarithmstrigonometrycalculus computations

Problem Statement

Let 0<a<π2.0<a<\frac {\pi}2. Find lima+01a30aln (1+tanatanx) dx.\lim_{a\rightarrow +0} \frac{1}{a^3}\int_0^a \ln\ (1+\tan a\tan x)\ dx.