GEOMETRIA DINAMICA CON Cinderella

Le caratteristiche di Cinderella

Informazioni di riferimento
si trovano in Internet a questo indirizzo
www.cinderella.de
da cui è possibile scaricare una versione demo, che contiene anche il manuale. Il programma esiste anche in italiano, manuale compreso.
Autori
iniziato nel 1992 da Jürgen Richter-Gebert e Henry Crapo, su piattaforma Next
ripreso e rifatto dal 1996 da Jürgen Richter-Gebert e Ulrich Kortenkamp, del Politecnico di Berlino
Linguaggio e sistemi operativi
Scritto in JAVA; ottimizzato mediante un tool di post-processing della IBM chiamato JAX
Funziona su tutte le piattaforme con una Java Virtual Machine 1.1, in particolare anche in Windows e Linux
Che cosa manca
Gli autori hanno puntato su alcuni aspetti particolari, importanti dal punto di vista teorico, per cui attualmente mancano alcune funzioni presenti in altri pacchetti analoghi:
macro
supporto per la geometria analitica
traccia
calcolatrice
Che cosa ha di apprezzabile [visto dall'esterno]
Viste multiple simultanee
Disegno completo dei luoghi
Rilevamento automatico delle coincidenze e appartenenze
Supporto nativo per le geometrie non-euclidee
Efficace trattamento dei problemi di continuità [vedi esempio 1]
Supporto alla produzione di esercizi interattivi
Facile esportazione nelle pagine Web
Che cosa ha di particolare [all'interno]
La storia di questo software, raccontata dagli autori in alcuni documenti, illustra bene il fatto che scrivere un programma di questo tipo obbliga a chiarimenti ed approfondimenti della teoria, che poi si riflettono in semplificazione e velocizzazione del codice
La scelta finale che, a detta degli Autori, ha risolto parecchi problemi, è stata quella di utilizzare un sistema di coordinate omogenee complesse, ossia di rappresentare ogni punto mediante 3 numeri complessi. Il passaggio al campo complesso ha consentito di tenere traccia dei punti di intersezione anche quando non sono più reali e di disegnare i luoghi in modo completo [esempio 2]; l'uso delle coordinate omogenee ha consentito di trattare normalmente i casi particolari in cui un punto va all'infinito.
Il sistema di misura è stato generalizzato, secondo lo schema delle geometrie di Cayley-Klein, in modo da renderlo uniforme per tutte le geometrie
Esiste un meccanismo che riconosce la coincidenza di oggetti e la relazione di appartenenza: può essere usato per dimostrare proprietà delle figure o per controllare le risposte agli esercizi. È interessante sapere che il meccanismo implementato è di tipo probabilistico. Per chi vuole approfondire, c'è una breve illustrazione nella tesi di dottorato del dr. U. Kortenkamp.
 

Su esempio1 esempio2 Le viste esercizi non euclidea 1 luoghi