Geometria ( e non solo ) nel triennio

Cartesio Geometrie non euclidee La crisi dei fondamenti e il problema della conoscenza in matematica

 Un ruolo per la storia (T . Kuhn)

La storia nella didattica delle scienze. Perch matematica, fisica (e altro ancora) non si insegnano per via storica? E possibile farlo?

Cosa dicono UMI ed OSA

Vedi allegato

La scelta fatta e il senso del percorso

La sintesi raggiunta: Cartesio e l algebrizzazione della geometria

Kant: L apoteosi del fondamento: Euclide e Newton

Lassiomatica euclidea emendata da ogni neo (Saccheri). O quasi Le geometrie non euclidee. Una battaglia che non si riesce a vincere (vedi sopra) forse una battaglia che non va combattuta (Klugel, Lambert e altri) Lobacevskij. Bolyai, Gauss I modelli di geometrie non euclidee L approccio ad una definitiva sistemazione di pi alto livello: trovare i fondamenti nella logica . I primi paradossi, la crisi dei fondamenti Hilbert e il formalismo Gdel . Il tramonto del concetto di verit come dimostrabilit e viceversa Riflessioni finali

 a chi rivolgersi .

Ultima classe di Liceo Scientifico e Classico Trattazione interdisciplinare (Filosofia, Informatica, Linguistica). I tempi. Occorre pianificare un intero anno per tutto il percorso. Per la sola geometria non euclidee sufficienti tre mesi

 cosa vogliamo ottenere

Suscitare consapevolezza di una dimensione storica e problematica della Matematica Comprensione del concetto di fondamento Il sistema formale Il concetto di dimostrabilit. Cenni alla meta-matematica.

La grande sintesi cartesiana

Ren Descartes (1596-1650) conosciuto anche in un ambito pi vasto della matematica, fra le poche figure interdisciplinari dei curricoli delle scuole medie superiori (lui, Talete e Pitagora sono trattati anche nei corsi di filosofia). In fisica le sue idee sono quasi tutte sbagliate: Horror Vacui, atomista, confonde grandezze fisiche ed in questo non si distingue da altri pensatori coevi In filosofia distingue il mondo in Res Cogitans e Res Extensa richiamando una dicotomia che pu farsi risalire almeno a Platone e che fornisce pi problemi che soluzioni nello studio della filosofia della mente (CFR per esempio J. R. Searle LA MENTE Raffaello Cortina editore Milano 2005). La sua opera principale IL DISCORSO SUL METODO che deve considerarsi da prefazione ai tre saggi sulla DIOTTRICA, LE METEORE, LA GEOMETRIA (1637).

In matematica i suoi lavori si innestano su una tradizione che pu farsi risalire ai Greci. Didatticamente e rispettando la cronologia tale avventura del pensiero umano pu dividersi nelle seguenti tappe: 1) Costruzioni riga e compasso dei Greci. Occorre segnalare che tali strutture erano considerate ed usate come strumento di calcolo (cfr. Lucio Russo LA RIVOLUZIONE DIMENTICATA. Feltrinelli Milano 1996). 2) Tale eredit diffusa in periodo ellenistico adottata dai matematici arabi: si consideri ad esempio il metodo di Al Kayyam per il calcolo delle soluzioni di equazioni di terzo grado come sistema di due coniche. Tale attivit proponibile in classe con luso dellapplicazione CABRI. Mediante il teorema di Talete sulle rette parallele ed il secondo teorema di Euclide per la costruzione di medi proporzionali si possono ricavare le coniche come luoghi geometrici.

x3 = b2x + b2c coniche b y = x2 e y2 = x (x + c) x3 + b2c = b2x coniche b y = x2 e y2 = x (x - c) x3 + c3 = ax2 coniche x y = c2 e y2 = c (a - x) x3 + ax2 = c3 coniche x y = c2 e y2 = c (a + x) x3 + ax2 + b2x = b2c coniche x y = b c e (y - b)2 = (a + x)(c - x) x3 + ax2 + b2c = b2x coniche x y = b (x - c) e y2 = (a + x) (x - c) x3 + b2x + b2c = ax2 coniche x y = b (x + c) e y2 = (x-a) (x + c)

x3 + ax2 + b2x = b2c coniche x y = b c e (y - b)2 = (a + x)(c - x)

x3 + ax2 = b2x + b2c coniche x y = b c e (y + b)2 = (x + a) (x + c) x3 + p2x = ax2+ b2c coniche x y = b c e (y - p)2 = (a-x) (x - c)

(con Cabr)

3) Nel XIII secolo il sistema di numerazione arabo viene diffuso in Europa (Leonardo Pisano detto Fibonacci 11801250 le esporta in Italia con il Liber Abaci). Nel XVI secolo Raffaele Bombelli riprende il metodo di Al Kayyam da un punto di vista algebrico e utilizzando la formala per la risoluzione delle equazioni di terzo grado si imbatte nelle assurdit di quelli che saranno poi denominati numeri immaginari. 4) Cartesio sistematizza le operazioni aritmetiche di somma, differenza, prodotto elevamento al quadrato, radice quadrata come operazioni su segmenti. IL suo contributo originale sta nel rendere adimensionali le grandezze. Dora in poi il valore di unarea pu essere numericamente uguale ad una lunghezza lineare o ad un volume. Stranamente a lui si fa risalire la prima formulazione del concetto di luogo geometrico. Nei libri di storia della matematica vengono riportati anche la figura del Folium di Cartesio (la sua figura risulter sbagliata)

Kant

Critica della Ragion Pura (1781)

scienzaquesto [ stato possibile grazie alla ] messa in opera della felice idea di un unico uomo, con un impresa, dopo di cui non fu pi possibile sbagliarsi sulla strada che si doveva prendere e fu imboccata e tracciata la via sicura di una scienza per tutti i tempi e per una distanza infinita( dalla Pref. alla seconda edizione) Spazio e tempo, le forme del conoscere. Euclide e Newton

la matematica ha percorso la strada sicura di una

Geometrie non euclidee

Perch il postulato sempre stato un problema..

Il fondamento: gli Elementi di Euclide (300 a.C.) Un piccolo neo: il V Postulato Tentativi di dimostrazione Saccheri, Klgel, Lambert,

La sistematizzazione

Gauss: Mi sto convincendo sempre pi profondamente

che la necessit[fisica] della nostra geometria [ euclidea ] non pu essere dimostrata, perlomeno non dalla ragione umana[].La geometria non deve essere classificata insieme all aritmetica, che puramente a priori, ma insieme alla meccanica

Nikolaj Lobacevskij (1739-1856) Janos Boliay(1802-1860)

Perch parlare dei modelli di geometrie non euclidee?

applicazioni concrete il termine modello in matematica poter parlare della coerenza ed indipendenza degli assiomi di una teoria

LA SITUAZIONE

Fine Ottocento: geometrie non euclidee introdotte e studiate intensamente (?) rimaneva problema fondamentale della loro coerenza L'unica geometria ritenuta coerente quella euclidea

DUE OBIETTIVI

mostrare non contraddittoriet relativa della particolare geometria non euclidea rispetto alla geometria euclidea

mostrare indipendenza del V postulato

Il fatto che le Geometrie non Euclidee siano coerenti, implica che il postulato euclideo delle parallele sia indipendente dagli altri Postulati. Infatti, se ci non fosse, cio se il postulato delle parallele potesse essere derivato dagli altri Postulati, allora esso sarebbe anche un Teorema della Geometria non Euclidea in questione perch, a parte questo, gli altri Postulati della Geometria Euclidea sono anche Postulati della Geometria non Euclidea; il teorema derivato dal postulato delle parallele contraddirrebbe per l'assioma delle parallele della Geometria non Euclidea, che sarebbe perci incoerente.

LA STRADA
risolvere il problema creando dei modelli euclidei di geometrie non euclidee mettere in corrispondenza i loro enti, relazioni fra enti e relazioni logiche con quelli della geometria euclidea.

MODELLO DI GEOMETRIA IPERBOLICA DI POINCARE`

I termini

Qualche esempio di assioma da dimostrare

Si dimostra che per due punti del piano di Poincar passa una e una sola retta. presa una retta del piano e scelto un punto non appartenente ad essa, esistono infinite rette passanti per quel punto e parallele alla retta data (le rette che si intersecano sui punti della circonferenza in realt non hanno alcuna intersezione perch i punti sul bordo non fanno parte del modello, quindi sono parallele). SPUNTI ULTERIORI - Le trasformazioni del piano ed in particolare linversione circolare - Il birapporto

MODELLO DI GEOMETRIA SFERICA DI RIEMANN

I termini

Qualche esempio di assioma da dimostrare

Per due punti non antipodali passa una sola retta, in quanto i punti sulla sfera individuano col centro di essa un unico piano che taglia sulla sfera un cerchio massimo passante per i due punti Due rette si incontrano sempre, poich due cerchi massimi sono individuati da due piani entrambi passanti per il centro della sfera, che hanno quindi come intersezione una retta che taglia la sfera in due punti antipodali comuni alle due rette SPUNTI ULTERIORI coordinate sferiche

Nesso interdisciplinare
UN ESEMPIO TRATTO DALLA TEORIA DELLA RELATIVITA GENERALE
Prerequisito: trattazione elementare della relativit speciale A. Einstein, 1916 I fondamenti della Teoria della relativita generale paragrafo 2 In uno spazio privo di campi gravitazionali introduciamo un riferimento galileiano K (x, y, z, t) e un sistema di coordinate K' (x, y', z, t') in moto rotatorio uniforme rispetto a K. Supponiamo che siano coincidenti le origini di entrambi i sistemi, e che l'asse z coincida sempre con z'. Mostreremo che, per una misura dello spazio-tempo riferita al sistema K', la concezione, sopra richiamata, del significato fisico delle lunghezze e dei tempi non pu venir mantenuta. Per ragioni di simmetria chiaro che una circonferenza giacente sul piano XY di K e con il centro nell'origine pu contemporaneamente venir considerata come circonferenza sul piano X'Y di K'. Supponiamo che la circonferenza e il diametro della stessa siano stati misurati con un'unit di misura (infinitamente piccola rispetto al raggio), e calcoliamo il rapporto delle due misure. Qualora si assuma come unit di misura un campione di lunghezza a riposo rispetto al sistema galileiano X, il rapporto che ne risulta sar pi greco. Qualora si assuma invece come unit di misura un campione di lunghezza a riposo rispetto a X', il risultato sar maggiore di pi greco. Ci si comprende immediatamente se si riflette sull'intero processo di misurazione del sistema stazionario X, e si considera che l'unit di misura riportata sulla periferia subisce una contrazione lorentziana, quella riportata lungo il raggio no. Di conseguenza la geometria euclidea non vale per X'; la nozione di coordinata sopra ricordata, che presuppone la validit della geometria euclidea, cade, in riferimento al sistema K'.[]

La crisi dei fondamenti in matematica

Il pricipio di Frege: Ogni propriet definisce l insieme degli elementi che la verificano (la sua estensione). Analogia col concetto di luogo in geometria

Russell scrive a Frege (16 Giugno 1902):

ho incontrato una difficolt R := {x : x non appartiene ad x} E allora chiediamoci: R R ? Versioni linguistiche (il paradosso del mentitore, il paradosso del barbiere di Russell, l onnipotenza di Dio e l indistruttibilit di oggetti creati ecc )

Dalla assiomatica classica alla formalizzazione moderna

La storia tende a ripetersi.. Hilbert e il suo programma I sistemi formali Esempi Il problema della Coerenza e della Completezza

Kurt Gdel
1931- Sulle proposizioni formalmente indecidibili. Primo teorema: Se P non contraddittorio

allora sintatticamente incompleto (cio esiste una proposizione G di P tale che tanto G quanto G sono indimostrabili)

Secondo teorema:

Se P non contraddittorio allora la sua non contraddittoriet non dimostrabile all interno di P stesso

Bibliografia

I. Kant Critica della Ragione Pura Morris Kline Matematica, la perdita della certezza, Arnoldo Mondadori editore, 1985 Marco Borga, Dario Palladino Oltre il mito della crisi Editrice la Scuola, 1997 BOYER Carl, Storia della matematica, Arnoldo Mondadori, Milano, 1980

e poi bibliografia ragionata. ed un utile ipertesto