- Simplify the summand
Let
θr=2r+1x.
Then the summand is
1−tan2θrtanθr+tan3θr=1−tan2θrtanθr(1+tan2θr).
Using
and the identity
tan2θ=1−tan2θ2tanθ,
we get
1−tan2θtanθ(1+tan2θ)=1−tan2θtanθsec2θ.
But it is easier to rewrite directly in sine-cosine form:
1−tan2θtanθ+tan3θ=1−tan2θtanθ(1+tan2θ)=1−tan2θtanθsec2θ.
Now,
tanθ=cosθsinθ,sec2θ=cos2θ1,1−tan2θ=cos2θcos2θ.
So
1−tan2θtanθsec2θ=cosθcos2θsinθ.
Using
sin2θ=2sinθcosθ,
this becomes
2cos2θcos2θsin2θ
but the cleanest observation is:
1−tan2θtanθ+tan3θ=cos2θtanθ=cosθcos2θsinθ.
Now compare with
tan2θ=1−tan2θ2tanθ.
Hence
1−tan2θtanθ+tan3θ=21tan2θ(1+tan2θ)
which is still not telescoping directly. So instead, let us simplify more carefully:
Since
tanθ+tan3θ=tanθ(1+tan2θ)=tanθsec2θ,
and
1−tan2θ=cos2θcos2θ,
we get
1−tan2θtanθsec2θ=tanθ⋅cos2θ1⋅cos2θcos2θ=cos2θtanθ.
Now,
tan2θ=1−tan2θ2tanθ
and
1+tan2θ=sec2θ.
A better route is to test whether this equals 21tan2θ:
21tan2θ=1−tan2θtanθ,
which is not our summand.
So let us proceed by series expansion near x=0, since the required limit is only as x→0.
- Asymptotic expansion of the summand for small argument
Let
u=2r+1x.
For small u,
tanu=u+3u3+O(u5),
so
tan2u=u2+O(u4),tan3u=u3+O(u5).
Thus
tanu+tan3u=u+34u3+O(u5).
Also,
1−tan2u1=1+u2+O(u4).
Therefore,
1−tan2utanu+tan3u=(u+34u3+O(u5))(1+u2+O(u4))=u+37u3+O(u5).
Hence
f(x)=r=0∑∞(2r+1x+O(23rx3)).
So
f(x)=xr=0∑∞2r+11+O(x3)=x+O(x3),
because
r=0∑∞2r+11=1.
Thus, near x=0,
f(x)→0andf(x)=x+O(x3).
- Evaluate the required limit
We need
L=x→0limx−f(x)ex−ef(x).
Apply the Mean Value Theorem to et between t=x and t=f(x):
ex−ef(x)=eξx(x−f(x))
for some ξx lying between x and f(x).
Since both x→0 and f(x)→0, we have ξx→0.
Therefore,
L=x→0limeξx=e0=1.
So the required integer is
1.
- Comparison with stored answer
Stored correct answer = 1.
Our derived answer = 1.
Hence they agree.