Geometry: Axiomatic System

1. Geometry: Axiomatic System

2. Geometry: Axiomatic System • MA.912.G.8.1 - Analyze the structure of Euclidean geometry as an axiomatic system. Distinguish between undefined terms, definitions, postulates, and theorems.

3. Some history of Euclidean Geometry

4. Euclid of Alexandria, Greek colony in Egypt, about 325 BC - about 265 BC Euclid • The most prominent mathematician of Greco-Roman antiquity, best known for his treatise on geometry, the Elements

5. Euclidean Geometry • Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid. • Euclid’s Elements is the earliest known systematic discussion of geometry. • Euclid's method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions (theorems) from these.

6. Euclidean Geometry • Although many of Euclid's results had been stated by earlier mathematicians, Euclid was the first to show how these propositions could be fit into a comprehensive deductive and logical system. • The Elements begin with plane geometry, still taught in secondary school as the first axiomatic system and the first examples of formal proof.

7. Euclidean Geometry • It goes on to the solid geometry of three dimensions. • Much of the Elements states results of what are now called algebra and number theory, couched in geometrical language.

8. The Structure of Euclidean Geometry as an Axiomatic System

9. Axiomatic System • In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. • A mathematical theory consists of an axiomatic system and all its derived theorems.

10. Axiomatic System • Now we will discuss axioms in Euclidean geometry, later we will discuss definitions, and their consequences - theorems.

11. Axiomatic System An axiomatic system has four parts: • Undefined terms • Axioms (also called postulates) • Definitions • Theorems

12. Undefined Terms • There are some basic terms in Euclidean geometry which can not be defined by other terms. • Try to define: • Point • Line • Plane • Space • They have real-life representations.

13. A B Undefined Terms • Point • A point is the basic unit of geometry. • A point has no dimension (length, width, or thickness),  even though we represent a point with a dot.   • Points are named using capital letters. • The points below are named point A and point B.

14. Undefined Terms Line • A line is a series of points that extends without end in two directions. • A line is made up of an infinite number of points. • A line has no thickness but its length extends in one dimension and goes on forever in both directions.

15. A B l Undefined Terms Line • The line below is named: • line AB, line BA, or line l. • The symbol for line AB is AB

16. R T V S U Points and Lines • Points that lie on the same line are called Collinear. • Name three points that are collinear. • Points U, S, and V • Points R, S, and T

17. R T V S U Points and Lines • Points that DO NOT lie on the same line are called Non-Collinear. • Name three points that are Non-Collinear. • Points R, S, and V • Points R, S, and U • Points R, V, and U • Points R, T, and U • Points R, T, and V • Points S, T, and V

18. Undefined Terms Plane • A plane has no thickness but extends indefinitely in all directions.  • Planes are usually represented by a shape that looks like a tabletop or wall.  • Even though diagrams of planes have edges, you must remember that a plane has no boundaries.

19. Undefined Terms Plane • For any three Non-Collinear points, there is only one plane that contains all three points. • A plane can be named with a single uppercase script letter or by three Non-Collinear points. • The plane at the right is named plane ABC or plane M A M B C

20. Points, Lines, and Planes • Points or lines that lie in the same plane are called Coplanar. • Points or lines that DO NOT lie in the same plane are called Non-Coplanar. A V S U

21. Hands On C A B E D Place points A, B, C, D, & E on a piece of paper as shown. Fold the paper so that point A is on the crease. Open the paper slightly. The two sections of the paper represent different planes. Answers (may be others) A, B, & C 1) Name three points that are coplanar. ______________________ D, A, & B 2) Name three points that are non-coplanar. ______________________ A 3) Name a point that is in both planes. ______________________

22. Discussion and illustration of the first 8 axioms

23. A1: Line through two points • Given any two distinct points, there is exactly one line that contains them.

24. GeoGebra A1 Activity A1: Line through two points • Open GeoGebra and create two points A and B then a line through two points • Investigate what happens when you move the points and move the line.

25. A1: Line through two points Point on the Euclidean plane and it’s Algebraic representation

26. A1: Line through two points Line through points A and B on the Euclidean plane and it’s Algebraic representation

27. Non-Euclidean Geometry • The axiom 1 does not hold in so called non-Euclidean geometries like hyperbolic geometry or elliptic geometry.

28. Non-Euclidean Geometry • In elliptic geometry which model is a sphere where like on the glob we can have more than one line going through two points.

29. Non-Euclidean Geometry • The consequence of violation of axioms can lead to the important differences. For example in Elliptic geometry sum of angles of a triangle is less than 180 degrees.

30. A2: The Distance Postulate • To every pair of distinct points there corresponds a unique positive number. • This number is called the distance between the two points.

31. GeoGebra A2 Activity A2: The Distance Postulate • Open GeoGebra with Algebra view • Create two points A and B, then a line segment. • Line segment has a length – this represents distance between two points.

32. A2: The Distance Postulate Distance between points A and B on the Euclidean plane

33. Remarks • This distance is calculate by the assumption the points are located in Cartesian coordinates plane. • It does not need to be the case. • It simply states that there is a unique and positive number which represent distance. • There other ways to calculate the distance. • There exists so called city metric or cab metric.

34. A3: The Ruler Postulate • The points of a line can be placed in a correspondence with the real numbers such that: • To every point of the line there corresponds exactly one real number. • To every real number there corresponds exactly one point of the line. • The distance between two distinct points is the absolute value of the difference of the corresponding real numbers.

35. A3: The Ruler Postulate • We can image here the points located on the horizontal number line. • Numbers associates with points are coordinates of points. • The distance between points could be calculated as absolute value of the difference between their coordinates.

36. Number Line • Distance: E to A is |4 - (-3)| = |7| = 7 • It is equal distance A to E |-3 - 4| = |-7| = 7 • What are the distances: AB, AC, AD, BC, BD, BE?

37. A4: The Ruler Placement Postulate Given two points P and Q of a line, the coordinate system can be chosen in such a way that the coordinate of P is zero and the coordinate of Q is positive.

38. Number Line • Now assume point D has the coordinate 0. • What are the coordinates of A, B, C, E?

39. Number Line • Now assume point D has the coordinate 0 and coordinates on the left: A, B, and C are positive and on the right E is negative. • What are the coordinates of A, B, C, E?

40. A5 - A: Plane • Every plane contains at least three non-collinear points. • In this axiom we have • one undefined term: plane • and one new definition: collinear points • Points are collinear if they lie in the same line.

41. GeoGebra A5 - A Activity A5 - A: Plane • Open GeoGebra. • Image the screen before you is a plane. Choose three points. • By Axiom 1 you can draw a line by any two of them, so you can have 3 lines. • What shape appears? • Move the points to see what happens when they are collinear (lying on the same line). • How many different lines you can draw for 4 points on the plane? • For 5 – do you see the pattern?

42. A5 - B: Space • Space contains at least four non-coplanar points.

43. GeoGebra A5 - B Activity A5 - B: Space • Open GeoGbra. • Draw 3 non-collinear points ABC. • Image you have a 4-th point an inch above a screen, call it D and draw its’ shadow. • Now try to draw a solid you obtained by connecting the points by lines in perspective.

44. GeoGebra A5 Activity

45. A6: Plane and a Line • If two points lie in a plane, then the line containing these points lies in the same plane. • Axiom 6 gives the relationship between planes and lines. • It ties A1 and A5 together.

46. A7: Three Non-Collinear Points Define a Plane • Any three points lie in at least one plane, and any three non-collinear points lie in exactly one plane. • If you take any 3 points, it is possible that they are collinear.

47. A7: Three Non-Collinear Points Define a Plane • If three points are collinear, then there are infinitely may planes coming through that points. • Imagine an open book and points lying on the spine. • The planes are pages, so there a lot of pages going through spine.

48. A7: Three Non-Collinear Points Define a Plane • Axiom 7 is the basis for the common phrase “three points determine a plane.”

49. A8: Intersection of Two Planes is a Line • Intersection of two or more geometric figures is a set of points they have in common. • Two lines in the plane can intersect in a point or in infinitely many points (if they are the same line) or in no points if they are parallel. • If they are at space they can be skew.

50. A8: Intersection of Two Planes is a Line • Two planes can be parallel, intersect along a line, or in infinitely many points, if they are the same plane. • In this axiom we talk about proper intersection like the one below