A Deep Dive Into Transformational Proof Lew Douglas Henri - - PowerPoint PPT Presentation

a deep dive into transformational proof
SMART_READER_LITE
LIVE PREVIEW

A Deep Dive Into Transformational Proof Lew Douglas Henri - - PowerPoint PPT Presentation

A Deep Dive Into Transformational Proof Lew Douglas Henri Picciotto The Common Core introduces geometric transformations in 8th grade. We will assume you are familiar with those basics, and focus this presentation on proof from a


slide-1
SLIDE 1

A Deep Dive Into Transformational Proof

Lew Douglas Henri Picciotto

slide-2
SLIDE 2

The Common Core introduces geometric transformations in 8th grade.

We will assume you are familiar with those basics, and focus this presentation on proof from a transformational point of view.

slide-3
SLIDE 3

The Common Core is open to interpretation

We don’t always agree with each other on the best choices, and we encourage you to make your own choices.

slide-4
SLIDE 4

A key innovation of the CCSSM in geometry is the redefinition of congruence on a transformational basis.

(and a parallel change for similarity, which we will not discuss today because of time constraints)

slide-5
SLIDE 5

This is a good idea

◊ mathematically ◊ pedagogically

slide-6
SLIDE 6

Mathematically

◊ Connections to algebra:

  • Functions: composition, inverses, notation
  • Transformations of graphs
  • Coordinate transformations


e.g. T(x, y) = (-x, y)

◊ Geometric interpretation of complex numbers ◊ Symmetry

slide-7
SLIDE 7

Pedagogically

a more intuitive foundation for geometry

slide-8
SLIDE 8

Minimal interpretation of the CCSSM

  • 1. Use transformations to justify SSS, SAS, ASA
  • 2. Continue along traditional path
slide-9
SLIDE 9

Ambitious interpretation (ours)

◊ New definitions and assumptions ◊ New approaches to proof

slide-10
SLIDE 10
  • 1. Rethinking Basics
slide-11
SLIDE 11

Construction Assumptions

◊ two distinct lines meet in at most one point ◊ two distinct circles meet in at most two points ◊ a line and a circle meet in at most two points

slide-12
SLIDE 12

Example (SSS)

  • 1. Make ∆ABC in GeoGebra with the

polygon tool

  • 2. Use the compass, point, and segment

tools to make another triangle with sides equal to ∆ABC’s.

  • 3. Save!
slide-13
SLIDE 13

Precise definitions of 
 reflection, rotation, and translation

slide-14
SLIDE 14

Reflection

A reflection in a line b maps any point on b to itself, and any other point P to a point P' so that b is the perpendicular bisector of PP'.

slide-15
SLIDE 15

Rotation

Given a point O and a directed angle θ*, the image of a point P ≠ O under a rotation with center O and angle θ is a point P' on the circle centered at O with radius OP, such that ∠POP' = θ. The image of O is O.

*θ is positive for counterclockwise, negative for clockwise.

slide-16
SLIDE 16

Translation

Given a vector V, the image of a point P under a translation by V is a point P' such that the vector PP = V. V ! " V ! " PP' ! " !!

slide-17
SLIDE 17

Orientation

slide-18
SLIDE 18

What is preserved

slide-19
SLIDE 19

Composition of
 two reflections in

◊parallel lines ◊intersecting lines

slide-20
SLIDE 20

(Thus we don’t need axioms about what translations and rotations preserve.) Reflection preserves distance and angle measure.

slide-21
SLIDE 21

Particular case

The composition of two reflections in perpendicular lines is a 180° rotation around their intersection. (a.k.a half-turn, or 
 reflection in a point.)

slide-22
SLIDE 22

Reflection, rotation, and translation are rigid motions, or isometries.

slide-23
SLIDE 23

Parallel Postulate

Through a point outside a given line l, there is a unique line parallel to l.

slide-24
SLIDE 24

Parallels and Transversal

Two lines are parallel if and only if, when cut by a transversal, an angle created on one line is a translation image of an angle created on the other.

slide-25
SLIDE 25

Angle basics

◊ Sum of angles in a triangle ◊ Sum of interior angles in a quadrilateral

(formally or informally?)

slide-26
SLIDE 26
slide-27
SLIDE 27

Rotating a segment 180° around its midpoint. A' = B and B' = A

slide-28
SLIDE 28

Rotating a line 180° 
 around a point not on the line

slide-29
SLIDE 29
  • 2. Proving Theorems
slide-30
SLIDE 30

Perpendicular Bisector Theorem

A point P is equidistant from two points A and B if and only if it lies on their perpendicular bisector.

slide-31
SLIDE 31

Theorem: There is a reflection that maps any given point P into any given point Q.

slide-32
SLIDE 32

Theorem: If two segments AB and CD have equal length, then one is the image of the other with C the image of A and D the image of B, under either

  • ne or two reflections.

(In other words, if segments have equal length, they are congruent.)

slide-33
SLIDE 33

Triangle congruence: prove SSS

◊ Use the file you created earlier ◊ Use isometries to get from the original


to the SSS copy (SAS, ASA will work in similar ways)

slide-34
SLIDE 34

Definition: A symmetry of a figure is an isometry for which the figure is invariant. (The image is the pre-image. Individual points need not be fixed.) lines of symmetry

slide-35
SLIDE 35

Z

Two-fold rotational symmetry (180°) Three-fold rotational symmetry (120°)

slide-36
SLIDE 36

Symmetry definitions for isosceles and equilateral triangles

slide-37
SLIDE 37

Symmetry definitions for the special quadrilaterals

slide-38
SLIDE 38

Our definitions

slide-39
SLIDE 39

Proofs of properties

slide-40
SLIDE 40

The image of a vertex of a polygon in a 
 line of symmetry is also a vertex.

slide-41
SLIDE 41

One vertex of an isosceles triangle lies


  • n the line of symmetry.
slide-42
SLIDE 42

The diagonals of a parallelogram bisect each other.

slide-43
SLIDE 43

Properties of an isosceles trapezoid.

slide-44
SLIDE 44
  • 1. Properties of an isosceles triangle.
  • 2. Properties of a kite.
  • 3. An equilateral triangle has 


3-fold rotational symmetry.

slide-45
SLIDE 45

Proving that a triangle or quadrilateral is a special type 


(that is, it satisfies the symmetry definition)

slide-46
SLIDE 46

If a triangle has two equal angles, it is isosceles.

slide-47
SLIDE 47

If a diagonal of a quadrilateral bisects a pair of

  • pposite angles, the quadrilateral is a kite.
slide-48
SLIDE 48
  • 1. If the diagonals of a parallelogram bisect each
  • ther, the quadrilateral is a parallelogram.
  • 2. If an angle bisector of a triangle is also an

altitude, the triangle is isosceles.

slide-49
SLIDE 49
  • 1. If the diagonals of a parallelogram bisect each
  • ther, the quadrilateral is a parallelogram.
slide-50
SLIDE 50
  • 2. If an angle bisector of a triangle is also an

altitude, the triangle is isosceles.

slide-51
SLIDE 51

Questions?

slide-52
SLIDE 52

Tomorrow

◊ 9:30 Computing Transformations


(Algebra 2 / Precalculus)

◊ 3:30 Transformational Proof


(Geometry)

Summer (in Oakland)

June 26-27: Hands-On Geometry (grades 6-10) June 28-30: Transformational Geometry (grades 8-11)

slide-53
SLIDE 53

Many PDFs on this topic are available at www.MathEducationPage.org/transformations