Dynamic geometric software can facilitate mathematical conjecturing. Computer construction programs allow the users to construct geometric shapes with specific constraints. Once these geometric shapes are constructed, they ...