Sei sulla pagina 1di 73

GABRIELE GIOVANNINI

TFA anno 2014/2015

Classe A049

IL PRINCIPIO DI INDUZIONE

Analisi dei testi scolastici


Didattica della Geometria e della Fisica Matematica

GRUPPO: Del Giusto, Lembo, Giovannini

Principio di induzione classico (V assioma di Peano):


0 + 1

()

Principio di induzione generalizzato:


[0 0 ] 0 + 1

Analisi dei testi scolastici

Bagni
Zanichelli
1996

Bergamini, Trifone, Barozzi


Zanichelli
2011

De Fabritiis, Petronio
Mondadori
2012

Analisi dei testi scolastici

Sasso
Petrini
2011

Andreini, Manara,
Prestipino, Saporiti
ETAS
2013

Dodero,Baroncini,
Manfredi
Ghisetti e Corvi
2001

Analisi dei testi scolastici

Nella Dodero,
Paolo Baroncini,
Roberto Manfredi
Moduli di lineamenti di
matematica
Modulo A (Triennio)
2001
Ghisetti e Corvi

Elementi salienti

Analisi dei testi scolastici

Giorgio Tomaso Bagni


Corso di matematica
Volume 1 (Triennio)
1996, Zanichelli

Peculiarit
Giorgio Tomaso Bagni
Corso di matematica
Volume 1 (Triennio)
1996, Zanichelli

Versione generalizzata

Peculiarit
Giorgio Tomaso Bagni
Corso di matematica
Volume 1 (Triennio)
1996, Zanichelli

Versione generalizzata
=

(+1)
2

doppione

Analisi dei testi scolastici

Massimo Bergamini,
Anna Trifone,
Graziella Barozzi
Manuale blu 2.0 di matematica
Volume 3 (Triennio)
2011
Zanichelli

Peculiarit
Massimo Bergamini,
Anna Trifone,
Graziella Barozzi
Manuale blu 2.0 di matematica
Volume 3 (Triennio)
2011, Zanichelli

Versione classica* e
generalizzata in nota

Peculiarit
Massimo Bergamini,
Anna Trifone,
Graziella Barozzi
Manuale blu 2.0 di matematica
Volume 3 (Triennio)
2011, Zanichelli

Versione classica* e
generalizzata in nota
1

2 = 2 1
=0

Peculiarit
Massimo Bergamini,
Anna Trifone,
Graziella Barozzi
Manuale blu 2.0 di matematica
Volume 3 (Triennio)
2011, Zanichelli

Versione classica* e
generalizzata in nota
1

2 = 2 1
=0

Precede lesposizione

Analisi dei testi scolastici

Chiara de Fabritiis,
Carlo Petronio
Orizzonti Matematici
Volume 1 (Triennio)
2012
A.Mondadori Scuola

Peculiarit
Chiara de Fabritiis,
Carlo Petronio
Orizzonti Matematici
Volume 1 (Triennio)
2012, A.Mondadori Scuola

Versione classica

Peculiarit
Chiara de Fabritiis,
Carlo Petronio
Orizzonti Matematici
Volume 1 (Triennio)
2012, A.Mondadori Scuola

Versione classica

Peculiarit
Chiara de Fabritiis,
Carlo Petronio
Orizzonti Matematici
Volume 1 (Triennio)
2012, A.Mondadori Scuola

Versione classica

Curiosit (?)

Peculiarit
Chiara de Fabritiis,
Carlo Petronio
Orizzonti Matematici
Volume 1 (Triennio)
2012, A.Mondadori Scuola

Versione classica

Curiosit (?)
Caccia allerrore

Analisi dei testi scolastici

Leonardo Sasso
Nuova matematica a colori
Volume 5 (Triennio)
2011
Petrini

Peculiarit
Leonardo Sasso
Nuova matematica a colori
Volume 5 (Triennio)
2011, Petrini

Versione generalizzata

Peculiarit
Leonardo Sasso
Nuova matematica a colori
Volume 5 (Triennio)
2011, Petrini

Versione generalizzata
2 >

Peculiarit
Leonardo Sasso
Nuova matematica a colori
Volume 5 (Triennio)
2011, Petrini

Versione generalizzata
2 >
+ 1 , prova o verit?

Peculiarit
Leonardo Sasso
Nuova matematica a colori
Volume 5 (Triennio)
2011, Petrini

Versione generalizzata
2 >
+ 1 , prova o verit?
Successioni definite
mediante ricorsione

Analisi dei testi scolastici

Nella Dodero,
Paolo Baroncini,
Roberto Manfredi
Moduli di lineamenti di
matematica
Modulo A (Triennio)
2001
Ghisetti e Corvi

Peculiarit
Nella Dodero, Paolo Baroncini,
Roberto Manfredi
Moduli di lineamenti di
matematica
Modulo A (Triennio)
2001, Ghisetti e Corvi

Versione classica e
generalizzata

Peculiarit
Nella Dodero, Paolo Baroncini,
Roberto Manfredi
Moduli di lineamenti di
matematica
Modulo A (Triennio)
2001, Ghisetti e Corvi

Versione classica e
generalizzata
Linguaggio scritto formale
della logica

Peculiarit
Nella Dodero, Paolo Baroncini,
Roberto Manfredi
Moduli di lineamenti di
matematica
Modulo A (Triennio)
2001, Ghisetti e Corvi

Versione classica e
generalizzata
Linguaggio scritto formale
della logica
(precede)

Peculiarit
Nella Dodero, Paolo Baroncini,
Roberto Manfredi
Moduli di lineamenti di
matematica
Modulo A (Triennio)
2001, Ghisetti e Corvi

Versione classica e
generalizzata
Linguaggio scritto formale
della logica
(precede)
Somma geometrica (0 = 1)

Peculiarit
Nella Dodero, Paolo Baroncini,
Roberto Manfredi
Moduli di lineamenti di
matematica
Modulo A (Triennio)
2001, Ghisetti e Corvi

Versione classica e
generalizzata
Linguaggio scritto formale
della logica
(precede)
Somma geometrica (0 = 1)
Somma angoli interni

Peculiarit
Nella Dodero, Paolo Baroncini,
Roberto Manfredi
Moduli di lineamenti di
matematica
Modulo A (Triennio)
2001, Ghisetti e Corvi

Versione classica e
generalizzata
Linguaggio scritto formale
della logica
(precede)
Somma geometrica (0 = 1)
Somma angoli interni
Induzione/ricorsione

Peculiarit

Il principio di induzione evidente,


ma non dimostrabile: esso un
assioma della matematica.

Analisi dei testi scolastici

Nella Dodero,
Paolo Baroncini,
Roberto Manfredi
Moduli di lineamenti di
matematica
Modulo K (Triennio)
2001
Ghisetti e Corvi

Peculiarit
In questo capitolo ci proponiamo di
rivisitare in modo critico litinerario che
il lettore ha gi percorso e che lo ha
portato [] a conoscere via via i numeri
naturali, i numeri interi, i numeri
razionali e i numeri reali. E molto
probabile che lo studente abbia gi
acquisito i concetti relativi a tali insiemi
numerici senza porsi, e senza che gli
venisse posto, il problema del rigore
formale.

Peculiarit
Nella Dodero, Paolo Baroncini,
Roberto Manfredi
Moduli di lineamenti di
matematica
Modulo K (Triennio)
2001, Ghisetti e Corvi

Linguaggio scritto formale


della logica

Peculiarit
Nella Dodero, Paolo Baroncini,
Roberto Manfredi
Moduli di lineamenti di
matematica
Modulo K (Triennio)
2001, Ghisetti e Corvi

Linguaggio scritto formale


della logica
Assiomatizzazione

Peculiarit
Nella Dodero, Paolo Baroncini,
Roberto Manfredi
Moduli di lineamenti di
matematica
Modulo K (Triennio)
2001, Ghisetti e Corvi

Linguaggio scritto formale


della logica
Assiomatizzazione
(segue)

Peculiarit
Nella Dodero, Paolo Baroncini,
Roberto Manfredi
Moduli di lineamenti di
matematica
Modulo K (Triennio)
2001, Ghisetti e Corvi

Linguaggio scritto formale


della logica
Assiomatizzazione
(segue)
Versione solo classica

Peculiarit
Nella Dodero, Paolo Baroncini,
Roberto Manfredi
Moduli di lineamenti di
matematica
Modulo K (Triennio)
2001, Ghisetti e Corvi

Linguaggio scritto formale


della logica
Assiomatizzazione
(segue)
Versione solo classica
Nota storico/logica (Russel)

Analisi dei testi scolastici

Mara Andreini,
Raffaella Manara,
Francesco Prestipino,
Ileana Saporiti
Pensare e fare matematica
Volume 2 (Secondo biennio)
2013
ETAS

Peculiarit
Mara Andreini,
Raffaella Manara,
Francesco Prestipino,
Ileana Saporiti
Pensare e fare matematica
Volume 2 (Secondo biennio)
2013, ETAS

Ampio excursus storico

Peculiarit
Mara Andreini,
Raffaella Manara,
Francesco Prestipino,
Ileana Saporiti
Pensare e fare matematica
Volume 2 (Secondo biennio)
2013, ETAS

Ampio excursus storico


Assiomatizzazione e
riflessione su di essa
(attualizzazione dellinfinito)

Peculiarit
Mara Andreini,
Raffaella Manara,
Francesco Prestipino,
Ileana Saporiti
Pensare e fare matematica
Volume 2 (Secondo biennio)
2013, ETAS

Ampio excursus storico


Assiomatizzazione e
riflessione su di essa
(attualizzazione dellinfinito)
Induzione o deduzione?
= 2 + 41

Peculiarit
Mara Andreini,
Raffaella Manara,
Francesco Prestipino,
Ileana Saporiti
Pensare e fare matematica
Volume 2 (Secondo biennio)
2013, ETAS

Ampio excursus storico


Assiomatizzazione e
riflessione su di essa
(attualizzazione dellinfinito)
Induzione o deduzione?
= 2 + 41
Versione classica e
generalizzata

Peculiarit
Esempi notevoli:
Diagonali poligoni convessi

Peculiarit
Esempi notevoli:
Diagonali poligoni convessi

Peculiarit
Esempi notevoli:
Diagonali poligoni convessi

3 + 2 0 3

Peculiarit
Esempi notevoli:
Diagonali poligoni convessi

3 + 2 0 3
x > 0 n 2 1 + > 1 + nx

Peculiarit
Esempi notevoli:
Diagonali poligoni convessi

3 + 2 0 3
x > 0 n 2 1 + > 1 + nx
Progressione geometrica generale

Peculiarit
Esempi notevoli:
Diagonali poligoni convessi

3 + 2 0 3
x > 0 n 2 1 + > 1 + nx
Progressione geometrica generale

Principio di induzione classico (V assioma di Peano):


0 + 1

()

Principio di induzione generalizzato:


[0 0 ] 0 + 1

Teorema fondamentale dellaritmetica


Ogni numero naturale composto ammette, a meno dellordine, una ed una sola
fattorizzazione in primi.

Teorema fondamentale dellaritmetica


Ogni numero naturale composto ammette, a meno dellordine, una ed una sola
fattorizzazione in primi.

Principio di induzione forte:


0 ( ) + 1

Bagni

Bergamini

De Fabritiis

Sasso

Dodero**

Andreini

Generalizzato

Classico (0=1),
generalizzato

Classico

Generalizzato

Classico,
Generalizzato

Classico,
Generalizzato

no
no
Strumento
Strumento
dimostrativo
dimostrativo
S(2 )
[Prima alla
Gauss, poi induzione]

no
Strumento
dimostrativo

no
Strumento
dimostrativo
2 >n

si
Assiomatico

no
Assiomatico

Dopo la definizione

Dopo la definizione

Dopo la definizione

Precede la
definizione formale
Progressione
geometrica
(0 =1)

Versione
Formalismo logico
Ruolo
Primo esempio
Collocazione

Secondo esempio

Precede la
definizione formale

Altri esempi

Note storiche

Spazio dato a
riflessioni

S(2 )

Accenno

Dopo la definizione

Diagonali

, congruenza,
Somma angoli interni disug.notevole,
prog. geometrica

Russel, Skolem

Accenno

Poco (verit di
p(n+1))

Caccia all'errore

Successioni definite
ricorsivamente

Logica

Numeri

Numeri Naturali

Insiemi, funzioni,
relazioni e
successioni
Logica

Numeri naturali ed
interi (Biennio)
Insiemi e logica

Altro

[quasi identico Giovanni e le 100


in entrambi i moduli] poesie

excursus
Molto
Induzione/ricorsione (attualizzazione,
deduzione/induzione
con controesempio)
-

ORDINE CAPITOLI E PRESENTAZIONE PRINCIPIO

Matematica del
Discreto
III anno

Le funzioni
(Successioni
numeriche) III anno III anno

(Biennio)
Limiti di successioni

Modulo A (III anno)


(Successioni num.)
Modulo K
(Insiemi Numerici)
(?? ) anno

Numerabilit (Vol 2)
IV anno

V anno

**Nei non recenti "nuovi elementi di matematica" (stessi autori) il modulo A contiene all'inizio, parola per parola, il capitolo Insiemi numerici.

Bibliografia
Giorgio Tomaso Bagni, Corso di matematica, 1996, Zanichelli
M. Bergamini, A. Trifone, G. Barozzi, Manuale blu 2.0 di matematica, 2011, Zanichelli
M. Andreini, R. Manara, F. Prestipino, I. Saporiti, Pensare e fare matematica, 2013, ETAS
N. Dodero, P. Baroncini, R. Manfredi, Moduli di lineamenti di matematica, 2001,
L. Sasso, Nuova matematica a colori, 2011, Petrini
C. de Fabritiis, C. Petronio, Orizzonti Matematici, 2012, A.Mondadori Scuola
Limmagine in copertina tratta da:
http://kindnessblog.com/2014/11/12/the-power-of-the-domino-effect-by-amanda-johnson/