45
Dragging in dynamic geometry: from a utilization scheme to a psychological tool Anna Baccaglini-Fran k [email protected]

Dragging in dynamic geometry: from a utilization scheme to a psychological tool

Embed Size (px)

Citation preview

Page 1: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 1/48

Dragging in dynamic geometry:from a utilization scheme to a

psychological tool

Anna Baccaglini-Frank

[email protected]

Page 2: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 2/48

...so what will I be talking about?

•  it will be related to dynamic geometry

•  “dragging” will be looked at from different

theoretical perspectives

 –  the instrumental approach (Rabardel)

 – a Vygotskian lens

•  examples of choosing and developing

framework elements for “seeing” what one

wants•  some findings from the study for my

dissertation

Page 3: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 3/48

structure I chose for today

•  presentation of the problem

•  and of the framework I started from and 

elaboration of theoretical constructs to build a

lens for “seeing” what I wanted

•  presentation of a model for conjecture-generation in dynamic geometry

•  proposal of a new theoretical construct (still

needs to be generalized)

•  surprising episode and new hypothesis withadditional framework elements.

Page 4: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 4/48

Conjecturingand Proving

in Geometry

Open Problems

Dynamic GeometrySystems

Focusing on “The Problem”

Page 5: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 5/48

Conjecturingand Proving

in Geometry

Open Problems

Dynamic GeometrySystems

Conjecturing Phase:exploration and

argumentation

leading to astatement to be

validated

Focusing on “The Problem”

Page 6: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 6/48

                A

            s            c            e            n

                d                 i            n

            g                      C

            o            n                t            r            o                 l 

D        e       s      

c       e       n      d         i         n        g       

 C         o       n      t         r       o       

l          

Wandering Dragging

Bound Dragging

Guided Dragging

Lieu Muet(or Dummy Locus) Dragging

Line Dragging

Linked Dragging

Dragging Test

Arzarello et al.’s Cognitive Analysis of Dragging

Page 7: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 7/48

ABDUCTION

guiding the

transition

It is the different 

control to change

the relationshipsamong the

geometrical objects,

both in the way they 

are ‘drawn’ and in the way 

they are

‘seen.’  

“...[abduction] Themost delicate

cognitive point...”(Arzarello et al.,

1998)

The transition from the ascending 

to the descending control is promoted by abduction, which putson the table all the ingredients of 

the conditional statements

Arzarello et Al.’s Cognitive Analysis of Dragging

Page 8: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 8/48

                A

            s            c            e            n

                d                 i            n

            g                      C

            o            n                t            r            o                 l 

D        e       s      

c       e       n      d         i         n        g       

 C         o       n      t         r       o       

l          

Wandering Dragging

Bound Dragging

Guided Dragging

Lieu Muet(or Dummy Locus) Dragging

Line Dragging

Linked Dragging

Dragging Test

abduction conjecture

??

?

Page 9: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 9/48

                A

            s            c            e            n

                d                 i            n

            g                      C

            o            n                t            r            o                 l 

D        e       s      

c       e       n      d         i         n        g       

 C         o       n      t         r       o       

l          

Wandering Dragging

Bound Dragging

Guided Dragging

Lieu Muet(or Dummy Locus) Dragging

Line Dragging

Linked Dragging

Dragging Test

abduction conjecture

??

?

“The role of lieu muet in the dynamic of ascending/

descending control supports and helps students to

produce abductions and provokes the switching

between ascending and descending controlmodalities.” (p. 38)

(Arzarello, Micheletti, Olivero, Robutti, Paola, &

Gallino, 1998)

Page 10: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 10/48

What is Dummy Locus Dragging ?

figure 

dragging a base point to 

maintain a property of the dynamic-figure

Maintaining Dragging 

Page 11: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 11/48

“...abduction looks at facts and looks for a theory to explain

them, but it can only say a "might be", because it has aprobabilistic nature. The general form of an abduction is:a fact A is observed;if C was true, then A would certainly be true;so, it is reasonable to assume C is true”(Peirce, 1960, p. 372). 

Abduction

Suppose I know that a certain bag is full of white beans.

Consider the following sentences:

A)  these beans are white;B)  the beans in that bag are white;

C)  these beans are from that bag. ...an abduction is: A and B, hence C

(Peirce called hypothesis the product of the abduction)

Page 12: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 12/48

What is the product of the abduction in the case of 

conjecture-generation?

Abduction in Conjecture-generation

A first problem

Peirce’s Example Conjecture-generation

Example

fact  A is observed A is observed

rule if C was true then A would

be true

when C is observed/true

A is observed/true or if Cthen A (conjecture)

hypothesis C is true C is observed/true

Page 13: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 13/48

What is the product of the abduction in the case of 

conjecture-generation?

Abduction in Conjecture-generation

A first problem

Peirce’s Example Conjecture-generation

Example

fact  A is observed A is observed

rule if C was true then A would

be true

when C is observed/true

A is observed/true or if Cthen A (conjecture)

hypothesis C is true C is observed/true

so the product can be a

conditional statement

containing the abductivehypothesis itself!!

Page 14: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 14/48

“…an abductive inference may serve to

organize, reorganize and transform problem

solvers’ actions.” (Cifarelli, 1999) abduction...“the process of inferring certain

facts and/or laws and hypotheses that render some sentences plausible, that explain or discover some (eventually new) phenomenon

or observation; it is the process of reasoning in

which explanatory hypotheses are formed andevaluated.”

(Magnani, 2001)

Page 15: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 15/48

Conjecturingand Proving

in Geometry

Open Problems

Dynamic GeometrySystems

Conjecturing Phase:exploration and

argumentation

leading to astatement to be

validated

Page 16: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 16/48

Conjecturingand Proving

in Geometry

Open Problems

Dynamic GeometrySystems

Conjecturing Phase:exploration and

argumentation

leading to astatement to be

validated

A r z a r e l l o 

 e t  a l. ’ s 

 c o g n i t i v

 e  m o d e l 

Page 17: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 17/48

Conjecturingand Proving

in Geometry

Open Problems

Dynamic GeometrySystems

Conjecturing Phase:exploration and

argumentation

leading to astatement to be

validated

A r z a r e l l o 

 e t  a l. ’ s 

 c o g n i t i v

 e  m o d e l 

Page 18: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 18/48

(Some) Research Questions

1)  What relationship do the forms of reasoning (in

particular abduction) used by solvers during the

conjecturing stage of an open problem in a DGS, have

with the ways in which solvers use the dragging tool?

2)  When a solver uses maintaining dragging in open

problems there seems to be a common process used

to generate conjectures. How can this be described? 

Page 19: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 19/48

I still needed to focus on solvers’ use of 

maintaining dragging 

so I did some homework, got good advice

and turned to...

Page 20: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 20/48

The Instrumental Approach

it looks at an artifact with respect to...

•  a task

•  a solver 

•  the solver develops utilization schemes

Page 21: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 21/48

The Artifact

Page 22: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 22/48

Solver Task

Artifact

Page 23: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 23/48

Solver Task

Artifact

UtilizationScheme

Page 24: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 24/48

Solver Task

Artifact

UtilizationScheme

Page 25: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 25/48

Conjecturingand Proving

in Geometry

Open Problems

Dynamic GeometrySystems

Conjecturing Phase:exploration and

argumentation

leading to astatement to be

validated

A r z a r e l l o 

 e t  a l. ’ s 

 c o g n i t

 i v e  m o d e l 

Page 26: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 26/48

I used this framework

•  to develop a model for conjecture-generation when maintaining dragging is

used by the solver 

(that is, the description of a utilization

scheme for the instrument maintaining

dragging in a task of conjecture-

generation)

• to elaborate on in case something elseinteresting and related to my problem

“came up”.

Page 27: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 27/48

Let A, M, K be three base-points, and construct B as the symmetric point of 

A with respect to M, and construct C as the symmetric point of A with

respect to K. Construct the parallel line l to BC through A, and theperpendicular line r to l through C. Let D be the intersection of l and r .

Page 28: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 28/48

Use of MD in the Exploration

Page 29: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 29/48

Leading to These Conjectures

If K ∈ the perpendicular bisector of AB  ⇒ ABCDrectangle

If M  ∈ 

the circle with center Z (midpoint of AK)and radius AZ then ABCD rectangle

If A belongs to the ⊥ line to l   through M ABCDrectangle

Page 30: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 30/48

The MD-conjecturing Model

We can describe the process through 3 (implicit) tasks

and the different invariants the solver perceives.

Page 31: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 31/48

The MD-conjecturing Model

Task 1: Determining an

Invariant to Induce Intentionally (III)

Determine a configuration to be explored by

inducing it as a (soft) invariant.

Through wandering dragging the solver can look for 

interesting configurations and conceive them as

potential invariants to be intentionally induced (III).Intentionally Induced

Invariant (III)

Page 32: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 32/48

The MD-conjecturing Model

Task 2: Searching for a Condition through MD

Look for a condition that makes the intentionally

induced invariant (III) be visually verified throughmaintaining dragging.

This can occur •  through a geometric interpretation of the movement

of the dragged base point

• or through a geometric interpretation of the trace.

Page 33: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 33/48

The MD-conjecturing Model

Task 2: Searching for a Condition through MD

Look for a condition that makes the intentionally

induced invariant (III) be visually verified throughmaintaining dragging.

This can occur •  through a geometric interpretation of the movement

of the dragged base point

• or through a geometric interpretation of the trace.

pathgeometric

interpretation

of the path

(GDP)

Page 34: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 34/48

The MD-conjecturing Model

Task 2: Searching for a Condition through MD

Look for a condition that makes the intentionally

induced invariant (III) be visually verified throughmaintaining dragging.

Invariant Observed during

Dragging (IOD)

Intentionally Induced

Invariant (III)

Conditional

Link

(CL)

Page 35: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 35/48

The MD-conjecturing Model

Task 3: Checking a Conditional Link (CL)

between the Invariants

Verify the conditional link (CL) through the dragging test.

Possible subtasks:

• construct the GDP;

• perform soft dragging test ;

• perform robust dragging test constructing the IOD

robustly.

Express a Conjecture

(making the CL explicit)

Page 36: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 36/48

III

task 1: determine aninteresting property to

intentionally induce

as an invarianttype of dragging:

wandering dragging

IODtask 2 (part 1): search for 

a “condition” thatmakes the III visually

verified, as movementof a base point along

a pathtype of dragging:

maintaining dragging

and dragging withtrace activated

CLtask 2 (part 2): interpret

(within the world of geometry) the IOD as a

condition under which theIII is verified

through a

geometric

interpretation of 

the trace or of 

the movement

of the draggedbase point

CL checktask 3: verify the CL

through a dragging test

type of dragging: soft or 

robust dragging test

The MD-conjecturing Model

Page 37: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 37/48

So now we have a model that seems to well

describe what happens when a solver uses MD

for conjecture-generation...

The Model contains the description of a

possible utilization scheme for MD in tasks of conjecture-generation.

...what happened to the abduction?

Page 38: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 38/48

The utilization

scheme allows thesolver to solve the

specific task

During the phase of 

instrumental genesis thesolver seems to develop

“general” aspects of the

scheme transcendingspecific tasks

Proposing a new theoretical construct

Page 39: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 39/48

Proposing a new theoretical construct

I nst r ume nt e d  

abd uc t i o n 

Page 40: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 40/48

ActivityConstruct:

• a point P• a line r through P

• the perpendicular to r 

through P

• a point C on the

perpendicular 

• point A symmetric to C

wrt P

• a point D on the semiplane

opposite to C wrt r 

•  line through D and P

• circumf. center C, rad. CP

• B as 2nd intersection of the

circumference

with line through DP.

• quadrilateral ABCD

Interpretation of a surprising episode

Page 41: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 41/48

MD as a Psychological ToolInterpretation of a surprising episode

Page 42: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 42/48

Taking a Vygotskian perspective (Vygotsky, 1978, p. 52ff.), the process that was external, supported by the

MD-instrument in the case of instrumented abduction,now can be seen as “transformed” into an internal 

 process.

We can say that the MD-instrument has beeninternalized and it can now be used as a psychological 

tool (Wertsch & Addison Stone, 1985; Kozulin, 1998) 

to solve a conjecture-generation problem.

MD as a Psychological ToolInterpretation of a surprising episode

Page 43: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 43/48

Conjecturingand Proving

in Geometry

Open Problems

Dynamic GeometrySystems

Conjecturing Phase:exploration and

argumentation

leading to astatement to be

validated

A r z a r e l l o 

 e t  a l. ’ s 

 c o g n i t i v e 

 m o d e l 

Page 44: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 44/48

The Oral Proof A new hypothesis on conjecturing and proving

Page 45: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 45/48

The Oral Proof •  the circles are symmetric so AD is congruent to AP

which is congruent to PC and to therefore to BC;•  the isosceles triangles APD and PBC are congruentbecause they have congruent angles,since the angle DPA is opposite at its

vertex to CPB;•  therefore PD is congruent to PB,•  so ABCD has diagonals thatintersect at their midpointsand therefore it is

a parallelogram.

A new hypothesis on conjecturing and proving

Page 46: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 46/48

Hypothesis

Expert use of MD can become automatic andit seems to generate conjectures with a gap,while use of MD as a psychological tool

seems to generate conjectures with bridgingelements.

Therefore use of MD as a psychological toolmay foster the solver’s construction of aproof of the statement of his/herconjecture.

A new hypothesis on conjecturing and proving

Page 47: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 47/48

Reasoning about the use of MD and fostering awareness of 

the process of conjecture-generation achieved with its

support can be used by the teacher to trigger a process of semiotic mediation centered on the use of dragging with

respect to mathematical meanings like “premise”,

“conclusion”, “implication”, and “conjecture”.

With respect to the issue of teaching and learning proof ...

we advance a hypothesis:

• MD as a psychological tool geometrical concepts canbecome “bridging elements”

with respect to the proving

phase

• MD used “automatically” tends to lead to conjectures with

no geometrical elements to“bridge the gap” between the

premise and the conclusion.

There are various implications – here are a couple

Page 48: Dragging in dynamic geometry: from a utilization scheme to a psychological tool

8/6/2019 Dragging in dynamic geometry: from a utilization scheme to a psychological tool

http://slidepdf.com/reader/full/dragging-in-dynamic-geometry-from-a-utilization-scheme-to-a-psychological 48/48

Conjecturing

and Proving

in Geometry

Open Problems

Dynamic Geometry

Systems

Conjecturing Phase:exploration and

argumentation

leading to astatement to be

validated

A r z a r e l l o 

 e t  a l. ’ s 

 c o g n i t i v e 

 m o d e l