Outil Relation
De GeoGebra Manual
(code 14), dans la Boîte à outils par défaut
- Sélectionner deux objets pour connaître leur relation.
Saisie : Voir aussi la commande : Relation.

Au départ, cet outil teste numériquement la relation, l'appui sur le bouton "Plus", in/confirme la généralité de cette relation en précisant au besoin s'il y a des conditions à remplir.
Exemple :

- Situation de départ :
- Réponse numérique :
- Réponse formelle avec éventuelles Conditions restrictives :

Saisie : Voir aussi les commandes : Prouver et PreuveDétaillée.