Σελίδα 1 από 1

Υπαρξιακό

Δημοσιεύτηκε: Τετ Ιουν 03, 2015 11:03 am
από gradion
Αν για την συνάρτηση f,ισχύει \int_{6}^{18}f(x)dx=0,να δείξετε ότι υπαρχουν:
α)x_o \in (6,18): f(x_o)=0
b)x_1,x_2 \in(6,18): f(x_1)+f(x_2)=0
c)x_3\in(6,18): f(x_3)=2(x_3-12)

Re: Υπαρξιακό

Δημοσιεύτηκε: Τετ Ιουν 03, 2015 12:25 pm
από Mihalis_Lambrou
gradion έγραψε:Αν για την συνάρτηση f,ισχύει \int_{6}^{18}f(x)dx=0,να δείξετε ότι υπαρχουν:
α)x_o \in (6,18): f(x_o)=0
b)x_1,x_2 \in(6,18): f(x_1)+f(x_2)=0
c)x_3\in(6,18): f(x_3)=2(x_3-12)
α) Αν f(x)>0 για κάθε x \in (6,18) τότε και το ολοκλήρωμα θα ήταν γνήσια θετικό (γνωστή άσκηση). Άτοπο. Όμοια αν f(x)<0. Άρα η συνάρτηση κάπου μηδενίζεται.

β) Μπορούμε να πάρουμε x_1=x_2=x_0 αλλά υποθέτω ότι εννοείς x_1\ne x_2. Προχωράμε με αυτή την προσθήκη. Αν η f δεν είναι ταυτοτικά 0, οπότε τελειώσαμε, υπάρχουν a,b\in (6,18) με f(a)>0>f(b). Θα ισχύει ένα από τα 0>-f(a)\ge f(b) ή 0>f(b)\ge -f(a). Αν ισχύει ισότητα -f(a)=f(b), τελειώσαμε. Αλλιώς, η πρώτη περίπτωση γράφεται f(x_0) > -f(a) > f(b), οπότε υπάρχει c μεταξύ των των x_0, b με -f(a)=f(c). Όμοια στην δεύτερη περίπτωση. Τα a,c είναι τα ζητούμενα (τα οποία είναι διαφορετικά γιατί f(a)\ne 0.

γ) Αν f(x) - 2(x-12) > 0 για κάθε x \in (6,18), τότε, όπως στο α), θα είχαμε \int _6^{18}\left ( {f(x) - 2(x-12)}\right )\,dx > 0. Όμως \int _6^{18} f(x) \,dx = \int _6^{18} 2(x-12)}\,dx = 0 (το τελευταίο με άμεσο έλεγχο, άλλωστε η x-12 είναι συμμετρική ως προς το μέσο του {6,\, ,18]) , οπότε θα καταλήγαμε στο άτοπο 0>0$ . Όμοια για την ανάποδη ανισότητα, και λοιπά.

M.

Re: Υπαρξιακό

Δημοσιεύτηκε: Τετ Ιουν 03, 2015 4:26 pm
από gradion
Eυχαριστώ πολύ

Re: Υπαρξιακό

Δημοσιεύτηκε: Πέμ Ιουν 04, 2015 12:19 pm
από xr.tsif
α) β τρόπος
Από ΘΜΤΟΛ είναι άμεσο
γ τρόπος
Θεωρούμε την συνάρτηση F(x)=\int_{6}^{x}{f(t)dt} και ROLLE στο [6,18].

Re: Υπαρξιακό

Δημοσιεύτηκε: Πέμ Ιουν 04, 2015 7:09 pm
από Grosrouvre
Όλα αυτά, με την προϋπόθεση ότι η f είναι συνεχής στο [6,8].

Ή η καταγραφή του ολοκληρώματος και μόνον κάνει την f συνεχή;

Re: Υπαρξιακό

Δημοσιεύτηκε: Πέμ Ιουν 04, 2015 7:28 pm
από Mihalis_Lambrou
Grosrouvre έγραψε:Όλα αυτά, με την προϋπόθεση ότι η f είναι συνεχής στο [6,8].

Ή η καταγραφή του ολοκληρώματος και μόνον κάνει την f συνεχή;
Σε μαθήματα π.χ. στο Πανεπιστήμιο, η συνέχεια της f δεν έπεται: Στα Μαθηματικά Τμήματα
ορίζεται το ολοκλήρωμα σε μία ευρύτερη οικογένεια συναρτήσεων (τις Riemann ολοκληρώσιμες) που περιλαμβάνει
τις συνεχείς. Όμως στα Μαθηματικά του Σχολείου, το ολοκλήρωμα ορίζεται μόνο στις συνεχείς. Έτσι, αν η άσκηση απευθύνεται
σε μαθητές (όπως π.χ. ο παρών φάκελος) τότε η ολοκληρωσιμότητα εμπεριέχει στα συμφραζόμενα την συνέχεια.

Re: Υπαρξιακό

Δημοσιεύτηκε: Παρ Ιουν 05, 2015 8:55 pm
από Mihalis_Lambrou
gradion έγραψε:Αν για την συνάρτηση f,ισχύει \int_{6}^{18}f(x)dx=0,να δείξετε ότι υπαρχουν:
α)x_o \in (6,18): f(x_o)=0
b)x_1,x_2 \in(6,18): f(x_1)+f(x_2)=0
c)x_3\in(6,18): f(x_3)=2(x_3-12)
Επανέρχομαι με την παρατήρηση ότι τα b), c) μπορούν να γίνουν εύκολα με χρήση του αποδεικτέου στο a). Ακριβέστερα, έστω οτι δείξαμε πως αν \int_{a}^{b}f(x)dx=0 τότε υπάρχει x_o με f(x_o)=0. Υπάρχουν πολλές αποδείξεις αυτού, για παράδειγμα οι απλές που προτείνει ο Χρήστος παραπάνω, και άλλες.

Tο c) έπεται από το παραπάνω: Η απόδειξη που έκανα στο προηγούμενο ποστ μου το δείχνει, όπου η συνάρτηση που το εφαρμόζουμε είναι η f(x)-2(x-12).

Ας δούμε απόδειξη του b).

Εφαρμόζουμε το παραπάνω στο \int _6^{12}(f(x) + f(6+x))\, dx . Πράγματι, η αλλαγή μεταβλητής y=6+x στο δεύτερο δίνει

\int _6^{12}(f(x) + f(6+x))\, dx = \int _6^{12}f(x) dx + \int _6^{12} f(6+x)\, dx

= \int _6^{12}f(x) dx + \int _{12}^{18} f(y)\, dy= \int _6^{12}f(x) dx + \int _{12}^{18} f(x)\, dx =0

Άρα υπάρχει x_0\in (6, 12) με f(x_0) + f(6+x_0)=0, όπως θέλαμε (με δώρο το x_2-x_1=6).

Φιλικά,

Μιχάλης