ABSTRACT

The geometric supposer is a series of microcomputer-based programs that were designed to help students and teachers become makers of mathematics. The nature of mathematics instruction is such that when a teacher assigns a theorem to prove, the student ordinarily assumes that the theorem is true and that a proof can be found. The geometric supposer is designed to help the student become a potent and nimble conjecture maker. The geometric supposer allows users to make any construction they wish on a primitive structure of their choice. The power of the geometric supposer lies in its ability to remember and repeat constructions. A major purpose of the geometric supposer is to reintroduce conjecture and invention into the teaching and learning of mathematics. The geometric supposer allows the user to draw on a repertoire of primitive constructions, each of which is classically possible with straightedge and compass. The making and exploring of conjecture is clearly desirable throughout mathematics.