Satisfying explanation of Aristotle's Wheel Paradox.












3












$begingroup$


The paradox:



enter image description here



We have a circle and there is another circle with smaller radius. They are co-centeric.



If circle make full turn without sliding, both smaller and bigger circle make full turn too. If we assume that the passed road is equal to the circumference of circles. We have got smaller circle's radius is equal to bigger one's.



Unsatisfying Solutions I found:




  1. "Do not assume that smaller circle's circumference is equal to passed road since the surface that contacts to the ground is bigger one. " // Okey but it does not explain the paradox, it explains just what is the wrong assumption (even does not explain why it is a wrong assumption.)

  2. It is undeniable that every point on both smaller and bigger circle will contact exactly one and only one point on their path. Therefore we can think that this is a bijective maps and smaller circle is isomorphic to bigger one. (Okey but ....)


Question: What is the true answer? What is wrong with the definition of circumference of a circle and relationship with its taken path.










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    It is impossible for both wheels to roll without slipping. You can prove that using vectors, for instance.
    $endgroup$
    – Aretino
    Jun 10 '18 at 13:55
















3












$begingroup$


The paradox:



enter image description here



We have a circle and there is another circle with smaller radius. They are co-centeric.



If circle make full turn without sliding, both smaller and bigger circle make full turn too. If we assume that the passed road is equal to the circumference of circles. We have got smaller circle's radius is equal to bigger one's.



Unsatisfying Solutions I found:




  1. "Do not assume that smaller circle's circumference is equal to passed road since the surface that contacts to the ground is bigger one. " // Okey but it does not explain the paradox, it explains just what is the wrong assumption (even does not explain why it is a wrong assumption.)

  2. It is undeniable that every point on both smaller and bigger circle will contact exactly one and only one point on their path. Therefore we can think that this is a bijective maps and smaller circle is isomorphic to bigger one. (Okey but ....)


Question: What is the true answer? What is wrong with the definition of circumference of a circle and relationship with its taken path.










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    It is impossible for both wheels to roll without slipping. You can prove that using vectors, for instance.
    $endgroup$
    – Aretino
    Jun 10 '18 at 13:55














3












3








3


1



$begingroup$


The paradox:



enter image description here



We have a circle and there is another circle with smaller radius. They are co-centeric.



If circle make full turn without sliding, both smaller and bigger circle make full turn too. If we assume that the passed road is equal to the circumference of circles. We have got smaller circle's radius is equal to bigger one's.



Unsatisfying Solutions I found:




  1. "Do not assume that smaller circle's circumference is equal to passed road since the surface that contacts to the ground is bigger one. " // Okey but it does not explain the paradox, it explains just what is the wrong assumption (even does not explain why it is a wrong assumption.)

  2. It is undeniable that every point on both smaller and bigger circle will contact exactly one and only one point on their path. Therefore we can think that this is a bijective maps and smaller circle is isomorphic to bigger one. (Okey but ....)


Question: What is the true answer? What is wrong with the definition of circumference of a circle and relationship with its taken path.










share|cite|improve this question









$endgroup$




The paradox:



enter image description here



We have a circle and there is another circle with smaller radius. They are co-centeric.



If circle make full turn without sliding, both smaller and bigger circle make full turn too. If we assume that the passed road is equal to the circumference of circles. We have got smaller circle's radius is equal to bigger one's.



Unsatisfying Solutions I found:




  1. "Do not assume that smaller circle's circumference is equal to passed road since the surface that contacts to the ground is bigger one. " // Okey but it does not explain the paradox, it explains just what is the wrong assumption (even does not explain why it is a wrong assumption.)

  2. It is undeniable that every point on both smaller and bigger circle will contact exactly one and only one point on their path. Therefore we can think that this is a bijective maps and smaller circle is isomorphic to bigger one. (Okey but ....)


Question: What is the true answer? What is wrong with the definition of circumference of a circle and relationship with its taken path.







geometry paradoxes equivariant-maps






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jun 10 '18 at 13:42









user2312512851user2312512851

1,197521




1,197521








  • 1




    $begingroup$
    It is impossible for both wheels to roll without slipping. You can prove that using vectors, for instance.
    $endgroup$
    – Aretino
    Jun 10 '18 at 13:55














  • 1




    $begingroup$
    It is impossible for both wheels to roll without slipping. You can prove that using vectors, for instance.
    $endgroup$
    – Aretino
    Jun 10 '18 at 13:55








1




1




$begingroup$
It is impossible for both wheels to roll without slipping. You can prove that using vectors, for instance.
$endgroup$
– Aretino
Jun 10 '18 at 13:55




$begingroup$
It is impossible for both wheels to roll without slipping. You can prove that using vectors, for instance.
$endgroup$
– Aretino
Jun 10 '18 at 13:55










3 Answers
3






active

oldest

votes


















2












$begingroup$

The velocity of any point $P$ on a wheel can be written as the sum of two velocities: the velocity $vec V$ of the center $O$ and the velocity $vecomegatimesvec{OP}$ of rotation about the center, where $vecomega$ is angular velocity (perpendicular to the plane of the wheel).



A wheel turns without sliding with respect to a given path if the velocity of the contact point between wheel and path vanishes. Let then $C$ and $C'$ be the contact points of the two wheels. We have
$$
vec v_C=vec V+vecomegatimesvec{OC}
quadtext{and}quad
vec v_{C'}=vec V+vecomegatimesvec{OC'}
$$
If $vec v_C=0$ then $vec V=-vecomegatimesvec{OC}$ and
$$
vec v_{C'}=-vecomegatimesvec{OC}+vecomegatimesvec{OC'}
=vecomegatimes(vec{OC'}-vec{OC})=vecomegatimes(vec{CC'}).
$$
This cannot vanish, unless $C=C'$. So the assumption that both circles turn without sliding is false.






share|cite|improve this answer









$endgroup$





















    3












    $begingroup$

    Starting with three assumptions




    1. Both wheels stay concentric all the way,


    2. Both make full circle without sliding,


    3. At the end the distance is equal to the perimeter



    you get a contradictory result (both wheels have same perimeter). The principle of proof by contradictions tells us that the conjunction of your assumptions is erroneous. Of course, as you pointed out, it makes no sense to reject assumption 3 because one can always go on rolling the wheel until it crosses the right distance.



    Therefore, this "paradox" is actually a proof by contradiction that the two wheels cannot simultaneously stay concentric and roll without sliding. If they are to stay concentric all the way, at least one has to slide.






    share|cite|improve this answer











    $endgroup$









    • 1




      $begingroup$
      This restates the first explanation given by OP, which was rejected.
      $endgroup$
      – Ross Millikan
      Jun 10 '18 at 13:50










    • $begingroup$
      No, it rejects another assumption. If you refuse to reject erroneous assumptions, there is no way not to deduce erroneous conclusion. Actually, this "paradox" is a proof by contradiction that both circle cannot make full circle without sliding - otherwise they would have same perimeter, which is a contradiction.
      $endgroup$
      – Régis
      Jun 10 '18 at 14:06



















    1












    $begingroup$

    Fix two aligned points (green and red) on the circles. And consider another circle identical to the smaller circle that is attached on top of the bigger circle. Refer to the figure below:



    enter image description here



    Case 1: If we consider the big circle and top small circle, both rotate with equal velocity and the top small circle will make full round at the red point (at this point the big circle has not made full round yet). Note that for convenience we may consider that the small circle rotates opposite to the big circle.



    Case 2: Now if we consider the big circle and the cocentric small circle, the small circle will slide to catch up with the pace of the big circle.



    In conclusion, the smaller the smaller circle is, the greater it slides.






    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%2f2814598%2fsatisfying-explanation-of-aristotles-wheel-paradox%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









      2












      $begingroup$

      The velocity of any point $P$ on a wheel can be written as the sum of two velocities: the velocity $vec V$ of the center $O$ and the velocity $vecomegatimesvec{OP}$ of rotation about the center, where $vecomega$ is angular velocity (perpendicular to the plane of the wheel).



      A wheel turns without sliding with respect to a given path if the velocity of the contact point between wheel and path vanishes. Let then $C$ and $C'$ be the contact points of the two wheels. We have
      $$
      vec v_C=vec V+vecomegatimesvec{OC}
      quadtext{and}quad
      vec v_{C'}=vec V+vecomegatimesvec{OC'}
      $$
      If $vec v_C=0$ then $vec V=-vecomegatimesvec{OC}$ and
      $$
      vec v_{C'}=-vecomegatimesvec{OC}+vecomegatimesvec{OC'}
      =vecomegatimes(vec{OC'}-vec{OC})=vecomegatimes(vec{CC'}).
      $$
      This cannot vanish, unless $C=C'$. So the assumption that both circles turn without sliding is false.






      share|cite|improve this answer









      $endgroup$


















        2












        $begingroup$

        The velocity of any point $P$ on a wheel can be written as the sum of two velocities: the velocity $vec V$ of the center $O$ and the velocity $vecomegatimesvec{OP}$ of rotation about the center, where $vecomega$ is angular velocity (perpendicular to the plane of the wheel).



        A wheel turns without sliding with respect to a given path if the velocity of the contact point between wheel and path vanishes. Let then $C$ and $C'$ be the contact points of the two wheels. We have
        $$
        vec v_C=vec V+vecomegatimesvec{OC}
        quadtext{and}quad
        vec v_{C'}=vec V+vecomegatimesvec{OC'}
        $$
        If $vec v_C=0$ then $vec V=-vecomegatimesvec{OC}$ and
        $$
        vec v_{C'}=-vecomegatimesvec{OC}+vecomegatimesvec{OC'}
        =vecomegatimes(vec{OC'}-vec{OC})=vecomegatimes(vec{CC'}).
        $$
        This cannot vanish, unless $C=C'$. So the assumption that both circles turn without sliding is false.






        share|cite|improve this answer









        $endgroup$
















          2












          2








          2





          $begingroup$

          The velocity of any point $P$ on a wheel can be written as the sum of two velocities: the velocity $vec V$ of the center $O$ and the velocity $vecomegatimesvec{OP}$ of rotation about the center, where $vecomega$ is angular velocity (perpendicular to the plane of the wheel).



          A wheel turns without sliding with respect to a given path if the velocity of the contact point between wheel and path vanishes. Let then $C$ and $C'$ be the contact points of the two wheels. We have
          $$
          vec v_C=vec V+vecomegatimesvec{OC}
          quadtext{and}quad
          vec v_{C'}=vec V+vecomegatimesvec{OC'}
          $$
          If $vec v_C=0$ then $vec V=-vecomegatimesvec{OC}$ and
          $$
          vec v_{C'}=-vecomegatimesvec{OC}+vecomegatimesvec{OC'}
          =vecomegatimes(vec{OC'}-vec{OC})=vecomegatimes(vec{CC'}).
          $$
          This cannot vanish, unless $C=C'$. So the assumption that both circles turn without sliding is false.






          share|cite|improve this answer









          $endgroup$



          The velocity of any point $P$ on a wheel can be written as the sum of two velocities: the velocity $vec V$ of the center $O$ and the velocity $vecomegatimesvec{OP}$ of rotation about the center, where $vecomega$ is angular velocity (perpendicular to the plane of the wheel).



          A wheel turns without sliding with respect to a given path if the velocity of the contact point between wheel and path vanishes. Let then $C$ and $C'$ be the contact points of the two wheels. We have
          $$
          vec v_C=vec V+vecomegatimesvec{OC}
          quadtext{and}quad
          vec v_{C'}=vec V+vecomegatimesvec{OC'}
          $$
          If $vec v_C=0$ then $vec V=-vecomegatimesvec{OC}$ and
          $$
          vec v_{C'}=-vecomegatimesvec{OC}+vecomegatimesvec{OC'}
          =vecomegatimes(vec{OC'}-vec{OC})=vecomegatimes(vec{CC'}).
          $$
          This cannot vanish, unless $C=C'$. So the assumption that both circles turn without sliding is false.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Jun 10 '18 at 14:12









          AretinoAretino

          25.2k21445




          25.2k21445























              3












              $begingroup$

              Starting with three assumptions




              1. Both wheels stay concentric all the way,


              2. Both make full circle without sliding,


              3. At the end the distance is equal to the perimeter



              you get a contradictory result (both wheels have same perimeter). The principle of proof by contradictions tells us that the conjunction of your assumptions is erroneous. Of course, as you pointed out, it makes no sense to reject assumption 3 because one can always go on rolling the wheel until it crosses the right distance.



              Therefore, this "paradox" is actually a proof by contradiction that the two wheels cannot simultaneously stay concentric and roll without sliding. If they are to stay concentric all the way, at least one has to slide.






              share|cite|improve this answer











              $endgroup$









              • 1




                $begingroup$
                This restates the first explanation given by OP, which was rejected.
                $endgroup$
                – Ross Millikan
                Jun 10 '18 at 13:50










              • $begingroup$
                No, it rejects another assumption. If you refuse to reject erroneous assumptions, there is no way not to deduce erroneous conclusion. Actually, this "paradox" is a proof by contradiction that both circle cannot make full circle without sliding - otherwise they would have same perimeter, which is a contradiction.
                $endgroup$
                – Régis
                Jun 10 '18 at 14:06
















              3












              $begingroup$

              Starting with three assumptions




              1. Both wheels stay concentric all the way,


              2. Both make full circle without sliding,


              3. At the end the distance is equal to the perimeter



              you get a contradictory result (both wheels have same perimeter). The principle of proof by contradictions tells us that the conjunction of your assumptions is erroneous. Of course, as you pointed out, it makes no sense to reject assumption 3 because one can always go on rolling the wheel until it crosses the right distance.



              Therefore, this "paradox" is actually a proof by contradiction that the two wheels cannot simultaneously stay concentric and roll without sliding. If they are to stay concentric all the way, at least one has to slide.






              share|cite|improve this answer











              $endgroup$









              • 1




                $begingroup$
                This restates the first explanation given by OP, which was rejected.
                $endgroup$
                – Ross Millikan
                Jun 10 '18 at 13:50










              • $begingroup$
                No, it rejects another assumption. If you refuse to reject erroneous assumptions, there is no way not to deduce erroneous conclusion. Actually, this "paradox" is a proof by contradiction that both circle cannot make full circle without sliding - otherwise they would have same perimeter, which is a contradiction.
                $endgroup$
                – Régis
                Jun 10 '18 at 14:06














              3












              3








              3





              $begingroup$

              Starting with three assumptions




              1. Both wheels stay concentric all the way,


              2. Both make full circle without sliding,


              3. At the end the distance is equal to the perimeter



              you get a contradictory result (both wheels have same perimeter). The principle of proof by contradictions tells us that the conjunction of your assumptions is erroneous. Of course, as you pointed out, it makes no sense to reject assumption 3 because one can always go on rolling the wheel until it crosses the right distance.



              Therefore, this "paradox" is actually a proof by contradiction that the two wheels cannot simultaneously stay concentric and roll without sliding. If they are to stay concentric all the way, at least one has to slide.






              share|cite|improve this answer











              $endgroup$



              Starting with three assumptions




              1. Both wheels stay concentric all the way,


              2. Both make full circle without sliding,


              3. At the end the distance is equal to the perimeter



              you get a contradictory result (both wheels have same perimeter). The principle of proof by contradictions tells us that the conjunction of your assumptions is erroneous. Of course, as you pointed out, it makes no sense to reject assumption 3 because one can always go on rolling the wheel until it crosses the right distance.



              Therefore, this "paradox" is actually a proof by contradiction that the two wheels cannot simultaneously stay concentric and roll without sliding. If they are to stay concentric all the way, at least one has to slide.







              share|cite|improve this answer














              share|cite|improve this answer



              share|cite|improve this answer








              edited Jun 12 '18 at 0:55

























              answered Jun 10 '18 at 13:47









              RégisRégis

              678310




              678310








              • 1




                $begingroup$
                This restates the first explanation given by OP, which was rejected.
                $endgroup$
                – Ross Millikan
                Jun 10 '18 at 13:50










              • $begingroup$
                No, it rejects another assumption. If you refuse to reject erroneous assumptions, there is no way not to deduce erroneous conclusion. Actually, this "paradox" is a proof by contradiction that both circle cannot make full circle without sliding - otherwise they would have same perimeter, which is a contradiction.
                $endgroup$
                – Régis
                Jun 10 '18 at 14:06














              • 1




                $begingroup$
                This restates the first explanation given by OP, which was rejected.
                $endgroup$
                – Ross Millikan
                Jun 10 '18 at 13:50










              • $begingroup$
                No, it rejects another assumption. If you refuse to reject erroneous assumptions, there is no way not to deduce erroneous conclusion. Actually, this "paradox" is a proof by contradiction that both circle cannot make full circle without sliding - otherwise they would have same perimeter, which is a contradiction.
                $endgroup$
                – Régis
                Jun 10 '18 at 14:06








              1




              1




              $begingroup$
              This restates the first explanation given by OP, which was rejected.
              $endgroup$
              – Ross Millikan
              Jun 10 '18 at 13:50




              $begingroup$
              This restates the first explanation given by OP, which was rejected.
              $endgroup$
              – Ross Millikan
              Jun 10 '18 at 13:50












              $begingroup$
              No, it rejects another assumption. If you refuse to reject erroneous assumptions, there is no way not to deduce erroneous conclusion. Actually, this "paradox" is a proof by contradiction that both circle cannot make full circle without sliding - otherwise they would have same perimeter, which is a contradiction.
              $endgroup$
              – Régis
              Jun 10 '18 at 14:06




              $begingroup$
              No, it rejects another assumption. If you refuse to reject erroneous assumptions, there is no way not to deduce erroneous conclusion. Actually, this "paradox" is a proof by contradiction that both circle cannot make full circle without sliding - otherwise they would have same perimeter, which is a contradiction.
              $endgroup$
              – Régis
              Jun 10 '18 at 14:06











              1












              $begingroup$

              Fix two aligned points (green and red) on the circles. And consider another circle identical to the smaller circle that is attached on top of the bigger circle. Refer to the figure below:



              enter image description here



              Case 1: If we consider the big circle and top small circle, both rotate with equal velocity and the top small circle will make full round at the red point (at this point the big circle has not made full round yet). Note that for convenience we may consider that the small circle rotates opposite to the big circle.



              Case 2: Now if we consider the big circle and the cocentric small circle, the small circle will slide to catch up with the pace of the big circle.



              In conclusion, the smaller the smaller circle is, the greater it slides.






              share|cite|improve this answer











              $endgroup$


















                1












                $begingroup$

                Fix two aligned points (green and red) on the circles. And consider another circle identical to the smaller circle that is attached on top of the bigger circle. Refer to the figure below:



                enter image description here



                Case 1: If we consider the big circle and top small circle, both rotate with equal velocity and the top small circle will make full round at the red point (at this point the big circle has not made full round yet). Note that for convenience we may consider that the small circle rotates opposite to the big circle.



                Case 2: Now if we consider the big circle and the cocentric small circle, the small circle will slide to catch up with the pace of the big circle.



                In conclusion, the smaller the smaller circle is, the greater it slides.






                share|cite|improve this answer











                $endgroup$
















                  1












                  1








                  1





                  $begingroup$

                  Fix two aligned points (green and red) on the circles. And consider another circle identical to the smaller circle that is attached on top of the bigger circle. Refer to the figure below:



                  enter image description here



                  Case 1: If we consider the big circle and top small circle, both rotate with equal velocity and the top small circle will make full round at the red point (at this point the big circle has not made full round yet). Note that for convenience we may consider that the small circle rotates opposite to the big circle.



                  Case 2: Now if we consider the big circle and the cocentric small circle, the small circle will slide to catch up with the pace of the big circle.



                  In conclusion, the smaller the smaller circle is, the greater it slides.






                  share|cite|improve this answer











                  $endgroup$



                  Fix two aligned points (green and red) on the circles. And consider another circle identical to the smaller circle that is attached on top of the bigger circle. Refer to the figure below:



                  enter image description here



                  Case 1: If we consider the big circle and top small circle, both rotate with equal velocity and the top small circle will make full round at the red point (at this point the big circle has not made full round yet). Note that for convenience we may consider that the small circle rotates opposite to the big circle.



                  Case 2: Now if we consider the big circle and the cocentric small circle, the small circle will slide to catch up with the pace of the big circle.



                  In conclusion, the smaller the smaller circle is, the greater it slides.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Jun 10 '18 at 15:13

























                  answered Jun 10 '18 at 14:27









                  farruhotafarruhota

                  21.1k2841




                  21.1k2841






























                      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%2f2814598%2fsatisfying-explanation-of-aristotles-wheel-paradox%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!