Έστω h (x) =f (x)-x, x πραγματικός.
Η h συνεχής ως πράξεις συνεχών.
Έστω ότι h (x)><0 για κάθε πραγματικό χ.
Τότε ,θα διατηρεί πρόσημο στο R.
Έστω ότι h (x) >0 για κάθε πραγματικό χ.
Τότε f(x)>x ή f (x)>f (f (x)) ή x>f (x) ( η f γνησίως αύξουσα.) Άτοπο.
Έστω ότι h (x) <0 για κάθε πραγματικό χ.
Τότε f(x)<x ή f (x)<f (f (x)) ή x <f (x) ( η f γνησίως αύξουσα.) Άτοπο. Άρα η h δεν διατηρεί πρόσημο στο R, και αφού είναι συνεχής,θα έχει μία τουλάχιστον ρίζα στο R. Άρα και η εξίσωση f (x)=x θα έχει μια τουλάχιστον ρίζα στο R.
Ελπίζω να είναι κατανοητή έτσι όπως την έγραψα.