Im heutigen Mathematikunterricht sollen Schüler die Gelegenheit bekommen, mathematische Zusammenhänge nicht nur zu beweisen, sondern eigenständig zu entdecken. Diese Forderungen lassen sich kombinieren, wenn die Schüler bereits vor der Entdeckung eines mathematischen Satzes eine Beweisidee gewinnen können. Für den finalen Beweis kann dann die vormals nur latente Beweisidee realisiert werden. Im Vortrag wird diese Möglichkeit der Verknüpfung des Entdeckens und des Begründens mathematischer Sätze an empirischen Beispielen strukturell thematisiert.