SlideShare ist ein Scribd-Unternehmen logo
1 von 42
Downloaden Sie, um offline zu lesen
B
A
C
P
P1
P2
P3I
A problem (1)
Construct a triangle ABC.
Construct a point P and its symmetrical point P1 about A.
Construct the symmetrical point P2 of P about B, construct the
symmetrical point P3 of P about C.
Construct the point I, the midpoint of [PP3].
What can be said about the point I when P is moved?
From Capponi (1995) Cabri-classe, sheet 4-10.
B
A
C
P
P1
P2
P3I
“... when, for example, we put P to the left,
then P3 compensate to the right. If it goes up,
then the other goes down...”
“... why I is invariant? Why I does not move?”
A problem (1)
“The others, they do not move. You see what I
mean? Then how could you define the point I,
finally, without using the points P, P1, P2, P3?”
[prot.143.]
B
A
C
P
P1
P2
P3I
Students rather easily proved
that ABCI is a parallelogram
The tutor efforts...
... can be summarized, by the desperate
question: ‘don’t you see what I see?’
Seeing is
knowing
B
A
C
P
P1
P2
P3I
invariance of I
phenomenon
facts
Internal
universe
Interface
External
universe immobility of I
geometry
knowledge
“… why I is invariant?
Why I does not move?”
B
A
C
P
P1
P2
P3I
invariance of I
phenomenon
facts
Internal
universe
Interface
External
universe immobility of I
geometry
knowledge
“… why I is invariant?
Why I does not move?”
Modeling
• Learners and teachers could…
… have different “understanding”
… have different “reading”
… be actors of different “stories”
• How can we inform these differences in
understanding, or reading, or stories
First hint: investigate representations?
Question: what/where is
the problem?
The Mendelbrot set for z → z2
+c
The picture shows the non connectivity of M
A crucial example,
The case of fractals
A proof
first...
then…
the picture of
the filaments
A crucial example,
The case of fractals
A proof
first...
then…
the picture of
the filaments
A crucial example,
The case of fractals
Back to students
Sin(exp x)
x4
-5x2
+x+4
how to balance trust and doubt?
Back to students
Sin(exp x)
x4
-5x2
+x+4
how to balance trust and doubt?
résoudre: Ln(ex
-1) = x
Back to students: to
balance trust and doubt
résoudre: Ln(ex
-1) = x ex
-1=ex
Back to students: to
balance trust and doubt
« ƒ is defined by
f(x) = lnx + 10sinx
Is the limit + ∞ and in +∞? »
The environment plays a role in the number
of errors we observe:
- with a graphic calculator 25% of errors
- without the graphic calculator 5% of errors
D. Guin et L. Trouche
And more, if needed
• =3.14π
• a convergent series reach its limit
• the Fibonacci series
U0=1, U1=(1+ 5)/2, U√ n=Un-1+Un-2
is divergent
Back to students: the
pragmatic origin of meaning
The need to bridge
knowing and proving
Nicolas.Balacheff @ imag.fr
• our knowledge (connaissance) is the result of our
interaction with our environment
• learning is the outcome of a process of adaptation (ie
ecological)
the learner environment could be physical, social,
symbolic…but
 only certain features of the environment are relevant
from the learning point of view: the “milieu”
An agreed ecological
perspective
Individual ways of knowing could be ...
• Contradictory depending on the nature of
context (in and out of school, on the work place
and at home, at the grocery and at the
laboratory, …)
• Even though potentially attached to the same
specific concept
Contradiction, a familiar
characteristic of human beings
Let’s look at knowing as holding a set of
conceptions .
Conceptions are accessible to falsification
 A conception is validation dependent
The claim for validity which is at the core of
knowing requires
(i) the possibility to express a statement
(ii) the possibility to engage in a validation process
(iii) the hypothesis of transcendence
Conceptions,
validity and proof
 Problems as the fundamental criteria for
the characterization of a conception
a state of the dynamic
equilibrium of a loop of
interaction,
action/feedback, between a
subject and a milieu under
viability constraints.
“Problems are the source and the criterium of knowing”
(Vergnaud 1981)
action
   S M
feedback
constraints
A first characterization of
a conception
P... a set of problems
R... a set of operators
L... a system of representation
Σ.... a control structure
- describe the domain of validity of a conception (its sphere of practice)
- the educational characterisation of P is an open question
- the system of representation could be linguistic or not
- it allows the expression of the elements from P and R
- ensure the logical coherency of the conception, it contains at least under
the form of an oracle the tools needed to take decisions, make choices,
express judgement on the use of an operator or on the state of a problem
(solved or not)
- the operators allow the transformation of problems
- operators are elicited by behaviors and productions
A characterization of a
conception
Construct a circle with AB as
a diameter. Split AB in two
equal parts, AC and CB. Then
construct the two circles of
diameter AC et CB… an so on.
How does vary the total
perimeter at each stage ?
How vary the area ?
A problem (2)
9. Vincent : the perimeter is 2 rπ
and the area is r2π
10. Ludovic : OK
11. Vincent : r is divided by 2 ?
12. Ludovic : yes, the first perimeter
is 2 r and the second is 2 rπ π
over 2 plus 2 r over 2 hence ….π
It will be the same
[…]
17. Vincent : the other is 2 r over 4π
but 4 times
18. Ludovic : so it is always 2 rπ
19. Vincent : it is always the same
perimeter….
20. Ludovic : yes, but for the area…
21. Vincent : let’s see …
22. Ludovic : hum…. It will be devided
by 2 each time
23. Vincent : yes, (r/2)π 2
plus (r/2)π 2
is
equal to…
[…]
31. Vincent : the area is always divided
by 2…so, at the limit? The limit is a
line, the segment from which we
started …
32. Ludovic : but the area is divided by
two each time
33. Vincent : yes, and then it is 0
34. Ludovic : yes this is true if we go on…
A problem (2)
37. Vincent : yes, but then the perimeter … ?
38. Ludovic: no, the perimeter is always the
same
[…]
41. Vincent : it falls in the segment… the circle
are so small
42. Ludovic: hum… but it is always 2 rπ
43. Vincent : yes, but when the area tends to 0
it will be almost equal…
44. Ludovic: no, I don’t think so
45. Vincent : if the area tends to 0, then the
perimeter also… I don’t know
46. Ludovic: I finish to write the proof
A problem (2)
Algebraic frame
area /perimeter
formulaLudovic
algebraic conception
Vincent
symbolic-arithmetic
conception
Validation
V
alidation
Representation
and control
Algebraic frame
area /perimeter
Ludovic
algebraic conception
Vincent
symbolic-arithmetic
conception
Validation
V
alidation
Representation
and control
Algebraic frame
area /perimeter
Ludovic
algebraic conception
Vincent
symbolic-arithmetic
conception
Validation
V
alidation
Representation
Representation
and control
Let z be the sum of the two
given even numbers, z is even
means z=2p. We can write
p=n+m, thus z=2n+2m. But
2n and 2m are a manner to
write the two numbers. So z is
even.
An even number can only finish
with 0, 2, 4, 6 and 8, so it is for the
sum of two of them
OOOOOOO OOOOO
OOOOOOO OOOOO
OOOOOOOOOOOO
OOOOOOOOOOOO
+
=
Let x and y be two even numbers, and z=x+y. Then it exists
two numbers n and m so that x=2n and y=2m. So :
z=2n+2m=2(n+m) because of the associative law, hence z is an
even number.
2, 2= 4 4, 4= 8 6, 8= 4
2, 4= 6 4, 6= 0
2, 6= 8 4, 8= 2
2, 8= 0
(1)
(2)
(3)
(4)
(5)
Problem (3)
If two numbers are even, so is their sum
What is a
mathematical proof?
From a learning point of view, there is a need to give a
status to something which may be different from what is
a proof for mathematicians, but still has a meaning
within a mathematical activity.
Explanation
Proof
Mathematical proof
The search for certainty
The search for understanding
The need for communication
A specific economy
of practice
The rôle of mathematical proof
in the practice of mathematicians
Internal needs
Social communication
mathematical
rationalism
non mathematical
rationalismVersus
Rigour Efficiency
On the opposition
theory/practice
The opposition theory/practice is a reality of the learning of
elementary mathematics...
In the case of geometry, it takes the form of the opposition between
practical geometry (geometry of drawings and figures) and
theoretical geometry(deductive or axiomatic geometry)
An other opposition is that of symbolic arithmetic and algebra,
which I propose as a possible explanation of the complexity of the
use of spreadsheets
Which genesis for mathematical
proof from a learning perspective
the origin of knowing is in action
but the achievement of
Mathematical proof is in language
knowing in action
knowing in discourse
construction
formulationaction validation
representation
means for action control
formulationaction validation
representation
means for action
Proof
and
control
unity
formulation
demonstration
language of a
familiar world
language as
a tool
naïve
formalism
validation
Pragmatic
proofs
Intellectual
proofs
mathematical
proof
action
practice
(know how)
explicit
knowing
knowing
as a theory
validation
Pragmatic
proofs
Intellectual
proofs
mathematical
proof
certainty
understanding
communication
A long way to
mathematical proof
naïve empiricism
crucial experiment
validation
Pragmatic
proofs
Intellectual
proofs
mathematical
proof
certainty
understanding
communication
A long way to
mathematical proof
generic example
thought experiment
statement calculus
naïve empiricism
crucial experiment
validation
Pragmatic
proofs
Intellectual
proofs
mathematical
proof
certainty
understanding
communication
A long way to
mathematical proof
Possible support from computer-based
microworlds and simulation
An educational problématique of proof cannot be separated from
that of constructing mathematical knowing
Specific situations are necessary to allow an evolution toward
a mathematical rationality
Look for the potential contribution of the
theory of didactical situations
Mathematics call for a milieu which feedback could account
for its specific character
The need to clarify the epistemological and
cognitive rational of didactical choices
Setting the didactical
scene
Possible support from computer-based
microworlds and simulation
An educational problématique of proof cannot be separated from
that of constructing mathematical knowing
Specific situations are necessary to allow an evolution toward
a mathematical rationality
Look for the potential contribution of the
theory of didactical situations
Mathematics call for a milieu which feedback could account
for its specific character
The need to clarify the epistemological and
cognitive rational of didactical choices
Setting the didactical
scene
Possible support from computer-based
microworlds and simulation
An educational problématique of proof cannot be separated from
that of constructing mathematical knowing
Specific situations are necessary to allow an evolution toward
a mathematical rationality
Look for the potential contribution of the
theory of didactical situations
Mathematics call for a milieu which feedback could account
for its specific character
The need to clarify the epistemological and
cognitive rational of didactical choices
Setting the didactical
scene
Possible support from computer-based
microworlds and simulation
An educational problématique of proof cannot be separated from
that of constructing mathematical knowing
Specific situations are necessary to allow an evolution toward
a mathematical rationality
Look for the potential contribution of the
theory of didactical situations
Mathematics call for a milieu which feedback could account
for its specific character
The need to clarify the epistemological and
cognitive rational of didactical choices
Setting the didactical
scene
Thank you !

Weitere ähnliche Inhalte

Was ist angesagt?

Nature, characteristics and definition of maths
Nature, characteristics and definition of mathsNature, characteristics and definition of maths
Nature, characteristics and definition of mathsAngel Rathnabai
 
MLCS presentation IMACC 2012
MLCS presentation IMACC 2012MLCS presentation IMACC 2012
MLCS presentation IMACC 2012kathleenalmy
 
Nature ,Scope,Meaning and Definition of Mathematics
Nature ,Scope,Meaning and  Definition of  Mathematics Nature ,Scope,Meaning and  Definition of  Mathematics
Nature ,Scope,Meaning and Definition of Mathematics AngelSophia2
 
Belief functions and uncertainty theories
Belief functions and uncertainty theoriesBelief functions and uncertainty theories
Belief functions and uncertainty theoriesSebastien Destercke
 
Wes K-2 lunch and learn Spring, 2011
Wes K-2 lunch and learn Spring, 2011Wes K-2 lunch and learn Spring, 2011
Wes K-2 lunch and learn Spring, 2011JC Sawyer Dolphins
 
Nature and Development of Mathematics.pptx
Nature and Development of Mathematics.pptxNature and Development of Mathematics.pptx
Nature and Development of Mathematics.pptxaleena568026
 
Mathematics in our World- Lesson 1
Mathematics in our World- Lesson 1Mathematics in our World- Lesson 1
Mathematics in our World- Lesson 1Arlene Leron
 
Nature of Mathematics and Pedagogical practices
Nature of Mathematics and Pedagogical practicesNature of Mathematics and Pedagogical practices
Nature of Mathematics and Pedagogical practicesLaxman Luitel
 
MLCS Presentation ICTCM 2012
MLCS Presentation ICTCM 2012MLCS Presentation ICTCM 2012
MLCS Presentation ICTCM 2012kathleenalmy
 
利用模糊歸屬函數
利用模糊歸屬函數利用模糊歸屬函數
利用模糊歸屬函數acksinkwung
 

Was ist angesagt? (19)

Nature, characteristics and definition of maths
Nature, characteristics and definition of mathsNature, characteristics and definition of maths
Nature, characteristics and definition of maths
 
Arithmetic skills
Arithmetic   skillsArithmetic   skills
Arithmetic skills
 
MLCS presentation IMACC 2012
MLCS presentation IMACC 2012MLCS presentation IMACC 2012
MLCS presentation IMACC 2012
 
Ecmi presentation
Ecmi presentationEcmi presentation
Ecmi presentation
 
Nature ,Scope,Meaning and Definition of Mathematics
Nature ,Scope,Meaning and  Definition of  Mathematics Nature ,Scope,Meaning and  Definition of  Mathematics
Nature ,Scope,Meaning and Definition of Mathematics
 
Belief functions and uncertainty theories
Belief functions and uncertainty theoriesBelief functions and uncertainty theories
Belief functions and uncertainty theories
 
Wes K-2 lunch and learn Spring, 2011
Wes K-2 lunch and learn Spring, 2011Wes K-2 lunch and learn Spring, 2011
Wes K-2 lunch and learn Spring, 2011
 
Nature and Development of Mathematics.pptx
Nature and Development of Mathematics.pptxNature and Development of Mathematics.pptx
Nature and Development of Mathematics.pptx
 
Analytic geometry
Analytic geometryAnalytic geometry
Analytic geometry
 
Teste
TesteTeste
Teste
 
Mathematics in our World- Lesson 1
Mathematics in our World- Lesson 1Mathematics in our World- Lesson 1
Mathematics in our World- Lesson 1
 
HS CCSS Math Rational Expressions
HS CCSS Math Rational ExpressionsHS CCSS Math Rational Expressions
HS CCSS Math Rational Expressions
 
Nature of Mathematics and Pedagogical practices
Nature of Mathematics and Pedagogical practicesNature of Mathematics and Pedagogical practices
Nature of Mathematics and Pedagogical practices
 
Hand out dm
Hand out dmHand out dm
Hand out dm
 
MLCS Presentation ICTCM 2012
MLCS Presentation ICTCM 2012MLCS Presentation ICTCM 2012
MLCS Presentation ICTCM 2012
 
Mathematics
MathematicsMathematics
Mathematics
 
2. Mathematics
2. Mathematics2. Mathematics
2. Mathematics
 
Show 1
Show 1Show 1
Show 1
 
利用模糊歸屬函數
利用模糊歸屬函數利用模糊歸屬函數
利用模糊歸屬函數
 

Andere mochten auch

Theory of didactical situations
Theory of didactical situationsTheory of didactical situations
Theory of didactical situationsNicolas Balacheff
 
Enjeu d'apprentissage et jeu de la connaissance
Enjeu d'apprentissage et jeu de la connaissanceEnjeu d'apprentissage et jeu de la connaissance
Enjeu d'apprentissage et jeu de la connaissanceNicolas Balacheff
 
cKȼ, un modèle de connaissance : spécificité et utilisations
cKȼ, un modèle de connaissance : spécificité et utilisationscKȼ, un modèle de connaissance : spécificité et utilisations
cKȼ, un modèle de connaissance : spécificité et utilisationsNicolas Balacheff
 
Lecture 2 ME 176 2 Mathematical Modeling
Lecture 2 ME 176 2 Mathematical ModelingLecture 2 ME 176 2 Mathematical Modeling
Lecture 2 ME 176 2 Mathematical ModelingLeonides De Ocampo
 
Introduction to mathematical control theory - Dr. Purnima Pandit
Introduction to mathematical control theory - Dr. Purnima PanditIntroduction to mathematical control theory - Dr. Purnima Pandit
Introduction to mathematical control theory - Dr. Purnima PanditPurnima Pandit
 
linear algebra in control systems
linear algebra in control systemslinear algebra in control systems
linear algebra in control systemsGanesh Bhat
 
State space analysis, eign values and eign vectors
State space analysis, eign values and eign vectorsState space analysis, eign values and eign vectors
State space analysis, eign values and eign vectorsShilpa Shukla
 
Modern Control System (BE)
Modern Control System (BE)Modern Control System (BE)
Modern Control System (BE)PRABHAHARAN429
 
معادلة لاغرانج
معادلة لاغرانجمعادلة لاغرانج
معادلة لاغرانجaleen_21
 
Selecting A Content Management System For Athabasca University
Selecting A Content Management System For Athabasca UniversitySelecting A Content Management System For Athabasca University
Selecting A Content Management System For Athabasca Universityrodger.graham
 
Behavioral Economics and the Design of Agricultural Index Insurance in Develo...
Behavioral Economics and the Design of Agricultural Index Insurance in Develo...Behavioral Economics and the Design of Agricultural Index Insurance in Develo...
Behavioral Economics and the Design of Agricultural Index Insurance in Develo...BASIS AMA Innovation Lab
 
Learning mathematical proof, lessons learned and outlines of a learning envir...
Learning mathematical proof, lessons learned and outlines of a learning envir...Learning mathematical proof, lessons learned and outlines of a learning envir...
Learning mathematical proof, lessons learned and outlines of a learning envir...Nicolas Balacheff
 
Agricultural Productivity and Economic Development in Southern Africa
Agricultural Productivity and Economic Development in Southern AfricaAgricultural Productivity and Economic Development in Southern Africa
Agricultural Productivity and Economic Development in Southern AfricaJason Welker
 
Food-Energy-Water Nexus Introduction
Food-Energy-Water Nexus IntroductionFood-Energy-Water Nexus Introduction
Food-Energy-Water Nexus IntroductionMeyer_IFPRI
 
An Agricultural Economics Research Agenda in Ethiopia – Some Reflections
An Agricultural Economics Research Agenda in Ethiopia – Some ReflectionsAn Agricultural Economics Research Agenda in Ethiopia – Some Reflections
An Agricultural Economics Research Agenda in Ethiopia – Some Reflectionsessp2
 
Agricultural Economics Mid Term Progress Submission
Agricultural Economics Mid Term Progress SubmissionAgricultural Economics Mid Term Progress Submission
Agricultural Economics Mid Term Progress SubmissionAnirudh Jayaraman
 

Andere mochten auch (20)

Theory of didactical situations
Theory of didactical situationsTheory of didactical situations
Theory of didactical situations
 
Enjeu d'apprentissage et jeu de la connaissance
Enjeu d'apprentissage et jeu de la connaissanceEnjeu d'apprentissage et jeu de la connaissance
Enjeu d'apprentissage et jeu de la connaissance
 
cKȼ, un modèle de connaissance : spécificité et utilisations
cKȼ, un modèle de connaissance : spécificité et utilisationscKȼ, un modèle de connaissance : spécificité et utilisations
cKȼ, un modèle de connaissance : spécificité et utilisations
 
Chap1see4113
Chap1see4113Chap1see4113
Chap1see4113
 
Lecture 2 ME 176 2 Mathematical Modeling
Lecture 2 ME 176 2 Mathematical ModelingLecture 2 ME 176 2 Mathematical Modeling
Lecture 2 ME 176 2 Mathematical Modeling
 
Introduction to mathematical control theory - Dr. Purnima Pandit
Introduction to mathematical control theory - Dr. Purnima PanditIntroduction to mathematical control theory - Dr. Purnima Pandit
Introduction to mathematical control theory - Dr. Purnima Pandit
 
linear algebra in control systems
linear algebra in control systemslinear algebra in control systems
linear algebra in control systems
 
State space analysis, eign values and eign vectors
State space analysis, eign values and eign vectorsState space analysis, eign values and eign vectors
State space analysis, eign values and eign vectors
 
Modern Control System (BE)
Modern Control System (BE)Modern Control System (BE)
Modern Control System (BE)
 
معادلة لاغرانج
معادلة لاغرانجمعادلة لاغرانج
معادلة لاغرانج
 
Selecting A Content Management System For Athabasca University
Selecting A Content Management System For Athabasca UniversitySelecting A Content Management System For Athabasca University
Selecting A Content Management System For Athabasca University
 
Behavioral Economics and the Design of Agricultural Index Insurance in Develo...
Behavioral Economics and the Design of Agricultural Index Insurance in Develo...Behavioral Economics and the Design of Agricultural Index Insurance in Develo...
Behavioral Economics and the Design of Agricultural Index Insurance in Develo...
 
Learning mathematical proof, lessons learned and outlines of a learning envir...
Learning mathematical proof, lessons learned and outlines of a learning envir...Learning mathematical proof, lessons learned and outlines of a learning envir...
Learning mathematical proof, lessons learned and outlines of a learning envir...
 
Agricultural Productivity and Economic Development in Southern Africa
Agricultural Productivity and Economic Development in Southern AfricaAgricultural Productivity and Economic Development in Southern Africa
Agricultural Productivity and Economic Development in Southern Africa
 
Food-Energy-Water Nexus Introduction
Food-Energy-Water Nexus IntroductionFood-Energy-Water Nexus Introduction
Food-Energy-Water Nexus Introduction
 
numerical analysis
numerical analysisnumerical analysis
numerical analysis
 
Ceu lecture 4
Ceu lecture 4Ceu lecture 4
Ceu lecture 4
 
An Agricultural Economics Research Agenda in Ethiopia – Some Reflections
An Agricultural Economics Research Agenda in Ethiopia – Some ReflectionsAn Agricultural Economics Research Agenda in Ethiopia – Some Reflections
An Agricultural Economics Research Agenda in Ethiopia – Some Reflections
 
Agricultural Economics Mid Term Progress Submission
Agricultural Economics Mid Term Progress SubmissionAgricultural Economics Mid Term Progress Submission
Agricultural Economics Mid Term Progress Submission
 
PHP6 and HTML5
PHP6 and HTML5PHP6 and HTML5
PHP6 and HTML5
 

Ähnlich wie Bridging knowing and proving in mathematics

Reliability And Validity Test For Children Education Essay
Reliability And Validity Test For Children Education EssayReliability And Validity Test For Children Education Essay
Reliability And Validity Test For Children Education EssayTammy Moncrief
 
255 Compiled And Solved Problems In Geometry And Trigonometry
255 Compiled And Solved Problems In Geometry And Trigonometry255 Compiled And Solved Problems In Geometry And Trigonometry
255 Compiled And Solved Problems In Geometry And TrigonometryCarrie Tran
 
Differential Calculus Essay
Differential Calculus EssayDifferential Calculus Essay
Differential Calculus EssayAliyahh King
 
Contextualized Lesson Plan in Math 8 Graphs of Linear Equations using Intercepts
Contextualized Lesson Plan in Math 8 Graphs of Linear Equations using InterceptsContextualized Lesson Plan in Math 8 Graphs of Linear Equations using Intercepts
Contextualized Lesson Plan in Math 8 Graphs of Linear Equations using InterceptsDepartment of Education - Philippines
 
The Fundamental Concepts Behind Signal Processing
The Fundamental Concepts Behind Signal ProcessingThe Fundamental Concepts Behind Signal Processing
The Fundamental Concepts Behind Signal ProcessingAlissa Cruz
 
Math school-books-3rd-preparatory-2nd-term-khawagah-2019
Math school-books-3rd-preparatory-2nd-term-khawagah-2019Math school-books-3rd-preparatory-2nd-term-khawagah-2019
Math school-books-3rd-preparatory-2nd-term-khawagah-2019khawagah
 
INVERSE TRIGONOMETRIC FUNCTIONS by Sadiq hussain
INVERSE TRIGONOMETRIC FUNCTIONS by Sadiq hussainINVERSE TRIGONOMETRIC FUNCTIONS by Sadiq hussain
INVERSE TRIGONOMETRIC FUNCTIONS by Sadiq hussainficpsh
 
Inverse Trigonometric Functions
Inverse Trigonometric FunctionsInverse Trigonometric Functions
Inverse Trigonometric FunctionsSadiq Hussain
 
Demo_Teaching_Mathematics_Powerpoint.pptx
Demo_Teaching_Mathematics_Powerpoint.pptxDemo_Teaching_Mathematics_Powerpoint.pptx
Demo_Teaching_Mathematics_Powerpoint.pptxdanilofrondajr27
 
Mat 126 Week 1 Assignment Essay Example
Mat 126 Week 1 Assignment Essay ExampleMat 126 Week 1 Assignment Essay Example
Mat 126 Week 1 Assignment Essay ExampleKate Subramanian
 
Contextualized Lesson Plan in Math 7 Linear Equation in One Variable
Contextualized Lesson Plan in Math 7 Linear Equation in One VariableContextualized Lesson Plan in Math 7 Linear Equation in One Variable
Contextualized Lesson Plan in Math 7 Linear Equation in One VariableDepartment of Education - Philippines
 

Ähnlich wie Bridging knowing and proving in mathematics (20)

Reliability And Validity Test For Children Education Essay
Reliability And Validity Test For Children Education EssayReliability And Validity Test For Children Education Essay
Reliability And Validity Test For Children Education Essay
 
255 Compiled And Solved Problems In Geometry And Trigonometry
255 Compiled And Solved Problems In Geometry And Trigonometry255 Compiled And Solved Problems In Geometry And Trigonometry
255 Compiled And Solved Problems In Geometry And Trigonometry
 
Differential Calculus Essay
Differential Calculus EssayDifferential Calculus Essay
Differential Calculus Essay
 
10.1.1.96.9176
10.1.1.96.917610.1.1.96.9176
10.1.1.96.9176
 
Problemas de Smale
Problemas de SmaleProblemas de Smale
Problemas de Smale
 
Csc200 Week 3
Csc200 Week 3Csc200 Week 3
Csc200 Week 3
 
Math Hl Type 1 Shadows
Math Hl Type 1 ShadowsMath Hl Type 1 Shadows
Math Hl Type 1 Shadows
 
Contextualized Lesson Plan in Math 8 Graphs of Linear Equations using Intercepts
Contextualized Lesson Plan in Math 8 Graphs of Linear Equations using InterceptsContextualized Lesson Plan in Math 8 Graphs of Linear Equations using Intercepts
Contextualized Lesson Plan in Math 8 Graphs of Linear Equations using Intercepts
 
The Fundamental Concepts Behind Signal Processing
The Fundamental Concepts Behind Signal ProcessingThe Fundamental Concepts Behind Signal Processing
The Fundamental Concepts Behind Signal Processing
 
Math school-books-3rd-preparatory-2nd-term-khawagah-2019
Math school-books-3rd-preparatory-2nd-term-khawagah-2019Math school-books-3rd-preparatory-2nd-term-khawagah-2019
Math school-books-3rd-preparatory-2nd-term-khawagah-2019
 
Crt
CrtCrt
Crt
 
INVERSE TRIGONOMETRIC FUNCTIONS by Sadiq hussain
INVERSE TRIGONOMETRIC FUNCTIONS by Sadiq hussainINVERSE TRIGONOMETRIC FUNCTIONS by Sadiq hussain
INVERSE TRIGONOMETRIC FUNCTIONS by Sadiq hussain
 
Inverse Trigonometric Functions
Inverse Trigonometric FunctionsInverse Trigonometric Functions
Inverse Trigonometric Functions
 
Articles en mathematics_4
Articles en mathematics_4Articles en mathematics_4
Articles en mathematics_4
 
Demo_Teaching_Mathematics_Powerpoint.pptx
Demo_Teaching_Mathematics_Powerpoint.pptxDemo_Teaching_Mathematics_Powerpoint.pptx
Demo_Teaching_Mathematics_Powerpoint.pptx
 
G9 DLL Q1 -WK 1-LC 1.doc
G9 DLL Q1 -WK 1-LC 1.docG9 DLL Q1 -WK 1-LC 1.doc
G9 DLL Q1 -WK 1-LC 1.doc
 
Mat 126 Week 1 Assignment Essay Example
Mat 126 Week 1 Assignment Essay ExampleMat 126 Week 1 Assignment Essay Example
Mat 126 Week 1 Assignment Essay Example
 
01.01 vector spaces
01.01 vector spaces01.01 vector spaces
01.01 vector spaces
 
Contextualized Lesson Plan in Math 7 Linear Equation in One Variable
Contextualized Lesson Plan in Math 7 Linear Equation in One VariableContextualized Lesson Plan in Math 7 Linear Equation in One Variable
Contextualized Lesson Plan in Math 7 Linear Equation in One Variable
 
project
projectproject
project
 

Mehr von Nicolas Balacheff

Mathematical argumentation as a precursor of mathematical proof
Mathematical argumentation as a precursor of mathematical proofMathematical argumentation as a precursor of mathematical proof
Mathematical argumentation as a precursor of mathematical proofNicolas Balacheff
 
L'argumentation mathématique, un précurseur problématique de la démonstration
L'argumentation mathématique, un précurseur problématique de la démonstrationL'argumentation mathématique, un précurseur problématique de la démonstration
L'argumentation mathématique, un précurseur problématique de la démonstrationNicolas Balacheff
 
Séminaires DEMa, Montpellier, quelques question sur le modèle cKȼ
Séminaires DEMa, Montpellier, quelques question sur le modèle cKȼSéminaires DEMa, Montpellier, quelques question sur le modèle cKȼ
Séminaires DEMa, Montpellier, quelques question sur le modèle cKȼNicolas Balacheff
 
L'argumentation mathématique, un concept nécessaire pour penser l’apprentissa...
L'argumentation mathématique, un concept nécessaire pour penser l’apprentissa...L'argumentation mathématique, un concept nécessaire pour penser l’apprentissa...
L'argumentation mathématique, un concept nécessaire pour penser l’apprentissa...Nicolas Balacheff
 
The complexity of the epistemological genesis of mathematical proof (V.2 comp...
The complexity of the epistemological genesis of mathematical proof (V.2 comp...The complexity of the epistemological genesis of mathematical proof (V.2 comp...
The complexity of the epistemological genesis of mathematical proof (V.2 comp...Nicolas Balacheff
 
Séminaire national de didactique des mathématiques - ARDM; Paris, 18 novembre...
Séminaire national de didactique des mathématiques - ARDM; Paris, 18 novembre...Séminaire national de didactique des mathématiques - ARDM; Paris, 18 novembre...
Séminaire national de didactique des mathématiques - ARDM; Paris, 18 novembre...Nicolas Balacheff
 
EIAH, les mots pour la recherche
EIAH, les mots pour la rechercheEIAH, les mots pour la recherche
EIAH, les mots pour la rechercheNicolas Balacheff
 
The MOOC effect, how mere chance could result in a new standard
The MOOC effect, how mere chance could result in a new standardThe MOOC effect, how mere chance could result in a new standard
The MOOC effect, how mere chance could result in a new standardNicolas Balacheff
 
L'effet MOOC, ou comment le fruit du hasard pourrait devenir un standard
L'effet MOOC, ou comment le fruit du hasard pourrait devenir un standardL'effet MOOC, ou comment le fruit du hasard pourrait devenir un standard
L'effet MOOC, ou comment le fruit du hasard pourrait devenir un standardNicolas Balacheff
 
Kaleidoscope, a FP6 network of excellence, kick off meeting 040309
Kaleidoscope, a FP6 network of excellence, kick off meeting 040309Kaleidoscope, a FP6 network of excellence, kick off meeting 040309
Kaleidoscope, a FP6 network of excellence, kick off meeting 040309Nicolas Balacheff
 
For a renewed academy industry research partnership
For a renewed academy industry research partnershipFor a renewed academy industry research partnership
For a renewed academy industry research partnershipNicolas Balacheff
 
Teaching, an emergent property of learning environments - IST 2000
Teaching, an emergent property of learning environments - IST 2000Teaching, an emergent property of learning environments - IST 2000
Teaching, an emergent property of learning environments - IST 2000Nicolas Balacheff
 
Multidisciplinarity vs. Multivocality, the case of “Learning Analytics"
Multidisciplinarity vs. Multivocality, the case of “Learning Analytics"Multidisciplinarity vs. Multivocality, the case of “Learning Analytics"
Multidisciplinarity vs. Multivocality, the case of “Learning Analytics"Nicolas Balacheff
 
About learning games and the design of learning spaces
About learning games and the design of learning spacesAbout learning games and the design of learning spaces
About learning games and the design of learning spacesNicolas Balacheff
 
Introduction to the TEL dictionary initiative
Introduction to the TEL dictionary initiativeIntroduction to the TEL dictionary initiative
Introduction to the TEL dictionary initiativeNicolas Balacheff
 

Mehr von Nicolas Balacheff (15)

Mathematical argumentation as a precursor of mathematical proof
Mathematical argumentation as a precursor of mathematical proofMathematical argumentation as a precursor of mathematical proof
Mathematical argumentation as a precursor of mathematical proof
 
L'argumentation mathématique, un précurseur problématique de la démonstration
L'argumentation mathématique, un précurseur problématique de la démonstrationL'argumentation mathématique, un précurseur problématique de la démonstration
L'argumentation mathématique, un précurseur problématique de la démonstration
 
Séminaires DEMa, Montpellier, quelques question sur le modèle cKȼ
Séminaires DEMa, Montpellier, quelques question sur le modèle cKȼSéminaires DEMa, Montpellier, quelques question sur le modèle cKȼ
Séminaires DEMa, Montpellier, quelques question sur le modèle cKȼ
 
L'argumentation mathématique, un concept nécessaire pour penser l’apprentissa...
L'argumentation mathématique, un concept nécessaire pour penser l’apprentissa...L'argumentation mathématique, un concept nécessaire pour penser l’apprentissa...
L'argumentation mathématique, un concept nécessaire pour penser l’apprentissa...
 
The complexity of the epistemological genesis of mathematical proof (V.2 comp...
The complexity of the epistemological genesis of mathematical proof (V.2 comp...The complexity of the epistemological genesis of mathematical proof (V.2 comp...
The complexity of the epistemological genesis of mathematical proof (V.2 comp...
 
Séminaire national de didactique des mathématiques - ARDM; Paris, 18 novembre...
Séminaire national de didactique des mathématiques - ARDM; Paris, 18 novembre...Séminaire national de didactique des mathématiques - ARDM; Paris, 18 novembre...
Séminaire national de didactique des mathématiques - ARDM; Paris, 18 novembre...
 
EIAH, les mots pour la recherche
EIAH, les mots pour la rechercheEIAH, les mots pour la recherche
EIAH, les mots pour la recherche
 
The MOOC effect, how mere chance could result in a new standard
The MOOC effect, how mere chance could result in a new standardThe MOOC effect, how mere chance could result in a new standard
The MOOC effect, how mere chance could result in a new standard
 
L'effet MOOC, ou comment le fruit du hasard pourrait devenir un standard
L'effet MOOC, ou comment le fruit du hasard pourrait devenir un standardL'effet MOOC, ou comment le fruit du hasard pourrait devenir un standard
L'effet MOOC, ou comment le fruit du hasard pourrait devenir un standard
 
Kaleidoscope, a FP6 network of excellence, kick off meeting 040309
Kaleidoscope, a FP6 network of excellence, kick off meeting 040309Kaleidoscope, a FP6 network of excellence, kick off meeting 040309
Kaleidoscope, a FP6 network of excellence, kick off meeting 040309
 
For a renewed academy industry research partnership
For a renewed academy industry research partnershipFor a renewed academy industry research partnership
For a renewed academy industry research partnership
 
Teaching, an emergent property of learning environments - IST 2000
Teaching, an emergent property of learning environments - IST 2000Teaching, an emergent property of learning environments - IST 2000
Teaching, an emergent property of learning environments - IST 2000
 
Multidisciplinarity vs. Multivocality, the case of “Learning Analytics"
Multidisciplinarity vs. Multivocality, the case of “Learning Analytics"Multidisciplinarity vs. Multivocality, the case of “Learning Analytics"
Multidisciplinarity vs. Multivocality, the case of “Learning Analytics"
 
About learning games and the design of learning spaces
About learning games and the design of learning spacesAbout learning games and the design of learning spaces
About learning games and the design of learning spaces
 
Introduction to the TEL dictionary initiative
Introduction to the TEL dictionary initiativeIntroduction to the TEL dictionary initiative
Introduction to the TEL dictionary initiative
 

Kürzlich hochgeladen

What is the Future of QuickBooks DeskTop?
What is the Future of QuickBooks DeskTop?What is the Future of QuickBooks DeskTop?
What is the Future of QuickBooks DeskTop?TechSoup
 
Diploma in Nursing Admission Test Question Solution 2023.pdf
Diploma in Nursing Admission Test Question Solution 2023.pdfDiploma in Nursing Admission Test Question Solution 2023.pdf
Diploma in Nursing Admission Test Question Solution 2023.pdfMohonDas
 
3.21.24 The Origins of Black Power.pptx
3.21.24  The Origins of Black Power.pptx3.21.24  The Origins of Black Power.pptx
3.21.24 The Origins of Black Power.pptxmary850239
 
The Stolen Bacillus by Herbert George Wells
The Stolen Bacillus by Herbert George WellsThe Stolen Bacillus by Herbert George Wells
The Stolen Bacillus by Herbert George WellsEugene Lysak
 
Slides CapTechTalks Webinar March 2024 Joshua Sinai.pptx
Slides CapTechTalks Webinar March 2024 Joshua Sinai.pptxSlides CapTechTalks Webinar March 2024 Joshua Sinai.pptx
Slides CapTechTalks Webinar March 2024 Joshua Sinai.pptxCapitolTechU
 
DUST OF SNOW_BY ROBERT FROST_EDITED BY_ TANMOY MISHRA
DUST OF SNOW_BY ROBERT FROST_EDITED BY_ TANMOY MISHRADUST OF SNOW_BY ROBERT FROST_EDITED BY_ TANMOY MISHRA
DUST OF SNOW_BY ROBERT FROST_EDITED BY_ TANMOY MISHRATanmoy Mishra
 
ARTICULAR DISC OF TEMPOROMANDIBULAR JOINT
ARTICULAR DISC OF TEMPOROMANDIBULAR JOINTARTICULAR DISC OF TEMPOROMANDIBULAR JOINT
ARTICULAR DISC OF TEMPOROMANDIBULAR JOINTDR. SNEHA NAIR
 
Prescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptxPrescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptxraviapr7
 
5 charts on South Africa as a source country for international student recrui...
5 charts on South Africa as a source country for international student recrui...5 charts on South Africa as a source country for international student recrui...
5 charts on South Africa as a source country for international student recrui...CaraSkikne1
 
SOLIDE WASTE in Cameroon,,,,,,,,,,,,,,,,,,,,,,,,,,,.pptx
SOLIDE WASTE in Cameroon,,,,,,,,,,,,,,,,,,,,,,,,,,,.pptxSOLIDE WASTE in Cameroon,,,,,,,,,,,,,,,,,,,,,,,,,,,.pptx
SOLIDE WASTE in Cameroon,,,,,,,,,,,,,,,,,,,,,,,,,,,.pptxSyedNadeemGillANi
 
How to Show Error_Warning Messages in Odoo 17
How to Show Error_Warning Messages in Odoo 17How to Show Error_Warning Messages in Odoo 17
How to Show Error_Warning Messages in Odoo 17Celine George
 
Education and training program in the hospital APR.pptx
Education and training program in the hospital APR.pptxEducation and training program in the hospital APR.pptx
Education and training program in the hospital APR.pptxraviapr7
 
KARNAADA.pptx made by - saransh dwivedi ( SD ) - SHALAKYA TANTRA - ENT - 4...
KARNAADA.pptx  made by -  saransh dwivedi ( SD ) -  SHALAKYA TANTRA - ENT - 4...KARNAADA.pptx  made by -  saransh dwivedi ( SD ) -  SHALAKYA TANTRA - ENT - 4...
KARNAADA.pptx made by - saransh dwivedi ( SD ) - SHALAKYA TANTRA - ENT - 4...M56BOOKSTORE PRODUCT/SERVICE
 
How to Send Emails From Odoo 17 Using Code
How to Send Emails From Odoo 17 Using CodeHow to Send Emails From Odoo 17 Using Code
How to Send Emails From Odoo 17 Using CodeCeline George
 
How to Add Existing Field in One2Many Tree View in Odoo 17
How to Add Existing Field in One2Many Tree View in Odoo 17How to Add Existing Field in One2Many Tree View in Odoo 17
How to Add Existing Field in One2Many Tree View in Odoo 17Celine George
 
How to Create a Toggle Button in Odoo 17
How to Create a Toggle Button in Odoo 17How to Create a Toggle Button in Odoo 17
How to Create a Toggle Button in Odoo 17Celine George
 
CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...
CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...
CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...Nguyen Thanh Tu Collection
 
Vani Magazine - Quarterly Magazine of Seshadripuram Educational Trust
Vani Magazine - Quarterly Magazine of Seshadripuram Educational TrustVani Magazine - Quarterly Magazine of Seshadripuram Educational Trust
Vani Magazine - Quarterly Magazine of Seshadripuram Educational TrustSavipriya Raghavendra
 

Kürzlich hochgeladen (20)

What is the Future of QuickBooks DeskTop?
What is the Future of QuickBooks DeskTop?What is the Future of QuickBooks DeskTop?
What is the Future of QuickBooks DeskTop?
 
Diploma in Nursing Admission Test Question Solution 2023.pdf
Diploma in Nursing Admission Test Question Solution 2023.pdfDiploma in Nursing Admission Test Question Solution 2023.pdf
Diploma in Nursing Admission Test Question Solution 2023.pdf
 
3.21.24 The Origins of Black Power.pptx
3.21.24  The Origins of Black Power.pptx3.21.24  The Origins of Black Power.pptx
3.21.24 The Origins of Black Power.pptx
 
The Stolen Bacillus by Herbert George Wells
The Stolen Bacillus by Herbert George WellsThe Stolen Bacillus by Herbert George Wells
The Stolen Bacillus by Herbert George Wells
 
Slides CapTechTalks Webinar March 2024 Joshua Sinai.pptx
Slides CapTechTalks Webinar March 2024 Joshua Sinai.pptxSlides CapTechTalks Webinar March 2024 Joshua Sinai.pptx
Slides CapTechTalks Webinar March 2024 Joshua Sinai.pptx
 
DUST OF SNOW_BY ROBERT FROST_EDITED BY_ TANMOY MISHRA
DUST OF SNOW_BY ROBERT FROST_EDITED BY_ TANMOY MISHRADUST OF SNOW_BY ROBERT FROST_EDITED BY_ TANMOY MISHRA
DUST OF SNOW_BY ROBERT FROST_EDITED BY_ TANMOY MISHRA
 
ARTICULAR DISC OF TEMPOROMANDIBULAR JOINT
ARTICULAR DISC OF TEMPOROMANDIBULAR JOINTARTICULAR DISC OF TEMPOROMANDIBULAR JOINT
ARTICULAR DISC OF TEMPOROMANDIBULAR JOINT
 
Prescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptxPrescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptx
 
Personal Resilience in Project Management 2 - TV Edit 1a.pdf
Personal Resilience in Project Management 2 - TV Edit 1a.pdfPersonal Resilience in Project Management 2 - TV Edit 1a.pdf
Personal Resilience in Project Management 2 - TV Edit 1a.pdf
 
5 charts on South Africa as a source country for international student recrui...
5 charts on South Africa as a source country for international student recrui...5 charts on South Africa as a source country for international student recrui...
5 charts on South Africa as a source country for international student recrui...
 
SOLIDE WASTE in Cameroon,,,,,,,,,,,,,,,,,,,,,,,,,,,.pptx
SOLIDE WASTE in Cameroon,,,,,,,,,,,,,,,,,,,,,,,,,,,.pptxSOLIDE WASTE in Cameroon,,,,,,,,,,,,,,,,,,,,,,,,,,,.pptx
SOLIDE WASTE in Cameroon,,,,,,,,,,,,,,,,,,,,,,,,,,,.pptx
 
How to Show Error_Warning Messages in Odoo 17
How to Show Error_Warning Messages in Odoo 17How to Show Error_Warning Messages in Odoo 17
How to Show Error_Warning Messages in Odoo 17
 
Education and training program in the hospital APR.pptx
Education and training program in the hospital APR.pptxEducation and training program in the hospital APR.pptx
Education and training program in the hospital APR.pptx
 
KARNAADA.pptx made by - saransh dwivedi ( SD ) - SHALAKYA TANTRA - ENT - 4...
KARNAADA.pptx  made by -  saransh dwivedi ( SD ) -  SHALAKYA TANTRA - ENT - 4...KARNAADA.pptx  made by -  saransh dwivedi ( SD ) -  SHALAKYA TANTRA - ENT - 4...
KARNAADA.pptx made by - saransh dwivedi ( SD ) - SHALAKYA TANTRA - ENT - 4...
 
How to Send Emails From Odoo 17 Using Code
How to Send Emails From Odoo 17 Using CodeHow to Send Emails From Odoo 17 Using Code
How to Send Emails From Odoo 17 Using Code
 
How to Add Existing Field in One2Many Tree View in Odoo 17
How to Add Existing Field in One2Many Tree View in Odoo 17How to Add Existing Field in One2Many Tree View in Odoo 17
How to Add Existing Field in One2Many Tree View in Odoo 17
 
How to Create a Toggle Button in Odoo 17
How to Create a Toggle Button in Odoo 17How to Create a Toggle Button in Odoo 17
How to Create a Toggle Button in Odoo 17
 
CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...
CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...
CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...
 
Finals of Kant get Marx 2.0 : a general politics quiz
Finals of Kant get Marx 2.0 : a general politics quizFinals of Kant get Marx 2.0 : a general politics quiz
Finals of Kant get Marx 2.0 : a general politics quiz
 
Vani Magazine - Quarterly Magazine of Seshadripuram Educational Trust
Vani Magazine - Quarterly Magazine of Seshadripuram Educational TrustVani Magazine - Quarterly Magazine of Seshadripuram Educational Trust
Vani Magazine - Quarterly Magazine of Seshadripuram Educational Trust
 

Bridging knowing and proving in mathematics

  • 1. B A C P P1 P2 P3I A problem (1) Construct a triangle ABC. Construct a point P and its symmetrical point P1 about A. Construct the symmetrical point P2 of P about B, construct the symmetrical point P3 of P about C. Construct the point I, the midpoint of [PP3]. What can be said about the point I when P is moved? From Capponi (1995) Cabri-classe, sheet 4-10.
  • 2. B A C P P1 P2 P3I “... when, for example, we put P to the left, then P3 compensate to the right. If it goes up, then the other goes down...” “... why I is invariant? Why I does not move?” A problem (1)
  • 3. “The others, they do not move. You see what I mean? Then how could you define the point I, finally, without using the points P, P1, P2, P3?” [prot.143.] B A C P P1 P2 P3I Students rather easily proved that ABCI is a parallelogram The tutor efforts... ... can be summarized, by the desperate question: ‘don’t you see what I see?’ Seeing is knowing
  • 4. B A C P P1 P2 P3I invariance of I phenomenon facts Internal universe Interface External universe immobility of I geometry knowledge “… why I is invariant? Why I does not move?”
  • 5. B A C P P1 P2 P3I invariance of I phenomenon facts Internal universe Interface External universe immobility of I geometry knowledge “… why I is invariant? Why I does not move?” Modeling
  • 6. • Learners and teachers could… … have different “understanding” … have different “reading” … be actors of different “stories” • How can we inform these differences in understanding, or reading, or stories First hint: investigate representations? Question: what/where is the problem?
  • 7. The Mendelbrot set for z → z2 +c The picture shows the non connectivity of M A crucial example, The case of fractals
  • 8. A proof first... then… the picture of the filaments A crucial example, The case of fractals
  • 9. A proof first... then… the picture of the filaments A crucial example, The case of fractals
  • 10. Back to students Sin(exp x) x4 -5x2 +x+4 how to balance trust and doubt?
  • 11. Back to students Sin(exp x) x4 -5x2 +x+4 how to balance trust and doubt?
  • 12. résoudre: Ln(ex -1) = x Back to students: to balance trust and doubt
  • 13. résoudre: Ln(ex -1) = x ex -1=ex Back to students: to balance trust and doubt
  • 14. « ƒ is defined by f(x) = lnx + 10sinx Is the limit + ∞ and in +∞? » The environment plays a role in the number of errors we observe: - with a graphic calculator 25% of errors - without the graphic calculator 5% of errors D. Guin et L. Trouche And more, if needed • =3.14π • a convergent series reach its limit • the Fibonacci series U0=1, U1=(1+ 5)/2, U√ n=Un-1+Un-2 is divergent Back to students: the pragmatic origin of meaning
  • 15. The need to bridge knowing and proving Nicolas.Balacheff @ imag.fr
  • 16. • our knowledge (connaissance) is the result of our interaction with our environment • learning is the outcome of a process of adaptation (ie ecological) the learner environment could be physical, social, symbolic…but  only certain features of the environment are relevant from the learning point of view: the “milieu” An agreed ecological perspective
  • 17. Individual ways of knowing could be ... • Contradictory depending on the nature of context (in and out of school, on the work place and at home, at the grocery and at the laboratory, …) • Even though potentially attached to the same specific concept Contradiction, a familiar characteristic of human beings Let’s look at knowing as holding a set of conceptions .
  • 18. Conceptions are accessible to falsification  A conception is validation dependent The claim for validity which is at the core of knowing requires (i) the possibility to express a statement (ii) the possibility to engage in a validation process (iii) the hypothesis of transcendence Conceptions, validity and proof  Problems as the fundamental criteria for the characterization of a conception
  • 19. a state of the dynamic equilibrium of a loop of interaction, action/feedback, between a subject and a milieu under viability constraints. “Problems are the source and the criterium of knowing” (Vergnaud 1981) action    S M feedback constraints A first characterization of a conception
  • 20. P... a set of problems R... a set of operators L... a system of representation Σ.... a control structure - describe the domain of validity of a conception (its sphere of practice) - the educational characterisation of P is an open question - the system of representation could be linguistic or not - it allows the expression of the elements from P and R - ensure the logical coherency of the conception, it contains at least under the form of an oracle the tools needed to take decisions, make choices, express judgement on the use of an operator or on the state of a problem (solved or not) - the operators allow the transformation of problems - operators are elicited by behaviors and productions A characterization of a conception
  • 21. Construct a circle with AB as a diameter. Split AB in two equal parts, AC and CB. Then construct the two circles of diameter AC et CB… an so on. How does vary the total perimeter at each stage ? How vary the area ? A problem (2)
  • 22. 9. Vincent : the perimeter is 2 rπ and the area is r2π 10. Ludovic : OK 11. Vincent : r is divided by 2 ? 12. Ludovic : yes, the first perimeter is 2 r and the second is 2 rπ π over 2 plus 2 r over 2 hence ….π It will be the same […] 17. Vincent : the other is 2 r over 4π but 4 times 18. Ludovic : so it is always 2 rπ 19. Vincent : it is always the same perimeter…. 20. Ludovic : yes, but for the area… 21. Vincent : let’s see … 22. Ludovic : hum…. It will be devided by 2 each time 23. Vincent : yes, (r/2)π 2 plus (r/2)π 2 is equal to… […] 31. Vincent : the area is always divided by 2…so, at the limit? The limit is a line, the segment from which we started … 32. Ludovic : but the area is divided by two each time 33. Vincent : yes, and then it is 0 34. Ludovic : yes this is true if we go on… A problem (2)
  • 23. 37. Vincent : yes, but then the perimeter … ? 38. Ludovic: no, the perimeter is always the same […] 41. Vincent : it falls in the segment… the circle are so small 42. Ludovic: hum… but it is always 2 rπ 43. Vincent : yes, but when the area tends to 0 it will be almost equal… 44. Ludovic: no, I don’t think so 45. Vincent : if the area tends to 0, then the perimeter also… I don’t know 46. Ludovic: I finish to write the proof A problem (2)
  • 24. Algebraic frame area /perimeter formulaLudovic algebraic conception Vincent symbolic-arithmetic conception Validation V alidation Representation and control
  • 25. Algebraic frame area /perimeter Ludovic algebraic conception Vincent symbolic-arithmetic conception Validation V alidation Representation and control
  • 26. Algebraic frame area /perimeter Ludovic algebraic conception Vincent symbolic-arithmetic conception Validation V alidation Representation Representation and control
  • 27. Let z be the sum of the two given even numbers, z is even means z=2p. We can write p=n+m, thus z=2n+2m. But 2n and 2m are a manner to write the two numbers. So z is even. An even number can only finish with 0, 2, 4, 6 and 8, so it is for the sum of two of them OOOOOOO OOOOO OOOOOOO OOOOO OOOOOOOOOOOO OOOOOOOOOOOO + = Let x and y be two even numbers, and z=x+y. Then it exists two numbers n and m so that x=2n and y=2m. So : z=2n+2m=2(n+m) because of the associative law, hence z is an even number. 2, 2= 4 4, 4= 8 6, 8= 4 2, 4= 6 4, 6= 0 2, 6= 8 4, 8= 2 2, 8= 0 (1) (2) (3) (4) (5) Problem (3) If two numbers are even, so is their sum
  • 28. What is a mathematical proof? From a learning point of view, there is a need to give a status to something which may be different from what is a proof for mathematicians, but still has a meaning within a mathematical activity. Explanation Proof Mathematical proof The search for certainty The search for understanding The need for communication
  • 29. A specific economy of practice The rôle of mathematical proof in the practice of mathematicians Internal needs Social communication mathematical rationalism non mathematical rationalismVersus Rigour Efficiency
  • 30. On the opposition theory/practice The opposition theory/practice is a reality of the learning of elementary mathematics... In the case of geometry, it takes the form of the opposition between practical geometry (geometry of drawings and figures) and theoretical geometry(deductive or axiomatic geometry) An other opposition is that of symbolic arithmetic and algebra, which I propose as a possible explanation of the complexity of the use of spreadsheets
  • 31. Which genesis for mathematical proof from a learning perspective the origin of knowing is in action but the achievement of Mathematical proof is in language knowing in action knowing in discourse construction
  • 34. formulation demonstration language of a familiar world language as a tool naïve formalism validation Pragmatic proofs Intellectual proofs mathematical proof action practice (know how) explicit knowing knowing as a theory
  • 37. generic example thought experiment statement calculus naïve empiricism crucial experiment validation Pragmatic proofs Intellectual proofs mathematical proof certainty understanding communication A long way to mathematical proof
  • 38. Possible support from computer-based microworlds and simulation An educational problématique of proof cannot be separated from that of constructing mathematical knowing Specific situations are necessary to allow an evolution toward a mathematical rationality Look for the potential contribution of the theory of didactical situations Mathematics call for a milieu which feedback could account for its specific character The need to clarify the epistemological and cognitive rational of didactical choices Setting the didactical scene
  • 39. Possible support from computer-based microworlds and simulation An educational problématique of proof cannot be separated from that of constructing mathematical knowing Specific situations are necessary to allow an evolution toward a mathematical rationality Look for the potential contribution of the theory of didactical situations Mathematics call for a milieu which feedback could account for its specific character The need to clarify the epistemological and cognitive rational of didactical choices Setting the didactical scene
  • 40. Possible support from computer-based microworlds and simulation An educational problématique of proof cannot be separated from that of constructing mathematical knowing Specific situations are necessary to allow an evolution toward a mathematical rationality Look for the potential contribution of the theory of didactical situations Mathematics call for a milieu which feedback could account for its specific character The need to clarify the epistemological and cognitive rational of didactical choices Setting the didactical scene
  • 41. Possible support from computer-based microworlds and simulation An educational problématique of proof cannot be separated from that of constructing mathematical knowing Specific situations are necessary to allow an evolution toward a mathematical rationality Look for the potential contribution of the theory of didactical situations Mathematics call for a milieu which feedback could account for its specific character The need to clarify the epistemological and cognitive rational of didactical choices Setting the didactical scene