Section 2.1 - Proofs

edit

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

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:

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

edit

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, as it is "given" to us in the problem.

Written Proof

edit

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

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

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

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

Exercises

edit

Answers to each exercise can be found separately in the appendix.

1.

 

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 are parallel.

3.

 

Given:

  •   Angles 1 and 2 are both 90 ⁰

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.

Section 2.4: Proof by contradiction

edit

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
  1. Assume that   is a rational number, meaning that there exists an integer   and an integer   in general such that  .
  2. Then,   can be written as a simplified fraction   such that   and   are coprime integers, that is, their greatest common divisor being 1.
  3. It follows that   and  .   (    )
  4. 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.)
  5. It follows that   must be even (as squares of odd integers are never even).
  6. Because   is even, there exists an integer   that fulfills:  .
  7. Substituting   from step 6 for   in the second equation of step 3:   is equivalent to  , which is equivalent to  .
  8. Because   is divisible by two and therefore even, and as  , it follows that   is also even, which means that   is even.
  9. By steps 5 and 8   and   are both even, which contradicts that   is irreducible as stated in step 2.
Q.E.D.

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.


Chapter 1 · Chapter 3

Chapter 1 · Geometry · Chapter 3