# Geometry proofs

(Redirected from Proof)

Welcome to the third lesson of this geometry course! (Back to the course main page)

## Conditionals[edit | edit source]

**If**it is sunny,**then**I can play outside.**If**there are clouds,**then**it will rain soon.**If**you add sodium to water,**then**you will create an explosion.**If**a statement contains*if*and*then*,**then**it is called a conditional.

- A conditional is simply an if/then statement. If you accept the part after the "if", also called the hypothesis, then you must accept the statement after the "then", also known as the conclusion. So, all conditionals are in the form

**If**hypothesis,**then**conclusion

- You may recall using these statements in science class with the scientific method. However, remember that only the statement after the "if" is called the hypothesis. The whole statement is just called the conditional.
- Remember, if you accept the hypothesis of a conditional to be true, then the conclusion must also be true.
- Now, take a look at some of the old postulates. You'll notice that they can be reworded into conditionals. For example, the postulate which says
*Through any two points there is only one line*can be read as*If there are two points, then there is a unique line through the points.*Yes, that is awkward wording, but it shows that postulates can be written as conditionals.

**If**there are three colinear points A, B, and C, and B is between A and C,**then**AB+BC=AC.**If**there are three points,**then**there is at least one plane through all three points.**If**there is a line,**then**there are at least two points on that line.

## Conditionals which have traveled from algebra to geometry[edit | edit source]

- The following conditionals are always true. It will make sense if, while you read them, you shout, "These are an insult to my intelligence!" for in fact, that's what they'll seem like.

- The first one is called the reflexive property.

**If**a is a number,**then**a=a.

- The second one is called the symmetric property.

**If**a=b,**then**b=a.

- The third one is called the transitive property.

**If**a=b and b=c,**then**a=c.

- Now, explanations of the conditionals. The first one says any number equals itself. Strangely enough, this incredibly obvious statement will be a common sight when you write proofs.
- The second one says that equations can be reversed. In other words the statement x=4 is equivalent to the statement 4=x.
- The third statement says that if two numbers are equal to the same number, then they are equal. Thus, if x=4 and y=4, then x=y.

- The next four conditionals are very similar to each other.

- The first one is called the
*addition*property of equality.

**If**a=b and c=d,**then**a+c=b+d.

- The second one is called the
*subtraction*property of equality.

**If**a=b and c=d,**then**a-c=b-d.

- The third one is called the
*multiplication*property of equality. (Are you seeing the pattern?)

**If**a=b and c=d,**then**ac=bd.

- The fourth one is called the
*division*property of equality.

**If**a=b and c=d and neither c nor d equal 0,**then**a/c=b/d.

- Now, all of these properties are very similar, as you probably can tell; for example, if x=2 and y=3, then

- x+y=2+3 by the addition property of equality.
- x-y=2-3 by the subtraction property of equality.
- xy=2(3) by the multiplication property of equality.
- x/y=2/3 by the division property of equality

- You may notice that the division property of equality has an extra part in its hypothesis that isn't in any other property of equality. (Remember the name hypothesis? If hypothesis, then conclusion. If the hypothesis is accepted as true, then the conclusion must be accepted as true as well.) That is because division is undefined when the denominator is 0. 1/0 doesn't exist! Neither does 4/0, -200/0, or 0/0. The extra part of the hypothesis is to prevent division by 0.

- The final conditional we will look at today is known as the substitution property, and it is incredibly useful in proofs.

**If**two values are equal,**then**they may substitute for each other.

- For example, suppose we know x=y, and that x+2=4. Then we also know by the substitution property that y+2=4, since x and y can substitute for each other.
- It is very important that you remember the names of these conditionals. The four "properties of equality" should be easy to remember, since they are named for the arithmetic operation that they have in their property. The substitution property also should be easy to remember, since you
*substitute*values. That just leaves the transitive, symmetric, and reflexive property. You can remember the**T**ransitive property if you remember that it uses**T**hree values. If you remember lines of symmetry, then you can say that the symmetric property says that equations have lines of symmetry right down their equals sign. As for reflexive? Well, you'll just have to remember it. - Also note that you can use other properties from algebra, for example
- a(b+c)=ab+ac by the distributive property.

## Proof[edit | edit source]

- Given:

- Prove:

Statements | Reasons |
---|---|

1. | 1. Given |

2. AC=BD | 2. Definition of congruent segments |

3. AB+BC=AC; BC+CD=BD | 3. Segment addition postulate |

4. AB+BC=BC+CD | 4. Substitution property |

5. BC=BC | 5. Reflexive property |

6. AB=CD | 6. Subtraction property of equality |

7. | 7. Definition of congruent segments |

8. Q.E.D. |

## See also[edit | edit source]

- A more general concept of proofs, from another course