9.3.2B Relationships, Arguments, & Proofs
Accurately interpret and use words and phrases such as "if...then," "if and only if," "all," and "not." Recognize the logical relationships between an "if...then" statement and its inverse, converse and contrapositive.
For example: The statement "If you don't do your homework, you can't go to the dance" is not logically equivalent to its inverse "If you do your homework, you can go to the dance."
Assess the validity of a logical argument and give counterexamples to disprove a statement.
Construct logical arguments and write proofs of theorems and other results in geometry, including proofs by contradiction. Express proofs in a form that clearly justifies the reasoning, such as two-column proofs, paragraph proofs, flow charts or illustrations.
For example: Prove that the sum of the interior angles of a pentagon is 540˚ using the fact that the sum of the interior angles of a triangle is 180˚.
Overview
Standard 9.3.2 Essential Understandings
Examples suggest, whispering, "It might be true." One counterexample, however, thunders, "It is false." (Attributed to Polya)
Using logic to construct and refute arguments is the essence of proof and distinguishes formal high school geometry from previous geometric learning. Students should continue to explore proposed conjectures using dynamic geometry software, but then use formal arguments to move from proposed conjectures to proved theorems. The structure of geometric proof helps the students to organize their thinking and make connections between ideas. "Students should see the power of deductive proof in establishing the validity of general results from given conditions. The focus should be on producing logical arguments and presenting them effectively with careful explanation of the reasoning, rather than on the form of proof used (e.g., paragraph proof or two-column proof)." (NCTM, PSSM, p. 310) Students need to center on creating, evaluating and communicating accurate mathematical arguments in a valid logical progression.
All Standard Benchmarks
9.3.2.1 Understand the roles of axioms, definitions, undefined terms and theorems in logical arguments.
9.3.2.2 Accurately interpret and use words and phrases such as "if...then," "if and only if," "all," and "not." Recognize the logical relationships between an "if...then" statement and its inverse, converse and contrapositive.
9.3.2.3 Assess the validity of a logical argument and give counterexamples to disprove a statement.
9.3.2.4 Construct logical arguments and write proofs of theorems and other results in geometry, including proofs by contradiction. Express proofs in a form that clearly justifies the reasoning, such as two-column proofs, paragraph proofs, flow charts or illustrations.
9.3.2.5 Use technology tools to examine theorems, make and test conjectures, perform constructions and develop mathematical reasoning skills in multi-step problems. The tools may include compass and straight edge, dynamic geometry software, design software or Internet applets.
Benchmark Group B
9.3.2.2 Accurately interpret and use words and phrases such as "if...then," "if and only if," "all," and "not." Recognize the logical relationships between an "if...then" statement and its inverse, converse and contrapositive.
9.3.2.3 Assess the validity of a logical argument and give counterexamples to disprove a statement.
9.3.2.4 Construct logical arguments and write proofs of theorems and other results in geometry, including proofs by contradiction. Express proofs in a form that clearly justifies the reasoning, such as two-column proofs, paragraph proofs, flow charts or illustrations.
What students should know and be able to do [at a mastery level] related to these benchmarks:
- Write the inverse, converse and contrapositive of an "if...then" statement.
- Know that a conditional statement and its converse are not logically equivalent, but that a conditional statement and its contrapositive are logically equivalent.
- Write a formal proof using the two-column, paragraph, or flow chart format.
- Write a formal proof by contradiction.
- Determine a formal statement for a theorem proved by illustration.
- Use a counterexample to disprove a statement.
- Determine if a given argument is a valid proof.
Work from previous grades that supports this new learning includes:
- Students have made conjectures and developed informal arguments related to shape and space.
- Students have used dynamic geometry software, diagrams and measurements to explore two-dimensional geometric concepts.
- Students have used step-by-step procedures in logical progression to solve problems.
- Students have used illustrative examples to begin to generalize concepts
NCTM Standards: Geometry
Instructional programs from prekindergarten through grade 12 should enable all students to --
Analyze characteristics and properties of two- and three-dimensional geometric shapes and develop mathematical arguments about geometric relationships
In grades 9-12 all students should-
● analyze properties and determine attributes of two- and three-dimensional objects;
● explore relationships (including congruence and similarity) among classes of two- and three-dimensional geometric objects, make and test conjectures about them, and solve problems involving them;
● establish the validity of geometric conjectures using deduction, prove theorems, and critique arguments made by others.
Use visualization, spatial reasoning, and geometric modeling to solve problems
In grades 9-12 all students should-
● draw and construct representations of two- and three-dimensional geometric objects using a variety of tools;
● visualize three-dimensional objects and spaces from different perspectives and analyze their cross sections;
● use geometric models to gain insights into, and answer questions in, other areas of mathematics;
● use geometric ideas to solve problems in, and gain insights into, other disciplines and other areas of interest such as art and architecture.
Common Core State Standards (CCSS)
HS.G-CO.1 Know precise definitions of angle, circle, perpendicular line, parallel line, and line segment, based on the undefined notions of point, line, distance along a line, and distance around a circular arc.
HS.G-CO.9 Prove theorems about lines and angles. Theorems include: vertical angles are congruent; when a transversal crosses parallel lines, alternate interior angles are congruent and corresponding angles are congruent; points on a perpendicular bisector of a line segment are exactly those equidistant from the segment's endpoints.
HS.G-CO.10 Prove theorems about triangles. Theorems include: measures of interior angles of a triangle sum to 180°; base angles of isosceles triangles are congruent; the segment joining midpoints of two sides of a triangle is parallel to the third side and half the length; the medians of a triangle meet at a point.
HS.G-CO.11 Prove theorems about parallelograms. Theorems include: opposite sides are congruent, opposite angles are congruent, the diagonals of a parallelogram bisect each other, and conversely, rectangles are parallelograms with congruent diagonals.
HS.G-CO.12 Make formal geometric constructions with a variety of tools and methods (compass and straightedge, string, reflective devices, paper folding, dynamic geometric software, etc.). Copying a segment; copying an angle; bisecting a segment; bisecting an angle; constructing perpendicular lines, including the perpendicular bisector of a line segment; and constructing a line parallel to a given line through a point not on the line.
HS.G-CO.13 Construct an equilateral triangle, a square, and a regular hexagon inscribed in a circle.
HS.G-SRT.6 Prove theorems about triangles. Theorems include: a line parallel to one side of a triangle divides the other two proportionally, and conversely; the Pythagorean Theorem proved using triangle similarity.
HS.G-C.3 Construct the inscribed and circumscribed circles of a triangle, and prove
properties of angles for a quadrilateral inscribed in a circle.
Misconceptions
Student Misconceptions and Common Errors
- Students believe that there is one and only one correct way to write every proof.
- Students believe that two-column proofs are the only formal proofs.
- Students believe that one example will prove a statement to be true in general.
- Students mislabel diagrams so that every pair of congruent parts is marked in the same way.
- Students make assumptions based on what appears to be true on a diagram.
Vignette
In the Classroom:
The students in Mr. Garcia's class are beginning to write formal two-column proofs. He wants to emphasize that although proofs must be written in a logical sequence, there is usually more than one correct ordering. He opens class with this proof statement on the board:
Given: $\overline{AC}$ and $\overline{BD}$ bisect each other at point M
He then puts 10 large (5" x 8") sticky notes on the board in random positions. Each note contains either one statement or one reason for the proof:
Prove: $\triangle \overline{AMB} \cong \triangle\overline{CMD}$
- $\overline{AC}$ and $\overline{BD}$ bisect each other at point M
- $\overline{AM} \cong \overline{MC}$
- $\overline{BM} \cong \overline{MD}$
- $\angle \overline{AMB} \cong \angle\overline{CMD}$
- $\triangle \overline{AMB} \cong \triangle\overline{CMD}$
- Given
- Definition of segment bisector
- Definition of segment bisector
- Vertical Angles Congruence Theorem
- SAS
T: Class, we are working on proofs today. These sticky notes can be put together to form a proof for this problem. Let's begin by reading all the information on the board and then we'll take one minute to think silently about how you would organize it. Pause.
T: Any ideas for starting this proof?
S1: "$\overline{AC}$ and $\overline{BD}$ bisect each other at point M" and "Given" need to be the first statement, and the reason is because that's what we always start with. "$\triangle \overline{AMB} \cong \triangle\overline{CMD}$" needs to be the last statement because that is what we are trying to prove.
T: Go ahead and place them there. Anyone else?
S2: "$\overline{BM} \cong \overline{MD}$" and "$\overline{AM} \cong \overline{MC}$" are both Definition of segment bisector. I'm going to put them next.
S3: I thought they should go in the opposite order.
T: Does it matter which order they are listed?
S4: They are both true because the lines are bisectors. Since the statements follow from the same step and not from each other, either order should be fine.
T: That's correct. You can choose which way you want to list them.
S5: That means "$\angle \overline{AMB} \cong \angle\overline{CMD}$" must be the missing step and I know its reason is vertical angles.
S1: So the last reason is SAS.
T: Do we have SAS?
S3: Yes, we have two pairs of congruent sides and one pair of congruent angles.
T: You all did some solid thinking. Read the entire proof from start to finish to see if you think we should make any changes. Pause. Students seem convinced that the proof is done. You are right; this is a correct proof. But, it's not the proof that I wrote before class started. What could my proof have been?
S2: Was your proof wrong?
T: No, my proof works. It's just different from what we have on the board now.
S3: Did you have the segments in the opposite order too?
T: Good idea, but that's not what I had in mind.
S4: Did you have the vertical angles first? They don't relate to the bisected segments, so the angles don't have to be after the segments.
T: Let's trying moving the angles to the first spot. What do you think?
S3: Is your way the right way to make the proof?
T: Both ways are right and neither way is better. As long as the steps are in an order that makes logical sense, it is a valid proof.
After further discussion, the class concludes that the vertical angle pair may be listed in step 1 to step 4, the triangle congruence must be last, and the given statement must come before the segment congruences.
T: Now, let's work in our groups on a few more proofs. Your goal is to find as many ways as possible to arrange the steps for each of the proofs you complete. Your group's runner will need to get a proof envelope, your group's recorder will write out all the possibilities, your group's checker will make sure that everyone understands the proof as written. When you believe your group is ready, the runner needs to get one more item to bring back to the group leader.
Mr. Garcia had prepared envelopes before class with proofs on triangle congruence. Each envelope contains an index card with the diagram, "given" and "prove" statements. It also contains strips of paper that each has a statement or a reason for the proof. He has envelopes prepared for four different proofs at four different levels of difficulty. As the group's runner comes forward to get materials, he chooses which envelope level to hand them. When a group believes they have finished, the runner will get a set of solutions for their envelope to bring back and correct their work. The final task for each group will be to note any differences between their answers and the actual solutions and explain their misconceptions. The goal will be for each group to complete at least two envelopes. While the students are working, Mr. Garcia will be circulating through the classroom to ensure that everyone stays on task and to help with the misconceptions.
Resources
Teacher Notes
- Teachers need to model that related statements need to be ordered in a logical progression, but different strands within a proof can be intertwined in multiple ways. This may be illustrated by moving connected strands into several positions for one proof (This may be done with SMART technology or by writing individual statement/reason steps on projectable strips.)
- Teachers should allow multiple formats for constructing proofs on assignments and assessments. Teachers may model different formats within one class session or within one chapter strand. Teachers may use student examples showing multiple formats to prove the same theorem.
- Teachers need to model the difference between examples and counterexamples. Many examples give evidence that a statement may be true in general, but unless every possible example can be tested, this will not constitute a proof. Teachers can model this idea by using a conjecture and guiding the students to find a counterexample. Teachers may also model taking an illustrative example and extending it into a valid proof.
- Teachers need to stress that labels on diagrams help students keep track of what is and is not congruent. Using the same label for two different sets of congruencies can lead to false statements.
- Teachers should remind students that diagrams are not always drawn to scale, and statements need to be proved to be used.
- A nice introduction to the purpose of proofs from Sophia. Makes a good analogy between the proof process and a maze:
- A Sophia lesson on if-then statements and their associated inverses, converses and contrapositives
- An NCTM Illuminations Lesson that is similar to the proof envelope activity above
Additional Instructional Resources
Illustrative Proofs:
- Bell, C. J. (2001). Proofs without words: A visual application of reasoning and proof. Mathematics Teacher, 104, no. 9: 690.
- Khan Academy's videos on multiple topics. This is a proof that a triangle inscribed in a semi-circle is right.
- Dan Meyer's blogsite includes his version of a complete Geometry course. Many of the activities can be incorporated for use with any textbook.
if-then statement: the form of a conditional statement that uses the words "if" and "then;" the "if" part contains the hypothesis and the "then" part contains the conclusion.
hypothesis: the "if" part of a conditional statement (aka an antecedent).
conclusion: the "then" part of a conditional statement (aka a consequent).
biconditional statement: a statement that contains an "if and only if" phrase.
counterexample: an example used to show that a given statement is not always true. This is a specific case in which the hypothesis of a conditional statement is true, but the conclusion is false.
converse: the statement formed by switching the hypothesis and conclusion of a conditional statement.
negation: the logical opposite of a statement. If the original statement is true, its negation must be false. If the original statement is false, its negation must be true.
inverse: the statement formed when you negate both the hypothesis and the conclusion of a conditional statement.
contrapositive: the statement formed when you negate both the hypothesis and the conclusion of the converse of a conditional statement.
two-column proof: a type of proof written as numbered statements and reasons that show the logical order of an argument.
flow chart proof: a type of proof where statements and reasons are written in boxes and arrows are used to connect those boxes to demonstrate how one idea is generated from another (or several others combined).
paragraph proof: a type of proof written in paragraph form which includes appropriate grammatical connections between statements.
proof by contradiction: a type of proof where the statement is assumed to be not true and a logical argument is used to show this is not possible (aka an indirect proof).
Reflection - Critical Questions regarding the teaching and Learning of these benchmarks
- What other instructional strategies can I use to engage my students with constructing logical arguments?
- What other intermediate steps can be used to develop
- How can I effectively show the features of different proof formats?
- How do I scaffold my instruction for my students?
- Do the tasks I've designed connect to underlying concepts or focus on memorization?
- What can I do to differentiate the lessons?
- How can I tell if students have reached this learning goal?
Kimberling, C. (2003). Geometry in action. Emeryville, Ca: Key College Publishing,
Marzano, R. J. & Pickering, D.J. (2005). Building academic vocabulary. Alexandria, VA: ASCD.
National Council of Teachers of Mathematics. (2000). Principles and standards for school mathematics. Reston, VA: NCTM.
Assessment
Geometry Proofs Project
Directions:
Complete a minimum of 5 proofs to earn an 85% (more proofs will be required to earn a higher grade). You will be graded on your accuracy, timeliness, neatness, and the amount of proofs attempted. You will also be required to make a cover page for your proofs project. At least one proof should be written in each of the formats that we have studied: flow-chart, two-column and paragraph.
- $Given:\; \overline{JH}\cong\overline{KL};\ \overline{KH}\cong\overline{KL}$
$Prove:\; \angle{HJK} \cong \angle{LKJ}$
- $Given:\; \overline{YZ}\cong \overline{QZ};\ \overline{XZ} \cong \overline{RZ}$
$Prove:\; \triangle{XYZ} \cong \triangle{RQZ}$
- $Given:\; TW=VU;\ \angle{WVT} \cong \angle{UTV}$
$Prove:\; WV=UT$
- $Given:\; \angle{MNL} \cong \angle{QPL};\ \overline{NM} \cong \overline{PQ}$
$Prove:\; \overline{LM} \cong \overline{LQ}$
- $Given:\; \triangle{ABC}\ is\ isosceles;\ \overline{BD}\ bisects\ vertex\ angle\ \angle{B}$
$Prove:\; \triangle{ABD} \cong \triangle{CBD}$
- $Given:\; \overline{CP}\ is\ the\ perpendicular\ bisector\ of\ \overline{AB}$
$Prove:\; CA=CB$
- $Given:\; CA=CB$
$Prove:\; C\ is\ on\ the\ perpendicular\ bisector\ of\ \overline{AB}$
- $Given:\; \triangle{ABC}\ is\ isosceles\ with\ base\ \overline{AC};\ \overline{BD}\ is\ the\ median\ to\ base\ \overline{AC}$
$Prove:\; \overline{BD}\ is\ an\ altitude\ of\ \triangle{ABC}$
- $Given:\; m\angle{A} > m\angle{B} > m\angle{C}$
$Prove:\; \triangle{ABC}\ is\ scalene$
Solutions: Answers will vary based on each textbook's precise definitions and theorem development. The actual proofs used for this project may also need to be adapted to fit individual curriculum sequencing.
Differentiation
- Limit proofs on tests to fill in the blank, matching or selected response styles so the students can focus on the missing portions of reasoning without being distracted by the entire structure.
- Use Cornell notes so that students have a place to write their questions during instruction. This is especially helpful for ELL students who may be struggling with a subtlety of the English language.
- Have ELL students use a list of targeted vocabulary terms (with or without definitions depending on the classroom situation). This will help them to focus on the current content for exams.
- Extend their work to proofs by induction.
- Write and prove theorems for a non-Euclidean geometry.
Parents/Admin
Administrative/Peer Classroom Observation
Students are: (descriptive list) | Teachers are: (descriptive list) |
writing statements and reasons on post-it notes. | asking if the hypotheses of the theorems have been met. |
ordering steps in flow-charts or sequentially. | asking students if other orders would work and checking that the order chosen follow proper logic. |
using diagrams and marking proof steps appropriately. | checking diagrams to see that they are appropriately labeled. |
- Sophia and Khan Academy are websites with uploaded lessons teaching multiple topics. Most of these lessons were developed by teachers and reviewed.
- Teacher Tube and You Tube include multiple uploaded lessons on most school topics.
- Many textbook publishers have websites with additional resources and tutorials. Check your child's textbook for a weblink.