Dieser Beitrag nimmt das mathematische Argumentieren unter dem Einsatz dynamischer Geometriesoftware (DGS) in den Blick. Es wird eine Lernumgebung zum Satz des Thales vorgestellt, welche die Vorteile von DGS für Explorationen und das Generieren von Hypothesen über mathematische Zusammenhänge ausnutzt. Das Forschungsprojekt der Autorin adressiert die Fragestellung, wie diese DGS-gestützte Lernumgebung und dazugehörige Hilfestellungen gestaltet sein müssen, damit Lernenden darüber hinaus auch der Übergang von der Vermutungsgenerierung zur Entwicklung eines deduktiven Beweises gelingt.