Usare EduKnoppix -- Dr. Geo

Dr. Geo

Dr. Geo

Il software Gnome per lo studio interattivo della geometria euclidea Dr. Geo, scritto da H. Fernandes dell'associazione OFSET, è un software open source per lo studio dinamico della geometria euclidea (con approccio sintetico e analitico) e della programmazione Scheme, particolarmente adatto come supporto alla didattica nella scuola media e nel biennio della scuola superiore. Attraverso le funzionalità base di Dr. Geo è possibile eseguire tutte le costruzioni classiche della geometria e, in particolar modo, eseguirne lo studio da un punto di vista dinamico, in termini di trasformazioni geometriche. In Dr. Geo sono implementate infatti tutte le principali trasformazioni del piano (isometrie e omotetie).

In Dr. Geo ritroviamo gli strumenti di misura utili per calcolare lunghezze e ampiezze di angoli. Attraverso i quali è, tra le altre cose, possibile verificare empiricamente la validità o meno di molte congetture. Tutte le costruzioni che Dr. Geo esegue vengono riassunte in un albero logico che all'occorrenza può essere visualizzato dall'utilizzatore.

Possiamo memorizzare in Dr. Geo le diverse costruzioni geometriche per evitare di dover ripetere ogni volta tutto il percorso che conduce alla loro costruzione. Questa funzionalità avanzata prende il nome di macro-costruzione (macro). La costruzione di macro in Dr. Geo è completamente guidata. Tipicamente devono essere individuati dei parametri di ingresso e di uscita e quindi, per concludere la costruzione, si deve scegliere un nome e una breve descrizione della macro.

Un ulteriore aspetto, importante e innovativo a livello didattico, è che in Dr. Geo è possibile implementare degli script in Guile che interagiscono con gli oggetti geometrici. Guile è un interprete del linguaggio Scheme, molto diffuso in diversi ambienti informatici. La sua sintassi è abbastanza intuitiva e ciò ci permette di introdurre in modo graduale gli studenti alla programmazione. L'ambiente di programmazione presente in Dr. Geo è stato recentemente ampliato includendo le Figure Scheme. Una Figura Scheme è un file scritto in linguaggio Scheme che, una volta valutato dal programma, viene tradotto in una figura geometrica.

Albero Frattale con Dr. Geo

Alcune funzionalità di Dr. Geo sono particolarmente dedicate agli insegnanti. Ad esempio è possibile bloccare temporaneamente, attraverso password, alcune funzioni dell'interfaccia. In questo modo è possibile creare sessioni di lavoro in cui gli studenti operano in un ambiente a funzionalità ridotte. Se inoltre si ha l'abitudine di utilizzare un proiettore in classe, si può sfruttare la presenza di un piccolo editore di testo, disponibile all'interno del programma, per mostrare appunti o annotazioni che si ritengono importanti. Lo stesso editor di testo può essere utilizzato dallo studente per stendere la soluzione di un problema risolto con Dr. Geo o per enunciare una congettura o un enunciato di teorema di cui verificare empiricamente la validità�con Dr. Geo. Infine per scrivere esercitazioni o dispense contenenti figure possiamo utilizzare le funzionalità di esportazione delle figure in LaTeX (pacchetto Pstrick), PostScript e PNG.

(S) Secondaria di I grado Il riferimento all'uso di software per lo studio interattivo della geometria euclidea all'interno delle Indicazioni Nazionali per la Riforma è piuttosto tiepido e connesso all'attività di soluzione di problemi in Matematica. A questo proposito, per l'intero triennio, si legge la seguente indicazione:

Risolvere problemi usando proprietà geometriche delle figure ricorrendo a modelli materiali e a semplici deduzioni e ad opportuni strumenti di rappresentazione (riga, squadra, compasso e, eventualmente, software di geometria)

In ogni caso Dr. Geo potrebbe essere utilmente impiegato, in articolazione con l'insegnamento di Informatica, per lo studio di un semplice linguaggio di programmazione.

(@) Download e Manuale: l'ultima versione ufficiale del manuale in italiano di Dr. Geo si può scaricare nella zona Documentazione al sito di Dr. Geo mentre il software, in diversi tipi di pacchetto, si può scaricare dall'area Download allo stesso sito.

Dr. Geo