Απαιτητική ύπαρξη, λίγο πιo πέρα από τα συνηθισμένα.

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

Άβαταρ μέλους
chris_gatos
Επιμελητής
Δημοσιεύσεις: 6970
Εγγραφή: Κυρ Δεκ 21, 2008 9:03 pm
Τοποθεσία: Ανθούπολη

Απαιτητική ύπαρξη, λίγο πιo πέρα από τα συνηθισμένα.

#1

Μη αναγνωσμένη δημοσίευση από chris_gatos » Παρ Απρ 10, 2020 10:36 pm

Έστω μια συνεχής συνάρτηση f στο [0,1]
για την οποία ισχύει:
\int_{0}^{1}f\left ( x \right )dx=\int_{0}^{1}xf\left ( x \right )dx.
Να αποδείξετε ότι υπάρχει \xi \epsilon \left ( 0,1 \right ) τέτοιος ώστε:

\xi ^{2}f\left ( \xi \right )=\int_{0}^{\xi}xf\left ( x \right )dx


Χρήστος Κυριαζής

Λέξεις Κλειδιά:
restart
Δημοσιεύσεις: 3
Εγγραφή: Κυρ Νοέμ 05, 2017 6:25 pm

Re: Απαιτητική ύπαρξη, λίγο πιo πέρα από τα συνηθισμένα.

#2

Μη αναγνωσμένη δημοσίευση από restart » Σάβ Απρ 11, 2020 9:54 am

Η λύση της άσκησης βρίσκεται εδώ
https://www.awesomemath.org/wp-pdf-file ... heorem.pdf
Πρόκειται για χρήση του θεωρήματος μέσης τιμής του Flett και το παραπάνω άρθρο έχει αρκετές και εύκολα κατανοητές εφαρμογές του.


Άβαταρ μέλους
matha
Γενικός Συντονιστής
Δημοσιεύσεις: 6428
Εγγραφή: Παρ Μάιος 21, 2010 7:40 pm
Τοποθεσία: Θεσσαλονίκη

Re: Απαιτητική ύπαρξη, λίγο πιo πέρα από τα συνηθισμένα.

#3

Μη αναγνωσμένη δημοσίευση από matha » Σάβ Απρ 11, 2020 10:40 am

restart έγραψε:
Σάβ Απρ 11, 2020 9:54 am
Η λύση της άσκησης βρίσκεται εδώ
https://www.awesomemath.org/wp-pdf-file ... heorem.pdf
Πρόκειται για χρήση του θεωρήματος μέσης τιμής του Flett και το παραπάνω άρθρο έχει αρκετές και εύκολα κατανοητές εφαρμογές του.
Συγχαρητήρια που ξετρύπωσες τη βιβλιογραφική παραπομπή. Φαντάσου τώρα κάθε φορά που κάποιος προτείνει ένα θέμα, να σπεύδει κάποιος άλλος (που οι κακοπροαίρετοι θα χαρακτήριζαν "έξυπνο") να παραθέσει την πηγή. Ωραία πράματα! Ε;


Μάγκος Θάνος
restart
Δημοσιεύσεις: 3
Εγγραφή: Κυρ Νοέμ 05, 2017 6:25 pm

Re: Απαιτητική ύπαρξη, λίγο πιo πέρα από τα συνηθισμένα.

#4

Μη αναγνωσμένη δημοσίευση από restart » Σάβ Απρ 11, 2020 10:56 am

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


Άβαταρ μέλους
chris_gatos
Επιμελητής
Δημοσιεύσεις: 6970
Εγγραφή: Κυρ Δεκ 21, 2008 9:03 pm
Τοποθεσία: Ανθούπολη

Re: Απαιτητική ύπαρξη, λίγο πιo πέρα από τα συνηθισμένα.

#5

Μη αναγνωσμένη δημοσίευση από chris_gatos » Σάβ Απρ 11, 2020 11:06 am

Καλημέρα. Έχει δίκιο ο Θάνος. Και για να είμαι ειλικρινής δεν ήταν αυτή η πηγή που άντλησα την άσκηση. Οφείλω να παραδεχτώ όμως πως το άρθρο που δημοσιεύτηκε είναι εξαιρετικό και περιεκτικότατο.


Χρήστος Κυριαζής
Άβαταρ μέλους
Tolaso J Kos
Δημοσιεύσεις: 5553
Εγγραφή: Κυρ Αύγ 05, 2012 10:09 pm
Τοποθεσία: International
Επικοινωνία:

Re: Απαιτητική ύπαρξη, λίγο πιo πέρα από τα συνηθισμένα.

#6

Μη αναγνωσμένη δημοσίευση από Tolaso J Kos » Σάβ Απρ 11, 2020 11:10 am

Ρίξτε και μια ματιά σε αυτό το θέμα... !


Η φαντασία είναι σημαντικότερη από τη γνώση !
\displaystyle{{\color{blue}\mathbf{Life=\int_{birth}^{death}\frac{happiness}{time}\Delta time} }}
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 3714
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Απαιτητική ύπαρξη, λίγο πιo πέρα από τα συνηθισμένα.

#7

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Σάβ Απρ 11, 2020 2:23 pm

chris_gatos έγραψε:
Παρ Απρ 10, 2020 10:36 pm
Έστω μια συνεχής συνάρτηση f στο [0,1]
για την οποία ισχύει:
\int_{0}^{1}f\left ( x \right )dx=\int_{0}^{1}xf\left ( x \right )dx.
Να αποδείξετε ότι υπάρχει \xi \epsilon \left ( 0,1 \right ) τέτοιος ώστε:

\xi ^{2}f\left ( \xi \right )=\int_{0}^{\xi}xf\left ( x \right )dx
Η συνθήκη
\displaystyle \int_{0}^{1}f\left ( x \right )dx=\int_{0}^{1}xf\left ( x \right )dx.
είναι παραπλανιτική
Η η συνάρτηση θα είναι η μηδενική με τετριμμένο το αποτέλεσμα η
θα υπάρχουν

x_{1},x_{2}\in (0,1)με f(x_1)>0,f(x_2)<0
Αυτό μόνο χρειαζόμαστε.

1)περίπτωση.
f(0)=0
Αν δεν ισχύει τότε θα είναι

\displaystyle x^{2}f(x)< \int_{0}^{x}tf(t)dt,x\in (0,1)
αλλιώς παίρνουμε την -f

Υπάρχει c \in (0,1] με
f(x)\leq f(c),x\in [0,1]
και προφανώς f(c)>0.
Τότε όμως

\displaystyle c^{2}f(c)\leq \int_{0}^{c}tf(t)dt\leq f(c)\frac{c^{2}}{2}
ΑΤΟΠΟ.

2)περίπτωση.
f(0)>0

Παίρνουμε το \displaystyle a=sup\left \{ x\in [0,1]:f(t)\geq 0,t\in [0,x] \right \}

Θα είναι 0<a<1και f(a)=0

2α)

Αν είναι \displaystyle x^{2}f(x)> \int_{0}^{x}tf(t)dt,x\in (0,1)

τότε για x=a εχουμε ΑΤΟΠΟ.

2β)

Αν είναι \displaystyle x^{2}f(x)< \int_{0}^{x}tf(t)dt,x\in (0,1)
τότε

Στο [0,a) υπάρχει c με

f(x)\leq f(c),x\in [0,a] και f(c)>0

Αν c>0 τότε

\displaystyle c^{2}f(c)\leq \int_{0}^{c}tf(t)dt\leq f(c)\frac{c^{2}}{2}
ΑΤΟΠΟ.

Αν c=0 τότε για x\in (0,a) θα είναι

\displaystyle x^{2}f(x)\leq f(0)\frac{x^{2}}{2}
δηλαδή

2f(x)\leq f(0)

παίρνοντας x\rightarrow 0
εχουμε ΑΤΟΠΟ

Για την περίπτωση f(0)<0 θεωρούμε την -f και πέφτουμε στην περίπτωση 2


ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 3714
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Απαιτητική ύπαρξη, λίγο πιo πέρα από τα συνηθισμένα.

#8

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Σάβ Απρ 11, 2020 7:05 pm

chris_gatos έγραψε:
Παρ Απρ 10, 2020 10:36 pm
Έστω μια συνεχής συνάρτηση f στο [0,1]
για την οποία ισχύει:
\int_{0}^{1}f\left ( x \right )dx=\int_{0}^{1}xf\left ( x \right )dx.
Να αποδείξετε ότι υπάρχει \xi \epsilon \left ( 0,1 \right ) τέτοιος ώστε:

\xi ^{2}f\left ( \xi \right )=\int_{0}^{\xi}xf\left ( x \right )dx
Γράφω την παραπάνω λύση μου χωρίς την χρήση sup

Η συνθήκη
\displaystyle \int_{0}^{1}f\left ( x \right )dx=\int_{0}^{1}xf\left ( x \right )dx.
είναι παραπλανιτική
Η η συνάρτηση θα είναι η μηδενική με τετριμμένο το αποτέλεσμα η
θα υπάρχουν

x_{1},x_{2}\in (0,1)με f(x_1)>0,f(x_2)<0
Αυτό μόνο χρειαζόμαστε.

1)περίπτωση.
f(0)=0
Αν δεν ισχύει τότε θα είναι

\displaystyle x^{2}f(x)< \int_{0}^{x}tf(t)dt,x\in (0,1)
αλλιώς παίρνουμε την -f

Υπάρχει c \in (0,1] με
f(x)\leq f(c),x\in [0,1]
και προφανώς f(c)>0.
Τότε όμως

\displaystyle c^{2}f(c)\leq \int_{0}^{c}tf(t)dt\leq f(c)\frac{c^{2}}{2}
ΑΤΟΠΟ.

2)περίπτωση.
f(0)>0



2α)

Αν είναι \displaystyle x^{2}f(x)> \int_{0}^{x}tf(t)dt,x\in (0,1)

τότε για x=a
όπου το a είναι τέτοιο ώστε f(x)\geq f(a),x\in [0,1]
θα έχουμε

\displaystyle  a^{2}f(a)\geq \int_{0}^{a}f(t)tdt\geq f(a)\frac{a^{2}}{2}
Επειδή προφανώς f(a)<0

εχουμε ΑΤΟΠΟ.

2β)

Αν είναι \displaystyle x^{2}f(x)< \int_{0}^{x}tf(t)dt,x\in (0,1)
τότε

Στο [0,1] υπάρχει c με

f(x)\leq f(c),x\in [0,1] και f(c)>0

Αν c>0 τότε

\displaystyle c^{2}f(c)\leq \int_{0}^{c}tf(t)dt\leq f(c)\frac{c^{2}}{2}
ΑΤΟΠΟ.

Αν c=0 τότε για x\in (0,1) θα είναι

\displaystyle x^{2}f(x)\leq f(0)\frac{x^{2}}{2}
δηλαδή

2f(x)\leq f(0)

παίρνοντας x\rightarrow 0
εχουμε ΑΤΟΠΟ

Για την περίπτωση f(0)<0 θεωρούμε την -f και πέφτουμε στην περίπτωση 2


Άβαταρ μέλους
chris_gatos
Επιμελητής
Δημοσιεύσεις: 6970
Εγγραφή: Κυρ Δεκ 21, 2008 9:03 pm
Τοποθεσία: Ανθούπολη

Re: Απαιτητική ύπαρξη, λίγο πιo πέρα από τα συνηθισμένα.

#9

Μη αναγνωσμένη δημοσίευση από chris_gatos » Σάβ Απρ 11, 2020 8:54 pm

Εδώ θέλω να ευχαριστήσω τον Σταύρο γιατί σκέφτηκε...ανάποδα (όπως μου αρέσει και εμένα)
και αμφισβήτησε το σενάριο. Θα προσπαθήσω να μελετήσω τη λύση του βήμα προς βήμα.
Να η αξία να γράφει ο λύτης τη λύση του με πλήρη τρόπο τα επιχειρήματά του.
Αυτή είναι και η αξία του φόρουμ. Βλέπουμε και μαθαίνουμε μέσα από διαφορετικούς τρόπους σκέψης.


Χρήστος Κυριαζής
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 3714
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Απαιτητική ύπαρξη, λίγο πιo πέρα από τα συνηθισμένα.

#10

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Σάβ Απρ 11, 2020 9:44 pm

chris_gatos έγραψε:
Σάβ Απρ 11, 2020 8:54 pm
Εδώ θέλω να ευχαριστήσω τον Σταύρο γιατί σκέφτηκε...ανάποδα (όπως μου αρέσει και εμένα)
και αμφισβήτησε το σενάριο. Θα προσπαθήσω να μελετήσω τη λύση του βήμα προς βήμα.
Να η αξία να γράφει ο λύτης τη λύση του με πλήρη τα επιχειρήματά της.
Αυτή είναι και η αξία του φόρουμ. Βλέπουμε και μαθαίνουμε μέσα από διαφορετικούς τρόπους σκέψης.
Ευχαριστώ και εγώ Χρήστο.
Δεν είναι ανάποδη σκέψη τα παραπάνω.
Το να λύνεις τέτοια προβλήματα, χωρίς να ψάχνεις συναρτήσεις που θα εφαρμόσεις
κάποια θεωρήματα και θα πάρεις την λύση ,κατά την γνώμη μου είναι μονόδρομος.
(Τα παραπάνω δεν αναφέρονται σε σχολικά Μαθηματικά)
Η Ανάλυση δεν είναι ισότητες είναι ανισότητες.
(Στο σχολείο δεν γίνεται Ανάλυση.Μια μορφή Calculus γίνεται)

Για να γίνω κατανοητός για μένα το Θ.Μ.Τ είναι :

Εστω f:[a,b]\rightarrow \mathbb{R}
συνεχής συνάρτηση.
Αν για κάθε x\in (a,b)-A
είναι f'(x)\geq 0
οπου A αριθμήσιμο τότε
f(b)-f(a)\geq 0


Άβαταρ μέλους
chris_gatos
Επιμελητής
Δημοσιεύσεις: 6970
Εγγραφή: Κυρ Δεκ 21, 2008 9:03 pm
Τοποθεσία: Ανθούπολη

Re: Απαιτητική ύπαρξη, λίγο πιo πέρα από τα συνηθισμένα.

#11

Μη αναγνωσμένη δημοσίευση από chris_gatos » Σάβ Απρ 11, 2020 10:02 pm

Σταύρο με το "ανάποδο" εννοούσα αυτό ακριβώς που περιγράφεις.
Να προσπαθήσεις να αναλύσεις την άσκηση στα συστατικά της.


Χρήστος Κυριαζής
Απάντηση

Επιστροφή σε “Προτεινόμενα Θέματα Μαθηματικών”

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

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