Programming is an interdisciplinary practice with applications in both mathematics and computer science. Mathematics concerns rigor, abstraction, and generalization. Computer science predominantly concerns efficiency, concreteness, and physicality. This makes programming a medium for problem solving that mediates between mathematics and computer…

This paper addresses contributions that dynamic geometry systems (DGSs) may give in reasoning by contradiction in geometry. We present analyses of three excerpts of students' work and use the notion of pseudo object, elaborated from previous research, to show some specificities of DGS in constructing proof by contradiction. In particular, we…

In this paper, the properties of tangential and cyclic polygons proposed by Lopez-Real are proved rigorously using the theory of circulant matrices. In particular, the concepts of slippable tangential polygons and conformable cyclic polygons are defined. It is shown that an n-sided tangential (or cyclic) polygon P[subscript n] with n even is…