ΙΣΧΥΡΙΣΜΟΣ

Εδώ θα καταχωρούνται ασκήσεις οι οποίες συνδυάζουν τουλάχιστον δύο διαφορετικά εκ των παραπάνω κεφάλαια και έχουν επαναληπτικό χαρακτήρα.

Συντονιστής: Καρδαμίτσης Σπύρος

chrispanop2002
Δημοσιεύσεις: 12
Εγγραφή: Σάβ Δεκ 21, 2019 4:01 pm

ΙΣΧΥΡΙΣΜΟΣ

#1

Μη αναγνωσμένη δημοσίευση από chrispanop2002 » Πέμ Ιουν 04, 2020 6:51 pm

«Δεν μπορεί ταυτόχρονα στο ίδιο διάστημα [\alpha,\beta] να ισχύουν το θεώρημα του Rolle και το θεώρημα του Bolzano»
Αληθής ή Ψευδής;



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

Re: ΙΣΧΥΡΙΣΜΟΣ

#2

Μη αναγνωσμένη δημοσίευση από nsmavrogiannis » Πέμ Ιουν 04, 2020 6:57 pm

Νομίζω ότι χρειάζεται αλλαγή στην διατύπωση για να συζητηθεί το θέμα.
Τι σημαίνει "ταυτόχρονα";
Μιλάμε για την ίδια συνάρτηση;
Τι σημαίνει "να ισχύει";


Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
chrispanop2002
Δημοσιεύσεις: 12
Εγγραφή: Σάβ Δεκ 21, 2019 4:01 pm

Re: ΙΣΧΥΡΙΣΜΟΣ

#3

Μη αναγνωσμένη δημοσίευση από chrispanop2002 » Πέμ Ιουν 04, 2020 7:05 pm

nsmavrogiannis έγραψε:
Πέμ Ιουν 04, 2020 6:57 pm
Νομίζω ότι χρειάζεται αλλαγή στην διατύπωση για να συζητηθεί το θέμα.
Τι σημαίνει "ταυτόχρονα";
Μιλάμε για την ίδια συνάρτηση;
Τι σημαίνει "να ισχύει";
Αυτός ο ισχυρισμός βρίσκεται στο ΨΕΒ του υπουργείου και τον παρέθεσα επειδή είχα παρόμοιες σκέψεις για την εγκυρότητα του


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: ΙΣΧΥΡΙΣΜΟΣ

#4

Μη αναγνωσμένη δημοσίευση από Demetres » Πέμ Ιουν 04, 2020 7:15 pm

Ως θεωρήματα, τα Rolle και Bolzano ισχύουν παντού και πάντα.

Αντιλαμβάνομαι ότι αυτός που έθεσε το ερώτημα σκεφτόταν κατά πόσο ισχύουν για την ίδια συνάρτηση οι προϋποθέσεις των δύο θεωρημάτων, αλλά αυτό είναι άλλη ιστορία. Εξαρτάται μάλιστα και από το πώς θα διατυπώσεις το θεώρημα Bolzano.


chrispanop2002
Δημοσιεύσεις: 12
Εγγραφή: Σάβ Δεκ 21, 2019 4:01 pm

Re: ΙΣΧΥΡΙΣΜΟΣ

#5

Μη αναγνωσμένη δημοσίευση από chrispanop2002 » Πέμ Ιουν 04, 2020 7:25 pm

Demetres έγραψε:
Πέμ Ιουν 04, 2020 7:15 pm
Ως θεωρήματα, τα Rolle και Bolzano ισχύουν παντού και πάντα.

Αντιλαμβάνομαι ότι αυτός που έθεσε το ερώτημα σκεφτόταν κατά πόσο ισχύουν για την ίδια συνάρτηση οι προϋποθέσεις των δύο θεωρημάτων, αλλά αυτό είναι άλλη ιστορία. Εξαρτάται μάλιστα και από το πώς θα διατυπώσεις το θεώρημα Bolzano.
Η ενδεικτική απάντηση που δίνεται είναι πως δεν γίνεται να ισχύουν ταυτόχρονα επειδή αν ισχύει το θεώρημα Bolzano f(\alpha)f(\beta)<0
ενω αν ισχύει το θεώρημα Rolle f(\alpha)=f(\beta) \Leftrightarrow f^2(\alpha)<0 αρα άτοπο... Παρόλα αυτα αμφιβάλλω γι αυτό θέλω να ακούσω απόψεις


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

Re: ΙΣΧΥΡΙΣΜΟΣ

#6

Μη αναγνωσμένη δημοσίευση από nsmavrogiannis » Πέμ Ιουν 04, 2020 8:18 pm

Η διατύπωση δεν είναι επιτυχής. Όπως επεσήμανε ο Δημήτρης θα έπρεπε να αναφέρεται στις προϋποθέσεις.
Μια επαναδιατύπωση θα μπορούσε να ήταν:
Υπάρχει συνάρτηση η οποία στο διάστημα \left[ \alpha ,\beta \right] πληροί τις υποθέσεις του θεωρήματος Bolzano και τις υποθέσεις του θεωρήματος Rolle.


Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: ΙΣΧΥΡΙΣΜΟΣ

#7

Μη αναγνωσμένη δημοσίευση από Demetres » Πέμ Ιουν 04, 2020 8:33 pm

Νίκο, πέραν αυτών έκανα και μια νύξη για τη διατύπωση του Θεωρήματος Bolzano. Ξέρω ότι για σκοπούς Πανελληνίων το σχολικό βιβλίο είναι το «Ιερό Ευαγγέλιο». Με τις διατυπώσεις του σχολικού, και τη διατύπωση της πρότασης όπως την έχεις γράψει, η απάντηση είναι αρνητική. Έχει ήδη δεχθεί από τον chrispanop2002.

Ας δούμε όμως και την παρακάτω διατύπωση του Θεωρήματος Bolzano:

Έστω συνεχής συνάρτηση f:[a,b] \to \mathbb{R} τέτοια ώστε f(a)f(b) \leqslant 0. Τότε υπάρχει c \in [a,b] τέτοιο ώστε f(c) = 0.

Υπάρχει κανείς που διαφωνεί ότι αυτή είναι μια ισοδύναμη διατύπωση; Με αυτήν όμως η πρόταση του Νίκου γίνεται αληθής. Παράδειγμα η συνάρτηση που είναι ταυτοτικά ίση με 0.


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

Re: ΙΣΧΥΡΙΣΜΟΣ

#8

Μη αναγνωσμένη δημοσίευση από nsmavrogiannis » Πέμ Ιουν 04, 2020 8:59 pm

Demetres έγραψε:
Πέμ Ιουν 04, 2020 8:33 pm
Νίκο, πέραν αυτών έκανα και μια νύξη για τη διατύπωση του Θεωρήματος Bolzano. Ξέρω ότι για σκοπούς Πανελληνίων το σχολικό βιβλίο είναι το «Ιερό Ευαγγέλιο». Με τις διατυπώσεις του σχολικού, και τη διατύπωση της πρότασης όπως την έχεις γράψει, η απάντηση είναι αρνητική. Έχει ήδη δεχθεί από τον chrispanop2002.

Ας δούμε όμως και την παρακάτω διατύπωση του Θεωρήματος Bolzano:

Έστω συνεχής συνάρτηση f:[a,b] \to \mathbb{R} τέτοια ώστε f(a)f(b) \leqslant 0. Τότε υπάρχει c \in [a,b] τέτοιο ώστε f(c) = 0.

Υπάρχει κανείς που διαφωνεί ότι αυτή είναι μια ισοδύναμη διατύπωση; Με αυτήν όμως η πρόταση του Νίκου γίνεται αληθής. Παράδειγμα η συνάρτηση που είναι ταυτοτικά ίση με 0.
Δημήτρη από μαθηματική άποψη έχεις απόλυτο δίκιο.
Φυσικά δεν διαφωνούμε ως προς το ότι η διατύπωση που έδωσες είναι όχι μόνο ισοδύναμη με το θεώρημα του Bolzano αλλά πιο γενική και επομένως πιο πλούσια.
Στο σχολικό βιβλίο όμως το θεώρημα του Bolzano διατυπώνεται με τις τιμές στα άκρα ετερόσημες.
Ξαναδιατύπωσα τον ισχυρισμό ώστε να ταιριάζει σε αυτό που δίνεται σαν απάντηση.
Δυστυχώς η διατύπωση που αναφέρεις δεν περιλαμβάνεται ούτε στις παρατηρήσεις του βιβλίου που συνοδεύουν το θεώρημα.
'Οταν δίδασκα την ανεφερα πάντα, όπως φυσικά και πολλοί άλλοι συνάδελφοι.
Μάλιστα ένα θέμα στις εξετάσεις του 1989 αντιμετωπίζονταν πιο εύκολα αν κάποιος ήξερε και αυτήτην διατύπωση.
Τυπικά μιλώντας ακόμη και για αυτή την εύκολη επέκταση απαιτείται στις εξετάσεις, αν χρησιμοποιηθεί, κάποια αιτιολόγηση.
Ίσως δεν έπρεπε να είναι έτσι τα πράγματα αλλά είναι.


Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
ΠΑΝΑΓΙΩΤΗΣ ΗΛΙΟΠΟΥΛΟΣ

Re: ΙΣΧΥΡΙΣΜΟΣ

#9

Μη αναγνωσμένη δημοσίευση από ΠΑΝΑΓΙΩΤΗΣ ΗΛΙΟΠΟΥΛΟΣ » Πέμ Ιουν 04, 2020 9:41 pm

Κατά τη γνώμη μου δεν είναι δυνατόν να ισχύουν ταυτόχρονα οι προϋποθέσεις και των δύο θεωρημάτων. Αφού για το Rolle ισχύει f(a)=f(b)

θα έχουμε ότι f(a)f(b)=f(a)^{2}\geq 0 άρα δεν είναι δυνατόν να ισχύει f(a)f(b)< 0 που προϋποθέτει το θεώρημα Bolzano.


User#0000

Re: ΙΣΧΥΡΙΣΜΟΣ

#10

Μη αναγνωσμένη δημοσίευση από User#0000 » Δευ Αύγ 24, 2020 1:53 pm

Νομίζω, πως αν δεν κάνω λάθος επειδή δεν γνωρίζω το θ.Rolle.

Η γεωμετρική ερμηνεία του θεωρήματος bolzano μιλάει για σημεία τα οποία βρίσκονται εκατέρωθεν του άξονα x'x και όχι πάνω σε αυτόν συνεπώς είναι αδύνατο να ισχύει f(a)=f(b) που είναι μια από τις προϋπόθεση για να ισχύει το θεώρημα Ρολ. Συνεπώς κατά την ταπεινή μου γνώμη δεν γίνεται να ισχύουν ταυτόχρονα το θεώρημα Rolle και του Bolzano.

Επιπλέον για την επέκταση του θ.Bolzano ισχύει απλά δεν ξέρω αν το όνομα παραμένει θεώρημα Bolzano ή μήπως της άλλαξα την ταυτότητα άρα τώρα λέγεται θεώρημα X.

Φιλικά


ΠΑΝΑΓΙΩΤΗΣ ΗΛΙΟΠΟΥΛΟΣ

Re: ΙΣΧΥΡΙΣΜΟΣ

#11

Μη αναγνωσμένη δημοσίευση από ΠΑΝΑΓΙΩΤΗΣ ΗΛΙΟΠΟΥΛΟΣ » Δευ Αύγ 24, 2020 4:26 pm

Εγώ θα έλεγα ότι είναι ψευδής διότι από Rolle έχουμε f(a)=f(b). Άρα f(a)*f(b)=f(a)^{2}\geq 0

γεγονός που αποκλείει την πιθανότητα να ισχύει και το θεώρημα Bolzano.


Απάντηση

Επιστροφή σε “ΑΣΚΗΣΕΙΣ ΣΕ ΟΛΗ ΤΗΝ ΥΛΗ Γ'”

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

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