Ανισοϊσότητα

Συντονιστές: achilleas, emouroukos, silouan

Άβαταρ μέλους
george visvikis
Επιμελητής
Δημοσιεύσεις: 8512
Εγγραφή: Παρ Νοέμ 01, 2013 9:35 am

Ανισοϊσότητα

#1

Μη αναγνωσμένη δημοσίευση από george visvikis » Παρ Αύγ 30, 2019 9:48 am

Αν x,y\in \mathbb{R}, να δείξετε ότι 4(x^2+xy+y^2)^3\geq 27x^2y^2(x+y)^2. Πότε ισχύει το ίσον;

Ευκλείδης Α Λυκείου



Λέξεις Κλειδιά:
Άβαταρ μέλους
ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ
Δημοσιεύσεις: 424
Εγγραφή: Πέμ Νοέμ 22, 2018 9:43 pm

Re: Ανισοϊσότητα

#2

Μη αναγνωσμένη δημοσίευση από ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ » Παρ Αύγ 30, 2019 10:27 am

george visvikis έγραψε:
Παρ Αύγ 30, 2019 9:48 am
Αν x,y\in \mathbb{R}, να δείξετε ότι 4(x^2+xy+y^2)^3\geq 27x^2y^2(x+y)^2. Πότε ισχύει το ίσον;

Ευκλείδης Α Λυκείου
Η λύση έχει κάποια λάθη (ελπίζω να διορθώνονται)
Καλημέρα!
Η ανισότητα γράφεται 4\left ( (x+y)^2-xy \right )^3\geq 27(xy)^2(x+y)^2

Θέτω x+y=a,xy=b και ισχύει a^2\geq 4b\Leftrightarrow b\leq \dfrac{a^2}{4}\,\,\ ,(1)

Εκτελούμε τις πράξεις και αρκεί 4a^6-12a^4b-15a^2b^2-4b^3\geq 0

Έχουμε 4a^6-12a^4b-15a^2b^2-4b^3\overset{(1)}{\geq }4a^6-12a^2\dfrac{a^4}{4}-\dfrac{15}{16}a^6-\dfrac{a^6}{64}=0

Η ισότητα πιάνεται για a^2=4b δηλαδή όταν x=y.
τελευταία επεξεργασία από ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ σε Παρ Αύγ 30, 2019 11:38 am, έχει επεξεργασθεί 1 φορά συνολικά.


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

Re: Ανισοϊσότητα

#3

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Παρ Αύγ 30, 2019 11:21 am

ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ έγραψε:
Παρ Αύγ 30, 2019 10:27 am
george visvikis έγραψε:
Παρ Αύγ 30, 2019 9:48 am
Αν x,y\in \mathbb{R}, να δείξετε ότι 4(x^2+xy+y^2)^3\geq 27x^2y^2(x+y)^2. Πότε ισχύει το ίσον;

Ευκλείδης Α Λυκείου
Καλημέρα!
Η ανισότητα γράφεται 4\left ( (x+y)^2-xy \right )^3\geq 27(xy)^2(x+y)^2

Θέτω x+y=a,xy=b και ισχύει a^2\geq 4b\Leftrightarrow b\leq \dfrac{a^2}{4}\,\,\ ,(1)

Εκτελούμε τις πράξεις και αρκεί 4a^6-12a^4b-15a^2b^2-4b^3\geq 0

Έχουμε 4a^6-12a^4b-15a^2b^2-4b^3\overset{(1)}{\geq }4a^6-12a^2\dfrac{a^4}{4}-\dfrac{15}{16}a^6-\dfrac{a^6}{64}=0

Η ισότητα πιάνεται για a^2=4b δηλαδή όταν x=y.
Πως προκύπτει η

-15a^2b^2\geq -\dfrac{15}{16}a^6 ;


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

Re: Ανισοϊσότητα

#4

Μη αναγνωσμένη δημοσίευση από Demetres » Παρ Αύγ 30, 2019 11:53 am

Επεξεργασία: Η λύση μου υποφέρει από το ίδιο λάθος με αυτό του Πρόδρομου. Θα επανέλθω.

Το ίδιο πρώτο βήμα με του Πρόδρομου αλλά θα χρησιμοποιήσω s = x+y και p = xy. Θα χρησιμοποιήσω επίσης τη γνωστή ανισότητα s^2 \geqslant 4p με ισότητα αν και μόνο αν x=y.

Θέλουμε να δείξουμε ότι: \displaystyle  4(s^2-p)^3 \geqslant 27p^2s^2

Έχουμε:

\displaystyle  4(s^2-p)^3 \geqslant 4\left(s^2 - \frac{s^2}{4} \right)^3 = \frac{27s^6}{16} \geqslant 27s^2p^2

όπως θέλαμε να δείξουμε. Η ισότητα ισχύει αν και μόνο αν s^2 = 4p το οποίο είναι ισοδύναμο με x=y.

Ίσως λίγο δύσκολη για Ευκλείδη Α' Λυκείου.


Άβαταρ μέλους
ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ
Δημοσιεύσεις: 424
Εγγραφή: Πέμ Νοέμ 22, 2018 9:43 pm

Re: Ανισοϊσότητα

#5

Μη αναγνωσμένη δημοσίευση από ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ » Παρ Αύγ 30, 2019 12:30 pm

george visvikis έγραψε:
Παρ Αύγ 30, 2019 9:48 am
Αν x,y\in \mathbb{R}, να δείξετε ότι 4(x^2+xy+y^2)^3\geq 27x^2y^2(x+y)^2. Πότε ισχύει το ίσον;

Ευκλείδης Α Λυκείου
Συνεχίζω από το σημείο 4a^6-12a^4b-15a^2b^2-4b^3\geq 0.

Είναι 4a^6-12a^4b-15a^2b^2-4b^3=4a^6+4a^4b+a^2b^2-16a^4b-16a^2b^2-4b^3=a^2(4a^2+4a^2b+b^2)-..-4b(4a^4+4a^2b+b^2)=(a^2-4b)(2a^2+b)^2\geq 0

Η ισότητα όταν a^2=4b ,x=y ή όταν 2a^2+b=0 \Leftrightarrow 2x^2+5xy+2y^2=0\Leftrightarrow x=-2y,x=\dfrac{-y}{2}


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

Re: Ανισοϊσότητα

#6

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Παρ Αύγ 30, 2019 12:40 pm

george visvikis έγραψε:
Παρ Αύγ 30, 2019 9:48 am
Αν x,y\in \mathbb{R}, να δείξετε ότι 4(x^2+xy+y^2)^3\geq 27x^2y^2(x+y)^2. Πότε ισχύει το ίσον;

Ευκλείδης Α Λυκείου
Αν τα x,y είναι ομόσημα τότε οι λύσεις του Δημήτρη και του Πρόδρομου
είναι μια χαρά.

Αν είναι ετερόσημα γράφεται

4(x^2-xy+y^2)^3\geq 27x^2y^2(x-y)^2.
με x,y ομόσημα.

Λόγω ομογενειας μπορούμε να υποθέσουμε ότι x-y=1

Θέτοντας a=xy

η προς απόδειξη γράφεται

4(1+a)^3\geq 27a^2

με a μη αρνητικό.

Αλλά 4(1+a)^3- 27a^2=4(a-2)^2(a+\frac{1}{4})\geq 0

για  a\geq 0.

ισότητα έχουμε σε αυτή την περίπτωση για x=2y

Δηλαδή στην αρχική έχουμε ισότητα αν x=y η x=-2y η y=-2x


Άβαταρ μέλους
Ορέστης Λιγνός
Δημοσιεύσεις: 1496
Εγγραφή: Κυρ Μάιος 08, 2016 7:19 pm
Τοποθεσία: Χαλάνδρι Αττικής

Re: Ανισοϊσότητα

#7

Μη αναγνωσμένη δημοσίευση από Ορέστης Λιγνός » Παρ Αύγ 30, 2019 12:48 pm

Μία άλλη λύση.

Θέτω, x=yk και αρκεί να δείξω ότι (μετά από κάποιες πράξεις) , 4y^6(k^2+k+1)^3 \geqslant 27y^6k^2(k+1)^2.

Αν y^6=0 τότε προφανώς η δοσμένη ισχύει ως ισότητα.

Αν y^6 \neq 0, απλοποιώ και αρκεί 4(k^2+k+1)^3 \geqslant 27(k^2+k)^2.

Έστω, k^2+k=M και αρκεί μετά τις πράξεις (M-2)^2(4M+1) \geqslant 0 που ισχύει διότι (M-2)^2 \geqslant 0 και 4M+1=4(k^2+k)+1=(2k+1)^2 \geqslant 0, οπότε η απόδειξη ολοκληρώθηκε.

Η ισότητα, όταν M=2 ή M=-1/4.

Αν M=2 \Rightarrow k^2+k=2 \Rightarrow k \in \{1,-2 \} άρα x=y ή x=-2y.

Αν M=-1/4 \Rightarrow k=-1/2 \Rightarrow x=\dfrac{-y}{2}.


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

Re: Ανισοϊσότητα

#8

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Παρ Αύγ 30, 2019 12:57 pm

george visvikis έγραψε:
Παρ Αύγ 30, 2019 9:48 am
Αν x,y\in \mathbb{R}, να δείξετε ότι 4(x^2+xy+y^2)^3\geq 27x^2y^2(x+y)^2. Πότε ισχύει το ίσον;

Ευκλείδης Α Λυκείου
Να το δουμε και λίγο διαφορετικά.
Αν y=0 προφανώς ισχύει.
Διαιρώντας με το y και θέτοντας a=\frac{x}{y}
γράφεται
4(a^2+a+1)^3\geq 27a^2(a+1)^2

Θέτοντας r=a(a+1)
γίνεται
4(r+1)^3\geq 27r^2
που ισχύει λόγω του ότι
4(r+1)^3- 27r^2=4(r-2)^2(r+\frac{1}{4})
και
a(a+1)\geq \frac{1}{4}


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

Re: Ανισοϊσότητα

#9

Μη αναγνωσμένη δημοσίευση από Demetres » Παρ Αύγ 30, 2019 1:24 pm

Ορέστης Λιγνός έγραψε:
Παρ Αύγ 30, 2019 12:48 pm
αρκεί 4(k^2+k+1)^3 \geqslant 27(k^2+k)^2.

Διαφορετικά από εδώ. Γνωρίζουμε ότι η διακρίνουσα του πολυωνύμου f(x) = x^3+px+q είναι \Delta = -4p^3-27q^2. Επιλέγοντας p = -(k^2+k+1) και q = k^2+k αρκεί να δείξω ότι \Delta \geqslant 0. Αυτό είναι ισοδύναμο με το πολυώνυμο να έχει τρεις πραγματικές ρίζες με την ισότητα να λαμβάνεται όταν τουλάχιστον δύο από τις ρίζες είναι ίσες.

Έχουμε f(x) = x^3-(k^2+k+1)x + k^2+k. Παρατηρούμε ότι η x=1 είναι ρίζα οπότε παραγοντοποιούμε ως f(x) = (x-1)(x^2+x-(k^2+k)) = (x-1)(x-k)(x+k+1). Άρα όντως όλες οι ρίζες είναι πραγματικές με ισότητα αν και μόνο αν k=1 ή -k-1=1 ή k = -k-1 που δίνουν k=1,-2,-\tfrac{1}{2} αντίστοιχα.


ksofsa
Δημοσιεύσεις: 170
Εγγραφή: Κυρ Απρ 18, 2010 9:42 pm
Τοποθεσία: Ηράκλειο Κρήτης

Re: Ανισοϊσότητα

#10

Μη αναγνωσμένη δημοσίευση από ksofsa » Παρ Αύγ 30, 2019 4:34 pm

Μια ακόμα λύση:

Διακρίνουμε 2 περιπτώσεις:

1) Οι x,y είναι ομόσημοι.

Τότε, δεδομένης της μορφής της ανισότητας , μπορώ να υποθέσω ότι x,y θετικοί, χωρίς βλάβη της γενικότητας.

Από την ανισότητα αριθμητικού-γεωμετρικού μέσου έχω

\frac{27}{4}x^2y^2(x+y)^2=27xy\cdot \frac{x(x+y)}{2}\cdot \frac{y(x+y)}{2}\leq (\frac{x^2+y^2+4xy}{2})^3

Επομένως αρκεί ν.δ.ό.

(x^2+xy+y^2)^3\geq \frac{(x^2+4xy+y^2)^3}{2^3}\Leftrightarrow 2x^2+2xy+2y^2\geq x^2+4xy+y^2\Leftrightarrow (x-y)^2\geq 0, που ισχύει.

2)Οι x,y ετερόσημοι.

Εστω x\geq 0,y\leq 0.

Θέτω a=-y\geq 0.

Οπότε, η ανισότητα γράφεται:

4(x^2-ax+a^2)^3\geq 27a^2x^2(x-a)^2

Θέτω b=x-a και υποθέτω χωρίς βλάβη της γενικότητας ότι b\geq 0

Τότε η ανισότητα γράφεται

4(a^2+ab+b^2)^3\geq 27a^2b^2(a+b)^2, που ισχύει λόγω της πρώτης περίπτωσης.


Κώστας Σφακιανάκης
Άβαταρ μέλους
george visvikis
Επιμελητής
Δημοσιεύσεις: 8512
Εγγραφή: Παρ Νοέμ 01, 2013 9:35 am

Re: Ανισοϊσότητα

#11

Μη αναγνωσμένη δημοσίευση από george visvikis » Σάβ Αύγ 31, 2019 2:15 pm

Για την ιστορία: Την άσκηση την βρήκα σε ένα παλιό μου τετράδιο, όταν ήμουν ακόμα μαθητής. Την είχαμε κάνει στο φροντιστήριο με καθηγητή τον Λάζαρο Θρουμουλόπουλο και με την υπόδειξη: Χρησιμοποιήστε (χωρίς αυτό να είναι απαραίτητο) τον μετασχηματισμό x-y=a και xy=b. Οπότε έχουμε:

\displaystyle 4{({a^2} + 3b)^3} \ge 27{b^2}{({a^2} + 4b)^2} \Leftrightarrow ... \Leftrightarrow {a^2}{(2{a^2} + 9b)^2} \ge 0, που ισχύει.

Η ισότητα επιτυγχάνεται για \displaystyle a = 0 \Leftrightarrow \boxed{x=y} ή \displaystyle 2{a^2} + 9b = 0 \Leftrightarrow \boxed{y =  - 2x \vee y =  - \frac{1}{2}x}


nikhtas30
Δημοσιεύσεις: 13
Εγγραφή: Πέμ Ιούλ 25, 2019 5:04 pm

Re: Ανισοϊσότητα

#12

Μη αναγνωσμένη δημοσίευση από nikhtas30 » Σάβ Αύγ 31, 2019 3:12 pm

x=y=0


Άβαταρ μέλους
george visvikis
Επιμελητής
Δημοσιεύσεις: 8512
Εγγραφή: Παρ Νοέμ 01, 2013 9:35 am

Re: Ανισοϊσότητα

#13

Μη αναγνωσμένη δημοσίευση από george visvikis » Σάβ Αύγ 31, 2019 5:57 pm

nikhtas30 έγραψε:
Σάβ Αύγ 31, 2019 3:12 pm
x=y=0
Πώς προέκυψε αυτό;


nikhtas30
Δημοσιεύσεις: 13
Εγγραφή: Πέμ Ιούλ 25, 2019 5:04 pm

Re: Ανισοϊσότητα

#14

Μη αναγνωσμένη δημοσίευση από nikhtas30 » Σάβ Αύγ 31, 2019 6:05 pm

george visvikis έγραψε:
Σάβ Αύγ 31, 2019 5:57 pm
nikhtas30 έγραψε:
Σάβ Αύγ 31, 2019 3:12 pm
x=y=0
Πώς προέκυψε αυτό;
Δεν ξέρω απλά είδα την ανίσωση και μου φάνηκε προφανές.


Άβαταρ μέλους
george visvikis
Επιμελητής
Δημοσιεύσεις: 8512
Εγγραφή: Παρ Νοέμ 01, 2013 9:35 am

Re: Ανισοϊσότητα

#15

Μη αναγνωσμένη δημοσίευση από george visvikis » Σάβ Αύγ 31, 2019 6:25 pm

nikhtas30 έγραψε:
Σάβ Αύγ 31, 2019 6:05 pm
george visvikis έγραψε:
Σάβ Αύγ 31, 2019 5:57 pm
nikhtas30 έγραψε:
Σάβ Αύγ 31, 2019 3:12 pm
x=y=0
Πώς προέκυψε αυτό;
Δεν ξέρω απλά είδα την ανίσωση και μου φάνηκε προφανές.
Κατ' αρχάς, καλωσόρισες στο φόρουμ!

Στο θέμα μας τώρα. Όταν σε μία ανισοϊσότητα εξετάζουμε πότε ισχύει το ίσον, πρέπει να τεκμηριώνουμε την απάντησή

μας. Για παράδειγμα \displaystyle {a^2} + {b^2} \ge 2ab. Είναι προφανές ότι για a=b=0 ισχύει ως ισότητα. Δεν μπορούμε όμως να

σταθούμε μόνο σ' αυτό που βγήκε στην τύχη. Κοιτάζοντας πιο προσεκτικά, παρατηρούμε ότι \displaystyle {(a - b)^2} \ge 0 και η ισότητα

ισχύει για κάθε \boxed{a=b} και όχι μόνο όταν παίρνουν την τιμή 0. Ομοίως και στην παραπάνω άσκηση.


Απάντηση

Επιστροφή σε “Άλγεβρα - Επίπεδο Θαλή/Ευκλείδη (Seniors)”

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

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