Searching for Loci using GeoGebra

Searching for loci belongs to classical topics of school curricula at schools of different levels all over the world. In the text investigation of loci by GeoGebra using the command LocusEquation, the tool which has recently been implemented into GeoGebra and which brings a new approach in searching for loci of points, is given. This approach is based on automatic discovery, the part of the theory of automated theorem proving, which enables to determine the locus equation on the basis of drawing a diagram. The use of the command LocusEquation is demonstrated on one concrete example, where besides strengths of the software some problems which cannot be solved in the current state of the program are given. At the end of the article, a classical solution of the given problem is presented.