Καλημέρα! Χριστός Ανέστη και Χρόνια Πολλά σε όλους τους εορτάζοντες!
Μερικές παρατηρήσεις πάνω στη λύση του θέματος, που φέρνει στη μνήμη την Άσκηση 6 Β΄Ομάδας (σελ. 152) του σχολικού βιβλίου της Γ΄ Λυκείου και το θέμα Δ3 των Πανελλαδικών Εξετάσεων του 2014...
1. Η παραπάνω απόδειξη του Βασίλη δίνει ότι για

με

και

, η συνάρτηση

παρουσιάζει
τουλάχιστον τρία (ολικά) ελάχιστα και
τουλάχιστον δύο τοπικά μέγιστα. Μια πιο ολοκληρωμένη προσέγγιση θα μπορούσε να ήταν η ακόλουθη:
Για κάθε

και

είναι

όπου

Αν

, τότε

και εύκολα βρίσκουμε ότι η

παρουσιάζει (ολικό) ελάχιστο για

και

ίσο με

, και τοπικό μέγιστο για

ίσο με
Αν

, τότε

και εύκολα βρίσκουμε ότι η

παρουσιάζει (ολικό) ελάχιστο για

και

ίσο με

, και τοπικό μέγιστο για

ίσο με
Έστω ότι

με

και

. Η διακρίνουσα του τριωνύμου

είναι ίση με
![\displaystyle \Delta = 4{\left( {a + 4} \right)^2} - 12\left( {4a + 3} \right) = 4\left( {{a^2} - 4a + 7} \right) = 4\left[ {{{\left( {a - 2} \right)}^2} + 3} \right] > 0, \displaystyle \Delta = 4{\left( {a + 4} \right)^2} - 12\left( {4a + 3} \right) = 4\left( {{a^2} - 4a + 7} \right) = 4\left[ {{{\left( {a - 2} \right)}^2} + 3} \right] > 0,](/forum/ext/geomar/texintegr/latexrender/pictures/79df5e64dedb463a6f1d5213f423c9c7.png)
οπότε η εξίσωση

έχει δύο πραγματικές και άνισες ρίζες

και

, με (έστω)

Έχουμε ότι
και

Αν

, τότε

και

, οπότε

.
Αν

, τότε

και

, οπότε

.
Αν

, τότε

και

, οπότε

.
Σε κάθε περίπτωση, σχηματίζοντας τον πίνακα προσήμων της

βρίσκουμε ότι η

έχει
ακριβώς τρεις θέσεις (ολικού) ελαχίστου (ίσου με

), τις

,

και

και
ακριβώς δύο θέσεις τοπικού μεγίστου, τις

και

.
2.(ii.) Για

, είναι

με ρίζες

και

Από τα παραπάνω και λόγω της συμμετρίας της

ως προς την ευθεία με εξίσωση

, η μέγιστη τιμή του γινομένου

λαμβάνεται στα σημεία

και

και είναι ίση με
4. Θέτουμε, για ευκολία και ακρίβεια,

Όπως έδειξε ο Βασίλης παραπάνω, η εξίσωση

έχει λύση τον αριθμό

και είναι αδύνατη για
![\displaystyle a \in \left( { - \infty ,1} \right] \cup \left[ {3, + \infty } \right). \displaystyle a \in \left( { - \infty ,1} \right] \cup \left[ {3, + \infty } \right).](/forum/ext/geomar/texintegr/latexrender/pictures/07a306925b54cd74e9a9014f973bd0d8.png)
Θα αποδείξουμε ότι είναι αδύνατη για
Έστω ότι

Τότε, για
![\displaystyle x \in \left[ {1,a} \right] \displaystyle x \in \left[ {1,a} \right]](/forum/ext/geomar/texintegr/latexrender/pictures/35905698845597930fc48b188c52b8da.png)
έχουμε διαδοχικά:
Επίσης, για
![\displaystyle x \in \left[ {2,3} \right] \displaystyle x \in \left[ {2,3} \right]](/forum/ext/geomar/texintegr/latexrender/pictures/87b74bd85b21f4c64d17e7db78ea05ff.png)
έχουμε διαδοχικά:
Αλλά είναι

οπότε δείξαμε ότι για

ισχύει

Όμοια, για

ισχύει

και το ζητούμενο δείχθηκε.