000165833 001__ 165833 000165833 005__ 20260115140311.0 000165833 0247_ $$2doi$$a10.1007/s11858-016-0805-9 000165833 0248_ $$2sideral$$a95789 000165833 037__ $$aART-2016-95789 000165833 041__ $$aeng 000165833 100__ $$aRichard, Philippe, R. 000165833 245__ $$aThe concept of proof in the light of mathematical work 000165833 260__ $$c2016 000165833 5203_ $$aOur article aims to show how illuminating mathematical work as a concept from didactics of mathematics is useful in understanding issues relating to proving and learning of proof, with or without technology. After posing our hypotheses on the relationship of proof with mathematical work, the pedagogical intent of historical elements of geometry and the use of modern technical tools, we present reference contexts and situations around the property of the tangent. These contexts and situations allow for a comparison of the validation modes, the type of epistemic necessity at stake and certain underlying discourse peculiarities. We introduce the idea of a “valence of mathematical work” and we interpret in an a priori approach the main interactions that could maintain a model user-reader in a mathematical working space. We pay special attention to an extract of Elémens de Géométrie by Alexis Claude Clairaut, with one of the reference contexts revisiting his problem with the assistance of dynamic geometry software. 000165833 540__ $$9info:eu-repo/semantics/closedAccess$$aAll rights reserved$$uhttp://www.europeana.eu/rights/rr-f/ 000165833 592__ $$a0.722$$b2016 000165833 593__ $$aEducation$$c2016$$dQ1 000165833 593__ $$aMathematics (miscellaneous)$$c2016$$dQ2 000165833 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/publishedVersion 000165833 700__ $$0(orcid)0000-0002-8191-3199$$aOller Marcen, Antonio Miguel 000165833 700__ $$0(orcid)0000-0001-9326-5531$$aMeavilla, Vicente 000165833 773__ $$g48, 6 (2016), 843-859$$pZDM (Berl.)$$tZDM (Berlin)$$x1863-9690 000165833 8564_ $$s3044692$$uhttps://zaguan.unizar.es/record/165833/files/texto_completo.pdf$$yVersión publicada 000165833 8564_ $$s2131478$$uhttps://zaguan.unizar.es/record/165833/files/texto_completo.jpg?subformat=icon$$xicon$$yVersión publicada 000165833 909CO $$ooai:zaguan.unizar.es:165833$$particulos$$pdriver 000165833 951__ $$a2026-01-15-12:36:18 000165833 980__ $$aARTICLE