{"id":216,"date":"2020-12-13T19:19:47","date_gmt":"2020-12-13T19:19:47","guid":{"rendered":"https:\/\/www.perfectly-logical.com\/?p=216"},"modified":"2020-12-13T19:19:47","modified_gmt":"2020-12-13T19:19:47","slug":"pure-mathematics-geometry-example","status":"publish","type":"post","link":"https:\/\/www.perfectly-logical.com\/index.php\/2020\/12\/13\/pure-mathematics-geometry-example\/","title":{"rendered":"Pure Mathematics: Geometry Example"},"content":{"rendered":"\n

The pope asked Giotto di Bondone<\/strong> to display his skills… He drew a perfect circle<\/span><\/h4>\n\n\n\n

Below is Euclid’s definitions, postulates, and common notions from his book, The Elements<\/em>. These are the things that are assumed to be true and never false in geometry. They may have older wording but take your time and absorb their meaning.<\/p>\n\n\n\n

  1. A point is that which has no part.<\/li>
  2. A line is breadthless length.<\/li>
  3. The extremities of a line are points.<\/li>
  4. A straight line is a line which lines evenly with the points on itself.<\/li>
  5. A surface is that which has length and breadth only.<\/li>
  6. The extremities of a surface are lines.<\/li>
  7. A plane surface is a surface which lies evenly with the straight lines on itself.<\/li>
  8. A plane angle is the inclination to one another of two lines in a plane which meet one another and do not lie in a straight line.<\/li>
  9. And when the lines containing the angle are straight, the angle is called rectilineal.<\/li>
  10. When a straight line set up on a straight line makes the adjacent angles equal to one another, each of the equal angles is right, and the straight line standing on the other is called perpendicular to that on which it stands.<\/li>
  11. An obtuse angle is an angle greater than a right angle.<\/li>
  12. An acute angle is an angle less than a right angle.<\/li>
  13. A boundary is that which is an extremity of anything.<\/li>
  14. A figure is that which is contained by any boundary or boundaries.<\/li>
  15. A circle is a plane figure contained by one line such that all the straight lines falling upon it from the one point among those lying within the figure are equal to one another.<\/li>
  16. And the point is called the centre of the circle.<\/li>
  17. A diameter of the circle is any straight line drawn through the centre and terminated in both directions by the circumference of the circle, and such a straight line also bisects the circle.<\/li>
  18. A semicircle is the figure contained by the diameter and the circumference cut off by it. And the centre of the semicircle is the same as that of the circle.<\/li>
  19. Rectilineal figures are those which are contained by straight lines, trilateral figures being those contained by three, quadrilateral those contained by four, and multilateral those contained by more than four straight lines.<\/li>
  20. Of trilateral figures, an equilateral triangle is that which has its three sides equal, an isosceles triangle that which has two of its sides alone equal, and a scalene triangle that which has its three sides unequal.<\/li>
  21. Further, of trilateral figures, a right-angled triangle is that which has a right angle, an obtuse-angled triangle that which has an obtuse angle, and an acute-angled triangle that which has its three angles acute.<\/li>
  22. Of quadrilateral figures, a square is that which is both equilateral and right-angled; an oblong that which is right-angled but not equilateral; a rhombus that which is equilateral but not right-angled; and a rhomboid that which has its opposite sides and angles equal to one another but is neither equilateral nor right-angled. And let quadrilaterals other than these be called trapezia.<\/li>
  23. Parallel straight lines are straight lines which, being in the same plane and being produced indefinitely in both directions, do not meet one another in either direction.<\/li><\/ol>\n\n\n\n

    Postulates<\/h3>\n\n\n\n
    1. To draw a straight line from any point to any point.<\/li>
    2. To produce a finite straight line continuously in a straight line.<\/li>
    3. To describe a circle with any centre and distance.<\/li>
    4. That all right angles are equal to one another.<\/li>
    5. That, if a straight line falling on two straight lines make the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side on which are the angles less than the two right angles.<\/li><\/ol>\n\n\n\n

      Common Notions<\/h3>\n\n\n\n
      1. Things which are equal to the same things are also equal to one another.<\/li>
      2. If equals be added to equals, the wholes are equal.<\/li>
      3. If equals be subtracted from equals, the remainders are equal.<\/li>
      4. Things which coincide with one another are equal to one another.<\/li>
      5. The whole is greater than the part.<\/li><\/ol>\n\n\n\n

        Now, to use what we know, let us look at the statement On a given finite straight line to construct an equilateral triangle<\/em>. This is Euclid’s first proposition that he proved long ago.<\/p>\n\n\n\n

        Proposition 1: On a given finite straight line to construct an equilateral triangle<\/h3>\n\n\n\n

        Proof:<\/em> Let line l1<\/sub> be a finite, straight line.<\/p>\n\n\n\n

        Let points p1<\/sub> and p2<\/sub> be the extremities of line l1<\/sub>. Let circle c1<\/sub> be centered at p1<\/sub> with distance equal to the distance of p1<\/sub> to p2<\/sub>. Let circle c2<\/sub> be centered at p2<\/sub> with distance equal to the distance of p1<\/sub> to p2<\/sub>.<\/p>\n\n\n\n

        Let point p3<\/sub> be a point where c1<\/sub> and c2<\/sub> intersect. Let line l2<\/sub> be a straight line from p1<\/sub> to p3<\/sub> and line l3<\/sub> be a straight line from p2<\/sub> to p3<\/sub>. Hence, lines l1<\/sub>, l2<\/sub>, and l3<\/sub> are a trilateral figure T.<\/p>\n\n\n\n

        So, l1<\/sub> is the same length as l2<\/sub> since c1<\/sub> is a circle and l1<\/sub> and l2<\/sub> share p1<\/sub>. Also, l1<\/sub> is the same length as l3<\/sub> since c2<\/sub> is a circle with centre p2<\/sub>. Since l2<\/sub> is the same length as l1<\/sub> and l3<\/sub> is the same length as l1<\/sub>, l2<\/sub> is the same length as l3<\/sub>.<\/p>\n\n\n\n

        Therefore, the trilateral figure T is an equilateral triangle.<\/p>\n\n\n\n

        This proof may be easier to see if we had some pictures. This is the geometry example after all! Below is the proof above with figures.<\/p>\n\n\n\n

        Let line l1<\/sub>\u00a0be a finite, straight line.<\/td>\"\"<\/td><\/tr>
        Let points p1<\/sub>\u00a0and p2<\/sub>\u00a0be the extremities of line l1<\/sub>.<\/td>\"\"<\/td><\/tr>
        Let circle c1<\/sub>\u00a0be centered at p1<\/sub>\u00a0with distance equal to the distance of p1<\/sub>\u00a0to p2<\/sub>.<\/td>\"\"<\/td><\/tr>
        Let circle c2<\/sub>\u00a0be centered at p2<\/sub>\u00a0with distance equal to the distance of p1<\/sub>\u00a0to p2<\/sub>.<\/td>\"\"<\/td><\/tr>
        Let point p3<\/sub>\u00a0be a point where c1<\/sub>\u00a0and c2<\/sub>\u00a0intersect.<\/td>\"\"<\/td><\/tr>
        Let line l2<\/sub>\u00a0be a straight line from p1<\/sub>\u00a0to p3<\/sub>\u00a0and line l3<\/sub>\u00a0be a straight line from p2<\/sub>\u00a0to p3<\/sub>.<\/td>\"\"<\/td><\/tr>
        Hence, lines l1<\/sub>, l2<\/sub>, and l3<\/sub>\u00a0are a trilateral figure T.
        So, l1<\/sub>\u00a0is the same length as l2<\/sub>\u00a0since c1<\/sub>\u00a0is a circle and l1<\/sub>\u00a0and l2<\/sub>\u00a0share p1<\/sub>. Also, l1<\/sub>\u00a0is the same length as l3<\/sub>\u00a0since c2<\/sub>\u00a0is a circle with centre p2<\/sub>. Since l2<\/sub>\u00a0is the same length as l1<\/sub>\u00a0and l3<\/sub>\u00a0is the same length as l1<\/sub>, l2<\/sub>\u00a0is the same length as l3<\/sub>.
        Therefore, the trilateral figure T is an equilateral triangle.<\/td><\/tr><\/tbody><\/table>
        Proof of Proposition<\/figcaption><\/figure>\n\n\n\n

        Now that you have an idea of how to prove something mathematically, try proving the next two propositions below. This page has everything that you need to prove them.<\/p>\n\n\n\n

        To place at a given point a straight line equal to a given straight line.<\/p>\n\n\n\n

        Given two unequal straight lines, to cut off from the greater a straight line equal to the less.<\/p>\n","protected":false},"excerpt":{"rendered":"

        The pope asked Giotto di Bondone to display his skills… He drew a perfect circle Below is Euclid’s definitions, postulates, and common notions from his book, The Elements. These are the things that are assumed to be true and never false in geometry. They may have older wording but take your time and absorb their […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[46,48,8,49,37],"class_list":["post-216","post","type-post","status-publish","format-standard","hentry","category-math","tag-example","tag-geometry","tag-math","tag-mathematical","tag-proof"],"_links":{"self":[{"href":"https:\/\/www.perfectly-logical.com\/index.php\/wp-json\/wp\/v2\/posts\/216","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.perfectly-logical.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.perfectly-logical.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.perfectly-logical.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.perfectly-logical.com\/index.php\/wp-json\/wp\/v2\/comments?post=216"}],"version-history":[{"count":5,"href":"https:\/\/www.perfectly-logical.com\/index.php\/wp-json\/wp\/v2\/posts\/216\/revisions"}],"predecessor-version":[{"id":227,"href":"https:\/\/www.perfectly-logical.com\/index.php\/wp-json\/wp\/v2\/posts\/216\/revisions\/227"}],"wp:attachment":[{"href":"https:\/\/www.perfectly-logical.com\/index.php\/wp-json\/wp\/v2\/media?parent=216"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.perfectly-logical.com\/index.php\/wp-json\/wp\/v2\/categories?post=216"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.perfectly-logical.com\/index.php\/wp-json\/wp\/v2\/tags?post=216"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}