Show equivalence of different approaches to $intfrac{sin(x)dx}{1+cos^2(x)}$











up vote
1
down vote

favorite












Given:

For the indefinite integral
$J = displaystyleintdfrac{sin(x)}{1+cos^2(x)},dx,,$ one anti-derivative will be obtained via the substitution $,u=cos(x),$ and another anti-derivative will be obtained via the substitution $,u=tan(x/2),$. While the two anti-derivatives will appear to be incompatible, their equivalence will be explicitly shown via the generic definite integral
$displaystyleint_a^bdfrac{sin(x)}{1+cos^2(x)},dx.$



To Do:

As I will clarify at the end of this query, I am looking for an alternative (i.e. more implicit) way of demonstrating the equivalence of the two anti-derivatives, within a "constant of integration," other than evaluating the (generic) definite integral.



$underline{u=cos(x)}$
$du = -sin(x)dx ;Rightarrow;
J ;=; displaystyle{int} dfrac{-du}{1+u^2},
;=; -arctan(u) ;=; -arctan[cos(x)]$

$=; arctan[-cos(x)].$



$underline{u=tan(x/2)}$
$x = 2arctan(u), ;dx = dfrac{2du}{1+u^2},
;sin(x) = dfrac{2u}{1+u^2}, ;cos(x)=dfrac{1-u^2}{1+u^2}.$



Under this substitution, $J$ will simplify to
$,displaystyleintdfrac{2u,du}{1+u^4}
;=; arctanleft[dfrac{-1}{u^2}right]$

$= ;arctanleft[dfrac{-1}{tan^2(x/2)}right]
;=; arctanleft[dfrac{-cos^2(x/2)}{sin^2(x/2)}right]
;=; -arctanleft[dfrac{1+cos(x)}{1-cos(x)}right],.$



$underline{text{Definite integral for} ;u=cos(x)}$



$displaystyle J = int_a^bdfrac{sin(x)dx}{1+cos^2(x)},dx.;$
Let $;r_1 = arctan[cos(a)];$ and let
$;s_1 = arctan[cos(b)].$



Then $;J ;=; (r_1 - s_1).$



$underline{text{Definite integral for} ;u=tan(x/2)}$



$displaystyle
J = int_{tan(a/2)}^{tan(b/2)}dfrac{2u,du}
{1+u^4}.;$

Let $;r_2 = arctanleft[dfrac{1}{tan^2(a/2)}right];$ and let



$;s_2 = arctanleft[dfrac{1}{tan^2(b/2)}right].$



Then $;J ;=; (r_2 - s_2).$



Equivalence of the two substitutions:

I will use the identity $;tan (alpha - beta)
;=; dfrac{tan(alpha) - tan(beta)}
{1 + tan(alpha)tan(beta)};$
to demonstrate that
$;tan(r_1 - s_1) ;=; tan(r_2 - s_2).$
Although not rigorous, this strongly suggests that angle
$(r_1 - s_1) =;$ angle $;(r_2 - s_2).$



$tan(r_1 - s_1) = dfrac{cos(a) - cos(b)}{1 + cos(a)cos(b)}.$



$tan(r_2 - s_2) = dfrac
{dfrac{1+cos(a)}{1-cos(a)} - dfrac{1+cos(b)}{1-cos(b)}}
{1 + left(dfrac{1+cos(a)}{1-cos(a)}right)
left(dfrac{1+cos(b)}{1-cos(b)}right)}
;=; dfrac{2[cos(a) - cos(b)]}{2[1+cos(a)cos(b)]}$

$=; tan(r_1 - s_1).$



The real question:



Focusing on the indefinite integrals only (ignoring the definite integrals), the two anti-derivatives are $;-arctan[cos(x)];$ and $;-arctanleft[dfrac{1+cos(x)}{1-cos(x)}right].$ How does one demonstrate that these two anti-derivatives are (somehow) essentially the same?










share|cite|improve this question




















  • 2




    $$frac{pi}{4}+arctan y=arctan 1+arctan y=arctan frac{1+y}{1-y}$$ Since $frac{pi}{4}$ is a constant, its derivative is $0$. (In the above $y= cos x$ and $|y| leq 1$ so we can use the arctangent addition formula).
    – Yuriy S
    Nov 3 at 2:47








  • 1




    @YuriyS WOW, thanks.
    – user2661923
    Nov 3 at 2:51















up vote
1
down vote

favorite












Given:

For the indefinite integral
$J = displaystyleintdfrac{sin(x)}{1+cos^2(x)},dx,,$ one anti-derivative will be obtained via the substitution $,u=cos(x),$ and another anti-derivative will be obtained via the substitution $,u=tan(x/2),$. While the two anti-derivatives will appear to be incompatible, their equivalence will be explicitly shown via the generic definite integral
$displaystyleint_a^bdfrac{sin(x)}{1+cos^2(x)},dx.$



To Do:

As I will clarify at the end of this query, I am looking for an alternative (i.e. more implicit) way of demonstrating the equivalence of the two anti-derivatives, within a "constant of integration," other than evaluating the (generic) definite integral.



$underline{u=cos(x)}$
$du = -sin(x)dx ;Rightarrow;
J ;=; displaystyle{int} dfrac{-du}{1+u^2},
;=; -arctan(u) ;=; -arctan[cos(x)]$

$=; arctan[-cos(x)].$



$underline{u=tan(x/2)}$
$x = 2arctan(u), ;dx = dfrac{2du}{1+u^2},
;sin(x) = dfrac{2u}{1+u^2}, ;cos(x)=dfrac{1-u^2}{1+u^2}.$



Under this substitution, $J$ will simplify to
$,displaystyleintdfrac{2u,du}{1+u^4}
;=; arctanleft[dfrac{-1}{u^2}right]$

$= ;arctanleft[dfrac{-1}{tan^2(x/2)}right]
;=; arctanleft[dfrac{-cos^2(x/2)}{sin^2(x/2)}right]
;=; -arctanleft[dfrac{1+cos(x)}{1-cos(x)}right],.$



$underline{text{Definite integral for} ;u=cos(x)}$



$displaystyle J = int_a^bdfrac{sin(x)dx}{1+cos^2(x)},dx.;$
Let $;r_1 = arctan[cos(a)];$ and let
$;s_1 = arctan[cos(b)].$



Then $;J ;=; (r_1 - s_1).$



$underline{text{Definite integral for} ;u=tan(x/2)}$



$displaystyle
J = int_{tan(a/2)}^{tan(b/2)}dfrac{2u,du}
{1+u^4}.;$

Let $;r_2 = arctanleft[dfrac{1}{tan^2(a/2)}right];$ and let



$;s_2 = arctanleft[dfrac{1}{tan^2(b/2)}right].$



Then $;J ;=; (r_2 - s_2).$



Equivalence of the two substitutions:

I will use the identity $;tan (alpha - beta)
;=; dfrac{tan(alpha) - tan(beta)}
{1 + tan(alpha)tan(beta)};$
to demonstrate that
$;tan(r_1 - s_1) ;=; tan(r_2 - s_2).$
Although not rigorous, this strongly suggests that angle
$(r_1 - s_1) =;$ angle $;(r_2 - s_2).$



$tan(r_1 - s_1) = dfrac{cos(a) - cos(b)}{1 + cos(a)cos(b)}.$



$tan(r_2 - s_2) = dfrac
{dfrac{1+cos(a)}{1-cos(a)} - dfrac{1+cos(b)}{1-cos(b)}}
{1 + left(dfrac{1+cos(a)}{1-cos(a)}right)
left(dfrac{1+cos(b)}{1-cos(b)}right)}
;=; dfrac{2[cos(a) - cos(b)]}{2[1+cos(a)cos(b)]}$

$=; tan(r_1 - s_1).$



The real question:



Focusing on the indefinite integrals only (ignoring the definite integrals), the two anti-derivatives are $;-arctan[cos(x)];$ and $;-arctanleft[dfrac{1+cos(x)}{1-cos(x)}right].$ How does one demonstrate that these two anti-derivatives are (somehow) essentially the same?










share|cite|improve this question




















  • 2




    $$frac{pi}{4}+arctan y=arctan 1+arctan y=arctan frac{1+y}{1-y}$$ Since $frac{pi}{4}$ is a constant, its derivative is $0$. (In the above $y= cos x$ and $|y| leq 1$ so we can use the arctangent addition formula).
    – Yuriy S
    Nov 3 at 2:47








  • 1




    @YuriyS WOW, thanks.
    – user2661923
    Nov 3 at 2:51













up vote
1
down vote

favorite









up vote
1
down vote

favorite











Given:

For the indefinite integral
$J = displaystyleintdfrac{sin(x)}{1+cos^2(x)},dx,,$ one anti-derivative will be obtained via the substitution $,u=cos(x),$ and another anti-derivative will be obtained via the substitution $,u=tan(x/2),$. While the two anti-derivatives will appear to be incompatible, their equivalence will be explicitly shown via the generic definite integral
$displaystyleint_a^bdfrac{sin(x)}{1+cos^2(x)},dx.$



To Do:

As I will clarify at the end of this query, I am looking for an alternative (i.e. more implicit) way of demonstrating the equivalence of the two anti-derivatives, within a "constant of integration," other than evaluating the (generic) definite integral.



$underline{u=cos(x)}$
$du = -sin(x)dx ;Rightarrow;
J ;=; displaystyle{int} dfrac{-du}{1+u^2},
;=; -arctan(u) ;=; -arctan[cos(x)]$

$=; arctan[-cos(x)].$



$underline{u=tan(x/2)}$
$x = 2arctan(u), ;dx = dfrac{2du}{1+u^2},
;sin(x) = dfrac{2u}{1+u^2}, ;cos(x)=dfrac{1-u^2}{1+u^2}.$



Under this substitution, $J$ will simplify to
$,displaystyleintdfrac{2u,du}{1+u^4}
;=; arctanleft[dfrac{-1}{u^2}right]$

$= ;arctanleft[dfrac{-1}{tan^2(x/2)}right]
;=; arctanleft[dfrac{-cos^2(x/2)}{sin^2(x/2)}right]
;=; -arctanleft[dfrac{1+cos(x)}{1-cos(x)}right],.$



$underline{text{Definite integral for} ;u=cos(x)}$



$displaystyle J = int_a^bdfrac{sin(x)dx}{1+cos^2(x)},dx.;$
Let $;r_1 = arctan[cos(a)];$ and let
$;s_1 = arctan[cos(b)].$



Then $;J ;=; (r_1 - s_1).$



$underline{text{Definite integral for} ;u=tan(x/2)}$



$displaystyle
J = int_{tan(a/2)}^{tan(b/2)}dfrac{2u,du}
{1+u^4}.;$

Let $;r_2 = arctanleft[dfrac{1}{tan^2(a/2)}right];$ and let



$;s_2 = arctanleft[dfrac{1}{tan^2(b/2)}right].$



Then $;J ;=; (r_2 - s_2).$



Equivalence of the two substitutions:

I will use the identity $;tan (alpha - beta)
;=; dfrac{tan(alpha) - tan(beta)}
{1 + tan(alpha)tan(beta)};$
to demonstrate that
$;tan(r_1 - s_1) ;=; tan(r_2 - s_2).$
Although not rigorous, this strongly suggests that angle
$(r_1 - s_1) =;$ angle $;(r_2 - s_2).$



$tan(r_1 - s_1) = dfrac{cos(a) - cos(b)}{1 + cos(a)cos(b)}.$



$tan(r_2 - s_2) = dfrac
{dfrac{1+cos(a)}{1-cos(a)} - dfrac{1+cos(b)}{1-cos(b)}}
{1 + left(dfrac{1+cos(a)}{1-cos(a)}right)
left(dfrac{1+cos(b)}{1-cos(b)}right)}
;=; dfrac{2[cos(a) - cos(b)]}{2[1+cos(a)cos(b)]}$

$=; tan(r_1 - s_1).$



The real question:



Focusing on the indefinite integrals only (ignoring the definite integrals), the two anti-derivatives are $;-arctan[cos(x)];$ and $;-arctanleft[dfrac{1+cos(x)}{1-cos(x)}right].$ How does one demonstrate that these two anti-derivatives are (somehow) essentially the same?










share|cite|improve this question















Given:

For the indefinite integral
$J = displaystyleintdfrac{sin(x)}{1+cos^2(x)},dx,,$ one anti-derivative will be obtained via the substitution $,u=cos(x),$ and another anti-derivative will be obtained via the substitution $,u=tan(x/2),$. While the two anti-derivatives will appear to be incompatible, their equivalence will be explicitly shown via the generic definite integral
$displaystyleint_a^bdfrac{sin(x)}{1+cos^2(x)},dx.$



To Do:

As I will clarify at the end of this query, I am looking for an alternative (i.e. more implicit) way of demonstrating the equivalence of the two anti-derivatives, within a "constant of integration," other than evaluating the (generic) definite integral.



$underline{u=cos(x)}$
$du = -sin(x)dx ;Rightarrow;
J ;=; displaystyle{int} dfrac{-du}{1+u^2},
;=; -arctan(u) ;=; -arctan[cos(x)]$

$=; arctan[-cos(x)].$



$underline{u=tan(x/2)}$
$x = 2arctan(u), ;dx = dfrac{2du}{1+u^2},
;sin(x) = dfrac{2u}{1+u^2}, ;cos(x)=dfrac{1-u^2}{1+u^2}.$



Under this substitution, $J$ will simplify to
$,displaystyleintdfrac{2u,du}{1+u^4}
;=; arctanleft[dfrac{-1}{u^2}right]$

$= ;arctanleft[dfrac{-1}{tan^2(x/2)}right]
;=; arctanleft[dfrac{-cos^2(x/2)}{sin^2(x/2)}right]
;=; -arctanleft[dfrac{1+cos(x)}{1-cos(x)}right],.$



$underline{text{Definite integral for} ;u=cos(x)}$



$displaystyle J = int_a^bdfrac{sin(x)dx}{1+cos^2(x)},dx.;$
Let $;r_1 = arctan[cos(a)];$ and let
$;s_1 = arctan[cos(b)].$



Then $;J ;=; (r_1 - s_1).$



$underline{text{Definite integral for} ;u=tan(x/2)}$



$displaystyle
J = int_{tan(a/2)}^{tan(b/2)}dfrac{2u,du}
{1+u^4}.;$

Let $;r_2 = arctanleft[dfrac{1}{tan^2(a/2)}right];$ and let



$;s_2 = arctanleft[dfrac{1}{tan^2(b/2)}right].$



Then $;J ;=; (r_2 - s_2).$



Equivalence of the two substitutions:

I will use the identity $;tan (alpha - beta)
;=; dfrac{tan(alpha) - tan(beta)}
{1 + tan(alpha)tan(beta)};$
to demonstrate that
$;tan(r_1 - s_1) ;=; tan(r_2 - s_2).$
Although not rigorous, this strongly suggests that angle
$(r_1 - s_1) =;$ angle $;(r_2 - s_2).$



$tan(r_1 - s_1) = dfrac{cos(a) - cos(b)}{1 + cos(a)cos(b)}.$



$tan(r_2 - s_2) = dfrac
{dfrac{1+cos(a)}{1-cos(a)} - dfrac{1+cos(b)}{1-cos(b)}}
{1 + left(dfrac{1+cos(a)}{1-cos(a)}right)
left(dfrac{1+cos(b)}{1-cos(b)}right)}
;=; dfrac{2[cos(a) - cos(b)]}{2[1+cos(a)cos(b)]}$

$=; tan(r_1 - s_1).$



The real question:



Focusing on the indefinite integrals only (ignoring the definite integrals), the two anti-derivatives are $;-arctan[cos(x)];$ and $;-arctanleft[dfrac{1+cos(x)}{1-cos(x)}right].$ How does one demonstrate that these two anti-derivatives are (somehow) essentially the same?







real-analysis integration






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 25 at 17:33









Martin Sleziak

44.6k7115270




44.6k7115270










asked Nov 3 at 2:42









user2661923

465112




465112








  • 2




    $$frac{pi}{4}+arctan y=arctan 1+arctan y=arctan frac{1+y}{1-y}$$ Since $frac{pi}{4}$ is a constant, its derivative is $0$. (In the above $y= cos x$ and $|y| leq 1$ so we can use the arctangent addition formula).
    – Yuriy S
    Nov 3 at 2:47








  • 1




    @YuriyS WOW, thanks.
    – user2661923
    Nov 3 at 2:51














  • 2




    $$frac{pi}{4}+arctan y=arctan 1+arctan y=arctan frac{1+y}{1-y}$$ Since $frac{pi}{4}$ is a constant, its derivative is $0$. (In the above $y= cos x$ and $|y| leq 1$ so we can use the arctangent addition formula).
    – Yuriy S
    Nov 3 at 2:47








  • 1




    @YuriyS WOW, thanks.
    – user2661923
    Nov 3 at 2:51








2




2




$$frac{pi}{4}+arctan y=arctan 1+arctan y=arctan frac{1+y}{1-y}$$ Since $frac{pi}{4}$ is a constant, its derivative is $0$. (In the above $y= cos x$ and $|y| leq 1$ so we can use the arctangent addition formula).
– Yuriy S
Nov 3 at 2:47






$$frac{pi}{4}+arctan y=arctan 1+arctan y=arctan frac{1+y}{1-y}$$ Since $frac{pi}{4}$ is a constant, its derivative is $0$. (In the above $y= cos x$ and $|y| leq 1$ so we can use the arctangent addition formula).
– Yuriy S
Nov 3 at 2:47






1




1




@YuriyS WOW, thanks.
– user2661923
Nov 3 at 2:51




@YuriyS WOW, thanks.
– user2661923
Nov 3 at 2:51










1 Answer
1






active

oldest

votes

















up vote
3
down vote



accepted










There are two ways to show that both are anti-derivatives of he same functions.



The first way is to differentiate both of them and see if you get the same result.



The second is to show that the difference of you two solutions is a constant.



Each way has its own merit and sometimes one is easier to check than the other.



I prefer the first method because I also make sure that my answer is correct by comparing the derivatives with the original integrand for accuracy.






share|cite|improve this answer





















  • nice answer, thanks.
    – user2661923
    Nov 3 at 4:15











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%2f2982477%2fshow-equivalence-of-different-approaches-to-int-frac-sinxdx1-cos2x%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
3
down vote



accepted










There are two ways to show that both are anti-derivatives of he same functions.



The first way is to differentiate both of them and see if you get the same result.



The second is to show that the difference of you two solutions is a constant.



Each way has its own merit and sometimes one is easier to check than the other.



I prefer the first method because I also make sure that my answer is correct by comparing the derivatives with the original integrand for accuracy.






share|cite|improve this answer





















  • nice answer, thanks.
    – user2661923
    Nov 3 at 4:15















up vote
3
down vote



accepted










There are two ways to show that both are anti-derivatives of he same functions.



The first way is to differentiate both of them and see if you get the same result.



The second is to show that the difference of you two solutions is a constant.



Each way has its own merit and sometimes one is easier to check than the other.



I prefer the first method because I also make sure that my answer is correct by comparing the derivatives with the original integrand for accuracy.






share|cite|improve this answer





















  • nice answer, thanks.
    – user2661923
    Nov 3 at 4:15













up vote
3
down vote



accepted







up vote
3
down vote



accepted






There are two ways to show that both are anti-derivatives of he same functions.



The first way is to differentiate both of them and see if you get the same result.



The second is to show that the difference of you two solutions is a constant.



Each way has its own merit and sometimes one is easier to check than the other.



I prefer the first method because I also make sure that my answer is correct by comparing the derivatives with the original integrand for accuracy.






share|cite|improve this answer












There are two ways to show that both are anti-derivatives of he same functions.



The first way is to differentiate both of them and see if you get the same result.



The second is to show that the difference of you two solutions is a constant.



Each way has its own merit and sometimes one is easier to check than the other.



I prefer the first method because I also make sure that my answer is correct by comparing the derivatives with the original integrand for accuracy.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Nov 3 at 3:24









Mohammad Riazi-Kermani

40.4k42058




40.4k42058












  • nice answer, thanks.
    – user2661923
    Nov 3 at 4:15


















  • nice answer, thanks.
    – user2661923
    Nov 3 at 4:15
















nice answer, thanks.
– user2661923
Nov 3 at 4:15




nice answer, thanks.
– user2661923
Nov 3 at 4:15


















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.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • 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.


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%2f2982477%2fshow-equivalence-of-different-approaches-to-int-frac-sinxdx1-cos2x%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

How do I know what Microsoft account the skydrive app is syncing to?

When does type information flow backwards in C++?

Grease: Live!