
02-04-09

13:44
Έστω ότι η f(x) είναι μεγαλύτερη ή ίση απ'το 0 για κάθε χ του [α,β] (διατηρεί πρόσημο). Αφού f μη σταθερή (δεν γίνεται παντού 0), τότε το αντίστοιχο ολοκλήρωμα απ'το α στο β θα είναι γνησίως θετικό, που είναι άτοπο. Όμοια αποδεικνύεται και ότι δεν είναι μικρότερη ή ίση του μηδενός για κάθε χ στο [α,β]. Συνεπώς η f σε κάποιο υποδιάστημα [γ,δ] δεν διατηρεί πρόσημο, είναι συνεχής και άρα ισχύει Bolzano.
Σημείωση: Το μήνυμα αυτό γράφτηκε 16 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.