"NA UND ????
Kannst du sicherstellen, dass es nicht auch noch Punkte
wie (4,99999999734 ; 2,99999999996) und (5,000000001; 2,999999992) gibt, die NOCH NÄHER dranliegen, aber UNTER dem vermeintlichen Tiefpunkt sind?"
Ich habe ja absichtlich "in der Nähe" geschrieben und damit gemeint, dass in der betreffenden Umgebung keine weiteren potentiellen Extremstellen, Definitionslücken, Sprungstellen etc. liegen.
Ich denke aber, dass es dann diese tiefer als der vermeintliche Tiefpunkt liegenden Punkte nur geben kann, falls weitere potentielle Extremstellen damit übersprungen werden. Es müssten dann noch weitere innere Extrempunkte in der Umgebung liegen, mithin weitere Nullstellen der 1. Ableitung.
Das Argument lässt sich auf das Vorzeichenwechselkriterium übertragen: Da werden oft Zahlen eingesetzt, damit nicht mit den Bestandteilen des Funktionsterms argumentiert werden muss. Und beim Einsetzen muss man darauf achten, "dicht genug dran zu bleiben", also nicht über weitere Nullstellen der ersten Ableitung usw. hinwegzugehen.
Funktionen mit Definitionslücken und nicht-stetige Funktionen möchte ich mal ausschließen.
Gibt es vielleicht eine pathologische stetige Funktion, die zeigt, dass man nicht so einfach vorgehen kann? Ich denke da z. B. an die berühmten oszillierenden Sinusfunktionen.