Geometry/Chapter 2
Section 2.1 - Proofs
Proofs are set up to let the user understand what steps were taken in order to receive a given output. There are three types of proofs depending on which is easiest to the student.
Two-Column Proofs
Two-column proofs are set up in a two-value table, one being "Statements" and the other being "Reasoning". To prove a simple problem using this method, set up a table like the following:
| Statement | Reason |
Be sure to leave room for values to go in both columns. In geometry, the first row is the 'given' of the problem. This is the information that is given about a certain problem without using a picture. The last row should be the conclusion of what you are trying to prove.
Example of a Two-Column Proof
Now, suppose a problem tells you to solve for , showing all steps made to get to the answer. A proof shows how this is done:
| Statement | Reason |
| Given | |
| Property of subtraction |
We use "Given" as the first reason, because it is "given" to us in the problem.
Written Proof
Written proofs are written in paragraph form. Other than this formatting difference, they are similar to two-column proofs.
Sometimes it is helpful to start with a written proof, before formalizing the proof in two-column form. If you're having trouble putting your proof into two column form, try "talking it out" in a written proof first.
Example of a Written Proof
We're given x + 1 = 2, so if we subtract one from each side of the equation (x + 1 - 1 = 2 - 1), then we can see that x = 1 by the definition of subtraction.
Flowchart Proof
A flowchart proof or more simply a flow proof is a graphical representation of a two-column proof. Each set of statement and reasons are recorded in a box and then arrows are drawn from one step to another. This method shows how different ideas come together to formulate the proof.
Section 2.2 - Reasons
Every concept in geometry flows in a logical progression. One simply cannot go from A to B without explaining how and/or why. For instance, the following is not a proof:
5(x+1)2-x
x=4
Also, we cannot make up reasons why we made the next step so. Therefore, we can only use certain information as our reasons. These include:
1. Given: This is generally either the problem (equation) we are trying to solve, or some piece of important information given in the problem.
2. Properties: These for the most part are the basic mathematical functions of adding, subtracting, multiplying, and dividing, such as the second reason in the example above (Property of Subtraction).
3. Definitions: Again, saying "Because it is" is not a reason. This sort of reasoning is not seen as often as other reasons. By using definitions, sometimes the answer or part of the working of a proof can be shortened. For example, by using the reason "definition of a bisector" (and being ALREADY able to prove through either given information or earlier parts of the proof), you can prove that that two adjoining angles are congruent without having to go through a more lengthy proof.
4. Postulates: Postulates hold the same value as theorems (explained next), except that they cannot be proven. However, these generalized rules have proven correct for a very long time and can be accepted with proof of their validity. An example is "Through any two points there is exactly one line". While it cannot be proven through a proof (although the authors dare anyone to disprove it), it is accepted as a reason. There are few of these, so as good as it may sound, if you make it up, someone will notice.
5. Theorems: Theorems are statements that have been proven true through proofs of their own. They are especially helpful shortcuts in their own right as by stating a theorem, a great many things are proven and you do not have to do all the work of re-proving the theorem. Theorems can be simple ("If two lines intersect, then they intersect in exactly one point.") or very complex ("The composite of two isometries is an isometry." [Don't panic if you don't understand; it will be explained later on]). Sometimes, you will be given the proofs for theorems; othertimes, as part of the exercises, you will be asked to prove it yourself.
6. Axioms: For most purposes, the same as Postulates. The difference is that Axioms are algebraic in nature, while Postulates come mainly from geometry.
7. Corollaries: These are statements that stem from what becomes proven in theorems and definitions and do not require (though usually have) separate proofs themselves.
In many textbooks, the proofs are numbered for an index at the back of the book. When doing correct geometric proofs, it is NOT OK to write down "Theorem 15". Write out the statement exactly as it was given to you (yes, you have to do some memorization for geometry). You have to make sure that the information in the box is related to the ealier box.
Section 2.3 - Using Proofs in Geometry
Exercises
Answers to each exercise can be found separately in the Appendix.
Given:
- r is parallel to s
- Angle 1 = 60 degrees
Prove: Find the measures of the other seven angles in the accompanying figure (above).
2.
Given:
- Angles 2 and 3 are congruent
Prove: Lines r and s parallel
3.
Given:
- Angles 1 and 2 are both 90 degrees
Prove: Lines a and b in the figure are parallel.
4.
Given:
- Line GH is parallel to ray DK
- Angle 6 = 75 degrees.
- Angle 2 = 30 degrees.
Prove: Find the measure of each numbered angle in the figure above.
Navigation
- Motivation Template:Stage short
- Introduction Template:Stage short
- Geometry/Chapter 1 Template:Stage short Definitions and Reasoning (Introduction)
- Geometry/Chapter 2 Template:Stage short Proofs
- Geometry/Chapter 3 Template:Stage short Logical Arguments
- Geometry/Chapter 4 Template:Stage short Congruence and Similarity
- Geometry/Chapter 5 Template:Stage short Triangle: Congruence and Similiarity
- Geometry/Chapter 6 Template:Stage short Triangle: Inequality Theorem
- Geometry/Chapter 7 Template:Stage short Parallel Lines, Quadrilaterals, and Circles
- Geometry/Chapter 8 Template:Stage short Perimeters, Areas, Volumes
- Geometry/Chapter 9 Template:Stage short Prisms, Pyramids, Spheres
- Geometry/Chapter 10 Template:Stage short Polygons
- Geometry/Chapter 11 Template:Stage short
- Geometry/Chapter 12 Template:Stage short Angles: Interior and Exterior
- Geometry/Chapter 13 Template:Stage short Angles: Complementary, Supplementary, Vertical
- Geometry/Chapter 14 Template:Stage short Pythagorean Theorem: Proof
- Geometry/Chapter 15 Template:Stage short Pythagorean Theorem: Distance and Triangles
- Geometry/Chapter 16 Template:Stage short Constructions
- Geometry/Chapter 17 Template:Stage short Coordinate Geometry
- Geometry/Chapter 18 Template:Stage short Trigonometry
- Geometry/Chapter 19 Template:Stage short Trigonometry: Solving Triangles
- Geometry/Chapter 20 Template:Stage short Special Right Triangles
- Geometry/Chapter 21 Template:Stage short Chords, Secants, Tangents, Inscribed Angles, Circumscribed Angles
- Geometry/Chapter 22 Template:Stage short Rigid Motion
- Geometry/Appendix A Template:Stage short Formulas
- Geometry/Appendix B Template:Stage short Answers to problems



