"Let's start at the very beginning. A very good place to start" - do-re-mi
- 1 Objective
- 2 Section 1.1 - Introduction
- 3 Section 1.2 - Reasoning
- 4 Section 1.3 - Undefined Terms
- 5 Section 1.4 - Axioms/Postulates
- 6 Section 1.5 - Theorems
- 7 Chapter Review
- 8 Vocabulary
- 9 Navigation
Students demonstrate understanding by identifying and giving examples of undefined terms, axioms, theorems, and inductive and deductive reasoning.
Section 1.1 - Introduction
"Geometry," meaning "measuring the earth," is the branch of math that has to do with spatial relationships. In other words, geometry is a type of math used to measure things that are impossible to measure with devices. For example, no one has been able take a tape measure around the earth, yet we are pretty confident that the circumference of the planet at the equator is 40,075.036 kilometres (24,901.473 miles) . How do we know that? The first known case of calculating the distance around the earth was done by Eratosthenes around 240 BCE. What tools do you think current scientists might use to measure the size of planets? The answer is geometry.
However, geometry is more than measuring the size of objects. If you were to ask someone who had taken geometry in high school what it is that s/he remembers, the answer would most likely be "proofs." (If you were to ask him/her what it is that s/he liked the least, the answer would probably be "proofs.") A study of Geometry does not have to include proofs. Proofs are not unique to Geometry. Proofs could have been done in Algebra or delayed until Calculus. The reason that High School Geometry almost always spends a lot of time with proofs is that the first great Geometry textbook, "The Elements," was written exclusively with proofs.
This textbook is based on Euclidean (or elementary) geometry. "Euclidean" (or "elementary") refers to a book written over 2,000 years ago called "The Elements" by a man named Euclid. In the book, Euclid started with some basic concepts. He built upon those concepts to create more and more concepts. His structure and method influence the way that geometry is taught today. Euclid's book and interpretations of it were used as part of the curriculum of many high schools even until the beginning of the 20th century. Although this textbook is not a re-interpretation of The Elements, it will include more than just facts about geometric objects; the ability to "prove" that a particular answer is correct is part of the course.
Section 1.2 - Reasoning
Inductive reasoning is what we use most often. Inductive reasoning is reaching a conclusion based on previous observations. For example, if I notice that the sun rises in the east every day, then through inductive reasoning I could conclude that the sun will rise from the east tomorrow. In math, we may notice a pattern from which we draw conclusions. Look at the following pattern:
Through inductive reasoning, we might conclude that whenever a number is squared, the result is a number which is greater than or equal to the original number. Based on observations, this appears to be true. Inductive logic is not certain, though. Looking at the example above, you may have already surmised that there are some numbers for which our conclusion does not hold:
The same can be applied to problems outside of Math. A beginning observer of American baseball may conclude, after watching several games, that the game is over after 9 innings. He will only realize that this observation is false after observing a game which is tied after 9 innings. Inductive reasoning is useful but not certain. There will always be a chance that there is an observation that will show the reasoning to be false. Only one observation is needed to prove the conclusion to be false.
Much of the reasoning in geometry is like this, consisting of three simple stages (see example A):
- 1. Look for commonalities
- A pattern.
- 2. Make a conjecture
- An unproven statement that you will prove.
- 3. Prove/Disprove
- The conjecture.
Deductive reasoning is reaching a conclusion by combining known truths to create a new truth. Unlike inductive reasoning, deductive reasoning is certain, provided that the normal rules of logic are used to conclude such truths. In order to use deductive reasoning there must be a starting point, normally called the axioms or postulates of the theory. For example, an axiom in geometry asserts that given two points there is only one line that contains both points. Observe that while this is an axiom, it can be used to deduce that two different lines intersect in at most one point.
Not only axioms can be used to deduce new truths. Other knowledge deduced from the axioms using the rules of logic can be used to validate new truths. For example, we can conclude that if three points A, B and C are not in the same line then the lines determined by two of them can only meet at A, B and C (since we already know that two lines can only intersect at one point, all that is necessary to prove is that the lines determined by two of the three points are different, and that is immediate since the given points do not belong to any one line).
conjecture: An unproven statement that is based on observations.
Example A: Making a Conjecture
Complete this conjecture:
The sum of the first x odd positive integers is _?_
Solution - Inductive:
Solution - Deductive
1) All vegetables are good for you. Broccoli is a vegetable. Therefore, broccoli is good for you. This is an example of what type of reasoning?
2) Broccoli is a vegetable. Broccoli is green. Therefore, all vegetables are green. Why is this conclusion invalid?
3) Berries are sweet. Berries are fruits. Therefore, all fruits are sweet. Why is this conclusion invalid?
4) If all of x is positive, and y is part of x, then y is positive. What type of reasoning is this?
Group A (D is negative) (B is negative) (E is positive) (C is positive) (F is positive)
Just because D is negative, and is part of group A, doesn't mean that all of group A is negative.
Group Z [ = 5 ] (Y is 5) (X is 5) (W is 5) (V is 5) (U is 5)
Since all of group Z equals 5, then you can say that Y=W, W=U, U=X, X=V, and that V=Y, etc. Because you know that all of group Z equals the same thing, then you can say, because T = 5, then it is part of group Z
Section 1.3 - Undefined Terms
In Geometry, there are three undefined terms: points, lines, and planes. Although most terms in geometry are defined based on previously defined terms, it is impossible to define every geometric term this way. The first geometric term cannot be defined based on previously defined terms.
Although we cannot formally define these three terms, we can informally describe them. We also use these terms to help us write definitions of other terms such as segment or ray. There is no axiom that says that lines are drawn straight. What this means, is that the definition of line depends on the theory that you are studying, so in Hyperbolic Geometry a line does not look like a line in Euclidean Geometry, since they are defined differently.
In Euclidean Geometry, a point is thought of as having neither breadth, nor width, nor height. Now imagine taking a very sharp pencil, and making a dot on a piece of paper. Now imagine looking at it under a magnifying glass, the dot would be big, and we would be able to see it has a height and a breadth. A point is not a dot, because a point would have neither height nor breadth, but we can imagine that in the very middle of the dot is a point.
With the non-definitions out of the way, let's look at how these things work. A point is usually represented by a dot on a piece of paper. A point is useful because it tells us exactly where something is, and we can then build observations, conjectures, and rules from that information. For example, we can say that two points determine a line. What this means is that once you know where two points are, you know where the line that contains both of the points must be. Notice that if you only know where one point is, there are an infinite number of lines that can contain that one point, and if you know where three points are, there is a pretty good chance that there isn't any single line that would contain all three points.
In Euclidean Geometry, a line is thought of as having length but neither width, nor height. A line is such that any two points on the line describe the shortest distance between those two points. Lines also carry on forever in both directions. Imagine a piece of string, hold the two ends and pull them tight. The string represents the shortest distance between the two ends. Remember though that a line does not have any width or height. Under a magnifying glass we see the string has width. A tightly drawn string is not a line, because a line would not have a width, but we can imagine a line in the exact middle of the string.
Now usually when we talk about a line in geometry we mean a straight line as described above, but there are other lines in Euclidean geometry, called curves. Curves are not straight. The circumference of a circle is an example of a curve. (We will get to circles later in the syllabus).
Okay, we have talked about lines, now, so how do they behave? We usually represent a line by drawing it on a piece of paper using a ruler to connect the points and extending it past the points. We can take pieces of a line and call them line segments (more on that later in the book) and we can cross two lines and get both a point (where they intersect) and some angles (more on those later too). We can also choose to ignore half of a line by cutting it off at a point and calling what we have left a ray (again, more later).
A plane has two dimensions: width and length. Both of these dimensions are infinite, and, because there are only two dimensions, a plane is perfectly flat and infinitely thin, meaning it has no thickness dimension. Because of this, a plane doesn't really have a top or a bottom because whatever is on the top is also on the bottom. If you take two planes and make them intersect, you get a line (more on that later) and if you take three points that are not all in the same line, there is only one plane that can contain all three (more on that later too). Planes are useful because a plane can hold all of the two dimensional (flat) shapes that geometry uses. We usually think of one side of a piece of paper (or a computer screen) as part of a plane. While this is not exactly correct, like the representations of a point and a line, this is useful.
Section 1.4 - Axioms/Postulates
A postulate or axiom is a statement which is taken to be self-evident, and cannot be proved. They are the starting point from which any system in Mathematics (such as geometry) is built up. The axioms of geometry state properties of points, lines, and planes that are consistent with our intuitive understanding of them. For example, one axiom states that given two points there is a unique line that passes through those two points (a property of incidence between points and lines). In Euclidean geometry, there are five axioms:
- A straight line segment can be drawn joining any two points.
- Any straight line segment can be extended indefinitely in a straight line.
- Given any straight line segment, a circle can be drawn having the segment as its radius and one endpoint as its center.
- All right angles are congruent.
- Given a line and a point off the line, exactly one new line can be drawn through the point that is parallel to the given line.
From these postulates we can deduce all the theorems of Euclidean geometry.
Section 1.5 - Theorems
1) Between any two points, there exists one and only one line.
2) If two lines intersect, then their intersection is a point.
3) Given any 3 non-collinear points, there is exactly one plane that can be constructed which will include all of them.
4) If two planes intersect, then their intersection is a line.
1) Draw a point on a piece of paper. How many lines can you draw through that point?
2) Draw two points on a piece of paper. How many lines can you draw through both points?
3) Draw three points on a piece of paper. How many lines can you draw through all three points? Why? What undefinable object could connect all three points? Is there a way to draw the points so that a line goes through all three?
- Inductive Reasoning - process of reasoning in which the assumption of an argument supports the conclusion, but does not ensure it
- Deductive Reasoning - process of reasoning in which the argument supports the conclusion based upon a rule
- Conjecture - a mathematical statement which has been proposed as a true statement, but which no one has yet been able to prove or disprove
- Theorem - a proposition that has been or is to be proved on the basis of explicit assumptions
- Hypothesis - a proposed explanation which can be a proposition ("A causes B")
- Postulate - a mathematics statement which is used but cannot be proven
- Axiom - a formal logical expression used in a deduction to yield further results
- Geometry Main Page
- Geometry/Chapter 1 Definitions and Reasoning (Introduction)
- Geometry/Chapter 2 Proofs
- Geometry/Chapter 3 Logical Arguments
- Geometry/Chapter 4 Congruence and Similarity
- Geometry/Chapter 5 Triangle: Congruence and Similiarity
- Geometry/Chapter 6 Triangle: Inequality Theorem
- Geometry/Chapter 7 Parallel Lines, Quadrilaterals, and Circles
- Geometry/Chapter 8 Perimeters, Areas, Volumes
- Geometry/Chapter 9 Prisms, Pyramids, Spheres
- Geometry/Chapter 10 Polygons
- Geometry/Chapter 11
- Geometry/Chapter 12 Angles: Interior and Exterior
- Geometry/Chapter 13 Angles: Complementary, Supplementary, Vertical
- Geometry/Chapter 14 Pythagorean Theorem: Proof
- Geometry/Chapter 15 Pythagorean Theorem: Distance and Triangles
- Geometry/Chapter 16 Constructions
- Geometry/Chapter 17 Coordinate Geometry
- Geometry/Chapter 18 Trigonometry
- Geometry/Chapter 19 Trigonometry: Solving Triangles
- Geometry/Chapter 20 Special Right Triangles
- Geometry/Chapter 21 Chords, Secants, Tangents, Inscribed Angles, Circumscribed Angles
- Geometry/Chapter 22 Rigid Motion
- Geometry/Appendix A Formulas
- Geometry/Appendix B Answers to problems
- Appendix C. Geometry/Postulates & Definitions
- Appendix D. Geometry/The SMSG Postulates for Euclidean Geometry