α) Προσθετεις και αφαιρεις το

οποτε δημιουργείται ταυτοτητα και γίνεται
-x]}^{2}={x}^{2}+1 )
Θέτω h(x)=f(x)-x
Έστω
=0leftrightarrow {[h(x)]}^{2}=0leftrightarrow {x}^{2}+1=0leftrightarrow {x}^{2}=-1 )
(Αδύνατο)
Άρα
neq 0 )
για κάθε xεR
Και εφόσον h συνεχής ώς πραξεις συνεχών, η h διατηρεί πρόσημο
Όμως
=f(0)=1>0 )
, άρα h(x)>0 για κάθε xεR
β) Έκανα μια προσπαθεια. Αν εχω κανει κατι λαθος διορθώστε με.
Αρκει να δειξω οτι υπαρχει
 )
, τετοιο ωστε
g συνεχής ως πραξεις συνεχών
=lim_{xrightarrow {0}^{+}}f(x)[x+lnlambda x]=- propto )
Επομένως θα υπαρχει πραγματικός αριθμος κεR κοντά στο

ώστε g(κ)<0
=f(frac{1}{lambda })[frac{1}{lambda }+lnlambda frac{1}{lambda }]= (frac{1}{lambda }+sqrt{frac{1}{{lambda }^{2}}+1}] frac{1}{lambda }=frac{1}{{lambda }^{2}}+frac{1}{lambda }sqrt{frac{1}{{lambda }^{2}}+1} >0 )
Eπομένως
Από Bolzano στο
subseteq (0,frac{1}{lambda }) )
υπάρχει ενα τουλαχιστον
subseteq (0,frac{1}{lambda }) )
ώστε