The proposed activity consists of the analysis of the Archimedean technique used by Piero della Francesca to determine the volume of the double vault, supported by figures drawn in dynamic geometry environment. The study of the problem, adequately contextualized from a historical point of view, provides interesting insights into the language of (Renaissance) mathematics and the evolution of the concept of demonstration.