Comando DettagliVerifica
 |
Questa descrizione si riferisce a funzionalità supportate solo nella versione GeoGebra 5.0. |
 Attenzione !: | Questo comando di GeoGebra è in fase sperimentale, quindi può presentare errori di vario tipo. |
- DettagliVerifica[ Espressione booleana ]
- Restituisce alcuni dettagli relativi alla verifica automatica.
Questo comando funziona allo stesso modo del comando Verifica, ma inoltre restituisce alcuni dettagli relativi alla verifica automatica. Poichè il calcolo utilizzato da GeoGebra può confermare o confutare la proposizione indicata, in linea di massima il risultato di una verifica automatica potrà essere true, false oppure sconosciuto: in quest'ultimo caso GeoGebra non è in grado di decidere se l'espressione inserita sia in generale vera o falsa. Una situazione di questo tipo si verifica quando la proposizione non può essere verificata tramite i metodi di GeoGebra, oppure se la verifica richiede un tempo di calcolo eccessivo.
Il valore restituito da questo comando è sempre una lista, e in particolare:
- Una lista vuota ({}) se la verifica non dà risultato: GeoGebra in questo caso non dispone dei metodi logici sufficienti a gestire questa situazione.
- Una lista contenente il solo elemento {false}, quando in generale la proposizione non è vera.
- Una lista contenente il solo elemento {true}, quando la proposizione è sempre vera.
- Una lista contenente più elementi, tra cui il valore booleano true e un'altra lista per le cosiddette condizioni non degenerative, se la proposizione è vera sotto determinate condizioni, ad es. {true, {"TestAllineamento[A,B,C]", "TestAllineamento[A,B,D]", "TestAllineamento[A,C,D]", "TestAllineamento[B,C,D]"}}. Ciò significa che se nessuna tra le condizioni è vera, allora la proposizione è vera.
- Esempio:Si definisce il triangolo di vertici A, B e C, quindi
D=PuntoMedio[B,C],E=PuntoMedio[A,C],p=Retta[A,B],q=Retta[D,E]. OraDettagliVerifica[TestParallelismo[p,q]]restituisce {true,{"TestAllineamento[A,B,C]"}}. Ciò significa che se il triangolo ABC non è degenere, allora la retta DE dei punti medi di due lati è parallela al lato AB.
È possibile che la lista delle condizioni non degenerative non sia l'insieme più semplice delle condizioni sufficienti per confermare la proposizione. GeoGebra è semplicemente in grado di affermare che, poste le condizioni non degenerative, allora la proposizione sarà sicuramente vera.
