Γράφω μια απάντηση που δεν μου αρέσει! Ελπίζω να δοθεί συντομότερη.
Η αποδεικτέα ισοδυναμεί με την
Το πρώτο μέλος της
είνα συμμετρικό πολυώνυμο στα
και ξέρουμε ότι εκφράζεται ως πολυώνυμο των στοιχειωδών συμμετρικών πολυωνύμων
,
,
των
.
Χρησιμοποιώντας γνωστές ταυτότητες το εκφράζουμε ως πολυώνυμο των
και βρίσκουμε ότι η
ισοδυναμεί με την
Η υπόθεση
μας πληροφορεί ότι
επομένως η αποδεικτέα
γίνεται
Οι μεταβλητές
υπόκεινται σε περιορισμούς.
'Ενας πρώτος περιορισμος προκύπτει από το ότι τα
είναι θετικοί πραγματικοί. Τα
είναι ρίζες του
που έχει διακρίνουσα(*)
Για να είναι τα
θετικά πρέπει η διακρίνουσα να είναι μη αρνητική
που με την επιπλέον υπόθεση ότι ότι
η γίνεται
.
Επομένως θα είναι
και
.
Ωστόσο οι υποθέσεις
μπορούν να γίνουν πιο ειδικές.
Από την ανισότητα του Cauchy έχουμε
Άρα λαμβάνοντας υπ' όψιν την υπόθεση
βρίσκουμε ότι
Επομένως πρέπει να αποδείξουμε ότι αν
και
τότε είναι
.
Αν κάνουμε την αλλαγή μεταβλητής
,
οι παραπάνω σχέσεις απλουστεύονται και καταλήγουμε να έχουμε υποθέσεις
και
και να θέλουμε να δείξουμε ότι
.
Μπορούμε να θεωρήσουμε τα
) και
ως τριώνυμα του
με παράμετρο το
. Δεν είναι δύσκολο να διαπιστώσουμε ότι για
και τα δύο έχουν δύο διαφορετικές ρίζες. Το πρώτο γίνεται
όταν το
είναι στο κλειστό διάστημα των ριζών του και το δεύτερο γίνεται
όταν το
βρίσκεται εκτός του ανοικτού διαστήματος των ριζών του. Αν αποδείξουμε ότι οι ρίζες του πρώτου είναι μεγαλύτερες και από τις δύο ρίζες του δεύτερου έχουμε τλειώσει.
Αρχικά θα δείξουμε ότι για δοθέν
τα δύο τριώνυμα δεν έχουν κοινή ρίζα. Ένας τρόπος είναι να χρησιμοποιήσουμε την απαλείφουσα (**) αλλά οι πράξεις είναι αρκετά επίπονες. Ένας άλλος είναι ο ακόλουθος: Ας υποθέσουμε ότι για
έχουν κοινή ρίζα
. Θέτουμε
και αντικαθιστούμε στα τριώνυμα. Βρίσκουμε ότι
και
Εύκολα διαπιστώνουμε ότι πρέπει
και απαλείφοντας το
και εξισώνοντας καταλήγουμε στην εξίσωση
Mε
είναι
και
επομένως η εξίσωση έχει μία ρίζα στο
. Η ρίζα αυτή είναι μοναδική. Αυτό διαπιστώνεται ή με μελέτη της συνάρτησης
ή υπολογίζοντας την διακρίνουσα του
που βρίσκεται
και επομένως έχει δύο μιγαδικές συζυγείς ρίζες και μία πραγματική. Αυτό έρχεται σε αντίθεση με τον περιορισμό
.
Ας συμβολίσουμε με
και
την μικρότερη και την μεγαλύτερη ρίζα του πρώτου και του δεύτερου τριωνύμου αντιστοίχως για δοθείσα τιμή του
. Οι συναρτήσεις
είνα συνεχείς στο
.
και αφού τα δύο τριώνυμα δεν έχουν κοινή ρίζα για κανένα
η συνάρτηση
διατηρεί πρόσημο. Αλλά
. Επομένως η
είναι θετική. Άρα
και η απόδειξη έχει ολοκληρωθεί.
_______________________________________________________________________________________________
(*) Υπενθυμίζεται ότι η διακρίνουσα ενός πολυωνύμου της μορφής
είναι η παράσταση
όπου
είναι οι ρίζες του. Πρόκειται για συμμετρικό πολυώνυμο των ριζών και εκφράζεται συναρτήσει των συντελεστών μέσω των σχέσεων του Vieta:
Οι ρίζες του πολυωνύμου είναι πραγματικές αν και μόνο αν η διακρίνουσα του είναι μη αρνητική και θετικές αν επιπλέον
είναι μη αρνητική οι συμμετρικές παραστάσεις είναι θετικές.
(**)
https://www.mathematica.gr/forum/viewto ... 60&t=25542
Edit 27-8-19 Αντικαταστάθηκαν οι λέξεις με κόκκινο με τις λέξεις με πράσινο στην υποσημείωση (*). Ευχαριστώ τον Σταύρο Παπαδόπουλο για την επισήμανση της αβλεψίας.