Παραγωγιζοντας την αρχικη σχεση και δικαιολογωντας παραγωγισιμοτητα εχουμε
}{\sqrt{{f}^{2}(x)+1}}=1\Leftrightarrow f'(x)=\sqrt{{f}^{2}(x)+1})
(1)
Η f' ειναι παρ/μη αφου ειναι η f αρα
=\frac{f'(x)f(x)}{\sqrt{{f}^{2}(x)+1}}=f(x))
λογω της (1)
Αρα g(x)=0
Eπισης
=f(x)\Leftrightarrow f''(x)+f'(x)=f'(x)+f(x))
.Απο γνωστη εφαρμογη εχουμε
+f'(x)=c{e}^{x})
.Επειδη f(0)=0 και f'(0)=1 προκυπτει c=1 αρα
+f'(x)={e}^{x}\Leftrightarrow {e}^{x}f(x)+{e}^{x}f'(x)={e}^{2x}<br />
\Leftrightarrow ({e}^{x}f(x))'=(\frac{1}{2}{e}^{2x})')
Αρα
=\frac{1}{2}{e}^{2x}+c)
ομως f(0)=0 αρα

Tελικα
Θεωρω συναρτηση g(x)=
du)
Με θμτ στο [α,β] προκυπτει οτι υπαρχει ξ που ανηκει στο (α,β) τετοιο ωστε
=\frac{\int_{\alpha }^{\beta }f(u)du}{\beta -\alpha })
Τωρα με δευτερο θμτ στην f στο [0,ξ],προκυπτει οτι υπαρχει χο που ανηκει στο (0,ξ) τετοιο ωστε
=\frac{f(\xi )}{\xi }\Leftrightarrow f(\xi )=\xi f'(xo))
Η f' ειναι γν αυξουσα αρα εχουμε
>f'(xo)\Leftrightarrow \xi f'(\xi )>\xi f'(xo)\Leftrightarrow \xi f'(\xi )+f(\xi )>2f(\xi )<br />
\Leftrightarrow \xi f'(\xi )+f(\xi )>\frac{2}{\beta -\alpha } \int_{a}^{b}f(u)du)