discovering geometry conjectures and proving with geogebra

Discovering Geometry Conjectures and Proving with Geogebra

GeoGebra Dynamic Mathematics North American Conference

Miami University, Oxford Ohio August 3-4, 2013

Dr. Steve Armstrong, LeTourneau University

www.letu.edu/people/stevearmstrong

Unlikely Proofs (which you may have seen)

• Proof by clever variable choice

Unlikely Proofs (which you may have seen)

• Proof by plagiarism

“As we see on page 289,..."

Unlikely Proofs (which you may have seen)

• Proof by mumbo-jumbo

3

0

...

• Proof by definition

Unlikely Proofs (which you may have seen)

• Proof by tessellation This proof works the same as the

last …

Unlikely Proofs (which you may have seen)

Commentary by Barry Simon L.A. Times, 2/6/98

• Fewer classes require geometric proofs

• There is more whittling away of exposure to

– Logic

– Critical thinking

Caltech Department of Mathematics Executive Officer

Statements Reasons

1. 2. . . .

From HomeSchool.net

• Formal proofs difficult

• Hard in public school

–Hard for home school parents

• Consider lack of proving experiences in low grades

Van Hiele Model

• van Hiele theory speaks to this dilemma

• Levels of geometric thought

• Exposure to lower levels needed prior a course of rigorous proofs

Geometry and proof. Mathematics Teacher, 88(1), 48-54. ©1995 by the National Council of Teachers of Mathematics.

Van Hiele Levels

http://proactiveplay.com/the-van-hieles-model-of-geometric-thinking/

Van Hiele Levels

• Levels are sequential

• Not age dependent

• Advance with appropriate experiences

• Inappropriate experiences inhibit

Level 0: Visualization

That’s a rectangle because it looks

like a door.

Level 1: Analysis

That’s a rhombus. It has four equal sides

Level 2: Informal Analysis

That’s a square. It’s a rhombus, but it has some

extra properties.

Level 3: Formal Deduction

Those two triangles in the parallelogram are congruent

by Side-side-side.

Level 4: Rigor

Look what I figured out about triangles when you place them on a sphere

and not on a plane. And I can prove it, too.

Van Hiele Levels

• Levels are sequential

• Not age dependent

• Advance with appropriate experiences

• Inappropriate experiences inhibit

Use Geogebra Transition between Levels

http://proactiveplay.com/the-van-hieles-model-of-geometric-thinking/

Use of Geogebra

• Involve students in mathematical discovery

See if you can figure out what happens when you move the corner of the quadrilateral around.

Use Geogebra Transition between Levels

http://proactiveplay.com/the-van-hieles-model-of-geometric-thinking/

Use of Geogebra

• Facilitate making and testing conjectures

• Perform measurements D is the midpoint of BC AD connects the center

of the circle and the midpoint of BC. What

relationships do you see? Try to prove it to a jury.

Try a Discovery http://padlet.com/wall/GGB2013-Session112

1. Create a circle

2. Place three points anywhere on the circle

3. Create segments from two of the points to the center

4. Create segments from the same two points to the third point on the circle

5. Measure the two angles formed

6. Move the points, make a conjecture

Use of Geogebra

• What was your conjecture?

• Can you prove it to a jury?

Another Discovery http://padlet.com/wall/GGB2013-Session112

1. Create a circle and a tangent to the circle at B

2. Create two other points on the circle, C and D

3. Place a point E on the tangent

4. Measure the angles DCB and DBE

5. Make a conjecture … move the points around to see if it always holds

6. Try to prove your conjecture

Another Discovery

• What was your conjecture?

• Can you prove it to a jury?

Use of Geogebra

• Ultimate goal, students able to prove … but …

• What if …. Require description of how a student demonstrated the theorem using Geogebra

• This moves students along in the van Hiele levels

Use of Geogebra

• Agree or disagree …

Agree? Disagree?

• • •

• • • •

Require only “demonstration” of

theorems and conjectures

Demonstration Proof

• Can be used for counter-examples

– To prove a conjecture FALSE

Course Recently Taught

• College Geometry

Course Recently Taught

• Each chapter starts with “Activities”

– Use Geogebra to construct figures

– Make conjectures

– Try to prove

• Concepts then presented in chapter

• Formal proofs presented

• Chapter exercises include formal proofs

Activities

1. Draw an arbitrary triangle, ABC.

a. Construct an equilateral triangle on each leg of ABC. The constructed triangles should remain equilateral when you drag the vertices of ABC to new positions. Calculate the areas of each equilateral triangle. Drag the vertices A, B, and C to see what happens when ABC is acute, right, or obtuse. What do you observe? Make a conjecture. © 2006 by Key College Publishing. All rights reserved. Published by Key College Publishing, an imprint of Key Curriculum Press.

Activities (ctd.)

b. Repeat part a, using circles on each side instead of equilateral triangles. Construct a circle on each leg so that the leg of the triangle is a diameter of the circle. Calculate the area of each circle. What do you observe? What happens when ABC is acute, right, or obtuse? Make a conjecture.

c. Prove your conjectures from parts a and b

© 2006 by Key College Publishing. All rights reserved. Published by Key College Publishing, an imprint of Key Curriculum Press.

Exercises

4. Using coordinates, write a detailed step-by-step proof that the set of points equidistant from two fixed points, A and B, is the perpendicular bisector of the segment AB.

© 2006 by Key College Publishing. All rights reserved. Published by Key College Publishing, an imprint of Key Curriculum Press.

Summary

• Formal proofs difficult

• van Heile suggests levels

• Students need transitional experiences

• Use discovery, experimentation

• Use Geogebra

Questions?

Discovering Geometry Conjectures and Proving with Geogebra

GeoGebra Dynamic Mathematics North American Conference

Miami University, Oxford Ohio August 3-4, 2013

Dr. Steve Armstrong, LeTourneau University

www.letu.edu/people/stevearmstrong