Connecting Geometric and Algebraic Concepts











up vote
4
down vote

favorite












Currently studying the graphs section from Spivak's Calculus, and was slightly confused about one part. In the text he writes:



"The rigorous proof of any statement connecting geometric and algebraic concepts would first require a real proof (or a precisely stated assumption) that the points on a straight line correspond in an exact way to the real numbers. Aside from this, it would be necessary to develop plane geometry as precisely as we intend to develop the properties of real numbers ... We shall use geometric pictures only as an aid to intuition"



Later in the text, he derives the equation of a circle from it's definition. The definition is: "A circle with center (a, b) and radius r > 0 contains all the points (x, y) whose distance from (a, b) is equal to r."



Now, here's the part I'm confused about:
Deriving the equation of the circle depended on the definition of the circle, and the definition of distance between two points on the Cartesian plane.



How do we prove that plotting all the points which satisy the equation of a circle will actually be a circle on the Cartesian plane. For example - if the definition of distance were changed, the 'circle' might look completely different on the plane. Or if the plane were 'bent' a circle would also look different. I assume that the definition of a circle does not change in these cases - it's just that the circle 'looks' different from what we expect. So how do we proceed that the circle still looks like a circle on the Cartesian Plane?



In fact, for any equation, how do we prove that the graph is correct? For example, for a parabola, we could plot a large number of points, and then demonstrate that it forms a pattern that looks like a parabola- but the unplotted points could still break this pattern.



I don't know if this confusion seems to stem from what Spivak mentioned earlier in the text- linking the algebraic and geometric concepts, or if I'm just over thinking things. Any help would be appreciated, and if there is a book or resource that explains this in more detail please let me know.










share|cite|improve this question


















  • 1




    To say that a shape is a circular shape, that shape must adhere to the definition of the circle. We can't rely on our eyes for that. The definition implicitly depends on elementary definitions and assumptions, such as the one you mentioned, like flatness of the space, etc. The important things is that all the parts must be true if otherwise not stated. "If it looks like a duck, walks like a duck and sounds like a duck....it is a duck". More is here: en.wikipedia.org/wiki/Euclidean_geometry
    – NoChance
    Nov 14 at 8:17

















up vote
4
down vote

favorite












Currently studying the graphs section from Spivak's Calculus, and was slightly confused about one part. In the text he writes:



"The rigorous proof of any statement connecting geometric and algebraic concepts would first require a real proof (or a precisely stated assumption) that the points on a straight line correspond in an exact way to the real numbers. Aside from this, it would be necessary to develop plane geometry as precisely as we intend to develop the properties of real numbers ... We shall use geometric pictures only as an aid to intuition"



Later in the text, he derives the equation of a circle from it's definition. The definition is: "A circle with center (a, b) and radius r > 0 contains all the points (x, y) whose distance from (a, b) is equal to r."



Now, here's the part I'm confused about:
Deriving the equation of the circle depended on the definition of the circle, and the definition of distance between two points on the Cartesian plane.



How do we prove that plotting all the points which satisy the equation of a circle will actually be a circle on the Cartesian plane. For example - if the definition of distance were changed, the 'circle' might look completely different on the plane. Or if the plane were 'bent' a circle would also look different. I assume that the definition of a circle does not change in these cases - it's just that the circle 'looks' different from what we expect. So how do we proceed that the circle still looks like a circle on the Cartesian Plane?



In fact, for any equation, how do we prove that the graph is correct? For example, for a parabola, we could plot a large number of points, and then demonstrate that it forms a pattern that looks like a parabola- but the unplotted points could still break this pattern.



I don't know if this confusion seems to stem from what Spivak mentioned earlier in the text- linking the algebraic and geometric concepts, or if I'm just over thinking things. Any help would be appreciated, and if there is a book or resource that explains this in more detail please let me know.










share|cite|improve this question


















  • 1




    To say that a shape is a circular shape, that shape must adhere to the definition of the circle. We can't rely on our eyes for that. The definition implicitly depends on elementary definitions and assumptions, such as the one you mentioned, like flatness of the space, etc. The important things is that all the parts must be true if otherwise not stated. "If it looks like a duck, walks like a duck and sounds like a duck....it is a duck". More is here: en.wikipedia.org/wiki/Euclidean_geometry
    – NoChance
    Nov 14 at 8:17















up vote
4
down vote

favorite









up vote
4
down vote

favorite











Currently studying the graphs section from Spivak's Calculus, and was slightly confused about one part. In the text he writes:



"The rigorous proof of any statement connecting geometric and algebraic concepts would first require a real proof (or a precisely stated assumption) that the points on a straight line correspond in an exact way to the real numbers. Aside from this, it would be necessary to develop plane geometry as precisely as we intend to develop the properties of real numbers ... We shall use geometric pictures only as an aid to intuition"



Later in the text, he derives the equation of a circle from it's definition. The definition is: "A circle with center (a, b) and radius r > 0 contains all the points (x, y) whose distance from (a, b) is equal to r."



Now, here's the part I'm confused about:
Deriving the equation of the circle depended on the definition of the circle, and the definition of distance between two points on the Cartesian plane.



How do we prove that plotting all the points which satisy the equation of a circle will actually be a circle on the Cartesian plane. For example - if the definition of distance were changed, the 'circle' might look completely different on the plane. Or if the plane were 'bent' a circle would also look different. I assume that the definition of a circle does not change in these cases - it's just that the circle 'looks' different from what we expect. So how do we proceed that the circle still looks like a circle on the Cartesian Plane?



In fact, for any equation, how do we prove that the graph is correct? For example, for a parabola, we could plot a large number of points, and then demonstrate that it forms a pattern that looks like a parabola- but the unplotted points could still break this pattern.



I don't know if this confusion seems to stem from what Spivak mentioned earlier in the text- linking the algebraic and geometric concepts, or if I'm just over thinking things. Any help would be appreciated, and if there is a book or resource that explains this in more detail please let me know.










share|cite|improve this question













Currently studying the graphs section from Spivak's Calculus, and was slightly confused about one part. In the text he writes:



"The rigorous proof of any statement connecting geometric and algebraic concepts would first require a real proof (or a precisely stated assumption) that the points on a straight line correspond in an exact way to the real numbers. Aside from this, it would be necessary to develop plane geometry as precisely as we intend to develop the properties of real numbers ... We shall use geometric pictures only as an aid to intuition"



Later in the text, he derives the equation of a circle from it's definition. The definition is: "A circle with center (a, b) and radius r > 0 contains all the points (x, y) whose distance from (a, b) is equal to r."



Now, here's the part I'm confused about:
Deriving the equation of the circle depended on the definition of the circle, and the definition of distance between two points on the Cartesian plane.



How do we prove that plotting all the points which satisy the equation of a circle will actually be a circle on the Cartesian plane. For example - if the definition of distance were changed, the 'circle' might look completely different on the plane. Or if the plane were 'bent' a circle would also look different. I assume that the definition of a circle does not change in these cases - it's just that the circle 'looks' different from what we expect. So how do we proceed that the circle still looks like a circle on the Cartesian Plane?



In fact, for any equation, how do we prove that the graph is correct? For example, for a parabola, we could plot a large number of points, and then demonstrate that it forms a pattern that looks like a parabola- but the unplotted points could still break this pattern.



I don't know if this confusion seems to stem from what Spivak mentioned earlier in the text- linking the algebraic and geometric concepts, or if I'm just over thinking things. Any help would be appreciated, and if there is a book or resource that explains this in more detail please let me know.







calculus geometry






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 14 at 8:05









i8pi

334




334








  • 1




    To say that a shape is a circular shape, that shape must adhere to the definition of the circle. We can't rely on our eyes for that. The definition implicitly depends on elementary definitions and assumptions, such as the one you mentioned, like flatness of the space, etc. The important things is that all the parts must be true if otherwise not stated. "If it looks like a duck, walks like a duck and sounds like a duck....it is a duck". More is here: en.wikipedia.org/wiki/Euclidean_geometry
    – NoChance
    Nov 14 at 8:17
















  • 1




    To say that a shape is a circular shape, that shape must adhere to the definition of the circle. We can't rely on our eyes for that. The definition implicitly depends on elementary definitions and assumptions, such as the one you mentioned, like flatness of the space, etc. The important things is that all the parts must be true if otherwise not stated. "If it looks like a duck, walks like a duck and sounds like a duck....it is a duck". More is here: en.wikipedia.org/wiki/Euclidean_geometry
    – NoChance
    Nov 14 at 8:17










1




1




To say that a shape is a circular shape, that shape must adhere to the definition of the circle. We can't rely on our eyes for that. The definition implicitly depends on elementary definitions and assumptions, such as the one you mentioned, like flatness of the space, etc. The important things is that all the parts must be true if otherwise not stated. "If it looks like a duck, walks like a duck and sounds like a duck....it is a duck". More is here: en.wikipedia.org/wiki/Euclidean_geometry
– NoChance
Nov 14 at 8:17






To say that a shape is a circular shape, that shape must adhere to the definition of the circle. We can't rely on our eyes for that. The definition implicitly depends on elementary definitions and assumptions, such as the one you mentioned, like flatness of the space, etc. The important things is that all the parts must be true if otherwise not stated. "If it looks like a duck, walks like a duck and sounds like a duck....it is a duck". More is here: en.wikipedia.org/wiki/Euclidean_geometry
– NoChance
Nov 14 at 8:17












2 Answers
2






active

oldest

votes

















up vote
3
down vote



accepted










The 1st paragraph emphasizes that he is not including any axiomatically-founded geometry, nor any formal results about the relation of geometry to analysis or algebra, in spite of the fact that those results exist. So any geometric term is to be understood as its analytic or algebraic definition and no more. Let $S={(x,y)in Bbb R^2: d(,(x,y),(0,0),)=1}.$ He could just as well call $S$ a widget instead of a circle. Any relation of $S$ to any geometric meaning of "circle" is NOT co-incidental, but will NOT be used in this book.



The "equation of $S$" is $x^2+y^2=1.$ What this means is that, with $S$ as defined in my previous paragraph, we have $forall (x,y)in Bbb R^2,(,(x,y)in Siff x^2+y^2=1).$






share|cite|improve this answer




























    up vote
    2
    down vote













    Geometrically a circle is the locus of all points

    on a plane a given distance from a point.



    { (x,y) : $(x-a)^2 + (y-b)^2 = r^2$ } is the set of

    all points on the xy plane a distance r from (a,b).



    Is there any difference?






    share|cite|improve this answer





















      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',
      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%2f2997951%2fconnecting-geometric-and-algebraic-concepts%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      3
      down vote



      accepted










      The 1st paragraph emphasizes that he is not including any axiomatically-founded geometry, nor any formal results about the relation of geometry to analysis or algebra, in spite of the fact that those results exist. So any geometric term is to be understood as its analytic or algebraic definition and no more. Let $S={(x,y)in Bbb R^2: d(,(x,y),(0,0),)=1}.$ He could just as well call $S$ a widget instead of a circle. Any relation of $S$ to any geometric meaning of "circle" is NOT co-incidental, but will NOT be used in this book.



      The "equation of $S$" is $x^2+y^2=1.$ What this means is that, with $S$ as defined in my previous paragraph, we have $forall (x,y)in Bbb R^2,(,(x,y)in Siff x^2+y^2=1).$






      share|cite|improve this answer

























        up vote
        3
        down vote



        accepted










        The 1st paragraph emphasizes that he is not including any axiomatically-founded geometry, nor any formal results about the relation of geometry to analysis or algebra, in spite of the fact that those results exist. So any geometric term is to be understood as its analytic or algebraic definition and no more. Let $S={(x,y)in Bbb R^2: d(,(x,y),(0,0),)=1}.$ He could just as well call $S$ a widget instead of a circle. Any relation of $S$ to any geometric meaning of "circle" is NOT co-incidental, but will NOT be used in this book.



        The "equation of $S$" is $x^2+y^2=1.$ What this means is that, with $S$ as defined in my previous paragraph, we have $forall (x,y)in Bbb R^2,(,(x,y)in Siff x^2+y^2=1).$






        share|cite|improve this answer























          up vote
          3
          down vote



          accepted







          up vote
          3
          down vote



          accepted






          The 1st paragraph emphasizes that he is not including any axiomatically-founded geometry, nor any formal results about the relation of geometry to analysis or algebra, in spite of the fact that those results exist. So any geometric term is to be understood as its analytic or algebraic definition and no more. Let $S={(x,y)in Bbb R^2: d(,(x,y),(0,0),)=1}.$ He could just as well call $S$ a widget instead of a circle. Any relation of $S$ to any geometric meaning of "circle" is NOT co-incidental, but will NOT be used in this book.



          The "equation of $S$" is $x^2+y^2=1.$ What this means is that, with $S$ as defined in my previous paragraph, we have $forall (x,y)in Bbb R^2,(,(x,y)in Siff x^2+y^2=1).$






          share|cite|improve this answer












          The 1st paragraph emphasizes that he is not including any axiomatically-founded geometry, nor any formal results about the relation of geometry to analysis or algebra, in spite of the fact that those results exist. So any geometric term is to be understood as its analytic or algebraic definition and no more. Let $S={(x,y)in Bbb R^2: d(,(x,y),(0,0),)=1}.$ He could just as well call $S$ a widget instead of a circle. Any relation of $S$ to any geometric meaning of "circle" is NOT co-incidental, but will NOT be used in this book.



          The "equation of $S$" is $x^2+y^2=1.$ What this means is that, with $S$ as defined in my previous paragraph, we have $forall (x,y)in Bbb R^2,(,(x,y)in Siff x^2+y^2=1).$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Nov 14 at 10:05









          DanielWainfleet

          33.4k31647




          33.4k31647






















              up vote
              2
              down vote













              Geometrically a circle is the locus of all points

              on a plane a given distance from a point.



              { (x,y) : $(x-a)^2 + (y-b)^2 = r^2$ } is the set of

              all points on the xy plane a distance r from (a,b).



              Is there any difference?






              share|cite|improve this answer

























                up vote
                2
                down vote













                Geometrically a circle is the locus of all points

                on a plane a given distance from a point.



                { (x,y) : $(x-a)^2 + (y-b)^2 = r^2$ } is the set of

                all points on the xy plane a distance r from (a,b).



                Is there any difference?






                share|cite|improve this answer























                  up vote
                  2
                  down vote










                  up vote
                  2
                  down vote









                  Geometrically a circle is the locus of all points

                  on a plane a given distance from a point.



                  { (x,y) : $(x-a)^2 + (y-b)^2 = r^2$ } is the set of

                  all points on the xy plane a distance r from (a,b).



                  Is there any difference?






                  share|cite|improve this answer












                  Geometrically a circle is the locus of all points

                  on a plane a given distance from a point.



                  { (x,y) : $(x-a)^2 + (y-b)^2 = r^2$ } is the set of

                  all points on the xy plane a distance r from (a,b).



                  Is there any difference?







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Nov 14 at 8:53









                  William Elliot

                  6,7652518




                  6,7652518






























                       

                      draft saved


                      draft discarded



















































                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function () {
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2997951%2fconnecting-geometric-and-algebraic-concepts%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!