||Solve First — Ask Questions Later: Discovering Geometry using Symbolic Geometry and CAS
Using symbolic geometry and CAS facilitates a new kind of geometric discovery. Rather than relying on geometric insight to solve a problem, it can be expressed algebraically using the symbolic geometry system then solved in the CAS. The solution can then be examined geometrically in the symbolic geometry system and insight attained after the fact. We illustrate this approach with a number of examples from students’ work over the last decade.