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.