Faire mentir GeoGebra

Rousseau-Wallon shared this question 4 months ago
Answered

Bonsoir,

Peut-on fabriquer une figure où GGB se trompe en indiquant, par exemple, que tel point appartient à telle ligne (une droite, conique...) ? Il s'agit de réaliser une figure sans tricher : pas le droit d'utiliser directement des nombres que GGB peut confondre (pour GGB 10^(-17)=0..).

En somme il s'agit de dresser plus précisément les limites du logiciel. Que peuvent nous dire là-dessus leurs concepteurs ?

(question posée aussi sur le forum les-mathématiques.net)

Comments (10)

photo
1

Merci Michael, je ne connaissais pas cette commande PROVE.

Connais-tu un exemple où GGB ne peut pas déterminer la réponse et renvoie Undefined avec cette commande ?

Et et un exemple où GGB se trompe en utilisant des calculs numériques pour savoir si une expression booléenne est vraie ou fausse ?

photo
1

Even with CAS it's very hard to tell if two expressions are equivalent, eg

(sqrt(108)+10)^(1/3)-(sqrt(108)-10)^(1/3)=2
https://stack-demo.maths.ed...

photo
1

J'ai aussi trouvé une configuration géométrique où la commande PROVE renvoie Undefined.

Et où l'outil RELATION se trompe. Voir ici.

photo
1

You are right. This is an error in GeoGebra, but already fixed in GeoGebra Discovery (https://github.com/kovzol/g...). Hopefully it will be soon fixed in GeoGebra as well. Thanks for reporting this error!

photo
1

I made an error with my figure. So i think there's no bug.

See this file :

Files: ok.ggb
photo
1

The Boolean value isX11onC should be undefined. It is, for some reason, false, in version 5.0.627.0. So this is, unfortunately, a bug.

Note that GeoGebra cannot handle the TriangleCenter in its prover subsystem at the moment. I will add a ticket to try supporting this command in a future version. Until then, the result should be always undefined.

photo
1

isX11onC is undefined in my GGB version. But it should be true !

photo
1

Yes, it should be true---when this will be implemented. Currently there is no implementation for that. So you cannot expect that GeoGebra will do anything useful here! :-)

It will be true---after it will be programmed in GeoGebra. It requires several hours or even days. :-)

Currently the best what GeoGebra can do is to say "undefined". Because this answer communicates the fact that the correct answer can be true or even false---GeoGebra does not know the correct answer at the moment! ;-)

© 2021 International GeoGebra Institute