MIT 2015 Integration Question












49












$begingroup$


So one of the question on the MIT Integration bee has baffled me all day today $$int_{0}^{frac{pi}{4}}frac{tan^2 x}{1+x^2}text{d}x$$ I have tried a variety of things to do this, starting with
Integration By Parts Part 1
$$frac{tan x-x}{1+x^2}biggrvert_{0}^{frac{pi}{4}}-int_{0}^{frac{pi}{4}}frac{-2x(tan x -x)}{left (1+x^2 right )^2}text{d}x$$ which that second integral is not promising, so then we try
Integration By Parts Part 2
$$tan^{-1} xtan^2 xbiggrvert_{0}^{frac{pi}{4}}-int_{0}^{frac{pi}{4}}2tan^{-1} xtan xsec^2 xtext{d}x$$ which also does not seem promising
Trig Substitution
$x=tantheta$ which results $$int_{0}^{tan^{-1}frac{pi}{4}}tan^2 left (tanthetaright )text{d}theta$$ which I think too simple to do anything with (which may or may not be a valid reason for stopping here) I had some ideas following this like power reducing $tan^2 x=frac{1-cos 2x}{1+cos 2x}$ which didn't spawn any new ideas. Then I thought maybe something could be done with differentiation under the integral but I could not figure out how to incorporate that. I also considered something with symmetry somehow which availed no results. I'm also fairly certain no indefinite integral exists. Now the answer MIT gave was $frac{1}{3}$ but wolfram alpha gave $approx$ .156503. Note
The integral I gave was a simplified version of the original here is the original in case someone can do something with it $$int_{0}^{frac{pi}{4}}frac{1-x^2+x^4-x^6...}{cos^2 x+cos^4 x+cos^6 x...}text{d}x$$ My simplification is verifiably correct, I'd prefer no complex analysis and this is from this Youtube Video close to the end.










share|cite|improve this question











$endgroup$












  • $begingroup$
    Your bounds on the integral with trig sub should be $[0,arctan(frac{pi}{4})]$. It is true $tan (frac{pi}{4})=1$ but $arctan(frac{pi}{4}) neq 1$.
    $endgroup$
    – Ahmed S. Attaalla
    Feb 11 '17 at 0:58












  • $begingroup$
    That is true, but at this point it doesn't matter lol @AhmedS.Attaalla
    $endgroup$
    – Teh Rod
    Feb 11 '17 at 1:00










  • $begingroup$
    I cannot find the link now, but I'm pretty sure this integral was discussed here on Math.SE last Autumn. I don't remember the outcome of that discussion, though.
    $endgroup$
    – mickep
    Feb 15 '17 at 12:13
















49












$begingroup$


So one of the question on the MIT Integration bee has baffled me all day today $$int_{0}^{frac{pi}{4}}frac{tan^2 x}{1+x^2}text{d}x$$ I have tried a variety of things to do this, starting with
Integration By Parts Part 1
$$frac{tan x-x}{1+x^2}biggrvert_{0}^{frac{pi}{4}}-int_{0}^{frac{pi}{4}}frac{-2x(tan x -x)}{left (1+x^2 right )^2}text{d}x$$ which that second integral is not promising, so then we try
Integration By Parts Part 2
$$tan^{-1} xtan^2 xbiggrvert_{0}^{frac{pi}{4}}-int_{0}^{frac{pi}{4}}2tan^{-1} xtan xsec^2 xtext{d}x$$ which also does not seem promising
Trig Substitution
$x=tantheta$ which results $$int_{0}^{tan^{-1}frac{pi}{4}}tan^2 left (tanthetaright )text{d}theta$$ which I think too simple to do anything with (which may or may not be a valid reason for stopping here) I had some ideas following this like power reducing $tan^2 x=frac{1-cos 2x}{1+cos 2x}$ which didn't spawn any new ideas. Then I thought maybe something could be done with differentiation under the integral but I could not figure out how to incorporate that. I also considered something with symmetry somehow which availed no results. I'm also fairly certain no indefinite integral exists. Now the answer MIT gave was $frac{1}{3}$ but wolfram alpha gave $approx$ .156503. Note
The integral I gave was a simplified version of the original here is the original in case someone can do something with it $$int_{0}^{frac{pi}{4}}frac{1-x^2+x^4-x^6...}{cos^2 x+cos^4 x+cos^6 x...}text{d}x$$ My simplification is verifiably correct, I'd prefer no complex analysis and this is from this Youtube Video close to the end.










share|cite|improve this question











$endgroup$












  • $begingroup$
    Your bounds on the integral with trig sub should be $[0,arctan(frac{pi}{4})]$. It is true $tan (frac{pi}{4})=1$ but $arctan(frac{pi}{4}) neq 1$.
    $endgroup$
    – Ahmed S. Attaalla
    Feb 11 '17 at 0:58












  • $begingroup$
    That is true, but at this point it doesn't matter lol @AhmedS.Attaalla
    $endgroup$
    – Teh Rod
    Feb 11 '17 at 1:00










  • $begingroup$
    I cannot find the link now, but I'm pretty sure this integral was discussed here on Math.SE last Autumn. I don't remember the outcome of that discussion, though.
    $endgroup$
    – mickep
    Feb 15 '17 at 12:13














49












49








49


13



$begingroup$


So one of the question on the MIT Integration bee has baffled me all day today $$int_{0}^{frac{pi}{4}}frac{tan^2 x}{1+x^2}text{d}x$$ I have tried a variety of things to do this, starting with
Integration By Parts Part 1
$$frac{tan x-x}{1+x^2}biggrvert_{0}^{frac{pi}{4}}-int_{0}^{frac{pi}{4}}frac{-2x(tan x -x)}{left (1+x^2 right )^2}text{d}x$$ which that second integral is not promising, so then we try
Integration By Parts Part 2
$$tan^{-1} xtan^2 xbiggrvert_{0}^{frac{pi}{4}}-int_{0}^{frac{pi}{4}}2tan^{-1} xtan xsec^2 xtext{d}x$$ which also does not seem promising
Trig Substitution
$x=tantheta$ which results $$int_{0}^{tan^{-1}frac{pi}{4}}tan^2 left (tanthetaright )text{d}theta$$ which I think too simple to do anything with (which may or may not be a valid reason for stopping here) I had some ideas following this like power reducing $tan^2 x=frac{1-cos 2x}{1+cos 2x}$ which didn't spawn any new ideas. Then I thought maybe something could be done with differentiation under the integral but I could not figure out how to incorporate that. I also considered something with symmetry somehow which availed no results. I'm also fairly certain no indefinite integral exists. Now the answer MIT gave was $frac{1}{3}$ but wolfram alpha gave $approx$ .156503. Note
The integral I gave was a simplified version of the original here is the original in case someone can do something with it $$int_{0}^{frac{pi}{4}}frac{1-x^2+x^4-x^6...}{cos^2 x+cos^4 x+cos^6 x...}text{d}x$$ My simplification is verifiably correct, I'd prefer no complex analysis and this is from this Youtube Video close to the end.










share|cite|improve this question











$endgroup$




So one of the question on the MIT Integration bee has baffled me all day today $$int_{0}^{frac{pi}{4}}frac{tan^2 x}{1+x^2}text{d}x$$ I have tried a variety of things to do this, starting with
Integration By Parts Part 1
$$frac{tan x-x}{1+x^2}biggrvert_{0}^{frac{pi}{4}}-int_{0}^{frac{pi}{4}}frac{-2x(tan x -x)}{left (1+x^2 right )^2}text{d}x$$ which that second integral is not promising, so then we try
Integration By Parts Part 2
$$tan^{-1} xtan^2 xbiggrvert_{0}^{frac{pi}{4}}-int_{0}^{frac{pi}{4}}2tan^{-1} xtan xsec^2 xtext{d}x$$ which also does not seem promising
Trig Substitution
$x=tantheta$ which results $$int_{0}^{tan^{-1}frac{pi}{4}}tan^2 left (tanthetaright )text{d}theta$$ which I think too simple to do anything with (which may or may not be a valid reason for stopping here) I had some ideas following this like power reducing $tan^2 x=frac{1-cos 2x}{1+cos 2x}$ which didn't spawn any new ideas. Then I thought maybe something could be done with differentiation under the integral but I could not figure out how to incorporate that. I also considered something with symmetry somehow which availed no results. I'm also fairly certain no indefinite integral exists. Now the answer MIT gave was $frac{1}{3}$ but wolfram alpha gave $approx$ .156503. Note
The integral I gave was a simplified version of the original here is the original in case someone can do something with it $$int_{0}^{frac{pi}{4}}frac{1-x^2+x^4-x^6...}{cos^2 x+cos^4 x+cos^6 x...}text{d}x$$ My simplification is verifiably correct, I'd prefer no complex analysis and this is from this Youtube Video close to the end.







calculus integration definite-integrals






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Feb 11 '17 at 5:07









Martin Sleziak

44.9k10122276




44.9k10122276










asked Feb 11 '17 at 0:22









Teh RodTeh Rod

2,4351615




2,4351615












  • $begingroup$
    Your bounds on the integral with trig sub should be $[0,arctan(frac{pi}{4})]$. It is true $tan (frac{pi}{4})=1$ but $arctan(frac{pi}{4}) neq 1$.
    $endgroup$
    – Ahmed S. Attaalla
    Feb 11 '17 at 0:58












  • $begingroup$
    That is true, but at this point it doesn't matter lol @AhmedS.Attaalla
    $endgroup$
    – Teh Rod
    Feb 11 '17 at 1:00










  • $begingroup$
    I cannot find the link now, but I'm pretty sure this integral was discussed here on Math.SE last Autumn. I don't remember the outcome of that discussion, though.
    $endgroup$
    – mickep
    Feb 15 '17 at 12:13


















  • $begingroup$
    Your bounds on the integral with trig sub should be $[0,arctan(frac{pi}{4})]$. It is true $tan (frac{pi}{4})=1$ but $arctan(frac{pi}{4}) neq 1$.
    $endgroup$
    – Ahmed S. Attaalla
    Feb 11 '17 at 0:58












  • $begingroup$
    That is true, but at this point it doesn't matter lol @AhmedS.Attaalla
    $endgroup$
    – Teh Rod
    Feb 11 '17 at 1:00










  • $begingroup$
    I cannot find the link now, but I'm pretty sure this integral was discussed here on Math.SE last Autumn. I don't remember the outcome of that discussion, though.
    $endgroup$
    – mickep
    Feb 15 '17 at 12:13
















$begingroup$
Your bounds on the integral with trig sub should be $[0,arctan(frac{pi}{4})]$. It is true $tan (frac{pi}{4})=1$ but $arctan(frac{pi}{4}) neq 1$.
$endgroup$
– Ahmed S. Attaalla
Feb 11 '17 at 0:58






$begingroup$
Your bounds on the integral with trig sub should be $[0,arctan(frac{pi}{4})]$. It is true $tan (frac{pi}{4})=1$ but $arctan(frac{pi}{4}) neq 1$.
$endgroup$
– Ahmed S. Attaalla
Feb 11 '17 at 0:58














$begingroup$
That is true, but at this point it doesn't matter lol @AhmedS.Attaalla
$endgroup$
– Teh Rod
Feb 11 '17 at 1:00




$begingroup$
That is true, but at this point it doesn't matter lol @AhmedS.Attaalla
$endgroup$
– Teh Rod
Feb 11 '17 at 1:00












$begingroup$
I cannot find the link now, but I'm pretty sure this integral was discussed here on Math.SE last Autumn. I don't remember the outcome of that discussion, though.
$endgroup$
– mickep
Feb 15 '17 at 12:13




$begingroup$
I cannot find the link now, but I'm pretty sure this integral was discussed here on Math.SE last Autumn. I don't remember the outcome of that discussion, though.
$endgroup$
– mickep
Feb 15 '17 at 12:13










3 Answers
3






active

oldest

votes


















45












$begingroup$

There must be some problem here. Note that on $[0, pi/4]$, $$frac{tan^2 x}{1+x^2} le frac{tan^2 x}{1 + 0^2} = tan^2 x,$$ therefore the definite integral is bounded above as follows: $$0 le int_{x=0}^{pi/4} frac{tan^2 x}{1+x^2} , dx < int_{x=0}^{pi/4} tan^2 x , dx = 1 - frac{pi}{4} < frac{1}{3}.$$ Mathematica is correct; the definite integral cannot be $1/3$. I also watched the YouTube video (see time stamp 1:34:34), and you have transcribed the question correctly and performed the correct algebraic transformations.



Okay so at 1:39:04 they reveal the answer as $1/3$. This is very, very obviously wrong. The very first thought to enter my mind was to check the reasonableness of the result by choosing an appropriate bound.



Interestingly, one contestant at 1:38:42 answers with $pi/16 approx 0.19635$ which is remarkably accurate for a last-moment guess, certainly much closer to the mark than the official answer!






share|cite|improve this answer











$endgroup$













  • $begingroup$
    I personally think that the top tangent should've been an arctan which would make this significantly easier
    $endgroup$
    – Teh Rod
    Feb 11 '17 at 0:45






  • 2




    $begingroup$
    For what it's worth, I attended a different "Institute of Technology," at which, I should imagine, mistakes like this are not so easily made....
    $endgroup$
    – heropup
    Feb 11 '17 at 1:09






  • 5




    $begingroup$
    If it exists, Mathematica is not able to find a symbolic expression for its value. And I can count on one hand the number of definite integrals that I can evaluate that it cannot.
    $endgroup$
    – heropup
    Feb 11 '17 at 1:16






  • 6




    $begingroup$
    Incidentally, $frac13$ is a factor in the symbolic value of the modified integral where we replaced $tan$ with $arctan$: $$intlimits_0^{fracpi4}frac{arctan^2 x}{1+x^2}=frac13arctan^3fracpi4.$$
    $endgroup$
    – Ruslan
    Feb 11 '17 at 8:55








  • 2




    $begingroup$
    @JamalS A very simple example is $$int_{x=0}^{pi/2} frac{dx}{1+tan^{sqrt{2}} x} = frac{pi}{4}.$$
    $endgroup$
    – heropup
    Feb 11 '17 at 15:55



















3





+100







$begingroup$

This is not the whole answer to this question but it is something new that wasn't mentioned here so I thought I would post it. Let us denote the unknown integral by $J$. Then substituting for $y= tan(x)$ we get:
begin{equation}
J = intlimits_0^1 frac{y^2}{1+arctan(y)^2} cdot frac{1}{1+y^2} d y =
intlimits_0^1 frac{1}{1+arctan(y)^2} d y - intlimits_0^1 frac{1}{1+arctan(y)^2} cdot frac{dy}{1+y^2}=
left(sumlimits_{n=0}^infty (-1)^n intlimits_0^1 arctan(y)^{2 n} d yright) - arctan(frac{pi}{4})
end{equation}
Now, clearly the series converges which follows from the estimate $arctan(y) < y$ for $yin(0,1)$. Integrating by parts we have:
begin{eqnarray}
intlimits_0^1 arctan(y)^2 d y &=& (frac{pi}{4})^2+ frac{pi}{4} log(2) - G \
intlimits_0^1 arctan(y)^{2 n} d y &=& cdots
end{eqnarray}
where $G$ is the Catalan constant. Now, of course the real challenge is to calculate the last integral above in closed form. This requires more work. However I have a feeling that this integral can be reduced to poly-logarithms for arbitrary values of $n$ and as such does have a "closed form".



We use the following identities:
begin{eqnarray}
[arctan(y)]^2 &=& frac{1}{2} sumlimits_{n=0}^infty (-1)^n frac{(y^2)^{n+1}}{n+1} cdot left( Psi(-1/2) + Psi(n+3/2)right) \
&=& -frac{1}{4} log ^2left(frac{y+i}{y-i}right)+frac{1}{2} i pi log left(frac{y+i}{y-i}right)+frac{pi ^2}{4}
end{eqnarray}
Now, raising the identity above to the $n$th power and integrating we readily see that the only non-trivial integral we are dealing is, is the following:
begin{eqnarray}
{mathcal A}_n &:=& intlimits_0^1 [log(frac{x+imath}{x-imath})]^n dx \
&=& (-2 imath) intlimits_{-1}^{imath} frac{ [log(u)]^n}{(1-u)^2} d u \
&=&(-imath)(imath pi)^n + (1+imath) (imath frac{pi}{2})^n + \
&&(-imath)n! (-1)^n left((log(2)+imath frac{pi}{2}) 1_{n=1} + 2(S_{1,n-1}(2) - S_{1,n-1}(1-imath)) 1_{n > 1}right)
end{eqnarray}
where the path in middle integral is a quarter of a unit circle starting at $-1$ and ending at $imath$. The quantities $S_{1,n-1}()$ in the bottom formula are the Nielsen generalized poly-logarithms. Here $nge 1$. Combining the two identities above we obtain the following identity :
begin{eqnarray}
&&intlimits_0^1 arctan(y)^{2 n} dy = \
&&
left(frac{pi^2}{16}right)^n + \
&& Resumlimits_{0le p_1 le p_2 le n}
frac{n! (2(p_2-p_1)+n-p_2)!}{p_1! (p_2-p_1)!(n-p_2)!}
left(frac{pi^2}{4}right)^{p_1} left(frac{1}{4}right)^{p_2-p_1} left(frac{pi}{2}right)^{n-p_2} cdot \
&&
left(
0 cdot 1_{n+p_2-2 p_1=0} +
(log(2)) cdot 1_{n+p_2-2 p_1=1} +
2 (-imath)^{n+p_2-2 p_1+1}
(S_{1,n+p_2-2 p_1-1}(2) - S_{1,n+p_2-2 p_1-1}(1-imath)) cdot
1_{n+p_2-2 p_1>1}
right)
end{eqnarray}
valid for $n=1,2,cdots$. This concludes the calculation.






share|cite|improve this answer











$endgroup$





















    2












    $begingroup$

    To avoid the use of complex analysis as done above by @Przemo, could one simply use taylor series expansions and Cauchy products to obtain:
    begin{array}{rcl}
    displaystyle{int_0^{frac{pi}{4}}!!frac{tan^2!x}{1+x^2}dx} & = & displaystyle{int_0^{frac{pi}{4}}!!tan^2!xleft(1-x^2+x^4-x^6+cdotsright)dx} \[5mm]
    & = & displaystyle{int_0^{frac{pi}{4}}!!tan^2!xleft(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
    & = & displaystyle{int_0^{frac{pi}{4}}!!left(sum_{k=0}^{infty}frac{B_{2k+2}(-4)^{k+1}(1-4^{k+1})}{(2k+2)!}x^{2k+1}right)^{!!2}left(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
    & = & displaystyle{int_0^{frac{pi}{4}}!!left(sum_{k=0}^{infty}sum_{l=0}^kfrac{B_{2l+2}B_{2k-2l+2}(-4)^{k+2}(1-4^{l+1})(1-4^{k-l+1})}{(2l+2)!(2k-2l+2)!}x^{2k+2}right)left(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
    & = & displaystyle{int_0^{frac{pi}{4}}!!sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}x^{2k+2}dx} \[5mm]
    & = & displaystyle{sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}int_0^{frac{pi}{4}}x^{2k+2}dx} \[5mm]
    & = & displaystyle{sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}frac{frac{pi}{4}^{2k+3}}{2k+3}} \[5mm]
    end{array}






    share|cite|improve this answer









    $endgroup$













      Your Answer





      StackExchange.ifUsing("editor", function () {
      return StackExchange.using("mathjaxEditing", function () {
      StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
      StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
      });
      });
      }, "mathjax-editing");

      StackExchange.ready(function() {
      var channelOptions = {
      tags: "".split(" "),
      id: "69"
      };
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function() {
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled) {
      StackExchange.using("snippets", function() {
      createEditor();
      });
      }
      else {
      createEditor();
      }
      });

      function createEditor() {
      StackExchange.prepareEditor({
      heartbeatType: 'answer',
      autoActivateHeartbeat: false,
      convertImagesToLinks: true,
      noModals: true,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      imageUploader: {
      brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
      contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
      allowUrls: true
      },
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      });


      }
      });














      draft saved

      draft discarded


















      StackExchange.ready(
      function () {
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2138866%2fmit-2015-integration-question%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      3 Answers
      3






      active

      oldest

      votes








      3 Answers
      3






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      45












      $begingroup$

      There must be some problem here. Note that on $[0, pi/4]$, $$frac{tan^2 x}{1+x^2} le frac{tan^2 x}{1 + 0^2} = tan^2 x,$$ therefore the definite integral is bounded above as follows: $$0 le int_{x=0}^{pi/4} frac{tan^2 x}{1+x^2} , dx < int_{x=0}^{pi/4} tan^2 x , dx = 1 - frac{pi}{4} < frac{1}{3}.$$ Mathematica is correct; the definite integral cannot be $1/3$. I also watched the YouTube video (see time stamp 1:34:34), and you have transcribed the question correctly and performed the correct algebraic transformations.



      Okay so at 1:39:04 they reveal the answer as $1/3$. This is very, very obviously wrong. The very first thought to enter my mind was to check the reasonableness of the result by choosing an appropriate bound.



      Interestingly, one contestant at 1:38:42 answers with $pi/16 approx 0.19635$ which is remarkably accurate for a last-moment guess, certainly much closer to the mark than the official answer!






      share|cite|improve this answer











      $endgroup$













      • $begingroup$
        I personally think that the top tangent should've been an arctan which would make this significantly easier
        $endgroup$
        – Teh Rod
        Feb 11 '17 at 0:45






      • 2




        $begingroup$
        For what it's worth, I attended a different "Institute of Technology," at which, I should imagine, mistakes like this are not so easily made....
        $endgroup$
        – heropup
        Feb 11 '17 at 1:09






      • 5




        $begingroup$
        If it exists, Mathematica is not able to find a symbolic expression for its value. And I can count on one hand the number of definite integrals that I can evaluate that it cannot.
        $endgroup$
        – heropup
        Feb 11 '17 at 1:16






      • 6




        $begingroup$
        Incidentally, $frac13$ is a factor in the symbolic value of the modified integral where we replaced $tan$ with $arctan$: $$intlimits_0^{fracpi4}frac{arctan^2 x}{1+x^2}=frac13arctan^3fracpi4.$$
        $endgroup$
        – Ruslan
        Feb 11 '17 at 8:55








      • 2




        $begingroup$
        @JamalS A very simple example is $$int_{x=0}^{pi/2} frac{dx}{1+tan^{sqrt{2}} x} = frac{pi}{4}.$$
        $endgroup$
        – heropup
        Feb 11 '17 at 15:55
















      45












      $begingroup$

      There must be some problem here. Note that on $[0, pi/4]$, $$frac{tan^2 x}{1+x^2} le frac{tan^2 x}{1 + 0^2} = tan^2 x,$$ therefore the definite integral is bounded above as follows: $$0 le int_{x=0}^{pi/4} frac{tan^2 x}{1+x^2} , dx < int_{x=0}^{pi/4} tan^2 x , dx = 1 - frac{pi}{4} < frac{1}{3}.$$ Mathematica is correct; the definite integral cannot be $1/3$. I also watched the YouTube video (see time stamp 1:34:34), and you have transcribed the question correctly and performed the correct algebraic transformations.



      Okay so at 1:39:04 they reveal the answer as $1/3$. This is very, very obviously wrong. The very first thought to enter my mind was to check the reasonableness of the result by choosing an appropriate bound.



      Interestingly, one contestant at 1:38:42 answers with $pi/16 approx 0.19635$ which is remarkably accurate for a last-moment guess, certainly much closer to the mark than the official answer!






      share|cite|improve this answer











      $endgroup$













      • $begingroup$
        I personally think that the top tangent should've been an arctan which would make this significantly easier
        $endgroup$
        – Teh Rod
        Feb 11 '17 at 0:45






      • 2




        $begingroup$
        For what it's worth, I attended a different "Institute of Technology," at which, I should imagine, mistakes like this are not so easily made....
        $endgroup$
        – heropup
        Feb 11 '17 at 1:09






      • 5




        $begingroup$
        If it exists, Mathematica is not able to find a symbolic expression for its value. And I can count on one hand the number of definite integrals that I can evaluate that it cannot.
        $endgroup$
        – heropup
        Feb 11 '17 at 1:16






      • 6




        $begingroup$
        Incidentally, $frac13$ is a factor in the symbolic value of the modified integral where we replaced $tan$ with $arctan$: $$intlimits_0^{fracpi4}frac{arctan^2 x}{1+x^2}=frac13arctan^3fracpi4.$$
        $endgroup$
        – Ruslan
        Feb 11 '17 at 8:55








      • 2




        $begingroup$
        @JamalS A very simple example is $$int_{x=0}^{pi/2} frac{dx}{1+tan^{sqrt{2}} x} = frac{pi}{4}.$$
        $endgroup$
        – heropup
        Feb 11 '17 at 15:55














      45












      45








      45





      $begingroup$

      There must be some problem here. Note that on $[0, pi/4]$, $$frac{tan^2 x}{1+x^2} le frac{tan^2 x}{1 + 0^2} = tan^2 x,$$ therefore the definite integral is bounded above as follows: $$0 le int_{x=0}^{pi/4} frac{tan^2 x}{1+x^2} , dx < int_{x=0}^{pi/4} tan^2 x , dx = 1 - frac{pi}{4} < frac{1}{3}.$$ Mathematica is correct; the definite integral cannot be $1/3$. I also watched the YouTube video (see time stamp 1:34:34), and you have transcribed the question correctly and performed the correct algebraic transformations.



      Okay so at 1:39:04 they reveal the answer as $1/3$. This is very, very obviously wrong. The very first thought to enter my mind was to check the reasonableness of the result by choosing an appropriate bound.



      Interestingly, one contestant at 1:38:42 answers with $pi/16 approx 0.19635$ which is remarkably accurate for a last-moment guess, certainly much closer to the mark than the official answer!






      share|cite|improve this answer











      $endgroup$



      There must be some problem here. Note that on $[0, pi/4]$, $$frac{tan^2 x}{1+x^2} le frac{tan^2 x}{1 + 0^2} = tan^2 x,$$ therefore the definite integral is bounded above as follows: $$0 le int_{x=0}^{pi/4} frac{tan^2 x}{1+x^2} , dx < int_{x=0}^{pi/4} tan^2 x , dx = 1 - frac{pi}{4} < frac{1}{3}.$$ Mathematica is correct; the definite integral cannot be $1/3$. I also watched the YouTube video (see time stamp 1:34:34), and you have transcribed the question correctly and performed the correct algebraic transformations.



      Okay so at 1:39:04 they reveal the answer as $1/3$. This is very, very obviously wrong. The very first thought to enter my mind was to check the reasonableness of the result by choosing an appropriate bound.



      Interestingly, one contestant at 1:38:42 answers with $pi/16 approx 0.19635$ which is remarkably accurate for a last-moment guess, certainly much closer to the mark than the official answer!







      share|cite|improve this answer














      share|cite|improve this answer



      share|cite|improve this answer








      edited Feb 11 '17 at 1:06

























      answered Feb 11 '17 at 0:39









      heropupheropup

      64.7k764103




      64.7k764103












      • $begingroup$
        I personally think that the top tangent should've been an arctan which would make this significantly easier
        $endgroup$
        – Teh Rod
        Feb 11 '17 at 0:45






      • 2




        $begingroup$
        For what it's worth, I attended a different "Institute of Technology," at which, I should imagine, mistakes like this are not so easily made....
        $endgroup$
        – heropup
        Feb 11 '17 at 1:09






      • 5




        $begingroup$
        If it exists, Mathematica is not able to find a symbolic expression for its value. And I can count on one hand the number of definite integrals that I can evaluate that it cannot.
        $endgroup$
        – heropup
        Feb 11 '17 at 1:16






      • 6




        $begingroup$
        Incidentally, $frac13$ is a factor in the symbolic value of the modified integral where we replaced $tan$ with $arctan$: $$intlimits_0^{fracpi4}frac{arctan^2 x}{1+x^2}=frac13arctan^3fracpi4.$$
        $endgroup$
        – Ruslan
        Feb 11 '17 at 8:55








      • 2




        $begingroup$
        @JamalS A very simple example is $$int_{x=0}^{pi/2} frac{dx}{1+tan^{sqrt{2}} x} = frac{pi}{4}.$$
        $endgroup$
        – heropup
        Feb 11 '17 at 15:55


















      • $begingroup$
        I personally think that the top tangent should've been an arctan which would make this significantly easier
        $endgroup$
        – Teh Rod
        Feb 11 '17 at 0:45






      • 2




        $begingroup$
        For what it's worth, I attended a different "Institute of Technology," at which, I should imagine, mistakes like this are not so easily made....
        $endgroup$
        – heropup
        Feb 11 '17 at 1:09






      • 5




        $begingroup$
        If it exists, Mathematica is not able to find a symbolic expression for its value. And I can count on one hand the number of definite integrals that I can evaluate that it cannot.
        $endgroup$
        – heropup
        Feb 11 '17 at 1:16






      • 6




        $begingroup$
        Incidentally, $frac13$ is a factor in the symbolic value of the modified integral where we replaced $tan$ with $arctan$: $$intlimits_0^{fracpi4}frac{arctan^2 x}{1+x^2}=frac13arctan^3fracpi4.$$
        $endgroup$
        – Ruslan
        Feb 11 '17 at 8:55








      • 2




        $begingroup$
        @JamalS A very simple example is $$int_{x=0}^{pi/2} frac{dx}{1+tan^{sqrt{2}} x} = frac{pi}{4}.$$
        $endgroup$
        – heropup
        Feb 11 '17 at 15:55
















      $begingroup$
      I personally think that the top tangent should've been an arctan which would make this significantly easier
      $endgroup$
      – Teh Rod
      Feb 11 '17 at 0:45




      $begingroup$
      I personally think that the top tangent should've been an arctan which would make this significantly easier
      $endgroup$
      – Teh Rod
      Feb 11 '17 at 0:45




      2




      2




      $begingroup$
      For what it's worth, I attended a different "Institute of Technology," at which, I should imagine, mistakes like this are not so easily made....
      $endgroup$
      – heropup
      Feb 11 '17 at 1:09




      $begingroup$
      For what it's worth, I attended a different "Institute of Technology," at which, I should imagine, mistakes like this are not so easily made....
      $endgroup$
      – heropup
      Feb 11 '17 at 1:09




      5




      5




      $begingroup$
      If it exists, Mathematica is not able to find a symbolic expression for its value. And I can count on one hand the number of definite integrals that I can evaluate that it cannot.
      $endgroup$
      – heropup
      Feb 11 '17 at 1:16




      $begingroup$
      If it exists, Mathematica is not able to find a symbolic expression for its value. And I can count on one hand the number of definite integrals that I can evaluate that it cannot.
      $endgroup$
      – heropup
      Feb 11 '17 at 1:16




      6




      6




      $begingroup$
      Incidentally, $frac13$ is a factor in the symbolic value of the modified integral where we replaced $tan$ with $arctan$: $$intlimits_0^{fracpi4}frac{arctan^2 x}{1+x^2}=frac13arctan^3fracpi4.$$
      $endgroup$
      – Ruslan
      Feb 11 '17 at 8:55






      $begingroup$
      Incidentally, $frac13$ is a factor in the symbolic value of the modified integral where we replaced $tan$ with $arctan$: $$intlimits_0^{fracpi4}frac{arctan^2 x}{1+x^2}=frac13arctan^3fracpi4.$$
      $endgroup$
      – Ruslan
      Feb 11 '17 at 8:55






      2




      2




      $begingroup$
      @JamalS A very simple example is $$int_{x=0}^{pi/2} frac{dx}{1+tan^{sqrt{2}} x} = frac{pi}{4}.$$
      $endgroup$
      – heropup
      Feb 11 '17 at 15:55




      $begingroup$
      @JamalS A very simple example is $$int_{x=0}^{pi/2} frac{dx}{1+tan^{sqrt{2}} x} = frac{pi}{4}.$$
      $endgroup$
      – heropup
      Feb 11 '17 at 15:55











      3





      +100







      $begingroup$

      This is not the whole answer to this question but it is something new that wasn't mentioned here so I thought I would post it. Let us denote the unknown integral by $J$. Then substituting for $y= tan(x)$ we get:
      begin{equation}
      J = intlimits_0^1 frac{y^2}{1+arctan(y)^2} cdot frac{1}{1+y^2} d y =
      intlimits_0^1 frac{1}{1+arctan(y)^2} d y - intlimits_0^1 frac{1}{1+arctan(y)^2} cdot frac{dy}{1+y^2}=
      left(sumlimits_{n=0}^infty (-1)^n intlimits_0^1 arctan(y)^{2 n} d yright) - arctan(frac{pi}{4})
      end{equation}
      Now, clearly the series converges which follows from the estimate $arctan(y) < y$ for $yin(0,1)$. Integrating by parts we have:
      begin{eqnarray}
      intlimits_0^1 arctan(y)^2 d y &=& (frac{pi}{4})^2+ frac{pi}{4} log(2) - G \
      intlimits_0^1 arctan(y)^{2 n} d y &=& cdots
      end{eqnarray}
      where $G$ is the Catalan constant. Now, of course the real challenge is to calculate the last integral above in closed form. This requires more work. However I have a feeling that this integral can be reduced to poly-logarithms for arbitrary values of $n$ and as such does have a "closed form".



      We use the following identities:
      begin{eqnarray}
      [arctan(y)]^2 &=& frac{1}{2} sumlimits_{n=0}^infty (-1)^n frac{(y^2)^{n+1}}{n+1} cdot left( Psi(-1/2) + Psi(n+3/2)right) \
      &=& -frac{1}{4} log ^2left(frac{y+i}{y-i}right)+frac{1}{2} i pi log left(frac{y+i}{y-i}right)+frac{pi ^2}{4}
      end{eqnarray}
      Now, raising the identity above to the $n$th power and integrating we readily see that the only non-trivial integral we are dealing is, is the following:
      begin{eqnarray}
      {mathcal A}_n &:=& intlimits_0^1 [log(frac{x+imath}{x-imath})]^n dx \
      &=& (-2 imath) intlimits_{-1}^{imath} frac{ [log(u)]^n}{(1-u)^2} d u \
      &=&(-imath)(imath pi)^n + (1+imath) (imath frac{pi}{2})^n + \
      &&(-imath)n! (-1)^n left((log(2)+imath frac{pi}{2}) 1_{n=1} + 2(S_{1,n-1}(2) - S_{1,n-1}(1-imath)) 1_{n > 1}right)
      end{eqnarray}
      where the path in middle integral is a quarter of a unit circle starting at $-1$ and ending at $imath$. The quantities $S_{1,n-1}()$ in the bottom formula are the Nielsen generalized poly-logarithms. Here $nge 1$. Combining the two identities above we obtain the following identity :
      begin{eqnarray}
      &&intlimits_0^1 arctan(y)^{2 n} dy = \
      &&
      left(frac{pi^2}{16}right)^n + \
      && Resumlimits_{0le p_1 le p_2 le n}
      frac{n! (2(p_2-p_1)+n-p_2)!}{p_1! (p_2-p_1)!(n-p_2)!}
      left(frac{pi^2}{4}right)^{p_1} left(frac{1}{4}right)^{p_2-p_1} left(frac{pi}{2}right)^{n-p_2} cdot \
      &&
      left(
      0 cdot 1_{n+p_2-2 p_1=0} +
      (log(2)) cdot 1_{n+p_2-2 p_1=1} +
      2 (-imath)^{n+p_2-2 p_1+1}
      (S_{1,n+p_2-2 p_1-1}(2) - S_{1,n+p_2-2 p_1-1}(1-imath)) cdot
      1_{n+p_2-2 p_1>1}
      right)
      end{eqnarray}
      valid for $n=1,2,cdots$. This concludes the calculation.






      share|cite|improve this answer











      $endgroup$


















        3





        +100







        $begingroup$

        This is not the whole answer to this question but it is something new that wasn't mentioned here so I thought I would post it. Let us denote the unknown integral by $J$. Then substituting for $y= tan(x)$ we get:
        begin{equation}
        J = intlimits_0^1 frac{y^2}{1+arctan(y)^2} cdot frac{1}{1+y^2} d y =
        intlimits_0^1 frac{1}{1+arctan(y)^2} d y - intlimits_0^1 frac{1}{1+arctan(y)^2} cdot frac{dy}{1+y^2}=
        left(sumlimits_{n=0}^infty (-1)^n intlimits_0^1 arctan(y)^{2 n} d yright) - arctan(frac{pi}{4})
        end{equation}
        Now, clearly the series converges which follows from the estimate $arctan(y) < y$ for $yin(0,1)$. Integrating by parts we have:
        begin{eqnarray}
        intlimits_0^1 arctan(y)^2 d y &=& (frac{pi}{4})^2+ frac{pi}{4} log(2) - G \
        intlimits_0^1 arctan(y)^{2 n} d y &=& cdots
        end{eqnarray}
        where $G$ is the Catalan constant. Now, of course the real challenge is to calculate the last integral above in closed form. This requires more work. However I have a feeling that this integral can be reduced to poly-logarithms for arbitrary values of $n$ and as such does have a "closed form".



        We use the following identities:
        begin{eqnarray}
        [arctan(y)]^2 &=& frac{1}{2} sumlimits_{n=0}^infty (-1)^n frac{(y^2)^{n+1}}{n+1} cdot left( Psi(-1/2) + Psi(n+3/2)right) \
        &=& -frac{1}{4} log ^2left(frac{y+i}{y-i}right)+frac{1}{2} i pi log left(frac{y+i}{y-i}right)+frac{pi ^2}{4}
        end{eqnarray}
        Now, raising the identity above to the $n$th power and integrating we readily see that the only non-trivial integral we are dealing is, is the following:
        begin{eqnarray}
        {mathcal A}_n &:=& intlimits_0^1 [log(frac{x+imath}{x-imath})]^n dx \
        &=& (-2 imath) intlimits_{-1}^{imath} frac{ [log(u)]^n}{(1-u)^2} d u \
        &=&(-imath)(imath pi)^n + (1+imath) (imath frac{pi}{2})^n + \
        &&(-imath)n! (-1)^n left((log(2)+imath frac{pi}{2}) 1_{n=1} + 2(S_{1,n-1}(2) - S_{1,n-1}(1-imath)) 1_{n > 1}right)
        end{eqnarray}
        where the path in middle integral is a quarter of a unit circle starting at $-1$ and ending at $imath$. The quantities $S_{1,n-1}()$ in the bottom formula are the Nielsen generalized poly-logarithms. Here $nge 1$. Combining the two identities above we obtain the following identity :
        begin{eqnarray}
        &&intlimits_0^1 arctan(y)^{2 n} dy = \
        &&
        left(frac{pi^2}{16}right)^n + \
        && Resumlimits_{0le p_1 le p_2 le n}
        frac{n! (2(p_2-p_1)+n-p_2)!}{p_1! (p_2-p_1)!(n-p_2)!}
        left(frac{pi^2}{4}right)^{p_1} left(frac{1}{4}right)^{p_2-p_1} left(frac{pi}{2}right)^{n-p_2} cdot \
        &&
        left(
        0 cdot 1_{n+p_2-2 p_1=0} +
        (log(2)) cdot 1_{n+p_2-2 p_1=1} +
        2 (-imath)^{n+p_2-2 p_1+1}
        (S_{1,n+p_2-2 p_1-1}(2) - S_{1,n+p_2-2 p_1-1}(1-imath)) cdot
        1_{n+p_2-2 p_1>1}
        right)
        end{eqnarray}
        valid for $n=1,2,cdots$. This concludes the calculation.






        share|cite|improve this answer











        $endgroup$
















          3





          +100







          3





          +100



          3




          +100



          $begingroup$

          This is not the whole answer to this question but it is something new that wasn't mentioned here so I thought I would post it. Let us denote the unknown integral by $J$. Then substituting for $y= tan(x)$ we get:
          begin{equation}
          J = intlimits_0^1 frac{y^2}{1+arctan(y)^2} cdot frac{1}{1+y^2} d y =
          intlimits_0^1 frac{1}{1+arctan(y)^2} d y - intlimits_0^1 frac{1}{1+arctan(y)^2} cdot frac{dy}{1+y^2}=
          left(sumlimits_{n=0}^infty (-1)^n intlimits_0^1 arctan(y)^{2 n} d yright) - arctan(frac{pi}{4})
          end{equation}
          Now, clearly the series converges which follows from the estimate $arctan(y) < y$ for $yin(0,1)$. Integrating by parts we have:
          begin{eqnarray}
          intlimits_0^1 arctan(y)^2 d y &=& (frac{pi}{4})^2+ frac{pi}{4} log(2) - G \
          intlimits_0^1 arctan(y)^{2 n} d y &=& cdots
          end{eqnarray}
          where $G$ is the Catalan constant. Now, of course the real challenge is to calculate the last integral above in closed form. This requires more work. However I have a feeling that this integral can be reduced to poly-logarithms for arbitrary values of $n$ and as such does have a "closed form".



          We use the following identities:
          begin{eqnarray}
          [arctan(y)]^2 &=& frac{1}{2} sumlimits_{n=0}^infty (-1)^n frac{(y^2)^{n+1}}{n+1} cdot left( Psi(-1/2) + Psi(n+3/2)right) \
          &=& -frac{1}{4} log ^2left(frac{y+i}{y-i}right)+frac{1}{2} i pi log left(frac{y+i}{y-i}right)+frac{pi ^2}{4}
          end{eqnarray}
          Now, raising the identity above to the $n$th power and integrating we readily see that the only non-trivial integral we are dealing is, is the following:
          begin{eqnarray}
          {mathcal A}_n &:=& intlimits_0^1 [log(frac{x+imath}{x-imath})]^n dx \
          &=& (-2 imath) intlimits_{-1}^{imath} frac{ [log(u)]^n}{(1-u)^2} d u \
          &=&(-imath)(imath pi)^n + (1+imath) (imath frac{pi}{2})^n + \
          &&(-imath)n! (-1)^n left((log(2)+imath frac{pi}{2}) 1_{n=1} + 2(S_{1,n-1}(2) - S_{1,n-1}(1-imath)) 1_{n > 1}right)
          end{eqnarray}
          where the path in middle integral is a quarter of a unit circle starting at $-1$ and ending at $imath$. The quantities $S_{1,n-1}()$ in the bottom formula are the Nielsen generalized poly-logarithms. Here $nge 1$. Combining the two identities above we obtain the following identity :
          begin{eqnarray}
          &&intlimits_0^1 arctan(y)^{2 n} dy = \
          &&
          left(frac{pi^2}{16}right)^n + \
          && Resumlimits_{0le p_1 le p_2 le n}
          frac{n! (2(p_2-p_1)+n-p_2)!}{p_1! (p_2-p_1)!(n-p_2)!}
          left(frac{pi^2}{4}right)^{p_1} left(frac{1}{4}right)^{p_2-p_1} left(frac{pi}{2}right)^{n-p_2} cdot \
          &&
          left(
          0 cdot 1_{n+p_2-2 p_1=0} +
          (log(2)) cdot 1_{n+p_2-2 p_1=1} +
          2 (-imath)^{n+p_2-2 p_1+1}
          (S_{1,n+p_2-2 p_1-1}(2) - S_{1,n+p_2-2 p_1-1}(1-imath)) cdot
          1_{n+p_2-2 p_1>1}
          right)
          end{eqnarray}
          valid for $n=1,2,cdots$. This concludes the calculation.






          share|cite|improve this answer











          $endgroup$



          This is not the whole answer to this question but it is something new that wasn't mentioned here so I thought I would post it. Let us denote the unknown integral by $J$. Then substituting for $y= tan(x)$ we get:
          begin{equation}
          J = intlimits_0^1 frac{y^2}{1+arctan(y)^2} cdot frac{1}{1+y^2} d y =
          intlimits_0^1 frac{1}{1+arctan(y)^2} d y - intlimits_0^1 frac{1}{1+arctan(y)^2} cdot frac{dy}{1+y^2}=
          left(sumlimits_{n=0}^infty (-1)^n intlimits_0^1 arctan(y)^{2 n} d yright) - arctan(frac{pi}{4})
          end{equation}
          Now, clearly the series converges which follows from the estimate $arctan(y) < y$ for $yin(0,1)$. Integrating by parts we have:
          begin{eqnarray}
          intlimits_0^1 arctan(y)^2 d y &=& (frac{pi}{4})^2+ frac{pi}{4} log(2) - G \
          intlimits_0^1 arctan(y)^{2 n} d y &=& cdots
          end{eqnarray}
          where $G$ is the Catalan constant. Now, of course the real challenge is to calculate the last integral above in closed form. This requires more work. However I have a feeling that this integral can be reduced to poly-logarithms for arbitrary values of $n$ and as such does have a "closed form".



          We use the following identities:
          begin{eqnarray}
          [arctan(y)]^2 &=& frac{1}{2} sumlimits_{n=0}^infty (-1)^n frac{(y^2)^{n+1}}{n+1} cdot left( Psi(-1/2) + Psi(n+3/2)right) \
          &=& -frac{1}{4} log ^2left(frac{y+i}{y-i}right)+frac{1}{2} i pi log left(frac{y+i}{y-i}right)+frac{pi ^2}{4}
          end{eqnarray}
          Now, raising the identity above to the $n$th power and integrating we readily see that the only non-trivial integral we are dealing is, is the following:
          begin{eqnarray}
          {mathcal A}_n &:=& intlimits_0^1 [log(frac{x+imath}{x-imath})]^n dx \
          &=& (-2 imath) intlimits_{-1}^{imath} frac{ [log(u)]^n}{(1-u)^2} d u \
          &=&(-imath)(imath pi)^n + (1+imath) (imath frac{pi}{2})^n + \
          &&(-imath)n! (-1)^n left((log(2)+imath frac{pi}{2}) 1_{n=1} + 2(S_{1,n-1}(2) - S_{1,n-1}(1-imath)) 1_{n > 1}right)
          end{eqnarray}
          where the path in middle integral is a quarter of a unit circle starting at $-1$ and ending at $imath$. The quantities $S_{1,n-1}()$ in the bottom formula are the Nielsen generalized poly-logarithms. Here $nge 1$. Combining the two identities above we obtain the following identity :
          begin{eqnarray}
          &&intlimits_0^1 arctan(y)^{2 n} dy = \
          &&
          left(frac{pi^2}{16}right)^n + \
          && Resumlimits_{0le p_1 le p_2 le n}
          frac{n! (2(p_2-p_1)+n-p_2)!}{p_1! (p_2-p_1)!(n-p_2)!}
          left(frac{pi^2}{4}right)^{p_1} left(frac{1}{4}right)^{p_2-p_1} left(frac{pi}{2}right)^{n-p_2} cdot \
          &&
          left(
          0 cdot 1_{n+p_2-2 p_1=0} +
          (log(2)) cdot 1_{n+p_2-2 p_1=1} +
          2 (-imath)^{n+p_2-2 p_1+1}
          (S_{1,n+p_2-2 p_1-1}(2) - S_{1,n+p_2-2 p_1-1}(1-imath)) cdot
          1_{n+p_2-2 p_1>1}
          right)
          end{eqnarray}
          valid for $n=1,2,cdots$. This concludes the calculation.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Feb 16 '17 at 18:05

























          answered Feb 15 '17 at 11:36









          PrzemoPrzemo

          4,44811031




          4,44811031























              2












              $begingroup$

              To avoid the use of complex analysis as done above by @Przemo, could one simply use taylor series expansions and Cauchy products to obtain:
              begin{array}{rcl}
              displaystyle{int_0^{frac{pi}{4}}!!frac{tan^2!x}{1+x^2}dx} & = & displaystyle{int_0^{frac{pi}{4}}!!tan^2!xleft(1-x^2+x^4-x^6+cdotsright)dx} \[5mm]
              & = & displaystyle{int_0^{frac{pi}{4}}!!tan^2!xleft(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
              & = & displaystyle{int_0^{frac{pi}{4}}!!left(sum_{k=0}^{infty}frac{B_{2k+2}(-4)^{k+1}(1-4^{k+1})}{(2k+2)!}x^{2k+1}right)^{!!2}left(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
              & = & displaystyle{int_0^{frac{pi}{4}}!!left(sum_{k=0}^{infty}sum_{l=0}^kfrac{B_{2l+2}B_{2k-2l+2}(-4)^{k+2}(1-4^{l+1})(1-4^{k-l+1})}{(2l+2)!(2k-2l+2)!}x^{2k+2}right)left(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
              & = & displaystyle{int_0^{frac{pi}{4}}!!sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}x^{2k+2}dx} \[5mm]
              & = & displaystyle{sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}int_0^{frac{pi}{4}}x^{2k+2}dx} \[5mm]
              & = & displaystyle{sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}frac{frac{pi}{4}^{2k+3}}{2k+3}} \[5mm]
              end{array}






              share|cite|improve this answer









              $endgroup$


















                2












                $begingroup$

                To avoid the use of complex analysis as done above by @Przemo, could one simply use taylor series expansions and Cauchy products to obtain:
                begin{array}{rcl}
                displaystyle{int_0^{frac{pi}{4}}!!frac{tan^2!x}{1+x^2}dx} & = & displaystyle{int_0^{frac{pi}{4}}!!tan^2!xleft(1-x^2+x^4-x^6+cdotsright)dx} \[5mm]
                & = & displaystyle{int_0^{frac{pi}{4}}!!tan^2!xleft(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
                & = & displaystyle{int_0^{frac{pi}{4}}!!left(sum_{k=0}^{infty}frac{B_{2k+2}(-4)^{k+1}(1-4^{k+1})}{(2k+2)!}x^{2k+1}right)^{!!2}left(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
                & = & displaystyle{int_0^{frac{pi}{4}}!!left(sum_{k=0}^{infty}sum_{l=0}^kfrac{B_{2l+2}B_{2k-2l+2}(-4)^{k+2}(1-4^{l+1})(1-4^{k-l+1})}{(2l+2)!(2k-2l+2)!}x^{2k+2}right)left(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
                & = & displaystyle{int_0^{frac{pi}{4}}!!sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}x^{2k+2}dx} \[5mm]
                & = & displaystyle{sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}int_0^{frac{pi}{4}}x^{2k+2}dx} \[5mm]
                & = & displaystyle{sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}frac{frac{pi}{4}^{2k+3}}{2k+3}} \[5mm]
                end{array}






                share|cite|improve this answer









                $endgroup$
















                  2












                  2








                  2





                  $begingroup$

                  To avoid the use of complex analysis as done above by @Przemo, could one simply use taylor series expansions and Cauchy products to obtain:
                  begin{array}{rcl}
                  displaystyle{int_0^{frac{pi}{4}}!!frac{tan^2!x}{1+x^2}dx} & = & displaystyle{int_0^{frac{pi}{4}}!!tan^2!xleft(1-x^2+x^4-x^6+cdotsright)dx} \[5mm]
                  & = & displaystyle{int_0^{frac{pi}{4}}!!tan^2!xleft(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
                  & = & displaystyle{int_0^{frac{pi}{4}}!!left(sum_{k=0}^{infty}frac{B_{2k+2}(-4)^{k+1}(1-4^{k+1})}{(2k+2)!}x^{2k+1}right)^{!!2}left(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
                  & = & displaystyle{int_0^{frac{pi}{4}}!!left(sum_{k=0}^{infty}sum_{l=0}^kfrac{B_{2l+2}B_{2k-2l+2}(-4)^{k+2}(1-4^{l+1})(1-4^{k-l+1})}{(2l+2)!(2k-2l+2)!}x^{2k+2}right)left(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
                  & = & displaystyle{int_0^{frac{pi}{4}}!!sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}x^{2k+2}dx} \[5mm]
                  & = & displaystyle{sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}int_0^{frac{pi}{4}}x^{2k+2}dx} \[5mm]
                  & = & displaystyle{sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}frac{frac{pi}{4}^{2k+3}}{2k+3}} \[5mm]
                  end{array}






                  share|cite|improve this answer









                  $endgroup$



                  To avoid the use of complex analysis as done above by @Przemo, could one simply use taylor series expansions and Cauchy products to obtain:
                  begin{array}{rcl}
                  displaystyle{int_0^{frac{pi}{4}}!!frac{tan^2!x}{1+x^2}dx} & = & displaystyle{int_0^{frac{pi}{4}}!!tan^2!xleft(1-x^2+x^4-x^6+cdotsright)dx} \[5mm]
                  & = & displaystyle{int_0^{frac{pi}{4}}!!tan^2!xleft(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
                  & = & displaystyle{int_0^{frac{pi}{4}}!!left(sum_{k=0}^{infty}frac{B_{2k+2}(-4)^{k+1}(1-4^{k+1})}{(2k+2)!}x^{2k+1}right)^{!!2}left(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
                  & = & displaystyle{int_0^{frac{pi}{4}}!!left(sum_{k=0}^{infty}sum_{l=0}^kfrac{B_{2l+2}B_{2k-2l+2}(-4)^{k+2}(1-4^{l+1})(1-4^{k-l+1})}{(2l+2)!(2k-2l+2)!}x^{2k+2}right)left(sum_{k=0}^{infty}(-1)^kx^{2k}right)dx} \[5mm]
                  & = & displaystyle{int_0^{frac{pi}{4}}!!sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}x^{2k+2}dx} \[5mm]
                  & = & displaystyle{sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}int_0^{frac{pi}{4}}x^{2k+2}dx} \[5mm]
                  & = & displaystyle{sum_{k=0}^{infty}sum_{l=0}^ksum_{m=0}^lfrac{B_{2m+2}B_{2l-2m+2}(-4)^{l+2}(1-4^{m+1})(1-4^{l-m+1})}{(2m+2)!(2l-2m+2)!}(-1)^{k-l}frac{frac{pi}{4}^{2k+3}}{2k+3}} \[5mm]
                  end{array}







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Feb 17 '17 at 19:06









                  Stephen K.Stephen K.

                  48629




                  48629






























                      draft saved

                      draft discarded




















































                      Thanks for contributing an answer to Mathematics Stack Exchange!


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid



                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.


                      Use MathJax to format equations. MathJax reference.


                      To learn more, see our tips on writing great answers.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function () {
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2138866%2fmit-2015-integration-question%23new-answer', 'question_page');
                      }
                      );

                      Post as a guest















                      Required, but never shown





















































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown

































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown







                      Popular posts from this blog

                      Bundesstraße 106

                      Verónica Boquete

                      Ida-Boy-Ed-Garten