Why does the Maclaurin series of sin(x) converge to sin(x)? [duplicate]

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











up vote
0
down vote

favorite













This question already has an answer here:



  • Sine taylor series

    1 answer



When looking up how the extremely famous series $$sin(x)=sum_k=0^infty(-1)^kfracx^2k+1(2k+1)!$$ is derived, I found this great explanation by Proof Wiki.



My question is this: the explanation shows clearly how to derive the Maclaurin series for $sin(x)$ and how it converges for all real arguments, however - as someone new to the intricacies of Maclaurin series - it does not prove that whatever the series converges to at the real number $a$ is $sin(a)$. Why is this true?







share|cite|improve this question













marked as duplicate by José Carlos Santos, Community♦ Jul 22 at 19:03


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




    To this and similar questions I always respond with: What is your definition of $sin>$?
    – Christian Blatter
    Jul 22 at 18:57










  • Thanks Jose! Also, @ChristianBlatter, I would have used the definition from circles.
    – Isky Mathews
    Jul 22 at 19:04










  • One approach is to look at to show that for any complex $z$, $left(1+frac znright)^n$ converges to $sum_k=0^inftyfracz^kk!.$ The imaginary part of this function, when evaluated at $z=ix$ is your series. But then you can show the inequality that $cos x + isin x = 1+x+ o(x^2),$ which is enough to show that $left(1+frac ix nright)^n$ converges to the same value as $left(cos x/n + isin x/nright)^n=cos x + isin x.$
    – Thomas Andrews
    Jul 22 at 19:19















up vote
0
down vote

favorite













This question already has an answer here:



  • Sine taylor series

    1 answer



When looking up how the extremely famous series $$sin(x)=sum_k=0^infty(-1)^kfracx^2k+1(2k+1)!$$ is derived, I found this great explanation by Proof Wiki.



My question is this: the explanation shows clearly how to derive the Maclaurin series for $sin(x)$ and how it converges for all real arguments, however - as someone new to the intricacies of Maclaurin series - it does not prove that whatever the series converges to at the real number $a$ is $sin(a)$. Why is this true?







share|cite|improve this question













marked as duplicate by José Carlos Santos, Community♦ Jul 22 at 19:03


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




    To this and similar questions I always respond with: What is your definition of $sin>$?
    – Christian Blatter
    Jul 22 at 18:57










  • Thanks Jose! Also, @ChristianBlatter, I would have used the definition from circles.
    – Isky Mathews
    Jul 22 at 19:04










  • One approach is to look at to show that for any complex $z$, $left(1+frac znright)^n$ converges to $sum_k=0^inftyfracz^kk!.$ The imaginary part of this function, when evaluated at $z=ix$ is your series. But then you can show the inequality that $cos x + isin x = 1+x+ o(x^2),$ which is enough to show that $left(1+frac ix nright)^n$ converges to the same value as $left(cos x/n + isin x/nright)^n=cos x + isin x.$
    – Thomas Andrews
    Jul 22 at 19:19













up vote
0
down vote

favorite









up vote
0
down vote

favorite












This question already has an answer here:



  • Sine taylor series

    1 answer



When looking up how the extremely famous series $$sin(x)=sum_k=0^infty(-1)^kfracx^2k+1(2k+1)!$$ is derived, I found this great explanation by Proof Wiki.



My question is this: the explanation shows clearly how to derive the Maclaurin series for $sin(x)$ and how it converges for all real arguments, however - as someone new to the intricacies of Maclaurin series - it does not prove that whatever the series converges to at the real number $a$ is $sin(a)$. Why is this true?







share|cite|improve this question














This question already has an answer here:



  • Sine taylor series

    1 answer



When looking up how the extremely famous series $$sin(x)=sum_k=0^infty(-1)^kfracx^2k+1(2k+1)!$$ is derived, I found this great explanation by Proof Wiki.



My question is this: the explanation shows clearly how to derive the Maclaurin series for $sin(x)$ and how it converges for all real arguments, however - as someone new to the intricacies of Maclaurin series - it does not prove that whatever the series converges to at the real number $a$ is $sin(a)$. Why is this true?





This question already has an answer here:



  • Sine taylor series

    1 answer









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 22 at 19:08









Bernard

110k635103




110k635103









asked Jul 22 at 18:52









Isky Mathews

777214




777214




marked as duplicate by José Carlos Santos, Community♦ Jul 22 at 19:03


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 José Carlos Santos, Community♦ Jul 22 at 19:03


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




    To this and similar questions I always respond with: What is your definition of $sin>$?
    – Christian Blatter
    Jul 22 at 18:57










  • Thanks Jose! Also, @ChristianBlatter, I would have used the definition from circles.
    – Isky Mathews
    Jul 22 at 19:04










  • One approach is to look at to show that for any complex $z$, $left(1+frac znright)^n$ converges to $sum_k=0^inftyfracz^kk!.$ The imaginary part of this function, when evaluated at $z=ix$ is your series. But then you can show the inequality that $cos x + isin x = 1+x+ o(x^2),$ which is enough to show that $left(1+frac ix nright)^n$ converges to the same value as $left(cos x/n + isin x/nright)^n=cos x + isin x.$
    – Thomas Andrews
    Jul 22 at 19:19













  • 3




    To this and similar questions I always respond with: What is your definition of $sin>$?
    – Christian Blatter
    Jul 22 at 18:57










  • Thanks Jose! Also, @ChristianBlatter, I would have used the definition from circles.
    – Isky Mathews
    Jul 22 at 19:04










  • One approach is to look at to show that for any complex $z$, $left(1+frac znright)^n$ converges to $sum_k=0^inftyfracz^kk!.$ The imaginary part of this function, when evaluated at $z=ix$ is your series. But then you can show the inequality that $cos x + isin x = 1+x+ o(x^2),$ which is enough to show that $left(1+frac ix nright)^n$ converges to the same value as $left(cos x/n + isin x/nright)^n=cos x + isin x.$
    – Thomas Andrews
    Jul 22 at 19:19








3




3




To this and similar questions I always respond with: What is your definition of $sin>$?
– Christian Blatter
Jul 22 at 18:57




To this and similar questions I always respond with: What is your definition of $sin>$?
– Christian Blatter
Jul 22 at 18:57












Thanks Jose! Also, @ChristianBlatter, I would have used the definition from circles.
– Isky Mathews
Jul 22 at 19:04




Thanks Jose! Also, @ChristianBlatter, I would have used the definition from circles.
– Isky Mathews
Jul 22 at 19:04












One approach is to look at to show that for any complex $z$, $left(1+frac znright)^n$ converges to $sum_k=0^inftyfracz^kk!.$ The imaginary part of this function, when evaluated at $z=ix$ is your series. But then you can show the inequality that $cos x + isin x = 1+x+ o(x^2),$ which is enough to show that $left(1+frac ix nright)^n$ converges to the same value as $left(cos x/n + isin x/nright)^n=cos x + isin x.$
– Thomas Andrews
Jul 22 at 19:19





One approach is to look at to show that for any complex $z$, $left(1+frac znright)^n$ converges to $sum_k=0^inftyfracz^kk!.$ The imaginary part of this function, when evaluated at $z=ix$ is your series. But then you can show the inequality that $cos x + isin x = 1+x+ o(x^2),$ which is enough to show that $left(1+frac ix nright)^n$ converges to the same value as $left(cos x/n + isin x/nright)^n=cos x + isin x.$
– Thomas Andrews
Jul 22 at 19:19











1 Answer
1






active

oldest

votes

















up vote
0
down vote













For acute $x$ a geometric proof that $0<sin x<x$ is easy, and we can alternately use $cos x=1-int_0^xsin t dt,,sin x=int_0^xcos t dt$ to bound both trigonometric functions with increasingly high-degree polynomials. In each case the even- and odd-$n$ sums of the first $n$ terms provide subsequences that bound the functions on either side, so a ratio-test proof of convergence and the squeeze theorem proves each series converges to exactly what you think it does



Extending the above to non-acute $x$ is an exercise left for the reader. (Hint: prove compound-angle formulae for the Taylor series, then verify the effects of adding multiples of $pi/2$ are the same as for the trigonometric functions.)






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













    For acute $x$ a geometric proof that $0<sin x<x$ is easy, and we can alternately use $cos x=1-int_0^xsin t dt,,sin x=int_0^xcos t dt$ to bound both trigonometric functions with increasingly high-degree polynomials. In each case the even- and odd-$n$ sums of the first $n$ terms provide subsequences that bound the functions on either side, so a ratio-test proof of convergence and the squeeze theorem proves each series converges to exactly what you think it does



    Extending the above to non-acute $x$ is an exercise left for the reader. (Hint: prove compound-angle formulae for the Taylor series, then verify the effects of adding multiples of $pi/2$ are the same as for the trigonometric functions.)






    share|cite|improve this answer

























      up vote
      0
      down vote













      For acute $x$ a geometric proof that $0<sin x<x$ is easy, and we can alternately use $cos x=1-int_0^xsin t dt,,sin x=int_0^xcos t dt$ to bound both trigonometric functions with increasingly high-degree polynomials. In each case the even- and odd-$n$ sums of the first $n$ terms provide subsequences that bound the functions on either side, so a ratio-test proof of convergence and the squeeze theorem proves each series converges to exactly what you think it does



      Extending the above to non-acute $x$ is an exercise left for the reader. (Hint: prove compound-angle formulae for the Taylor series, then verify the effects of adding multiples of $pi/2$ are the same as for the trigonometric functions.)






      share|cite|improve this answer























        up vote
        0
        down vote










        up vote
        0
        down vote









        For acute $x$ a geometric proof that $0<sin x<x$ is easy, and we can alternately use $cos x=1-int_0^xsin t dt,,sin x=int_0^xcos t dt$ to bound both trigonometric functions with increasingly high-degree polynomials. In each case the even- and odd-$n$ sums of the first $n$ terms provide subsequences that bound the functions on either side, so a ratio-test proof of convergence and the squeeze theorem proves each series converges to exactly what you think it does



        Extending the above to non-acute $x$ is an exercise left for the reader. (Hint: prove compound-angle formulae for the Taylor series, then verify the effects of adding multiples of $pi/2$ are the same as for the trigonometric functions.)






        share|cite|improve this answer













        For acute $x$ a geometric proof that $0<sin x<x$ is easy, and we can alternately use $cos x=1-int_0^xsin t dt,,sin x=int_0^xcos t dt$ to bound both trigonometric functions with increasingly high-degree polynomials. In each case the even- and odd-$n$ sums of the first $n$ terms provide subsequences that bound the functions on either side, so a ratio-test proof of convergence and the squeeze theorem proves each series converges to exactly what you think it does



        Extending the above to non-acute $x$ is an exercise left for the reader. (Hint: prove compound-angle formulae for the Taylor series, then verify the effects of adding multiples of $pi/2$ are the same as for the trigonometric functions.)







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Jul 22 at 19:07









        J.G.

        13.2k11424




        13.2k11424












            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?