Γιώργος Ρίζος έγραψε: Τετ Ιουν 22, 2022 8:18 pm
Καλησπέρα σε όλους. Μετά τα ταχυδακτυλουργικά κόλπα του
Δημήτρη (

)
Ταχυδακτυλουργικό αφού
1) Απέκρυψα τα βήματά μου.
2) Αν και θα μπορούσα να το αποφύγω (θα δούμε πως) έκλεψα γνωρίζοντας την τελική απάντηση.
Ας δούμε το κόλπο λοιπόν.
Θέλουμε να χρησιμοποιήσουμε την Cauchy-Schwarz για να βρούμε την ελάχιστη τιμή της
για

. Στόχος είναι στο δεξί μέλος να απαλειφθεί το

αλλά αυτό θα το κάνουμε σταδιακά. Προς το παρόν, αφού δεν ξέρουμε στην περίπτωση της ισότητας πως σχετίζονται τα

και

είμαστε αναγκασμένοι να πάμε με το
για κάποιο

.
Ας σημειώσουμε για τη συνέχεια ότι η ισότητα ισχύει αν και μόνο αν

.
Θέλουμε τώρα να εξαφανίσουμε το

από τον αριθμητή, άρα ψάχνουμε μια ανισότητα της μορφής

. Θα μπορούσαμε να παραγωγίσουμε τώρα αλλά θα το αποφύγω.
Ας θέσω

ώστε να εργαστώ στη διάστημα

. Τότε έχω
με ισότητα αν και μόνο αν

, δηλαδή αν και μόνο αν

. Ισοδύναμα, αν και μόνο αν

.
Καταλήγω στην
Για να ισχύουν ταυτόχρονα οι δύο ισότητες χρειάζομαι
Σε αυτήν την περίπτωση

και καταλήγουμε στην προηγούμενη λύση της μίας γραμμής.
Για να μείνει σε μία γραμμή, στην μεγιστοποίηση του

απέφυγα την αλλαγή μεταβλητής σε

, έγραψα το μέγιστο το οποίο γνώριζα ότι ήταν το

και βρήκα τι έπρεπε να προσθέσω το οποίο αναγκαστικά θα ήταν μη αρνητικό. Θα ήταν ασφαλώς μια ρητή συνάρτηση του

η οποία θα μηδενιζόταν στο

με αριθμητή βαθμού 2 και παρονομαστή βαθμού 1 οπότε θα προέκυπτε άμεσα ότι θα ήταν όντως μη αρνητικό.