Technically the Relation tool and command are the easiest symbolic means. On the other hand, some teaching scenarios may require different tools to consider, or more than one tool, but in a different order than listed previously.

[list=1][*]An [b]implicit locus[/b] is computed with GeoGebra,[br][/*][*]a [b]conjecture[/b] for the output curve is made by the pupil,[br][/*][*]the conjecture is checked by the [b]Relation tool[/b] or [b]command[/b] in GeoGebra,[br][/*][*]the proof can be optionally worked out by [b]paper and pencil[/b] by the pupil,[br][/*][*]the theorem can be generalized by plotting further implicit loci with GeoGebra—as further experiments for the pupil. Actually the pupils should be allowed to "just [b]play[/b]" with the applet, to modify it: to just try to find new, interesting relations.[/*][/list]