Conjecture sandbox
Build a configuration, drag it about, and let the page tell you what stays true. Every relation it spots is re-tested against random perturbations of the free points, so it can tell a theorem from a coincidence. Export the finished figure as tkz-euclide code that reconstructs every derived point rather than hard-coding it.
Choose a tool, then click on the canvas.
free point (drag)point on object (drag along it)constructed pointconstructed lineholds under perturbationtrue right now only
From Beyond the Incenter
Export to tkz-euclide
Requires \usepackage{tkz-euclide}. Constructed objects come out as constructions, so the figure stays exact if you move a free point in LaTeX.
Observations
Hold under perturbation
Nothing yet.
True right now only
Nothing yet.
Measurements
Use the measure tools.
A relation that survives twenty random nudges of every free point is a consequence of the construction. One that does not is an accident of placement, which tells you what to construct next. Relations that hold by construction are not listed.