Geometry expressions: an interactive constraint based symbolic geometry system

Abstract

Dynamic geometry systems such as Geometers' SketchPad or Cabri are productive environments for the exploration of geometric relationships. They are, however, strictly numeric, and this limits their applicability where the interplay between geometry and algebra are being studied. We present Geometry Expressions – a dynamic symbolic geometry environment. While retaining the ease of use of a typical dynamic geometry environment, Geometry Expressions diverges by using constraints rather than constructions as the primary geometry specification mechanism and by working symbolically rather than numerically. Constraints, such as distances and angles, are specified symbolically. Symbolic measurements for quantities such as distances, angles, areas, locus equations, are automatically computed by the system. We outline how these features combine to create a rich dynamic environment for exploring the interplay between geometry and algebra, between induction and proof.