Mastering the Formal Geometry Proof

Mastering the Formal Geometry Proof Suppose you need to solve a crime mystery. You survey the crime scene, gather the facts, and write them down in your memo pad. To solve the crime, you take the known facts and, step by step, show who committed the crime. You conscientiously provide supporting evidence for each statement you make. Amazingly, this is the same process you use to write (“solve”) a proof. The following five steps will take you through the whole shebang. 1. Get or create the statement of the theorem. The statement is what needs to be proved in the proof itself. Sometimes this statement may not be on the page. That's normal, so don't fret if it's not included. If it's missing in action, you can create it by changing the geometric shorthand of the information provided into a statement that represents the situation. 2. State the given. The given is the hypothesis and contains all the facts that are provided. The given is the what. What info have you been provided with to write this proof? The given is generally written in geometric shorthand in an area above the proof. 3. Get or create a drawing that represents the given. They say a picture is worth a thousand words. You don't exactly need a thousand words, but you do need a good picture. When you come across a geometric proof, if the artwork isn't provided, you're going to have to provide your own. Look at all the information that's provided and draw a figure. Make it large enough that it's easy on the eyes and that it allows you to put in all the detailed information. Be sure to label all the points with the appropriate letters. If lines are parallel, or if angles are congruent, include those markings, too. 4. State what you're going to prove. The last line in the statements column of each proof matches the prove statement. The prove is where you state what you're trying to demonstrate as being true. Like the given, the prove statement is also written in geometric shorthand in an area above the proof. It references parts in your figure, so be sure to include the info from the prove statement in your figure. 5. Provide the proof itself. The proof is a series of logically deduced statements — a step-by-step list that takes you from the given; through definitions, postulates, and previously proven theorems; to the prove statement. Remember the following: • The given is not necessarily the first information you put into a proof. The given info goes wherever it makes the most sense. That is, it may also make sense to put it into the proof in an order other than the first successive steps of the proof. • The proof itself needs to have numbered steps, in order to show the transition in logic. • Think of proofs like a game. The object of the proof game is to have all the statements in your chain linked so that one fact leads to another until you reach the prove statement. However, before you start playing the proof game, you should survey the playing field (your figure), look over the given and the prove parts, and develop a plan on how to win the game. Once you lay down your strategy, you can proceed statement by statement, carefully documenting your every move in successively numbered steps. Statements made on the left are numbered and correspond to similarly numbered reasons on the right. All statements you make must refer back to your figure and finally end with the prove statement. The last line under the Statements column should be exactly what you wanted to prove. Example of a well-structured proof! Given Facts: AD bisects BC ; BC also bisects AD Goal: Prove that triangles AMB and CMD are congruent. Diagram: Proof: 1. AD bisects BC is a given fact. 2. This means that BM ≅ MC , based on the definition of bisector. 3. BC bisects AD is also a given fact. 4. This means that AM ≅ MD , based on the definition of bisector. 5. We also know that ∠BMA ≅ ∠CMD , since they are vertical angles. 6. Since we have shown that two pairs of sides are congruent and their included angles are also congruent, we can conclude by the SAS Congruence Theorem that triangles AMB and CMD are congruent.