Section 2.1 - Proofs[edit | edit source]
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[edit | edit source]
Two-column proofs (also known as formal proofs) are set up in a two-value table, one being "Statement" and the other being "Reason". To prove a simple problem using this method, set up a table like the following:
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[edit | edit source]
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:
|Property of subtraction|
We use "Given" as the first reason, as it is "given" to us in the problem.
Written Proof[edit | edit source]
Written proofs (also known as informal proofs, paragraph proofs, or 'plans for proof') 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[edit | edit source]
We are given that 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[edit | edit source]
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[edit | edit source]
Every concept in geometry flows in a logical progression. One simply cannot go from A to B without explaining how or why. For instance, the following is not a proof:
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 two adjoining angles are congruent without having to go through a more lengthy proof.
4. Postulates: They 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, 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 earlier box.
Section 2.3 - Using proofs in geometry[edit | edit source]
Exercises[edit | edit source]
Answers to each exercise can be found separately in the appendix.
- r is parallel to s
- Angle 1 = 60 degrees.
Prove: Find the measures of the other seven angles in the accompanying figure (above).
- Angles 2 and 3 are congruent
Prove: Lines r and s are parallel.
- Angles 1 and 2 are both 90 ⁰
Prove: Lines a and b in the figure are parallel.
- 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.
Section 2.4: Proof by contradiction[edit | edit source]
Proof by contradiction, also known as indirect proofs, prove that a statement is true by showing that the proposition's being false would imply a contradiction.
A classic example: Proving that the square root of 2 is irrational[edit | edit source]
- Assume that is a rational number, meaning that there exists an integer and an integer in general such that .
- Then, can be written as a simplified fraction such that and are coprime integers, that is, their greatest common divisor being 1.
- It follows that and . ( )
- Therefore is even, as it is equal to . ( is necessarily even, as it is 2 times another whole number, and even numbers are multiples of 2.)
- It follows that must be even (as squares of odd integers are never even).
- Because is even, there exists an integer that fulfills: .
- Substituting from step 6 for in the second equation of step 3: is equivalent to , which is equivalent to .
- Because is divisible by two and therefore even, and as , it follows that is also even, which means that is even.
- By steps 5 and 8 and are both even, which contradicts that is irreducible as stated in step 2.
As there is a contradiction, the assumption (1) that is a rational number must be false. By the law of excluded middle, that is, that a proposition can only be true or false, the opposite is proven: is irrational.
- 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 Formulae
- Geometry/Appendix B Answers to problems
- Appendix C. Geometry/Postulates & Definitions
- Appendix D. Geometry/The SMSG Postulates for Euclidean Geometry