How argumentation relates to formal proof process in geometry

This study aims to examine how being involved in an argumentation process relates to the formal proof process in geometry. Prospective mathematics teachers were involved in an argumentation process while producing conjectures before engaging in formal proof of the recently produced conjectures. To collect data, four geometry-proof tasks that involve two sections were employed. The first section of the tasks demands the production of conjectures, which stands for the term argumentation. The second section asks for the formal proof of one of the recently produced conjectures. Based on the data analysis, the affordances of being involved in argumentation before engaging in the formal proof process were listed as positive affective occasions, arrangement of knowledge related to the content of the task, visual aspect, and the veracity of the statement. Negative affective occasions and confusion related to the difference between conjecturing and proving were coded as constraints of being involved in argumentation before formal proof.