antegeia έγραψε:Εστω συναρτηση συνεχης στο

και για a,b>0 ισχυει οτι
![f(a)-f(b)=(b-a)/2[f(a)/a-f(b)/b] f(a)-f(b)=(b-a)/2[f(a)/a-f(b)/b]](/forum/ext/geomar/texintegr/latexrender/pictures/a1a753cd4a93c39f9fa10d6b4ac4917d.png)
. Νδο ειναι παρ/μη και να βρεθε ο τυπος της.
Έστω ότι μια συνάρτηση

πληροί τις δοσμένες συνθήκες, δηλαδή είναι συνεχής και ισχύει:
![\displaystyle{f(x) - f(y) = \frac{{y - x}}{2}\left[ {\frac{{f(x)}}{x} - \frac{{f(y)}}{y}} \right]} \displaystyle{f(x) - f(y) = \frac{{y - x}}{2}\left[ {\frac{{f(x)}}{x} - \frac{{f(y)}}{y}} \right]}](/forum/ext/geomar/texintegr/latexrender/pictures/110571650a81d067e00f19bc8c38b67b.png)
, για κάθε

(1)
Θεωρούμε έναν πραγματικό αριθμό

. Έτσι, για κάθε πραγματικό αριθμό x>0 με

, έχουμε:
![\displaystyle{\frac{{f(x) - f({x_0})}}{{x - {x_0}}} = \frac{1}{2}\left[ { - \frac{{f(x)}}{x} + \frac{{f({x_0})}}{{{x_0}}}} \right]} \displaystyle{\frac{{f(x) - f({x_0})}}{{x - {x_0}}} = \frac{1}{2}\left[ { - \frac{{f(x)}}{x} + \frac{{f({x_0})}}{{{x_0}}}} \right]}](/forum/ext/geomar/texintegr/latexrender/pictures/9c8a49b704c13e76a270f2ddf7dd1564.png)
.
Και επειδή η f είναι συνεχής στο

, έχουμε:
![\displaystyle{\mathop {\lim }\limits_{x \to {x_0}} \frac{{f(x) - f({x_0})}}{{x - {x_0}}} = \mathop {\lim }\limits_{x \to {x_0}} \frac{1}{2}\left[ { - \frac{{f(x)}}{x} + \frac{{f({x_0})}}{{{x_0}}}} \right] = 0} \displaystyle{\mathop {\lim }\limits_{x \to {x_0}} \frac{{f(x) - f({x_0})}}{{x - {x_0}}} = \mathop {\lim }\limits_{x \to {x_0}} \frac{1}{2}\left[ { - \frac{{f(x)}}{x} + \frac{{f({x_0})}}{{{x_0}}}} \right] = 0}](/forum/ext/geomar/texintegr/latexrender/pictures/c82be17648cb7510365cde075485f8d0.png)
.
Συνεπώς, η f είναι παραγωγίσιμη στο

με παράγωγο 0. Και τούτο, για κάθε πραγματικό αριθμό

. Άρα, η f είναι παραγωγίσιμη στο διάστημα

και ισχύει:

, για κάθε

.
Συνεπώς, η f είναι σταθερή στο

. Έστω ότι f(x)=C. Αντικαθιστώντας την (1), έχουμε, για κάθε

:

. Από αυτή (π.χ.) με x=1 και y=2, βρίσκουμε: C=0.
Άρα, τότε : f(x)=0, για κάθε

.
Αντιστρόφως. Όπως βρίσκομαι εύκολα, η συνάρτηση

με f(x)=0 ( μηδενική) πληροί τις δοσμένες συνθήκες και άρα είναι η μοναδική ζητούμενη.
Υ.Γ.
Αγαπητέ antegeia, τι σημαίνει: Νδο; (συγγνώμη, αλλά θα επανέρχομαι κάθε φορά που θα το βλέπω γραμμένο ).
Αυτά , ίσως και άλλα, πιθανόν να τα χρησιμοποιούμε στο πρόχειρο για ευκολία μας και μόνον για τον εαυτόν μας. Ποτέ όμως δεν τα γράφουμε όταν παρουσιάζουμε επίσημα μία άσκηση ή την λύση της και κυρίως όταν την δημοσιεύουμε. Στα μαθηματικά δεν χρησιμοποιούμε κανενός είδους στενογραφία.
•Με την ευκαιρία αυτή, θέλω να τονίσω ότι ούτε τα σύμβολα της Μαθηματικής Λογικής( της συνεπαγωγής, της ισοδυναμίας, του για κάθε, του υπάρχει κτλ.) είναι σύμβολα στενογραφίας και ότι δεν επιτρέπεται να τα γράφουμε μέσα στα κείμενά μας. Τα σύμβολα αυτά δεν είναι μια μορφή στενογραφίας.
• Θα ήθελα να παρακαλέσω όλους τους συναδέλφους, αλλά και όλους όσοι είναι μέλη του mathematica, να μην χρησιμοποιούν τα παραπάνω σύμβολα στα κείμενά τους, ως σύμβολα στενογραφίας, γιατί εκτός του ότι δεν είναι «κομψό» , εκτός του ότι δείχνουν μια προχειρότητα και εκτός του ότι δεν δείχνουν και μεγάλο σεβασμό προς αυτούς που θα τα διαβάσουν, κάνουν τα μαθηματικά δυσκολότερα από ότι είναι.
Φιλικά.