- Implicit lociDiscovering the Simson-Wallace theoremA generalization of the right triangle altitude theoremDependency of locus sets on the initial construction 1Dependency of locus sets on the initial construction 2Degenerate cases and necessary not-sufficient conditionsHolfeld's 35th problem as an implicit locusA necessary not-sufficient condition

# Implicit loci

- Author:
- Zoltán Kovács

GeoGebra's

**LocusEquation**command allows the automatic discovery of loci of points in diagrams defined by implicit conditions. This represents an extension of the former (explicit) command, similar in nature, but restricted to loci defined by the standard mover-tracer construction. The new syntax automates the ‘dummy locus dragging’ in dynamic geometry. This collection was compiled by a group of GeoGebra contributors, namely*Miguel Á. Abánades*,*Francisco Botana*,*Zoltán Kovács*,*Tomás Recio*and*Csilla Sólyom-Gecse*.