Κάτι σαν μερικό αντίστροφο του θεωρήματος του Bolzano

Συντονιστής: KAKABASBASILEIOS

Άβαταρ μέλους
nsmavrogiannis
Επιμελητής
Δημοσιεύσεις: 4483
Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
Τοποθεσία: Αθήνα
Επικοινωνία:

Κάτι σαν μερικό αντίστροφο του θεωρήματος του Bolzano

#1

Μη αναγνωσμένη δημοσίευση από nsmavrogiannis » Παρ Ιαν 08, 2010 12:08 am

'Εστω f:\left[ \alpha ,\beta \right] \rightarrow \mathbb{R} παραγωγίσιμη της οποίας η παράγωγος δεν μηδενίζεται στο \left( \alpha ,\beta \right). Να αποδειχθεί ότι αν η f έχει ρίζα στο \left( \alpha ,\beta \right) τότε f\left( \alpha \right) f\left( \beta \right) <0.
Μαυρογιάννης


Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Dimitris X
Δημοσιεύσεις: 242
Εγγραφή: Τρί Ιουν 23, 2009 10:51 pm

Re: Κάτι σαν μερικό αντίστροφο του θεωρήματος του Bolzano

#2

Μη αναγνωσμένη δημοσίευση από Dimitris X » Παρ Ιαν 08, 2010 12:36 am

Aφού η f συνεχής στο [α,β] από θεώρημα μέγιστης-ελάχιστης τιμής ξέρουμε ότι υπαρχουν x_1,x_2 τέτοια ώστε f(x_1) και f(x_2) μέγιστη και ελάχιστη τιμή αντίστοιχα.
Αν τα x_1 ή x_2 ήταν στο (α,β) τότε από θεώρημα fermat θα είχα με f{'}(x_1)=0 ή f{'}(x_2)=0 αντίστοιχα.-ΑΤΟΠΟ....
Άρα η μέγιστη και η ελάχιστη τιμή είναι τα f(a) και f(b) (δεν μας νοιάζει ποια μέγιστη και ποια ελάχιστη),και επειδή υπάρχει ρίζα της f στο (α,β) τα f(a) και f(b) ετερόσημα...

Ελπίζω να μην έχω υποπέσει σε κάποιο λάθος....

Δημήτρης
τελευταία επεξεργασία από Dimitris X σε Παρ Ιαν 08, 2010 1:03 am, έχει επεξεργασθεί 1 φορά συνολικά.


Άβαταρ μέλους
R BORIS
Επιμελητής
Δημοσιεύσεις: 2395
Εγγραφή: Σάβ Ιαν 03, 2009 8:08 am
Επικοινωνία:

Re: Κάτι σαν μερικό αντίστροφο του θεωρήματος του Bolzano

#3

Μη αναγνωσμένη δημοσίευση από R BORIS » Παρ Ιαν 08, 2010 5:53 am

Καλημέρα
άλλοι τρόποι
Από Darboux η f βγαίνει μονότονη...
Αν η f' ήταν συνεχής παρακάμπτουμε τον εκτός ύλης Darboux,
αλλιώς δείχνουμε ότι η f είναι 1-1(με Rolle και άτοπο) και σαν συνεχής είναι και γνήσια μονότονη...


hsiodos
Διευθύνον Μέλος
Δημοσιεύσεις: 1236
Εγγραφή: Σάβ Απρ 18, 2009 1:12 am

Re: Κάτι σαν μερικό αντίστροφο του θεωρήματος του Bolzano

#4

Μη αναγνωσμένη δημοσίευση από hsiodos » Παρ Ιαν 08, 2010 11:39 am

Καλημέρα
Από τα δεδομένα προκύπτει ότι η f είναι συνεχής και 1-1 στο [α,β] .
Άρα το συμπέρασμα προκύπτει αν γνωρίζουμε ότι η f είναι συνεχής και 1-1 στο [α,β] και μηδενίζεται σε κάποιο \displaystyle{x_o  \in (\alpha ,\beta )}(χωρίς δηλαδή να υπεισέρχεται η παράγωγος της f) .

Επειδή η f είναι 1-1 θα ισχύει \displaystyle{ 
f(\alpha ) \ne 0\,\,\,\kappa \alpha \iota \,\,\,f(\beta ) \ne 0\,\,\,\kappa \alpha \iota \,\,\,f(\alpha ) \ne f(\beta )}.

Έστω \displaystyle{f(\alpha ) < f(\beta )} (Ομοίως αν \displaystyle{f(\alpha ) > f(\beta )}) και ότι \displaystyle{f(\alpha )f(\beta ) > 0} .

Τότε είτε \displaystyle{\,0 < f(\alpha ) < f(\beta )} (1) είτε \displaystyle{f(\alpha ) < f(\beta ) < 0} (2)

Αν ισχύει η (1) έχουμε: \displaystyle{0 < f(\alpha ) < f(\beta )}\displaystyle{ \Rightarrow \,f(x_o ) < f(\alpha ) < f(\beta )} και σύμφωνα με το θεώρημα ενδιάμεσων τιμών θα υπάρχει \displaystyle{ 
\xi  \in (x_o ,\beta ) \subset (\alpha ,\beta )\,\,\,\mu \varepsilon \,\,\,f(\xi ) = f(\alpha )} , άτοπο αφού η f είναι 1-1 στο [α,β].Ομοίως καταλήγουμε σε άτοπο αν ισχύει η (2) . Συνεπώς \displaystyle{f(\alpha )f(\beta ) < 0}.

Γιώργος


Γιώργος Ροδόπουλος
Άβαταρ μέλους
nsmavrogiannis
Επιμελητής
Δημοσιεύσεις: 4483
Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: Κάτι σαν μερικό αντίστροφο του θεωρήματος του Bolzano

#5

Μη αναγνωσμένη δημοσίευση από nsmavrogiannis » Παρ Ιαν 08, 2010 10:37 pm

Δημήτρη εύστοχη πραγματευση. Η λύση που δίνω στην τάξη χρησιμοποιεί την ίδαι βασική ιδέα με την δική σου αλλά, φυσικό είναι, πιο πολλά λόγια.
Γιώργο μου άρεσε η αναγωγή στη συνέχεια που μας ξαλαφρώνει από υποθέσεις. Δεν το είχα προσέξει ότι γίνεται. Καλό!
Σας ευχαριστώ και τους δύο.
Μαυρογιάννης


Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Απάντηση

Επιστροφή σε “ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης