α)Από θμτ στο [0,1] έχω:υπάρχει ξ1ε(0,1) ώστε f'(ξ1)=f(1)-f(0).Αρα αν θέσω στη δοθέισα σχέση όπου χ το ξ1 έχω οτι f'(ξ1)<f(1)<=>f(1)-f(0)<f(1)<=>f(0)>0.Συνεπώς f'(x)>f(0)>0.Αρα η f γνησίως αύξουσα.
β)Η f είναι γνησίως αύξουσα και άρα 1-1.Συνεπώς η εξίσωση f(x)=0 έχει το πολύ μια ρίζα.Από θμτ στο [-1,0] έχω:υπάρχει ξ2ε(-1,0) ώστε f'(ξ2)=f(0)-f(-1).Αν θέσω πάλι στη δοθείσα σχέση όπου χ το ξ2 έχω οτι f'(ξ2)>f(0)<=>f(0)-f(-1)>f(0)<=>f(-1)<0.Από bolzano στο [-1,0](και σε συνδιασμό με το οτι η f είναι 1-1) προκύπτει το ζητούμενο.
γ)εστω χο η ρίζα του παραπάνω ερωτήματος.Από θμτ στο [-1,χ0] έχω:υπάρχει χ2ε(-1,χο)υποσύνολο του (-1,1) ώστε f'(χ2)=f(χ0)-f(-1)/χ0+1.Από θμτ στο [χ0,1] έχω:υπάρχει χ1ε(χ0,1) ώστε f'(χ1)=f(1)-f(χ0)/1-χ0.Αν τοποθετήσω ση σχέση προς αποδειξη τα παραπάνω f'(χ1) και f'(χ2) θα προκύψει το ζητούμενο(λαμβάνοντας βέβαια υπ'οψιν οτι f(x0)=0)
Σημείωση: Το μήνυμα αυτό γράφτηκε 16 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.