Ξαναγράφω το από πάνω με κανονικά γράμματα για να καταλαβαίνεται:
Έστω ότι υπάρχει γε(α,β) ώστε f(γ)>0
Έστω g(x)=(ολοκλήρωμα από το α στο χ f(t)dt), που είναι παρ/σιμη στο [α,β], αφού η f είναι συνεχής στο [α,β] με F'(x)=f(x) για κάθε xε[α,β]
F(γ)=(ολοκλήρωμα από το α στο γ f(t)dt)>=0 αφού f(x)>=0 για κάθε xε[α,γ]
F(β)=(ολοκλήρωμα από το α στο β f(t)dt)=0 από υπόθεση
Άρα σύμφωνα με το ΘΜΤ υπάρχει ξε(γ,β) τέτοιο ώστε F'(ξ)= (F(γ)-F(β))/(γ-β) = ((ολοκλήρωμα από το α στο γ f(t)dt))/(γ-β)<0 αφού (ολοκλήρωμα από το α στο γ f(t)dt) >=0 και γ<β , δηλ. f(ξ)<0 άτοπο, αφού f μη αρνητική. Συνεπώς f(x)=0 για κάθε xε[α,γ]
Και η απόδειξη του βιβλίου βγαίνει ως εξής: Έστω ότι (ολοκλήρωμα από το α στο β f(t)dt)=0 τότε αφού f μη αρνητική σύμφωνα με τα παραπάνω ισχύει f(x)=0 για κάθε xε[α,β]. άτοπο, αφού η f δεν είναι παντού 0. Άρα (ολοκλήρωμα από το α στο β f(t)dt)>0
Σημείωση: Το μήνυμα αυτό γράφτηκε 17 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.