A Symbolic Companion for GeoGebra

Automatic determination of geometric loci and (certified) proofs for GeoGebra

Create or upload (File -> Open) a property checking or a locus construction in the following GeoGebra applet. Sage will be used to (symbolically) establish the truth of the statement or compute the locus equation.

The allowed GeoGebra elements (currently) are: free points, Midpoint(point-point), Point(on Circle and on Line), Segment(point-point), Line(point-point, point-line -meaning a parallel), OrthogonalLine, Circle(center-radius, center-point, center-radius_as_segment), Intersect(object-object), Locus and Relation between Two Objects (parallelism, perpendicularity).

Just press the Submit task button

Connection problems sometimes produce unexpected behaviour.
Try again if an answer for a previous task or an error message is shown.

ANSWER:

Defining x1, x2, x3, x4
Defining absc, orde
dimension= 1

The locus equation is 

625*x^2*y^2 + 625*x^2 + 625*y^4 - 1250*x^2*y - 3750*x*y^2 - 3750*y^3 + 7500*x*y + 11634*y^2 - 3750*x - 10286*y - 339 = 0

Its graph has been added to the construction in the applet (dotted blue).

Reset the applet and Restart worksheet (in the Action menu above) before submitting another task.

####