Definite integral problem - sin and its inverse [duplicate]

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
2
down vote

favorite
1













This question already has an answer here:



  • Proof of Young's inequality

    2 answers



The problem is as follows:



let:
$$
0<a<fracpi2 , 0<b<1
$$



show that:
$$
int_0^asin(x)dx+int_0^barcsin(x)dxgeq ab
$$



I've tried to calculate the second integral over y and not over x (over $sin(y)$, didn't got very far.



The solution should be simple, and may involve using double integrals or using the graphs of the sine function and it's inverse in the rectangle that $a$ and $b$ form in $mathbbR^2$.



even an hint would be appreciated.



Thanks







share|cite|improve this question











marked as duplicate by StubbornAtom, Batominovski, Simply Beautiful Art calculus
Users with the  calculus badge can single-handedly close calculus questions as duplicates and reopen them as needed.

StackExchange.ready(function()
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function()
$hover.showInfoMessage('',
messageElement: $msg.clone().show(),
transient: false,
position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
dismissable: false,
relativeToBody: true
);
,
function()
StackExchange.helpers.removeMessages();

);
);
);
Aug 2 at 16:59


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.










  • 3




    It's more of a general inequality: en.wikipedia.org/wiki/….
    – StubbornAtom
    Aug 2 at 16:11














up vote
2
down vote

favorite
1













This question already has an answer here:



  • Proof of Young's inequality

    2 answers



The problem is as follows:



let:
$$
0<a<fracpi2 , 0<b<1
$$



show that:
$$
int_0^asin(x)dx+int_0^barcsin(x)dxgeq ab
$$



I've tried to calculate the second integral over y and not over x (over $sin(y)$, didn't got very far.



The solution should be simple, and may involve using double integrals or using the graphs of the sine function and it's inverse in the rectangle that $a$ and $b$ form in $mathbbR^2$.



even an hint would be appreciated.



Thanks







share|cite|improve this question











marked as duplicate by StubbornAtom, Batominovski, Simply Beautiful Art calculus
Users with the  calculus badge can single-handedly close calculus questions as duplicates and reopen them as needed.

StackExchange.ready(function()
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function()
$hover.showInfoMessage('',
messageElement: $msg.clone().show(),
transient: false,
position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
dismissable: false,
relativeToBody: true
);
,
function()
StackExchange.helpers.removeMessages();

);
);
);
Aug 2 at 16:59


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.










  • 3




    It's more of a general inequality: en.wikipedia.org/wiki/….
    – StubbornAtom
    Aug 2 at 16:11












up vote
2
down vote

favorite
1









up vote
2
down vote

favorite
1






1






This question already has an answer here:



  • Proof of Young's inequality

    2 answers



The problem is as follows:



let:
$$
0<a<fracpi2 , 0<b<1
$$



show that:
$$
int_0^asin(x)dx+int_0^barcsin(x)dxgeq ab
$$



I've tried to calculate the second integral over y and not over x (over $sin(y)$, didn't got very far.



The solution should be simple, and may involve using double integrals or using the graphs of the sine function and it's inverse in the rectangle that $a$ and $b$ form in $mathbbR^2$.



even an hint would be appreciated.



Thanks







share|cite|improve this question












This question already has an answer here:



  • Proof of Young's inequality

    2 answers



The problem is as follows:



let:
$$
0<a<fracpi2 , 0<b<1
$$



show that:
$$
int_0^asin(x)dx+int_0^barcsin(x)dxgeq ab
$$



I've tried to calculate the second integral over y and not over x (over $sin(y)$, didn't got very far.



The solution should be simple, and may involve using double integrals or using the graphs of the sine function and it's inverse in the rectangle that $a$ and $b$ form in $mathbbR^2$.



even an hint would be appreciated.



Thanks





This question already has an answer here:



  • Proof of Young's inequality

    2 answers









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Aug 2 at 16:05









juleand

896




896




marked as duplicate by StubbornAtom, Batominovski, Simply Beautiful Art calculus
Users with the  calculus badge can single-handedly close calculus questions as duplicates and reopen them as needed.

StackExchange.ready(function()
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function()
$hover.showInfoMessage('',
messageElement: $msg.clone().show(),
transient: false,
position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
dismissable: false,
relativeToBody: true
);
,
function()
StackExchange.helpers.removeMessages();

);
);
);
Aug 2 at 16:59


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.






marked as duplicate by StubbornAtom, Batominovski, Simply Beautiful Art calculus
Users with the  calculus badge can single-handedly close calculus questions as duplicates and reopen them as needed.

StackExchange.ready(function()
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function()
$hover.showInfoMessage('',
messageElement: $msg.clone().show(),
transient: false,
position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
dismissable: false,
relativeToBody: true
);
,
function()
StackExchange.helpers.removeMessages();

);
);
);
Aug 2 at 16:59


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.









  • 3




    It's more of a general inequality: en.wikipedia.org/wiki/….
    – StubbornAtom
    Aug 2 at 16:11












  • 3




    It's more of a general inequality: en.wikipedia.org/wiki/….
    – StubbornAtom
    Aug 2 at 16:11







3




3




It's more of a general inequality: en.wikipedia.org/wiki/….
– StubbornAtom
Aug 2 at 16:11




It's more of a general inequality: en.wikipedia.org/wiki/….
– StubbornAtom
Aug 2 at 16:11










1 Answer
1






active

oldest

votes

















up vote
0
down vote













The signs and monotonicty here are such that the integrals measure the area below the curve.



The parameter ranges allows the decomposition of the rectangle $[0, b] times [0, arcsin(b)]$ like this:
$$
intlimits_0^b arcsin(x), dx =
arcsin(b), b - intlimits_0^arcsin(b) sin(y), dy
$$
For $a le arcsin(b)$ we have
$$
intlimits_0^b arcsin(x), dx =
arcsin(b), b
- intlimits_0^a sin(y), dy
- intlimits_a^arcsin(b) sin(y), dy
$$
which means
$$
intlimits_0^a sin(x), dx + intlimits_0^b arcsin(x), dx =
underbracearcsin(b) , b_ge ab
-
underbraceintlimits_a^arcsin(b) sin(x), dx_ge 0
ge a b
$$
We can also decompose $[0, a] times [0, sin(a)]$ like this:
$$
intlimits_0^a sin(x), dx =
a, sin(a) - intlimits_0^sin(a) arcsin(y), dy
$$
This gives an estimation for $b le sin(a)$:
$$
intlimits_0^a sin(x), dx + intlimits_0^b arcsin(y), dy ge
a, b
$$
Finally
$$
b le sin(a) iff arcsin(b) le arcsin(sin(a))= a
$$
so we cover the other case as well.






share|cite|improve this answer






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    0
    down vote













    The signs and monotonicty here are such that the integrals measure the area below the curve.



    The parameter ranges allows the decomposition of the rectangle $[0, b] times [0, arcsin(b)]$ like this:
    $$
    intlimits_0^b arcsin(x), dx =
    arcsin(b), b - intlimits_0^arcsin(b) sin(y), dy
    $$
    For $a le arcsin(b)$ we have
    $$
    intlimits_0^b arcsin(x), dx =
    arcsin(b), b
    - intlimits_0^a sin(y), dy
    - intlimits_a^arcsin(b) sin(y), dy
    $$
    which means
    $$
    intlimits_0^a sin(x), dx + intlimits_0^b arcsin(x), dx =
    underbracearcsin(b) , b_ge ab
    -
    underbraceintlimits_a^arcsin(b) sin(x), dx_ge 0
    ge a b
    $$
    We can also decompose $[0, a] times [0, sin(a)]$ like this:
    $$
    intlimits_0^a sin(x), dx =
    a, sin(a) - intlimits_0^sin(a) arcsin(y), dy
    $$
    This gives an estimation for $b le sin(a)$:
    $$
    intlimits_0^a sin(x), dx + intlimits_0^b arcsin(y), dy ge
    a, b
    $$
    Finally
    $$
    b le sin(a) iff arcsin(b) le arcsin(sin(a))= a
    $$
    so we cover the other case as well.






    share|cite|improve this answer



























      up vote
      0
      down vote













      The signs and monotonicty here are such that the integrals measure the area below the curve.



      The parameter ranges allows the decomposition of the rectangle $[0, b] times [0, arcsin(b)]$ like this:
      $$
      intlimits_0^b arcsin(x), dx =
      arcsin(b), b - intlimits_0^arcsin(b) sin(y), dy
      $$
      For $a le arcsin(b)$ we have
      $$
      intlimits_0^b arcsin(x), dx =
      arcsin(b), b
      - intlimits_0^a sin(y), dy
      - intlimits_a^arcsin(b) sin(y), dy
      $$
      which means
      $$
      intlimits_0^a sin(x), dx + intlimits_0^b arcsin(x), dx =
      underbracearcsin(b) , b_ge ab
      -
      underbraceintlimits_a^arcsin(b) sin(x), dx_ge 0
      ge a b
      $$
      We can also decompose $[0, a] times [0, sin(a)]$ like this:
      $$
      intlimits_0^a sin(x), dx =
      a, sin(a) - intlimits_0^sin(a) arcsin(y), dy
      $$
      This gives an estimation for $b le sin(a)$:
      $$
      intlimits_0^a sin(x), dx + intlimits_0^b arcsin(y), dy ge
      a, b
      $$
      Finally
      $$
      b le sin(a) iff arcsin(b) le arcsin(sin(a))= a
      $$
      so we cover the other case as well.






      share|cite|improve this answer

























        up vote
        0
        down vote










        up vote
        0
        down vote









        The signs and monotonicty here are such that the integrals measure the area below the curve.



        The parameter ranges allows the decomposition of the rectangle $[0, b] times [0, arcsin(b)]$ like this:
        $$
        intlimits_0^b arcsin(x), dx =
        arcsin(b), b - intlimits_0^arcsin(b) sin(y), dy
        $$
        For $a le arcsin(b)$ we have
        $$
        intlimits_0^b arcsin(x), dx =
        arcsin(b), b
        - intlimits_0^a sin(y), dy
        - intlimits_a^arcsin(b) sin(y), dy
        $$
        which means
        $$
        intlimits_0^a sin(x), dx + intlimits_0^b arcsin(x), dx =
        underbracearcsin(b) , b_ge ab
        -
        underbraceintlimits_a^arcsin(b) sin(x), dx_ge 0
        ge a b
        $$
        We can also decompose $[0, a] times [0, sin(a)]$ like this:
        $$
        intlimits_0^a sin(x), dx =
        a, sin(a) - intlimits_0^sin(a) arcsin(y), dy
        $$
        This gives an estimation for $b le sin(a)$:
        $$
        intlimits_0^a sin(x), dx + intlimits_0^b arcsin(y), dy ge
        a, b
        $$
        Finally
        $$
        b le sin(a) iff arcsin(b) le arcsin(sin(a))= a
        $$
        so we cover the other case as well.






        share|cite|improve this answer















        The signs and monotonicty here are such that the integrals measure the area below the curve.



        The parameter ranges allows the decomposition of the rectangle $[0, b] times [0, arcsin(b)]$ like this:
        $$
        intlimits_0^b arcsin(x), dx =
        arcsin(b), b - intlimits_0^arcsin(b) sin(y), dy
        $$
        For $a le arcsin(b)$ we have
        $$
        intlimits_0^b arcsin(x), dx =
        arcsin(b), b
        - intlimits_0^a sin(y), dy
        - intlimits_a^arcsin(b) sin(y), dy
        $$
        which means
        $$
        intlimits_0^a sin(x), dx + intlimits_0^b arcsin(x), dx =
        underbracearcsin(b) , b_ge ab
        -
        underbraceintlimits_a^arcsin(b) sin(x), dx_ge 0
        ge a b
        $$
        We can also decompose $[0, a] times [0, sin(a)]$ like this:
        $$
        intlimits_0^a sin(x), dx =
        a, sin(a) - intlimits_0^sin(a) arcsin(y), dy
        $$
        This gives an estimation for $b le sin(a)$:
        $$
        intlimits_0^a sin(x), dx + intlimits_0^b arcsin(y), dy ge
        a, b
        $$
        Finally
        $$
        b le sin(a) iff arcsin(b) le arcsin(sin(a))= a
        $$
        so we cover the other case as well.







        share|cite|improve this answer















        share|cite|improve this answer



        share|cite|improve this answer








        edited Aug 2 at 16:51


























        answered Aug 2 at 16:15









        mvw

        30.2k22250




        30.2k22250












            Comments

            Popular posts from this blog

            What is the equation of a 3D cone with generalised tilt?

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?