Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

dement
Διευθύνον Μέλος
Δημοσιεύσεις: 1417
Εγγραφή: Τρί Δεκ 23, 2008 10:11 am

Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#1

Μη αναγνωσμένη δημοσίευση από dement » Τρί Νοέμ 15, 2016 11:19 am

Το τελευταίο θέμα για φέτος.

Έστω μονικό πολυώνυμο P(x) \in \mathbb{R}[x] με μη μηδενικό σταθερό όρο. Θα λέμε ότι το πολυώνυμο είναι SNS αν και μόνο αν οι ρίζες του είναι ακριβώς οι μη μεγιστοβάθμιοι συντελεστές του (με τις σωστές πολλαπλότητες), δηλαδή

\displaystyle P(x) = x^n + \sum_{k=0}^{n-1} c_k x^k = \prod_{k=0}^{n-1} (x - c_k) με n \in \mathbb{N}^*, c_0 \neq 0.

1. Να προσδιορισθούν όλα τα τριτοβάθμια SNS πολυώνυμα στο \mathbb{Q}[x].

2. Να αποδειχθεί ότι δεν υπάρχει SNS πολυώνυμο βαθμού n \geqslant 6.


Δημήτρης Σκουτέρης

Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.

Λέξεις Κλειδιά:
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3342
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#2

Μη αναγνωσμένη δημοσίευση από gbaloglou » Παρ Νοέμ 18, 2016 8:50 pm

Ας δούμε το (1), που υποπτεύομαι ότι είναι ΠΟΛΥ πιο εύκολο από το (2):

Από x^3+c_2x^2+c_1x+c_0=(x-c_0)(x-c_1)(x-c_2) προκύπτουν οι

c_2=-c_2-c_1-c_0, c_1=c_2c_1+c_2c_0+c_1c_0, c_0=-c_0c_1c_2.

Επειδή c_0\neq0 προκύπτει άμεσα η

c_2=-\displaystyle\frac{1}{c_1},

που, μαζί με την c_2=-\displaystyle\frac{c_1+c_0}{2}, οδηγεί στην

c_0=\displaystyle\frac{2-c_1^2}{c_1}.

Αντικαθιστώντας τις c_2=-\displaystyle\frac{1}{c_1} και c_0=\displaystyle\frac{2-c_1^2}{c_1} στην c_1=c_2c_1+c_2c_0+c_1c_0 καταλήγουμε στην μερικώς παραγοντοποιήσιμη τεταρτοβάθμια

(c_1+1)(c_1^3-2c_1+2)=0,

της οποίας μοναδική ρητή ρίζα είναι η c_1=-1. Συμπεραίνουμε, με c_1=-1 και c_0=-1, c_2=1, ότι το μοναδικό τριτοβάθμιο πολυώνυμο με την ζητούμενη ιδιότητα και με ρητούς συντελεστές είναι το

x^3+x^2-x-1=(x+1)^2(x-1).

ΕΠΕΞΕΡΓΑΣΙΑ 21-11-16: διόρθωση τριτοβάθμιου παράγοντα (που δεν επηρεάζει το αποτέλεσμα)
τελευταία επεξεργασία από gbaloglou σε Δευ Νοέμ 21, 2016 12:25 pm, έχει επεξεργασθεί 1 φορά συνολικά.


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
dement
Διευθύνον Μέλος
Δημοσιεύσεις: 1417
Εγγραφή: Τρί Δεκ 23, 2008 10:11 am

Re: Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#3

Μη αναγνωσμένη δημοσίευση από dement » Παρ Νοέμ 18, 2016 10:28 pm

Σωστά Γιώργο.

Να προσθέσω ότι το δεύτερο ερώτημα στις εξετάσεις συνοδευόταν από υπόδειξη, την οποία σκοπίμως παρέλειψα.


Δημήτρης Σκουτέρης

Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3342
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#4

Μη αναγνωσμένη δημοσίευση από gbaloglou » Σάβ Νοέμ 19, 2016 11:31 am

dement έγραψε:Σωστά Γιώργο.

Να προσθέσω ότι το δεύτερο ερώτημα στις εξετάσεις συνοδευόταν από υπόδειξη, την οποία σκοπίμως παρέλειψα.
Δημήτρη ορθώς έπραξες, θα το παλέψουμε!


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3342
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#5

Μη αναγνωσμένη δημοσίευση από gbaloglou » Δευ Νοέμ 21, 2016 12:37 pm

gbaloglou έγραψε:Ας δούμε το (1), που υποπτεύομαι ότι είναι ΠΟΛΥ πιο εύκολο από το (2):

Από x^3+c_2x^2+c_1x+c_0=(x-c_0)(x-c_1)(x-c_2) προκύπτουν οι

c_2=-c_2-c_1-c_0, c_1=c_2c_1+c_2c_0+c_1c_0, c_0=-c_0c_1c_2.

Επειδή c_0\neq0 προκύπτει άμεσα η

c_2=-\displaystyle\frac{1}{c_1},

που, μαζί με την c_2=-\displaystyle\frac{c_1+c_0}{2}, οδηγεί στην

c_0=\displaystyle\frac{2-c_1^2}{c_1}.

Αντικαθιστώντας τις c_2=-\displaystyle\frac{1}{c_1} και c_0=\displaystyle\frac{2-c_1^2}{c_1} στην c_1=c_2c_1+c_2c_0+c_1c_0 καταλήγουμε στην μερικώς παραγοντοποιήσιμη τεταρτοβάθμια

(c_1+1)(c_1^3-2c_1+2)=0,

της οποίας μοναδική ρητή ρίζα είναι η c_1=-1. Συμπεραίνουμε, με c_1=-1 και c_0=-1, c_2=1, ότι το μοναδικό τριτοβάθμιο πολυώνυμο με την ζητούμενη ιδιότητα και με ρητούς συντελεστές είναι το

x^3+x^2-x-1=(x+1)^2(x-1).

ΕΠΕΞΕΡΓΑΣΙΑ 21-11-16: διόρθωση τριτοβάθμιου παράγοντα (που δεν επηρεάζει το αποτέλεσμα)
Ας βρούμε, προσεγγιστικά, και το άλλο SNS πολυώνυμο: αντιστοιχεί στην μοναδική πραγματική ρίζα της c_1^3-2c_1+2=0, που είναι η c_1\approx-1,7693, οπότε από τους παραπάνω τύπους προκύπτουν οι c_0\approx0,6389, c_2\approx0,5652, και το ζητούμενο πολυώνυμο είναι, προσεγγιστικά πάντοτε, το x^3+0,5652x^2-1,7693x+0,6389.


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3342
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#6

Μη αναγνωσμένη δημοσίευση από gbaloglou » Δευ Νοέμ 21, 2016 2:48 pm

Συνεχίζω με την εύρεση του μοναδικού, όπως προκύπτει, τεταρτοβάθμιου SNS πολυωνύμου (με πραγματικούς συντελεστές):

Από την x^4+c_3x^3+c_2x^2+c_1x+c_0=(x-c_3)(x-c_2)(x-c_1)(x-c_0) προκύπτουν, όπως και στην περίπτωση του τριτοβάθμιου πολυωνύμου, οι σχέσεις

c_3=-\displaystyle\frac{c_2+c_1+c_0}{2} και c_3=\displaystyle\frac{1}{c_2c_1},

από τις οποίες προκύπτει η

c_0=-(c_2+c_1)-\displaystyle\frac{2}{c_2c_1}.

Με αντικατάσταση αυτών των σχέσεων στις υπόλοιπες δύο αρχικές ισότητες προκύπτει το μη γραμμικό σύστημα

c_2=-\displaystyle\frac{2}{(c_2c_1)^2}+c_2c_1-(c_2+c_1)^2-\frac{2(c_2+c_1)}{c_2c_1}

c_1=1+\displaystyle\frac{2(c_2+c_1)}{(c_2c_1)^2}+\frac{(c_2+c_1)^2}{c_2c_1}+c_2c_1(c_2+c_1).

Αυτό το σύστημα δεν φαίνεται να είναι επιλύσιμο με το χέρι. Το WolframAlpha -- βλέπε και συνημμένο -- δίνει δύο πραγματικές λύσεις, μία ακριβή και προφανή (εκ των υστέρων), την c_1=-1, c_2=-1, και μία προσεγγιστική, την c_1\approx-0,56984, c_2\approx-1,75488. Η πρώτη λύση απορρίπτεται γιατί οδηγεί στην c_0=0, ενώ η δεύτερη μας δίνει, προσεγγιστικά πάντοτε, το μοναδικό SNS πολυώνυμο τετάρτου βαθμού, το

x^4+x^3-1,75488x^2-0,56984x+0,32472.

(Πράγματι, οι ρίζες του πολυωνύμου είναι, περίπου, οι 1, -1,75488, -0,56984, 0,32472.)
Συνημμένα
4SNS.gif
4SNS.gif (6.8 KiB) Προβλήθηκε 4034 φορές


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3342
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#7

Μη αναγνωσμένη δημοσίευση από gbaloglou » Δευ Νοέμ 21, 2016 6:26 pm

Και οι δύο λύσεις, έγκυρη και άκυρη, του μη γραμμικού 2x2 συστήματος στο οποίο ανάγεται η περίπτωση του τεταρτοβάθμιου πολυωνύμου ικανοποιούν την c_1c_2=1: δεν υπάρχει προφανής λόγος γι αυτό, σύμπτωση δεν μπορεί να είναι, ίσως να κρύβει κάποια μεγάλη αλήθεια;


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3342
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#8

Μη αναγνωσμένη δημοσίευση από gbaloglou » Δευ Νοέμ 21, 2016 8:41 pm

Για SNS πολυώνυμα έκτου (ή μεγαλύτερου) βαθμού ... το είπαμε, δεν γίνεται (έστω και αν δεν ξέρουμε ακόμη γιατί), ας δούμε, έτσι για την τιμή των όπλων, και επί τροχάδην, τι γίνεται στον πέμπτο βαθμό -- παραθέτω το βασικό 3x3 σύστημα (που ούτε το WolframAlpha δεν μπορεί να λύσει):

c_3=-\displaystyle\frac{2}{(c_3c_2c_1)^2}+\frac{2(c_3+c_2+c_1)}{c_3c_2c_1}-(c_3+c_2+c_1)^2+(c_3c_2+c_3c_1+c_2c_1)

c_2=\displaystyle\frac{2(c_3+c_2+c_1)}{(c_3c_2c_1)^2}-\frac{((c_3+c_2+c_1)^2+(c_3c_2+c_3c_1+c_2c_1))}{c_3c_2c_1}-c_3c_2c_1+(c_3+c_2+c_1)(c_3c_2+c_3c_1+c_2c_1)

c_1=1-\displaystyle\frac{2(c_3c_2+c_3c_1+c_2c_1)}{(c_3c_2c_1)^2}+\frac{(c_3+c_2+c_1)(c_3c_2+c_3c_1+c_2c_1)}{c_3c_2c_1}-c_3c_2c_1(c_3+c_2+c_1)

...Όσες λεπτομέρειες παραλείπονται είναι πανομοιότυπες προς ότι συνέβη στις περιπτώσεις τέταρτου και τρίτου βαθμού. Οι ομοιότητες προς αυτές τις δύο περιπτώσεις είναι προφανείς, και ίσως δώσουν κάποια φαεινή ιδέα για την απόδειξη της μη ύπαρξης SNS πολυωνύμων έκτου κλπ βαθμού ... αν και πιστεύω ότι κάποια ριζικά διαφορετική ιδέα απαιτείται...

(Για την ορθότητα των τριών ισοτήτων δεν εγγυώμαι, καθώς, σε αντίθεση προς τις προηγούμενες περιπτώσεις, δεν γνωρίζω αν η επίλυση του συστήματος όντως οδηγεί σε SNS πολυώνυμο. Αν κάποιος έχει πρόσβαση σε καλύτερο πακέτο και μπορεί να λύσει το σύστημα...)


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
dement
Διευθύνον Μέλος
Δημοσιεύσεις: 1417
Εγγραφή: Τρί Δεκ 23, 2008 10:11 am

Re: Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#9

Μη αναγνωσμένη δημοσίευση από dement » Τρί Δεκ 13, 2016 10:56 am

Επαναφορά!


Δημήτρης Σκουτέρης

Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3342
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#10

Μη αναγνωσμένη δημοσίευση από gbaloglou » Τρί Δεκ 13, 2016 7:49 pm

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


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3342
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#11

Μη αναγνωσμένη δημοσίευση από gbaloglou » Τετ Δεκ 14, 2016 8:06 am

gbaloglou έγραψε:Θα ήθελα απλώς να αναφέρω ότι, με βάση την παραπάνω δουλειά μου και κάποια 'πειράματα' ... είμαι πια σχεδόν σίγουρος ότι ούτε πέμπτου βαθμού SNS πολυώνυμο υπάρχει!
Πιο συγκεκριμένα, ΕΙΚΑΖΩ -- με στρατηγική που προς το παρόν αποτυγχάνει -- ότι η πρώτη εξίσωση του 3x3 συστήματος, δηλαδή η

c_3=-\displaystyle\frac{2}{(c_3c_2c_1)^2}+\frac{2(c_3+c_2+c_1)}{c_3c_2c_1}-(c_3+c_2+c_1)^2+(c_3c_2+c_3c_1+c_2c_1),

δεν έχει πραγματικές λύσεις!

[Εικάζω επίσης ότι δεν έχουν πραγματικές λύσεις ούτε οι ανάλογες εξισώσεις στον έκτο κλπ βαθμό, τεσσάρων κλπ μεταβλητών, και βεβαίως η επαλήθευση της εικασίας θα οδηγούσε σε άμεση λύση του θέματος SNS-6.2. (Στην περίπτωση του τετάρτου βαθμού βλέπουμε ότι η ανάλογη -- παρά την αλλαγή ενός προσήμου -- εξίσωση δύο μεταβλητών,

c_2=-\displaystyle\frac{2}{(c_2c_1)^2}-\frac{2(c_2+c_1)}{c_2c_1}-(c_2+c_1)^2+c_2c_1,

οδηγεί στην οριακά υπαρκτή κλειστή καμπύλη του συνημμένου!)]
C2.gif
C2.gif (4.07 KiB) Προβλήθηκε 3815 φορές


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3342
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#12

Μη αναγνωσμένη δημοσίευση από gbaloglou » Κυρ Δεκ 18, 2016 2:03 am

gbaloglou έγραψε:
gbaloglou έγραψε:Θα ήθελα απλώς να αναφέρω ότι, με βάση την παραπάνω δουλειά μου και κάποια 'πειράματα' ... είμαι πια σχεδόν σίγουρος ότι ούτε πέμπτου βαθμού SNS πολυώνυμο υπάρχει!
Πιο συγκεκριμένα, ΕΙΚΑΖΩ -- με στρατηγική που προς το παρόν αποτυγχάνει -- ότι η πρώτη εξίσωση του 3x3 συστήματος, δηλαδή η

c_3=-\displaystyle\frac{2}{(c_3c_2c_1)^2}+\frac{2(c_3+c_2+c_1)}{c_3c_2c_1}-(c_3+c_2+c_1)^2+(c_3c_2+c_3c_1+c_2c_1),

δεν έχει πραγματικές λύσεις!
Ιδού η στρατηγική που όντως αποτυγχάνει -- χωρίς αυτό να σημαίνει ότι δεν ισχύει η παραπάνω εικασία! -- στην περίπτωση πολυωνύμου πέμπτου βαθμού: παρατίθεται εδώ ΚΑΙ επειδή επιτυγχάνει στα πολυώνυμα έκτου ή μεγαλύτερου βαθμού, επιλύοντας το SNS-6.2 (όπως δείχνω στην επόμενη δημοσίευση)!

Θεωρώντας την παραπάνω εξίσωση είτε ως δευτεροβάθμια ως προς c_3+c_2+c_1 είτε ως δευτεροβάθμια ως προς \displaystyle\frac{1}{c_3c_2c_1}, συμπεραίνουμε ότι έχει πραγματικές λύσεις ως προς c_3, c_2, c_1 αν και μόνον αν είναι μη αρνητικές οι αντίστοιχες διακρίνουσες, δηλαδή αν και μόνον αν ισχύουν ταυτόχρονα οι ανισότητες

-\displaystyle\frac{1}{(c_3c_2c_1)^2}+(c_3c_2+c_3c_1+c_2c_1)-c_3\geq0,

-(c_3+c_2+c_1)^2+2(c_3c_2+c_3c_1+c_2c_1)-2c_3\geq0.

Η δεύτερη ανισότητα διακρίνουσας γράφεται και ως (c_3+1)^2+c_2^2+c_1^2\leq1, συνεπαγόμενη τις -2\leq c_3\leq 0, -1\leq c_2\leq 1, -1\leq c_1\leq 1. Ισχύοντας λοιπόν η δεύτερη ανισότητα διακρίνουσας ... δημιουργεί ελπίδες μη ισχύος της πρώτης ανισότητας διακρίνουσας ... καθώς οι μικρές σχετικά τιμές των c_3, c_2, c_1 ΙΣΩΣ μεγαλώνουν υπερβολικά τον αρνητικό όρο -\displaystyle\frac{1}{(c_3c_2c_1)^2}, κλπ κλπ

Ένας τρόπος πραγμάτωσης των παραπάνω, βασιζόμενος στην -2\leq c_3\leq 0, είναι ο εξής: χρησιμοποιώντας τις γνωστές ανισότητες (c_2c_1)^2\leq \displaystyle\frac{(c_2^2+c_1^2)^2}{4} και c_3c_2+c_3c_1+c_2c_1\leq c_3^2+c_2^2+c_1^2, καθώς και την δεύτερη ανισότητα διακρίνουσας στις μορφές c_2^2+c_1^2\leq -c_3^2-2c_3 και c_3^2+c_2^2+c_1^2\leq -2c_3, συμπεραίνουμε ότι ισχύει η ανισότητα

-\displaystyle\frac{1}{(c_3c_2c_1)^2}+(c_3c_2+c_3c_1+c_2c_1)-c_3\leq -\frac{4}{c_3^2(c_3^2+2c_3)^2}-3c_3.

ΑΝ τώρα ίσχυε, για -2\leq c_3\leq 0, και η -\displaystyle\frac{4}{c_3^2(c_3^2+2c_3)^2}-3c_3<0, ισοδύναμη προς την

-\displaystyle\frac{4}{3}<c_3^5(c_3+2)^2 για -2\leq c_3\leq 0,

ΤΟΤΕ θα είχαμε αποδείξει ότι η ισχύς της δεύτερης ανισότητας διακρίνουσας συνεπάγεται την μη ισχύ της πρώτης ανισότητας διακρίνουσας, και θα είχαμε πετύχει τον στόχο μας: δυστυχώς η επιθυμητή ανισότητα ΔΕΝ ισχύει στο δοθέν διάστημα, πχ για c_3=-\displaystyle\frac{3}{2} ή για c_3=-\displaystyle\frac{10}{7} (όπου η c_3^5(c_3+2)^2 έχει ολικό ελάχιστο στο [-2,0]).


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3342
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#13

Μη αναγνωσμένη δημοσίευση από gbaloglou » Κυρ Δεκ 18, 2016 2:08 am

Όπως ήδη ανέφερα, η στρατηγική της προηγούμενης δημοσίευσης, ανεπιτυχής στην περίπτωση πολυωνύμου πέμπτου βαθμού, είναι επιτυχής στην περίπτωση πολυωνύμων έκτου, εβδόμου, κλπ βαθμού: η μη αρνητικότητα της δεύτερης διακρίνουσας συνεπάγεται την αρνητικότητα της πρώτης διακρίνουσας!

Ας το δούμε στην περίπτωση πολυωνύμου έκτου βαθμού... Η εξίσωση που θέλουμε να δείξουμε ότι δεν έχει πραγματικές λύσεις είναι η

(c_4+c_3+c_2+c_1)^2+\displaystyle\frac{2}{c_4c_3c_2c_1}(c_4+c_3+c_2+c_1)+\frac{2}{(c_4c_3c_2c_1)^2}-(c_4c_3+c_4c_2+c_4c_1+c_3c_2+c_3c_1+c_2c_1)+c_4=0,

ή, ισοδύναμα, η

2\cdot (\displaystyle\frac{1}{c_4c_3c_2c_1})^2+2(c_4+c_3+c_2+c_1)\cdot \frac{1}{c_4c_3c_2c_1}+(c_4+c_3+c_2+c_1)^2-(c_4c_3+c_4c_2+c_4c_1+c_3c_2+c_3c_1+c_2c_1)+c_4=0.

Η ομοιότητα των δύο διακρινουσών προς τις αντίστοιχες διακρίνουσες στην περίπτωση πολυωνύμου πέμπτου βαθμού είναι πασιφανής, παρά την αλλαγή προσήμου στον μεσαίο όρο του τριωνύμου, και το σχέδιο δράσης απόλυτα ανάλογο: υποθέτουμε ότι η δεύτερη διακρίνουσα είναι μη αρνητική, οπότε έχουμε στην διάθεση μας τις ανισότητες -2\leq c_4\leq 0, c_3^2+c_2^2+c_1^2\leq -c_4^2-2c_4, c_4^2+c_3^2+c_2^2+c_1^2\leq -2c_4, οι οποίες, σε συνδυασμό με τις γνωστές (ΑΓΜ) ανισότητες (c_3c_2c_1)^2\leq \displaystyle\frac{(c_3^2+c_2^2+c_1^2)^3}{27} και c_4c_3+c_4c_2+c_4c_1+c_3c_2+c_3c_1+c_2c_1\leq \displaystyle\frac{3}{2}(c_4^2+c_3^2+c_2^2+c_1^2), δίνουν για την πρώτη διακρίνουσα

-\displaystyle\frac{1}{(c_4c_3c_2c_1)^2}+(c_4c_3+c_4c_2+c_4c_1+c_3c_2+c_3c_1+c_2c_1)-c_4\leq

\displaystyle\leq \frac{27}{c_4^2(c_4^2+2c_4)^3}-4c_4<0,

με την τελική ανισότητα να ισχύει ως ειδική περίπτωση (n=4) της ανισότητας που αποδείχθηκε εδώ!

Ανάλογες 'τελικές' ανισότητες, όλο και ευκολότερες όπως δείχνει και η προσέγγιση του Μιχάλη Λάμπρου εδώ, προκύπτουν και για πολυώνυμα εβδόμου, ογδόου κλπ βαθμού: -\displaystyle\frac{256}{5}<c_5^7(c_5+2)^4, \displaystyle\frac{3125}{6}>c_6^8(c_6+2)^5, κλπ


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
dement
Διευθύνον Μέλος
Δημοσιεύσεις: 1417
Εγγραφή: Τρί Δεκ 23, 2008 10:11 am

Re: Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#14

Μη αναγνωσμένη δημοσίευση από dement » Τρί Δεκ 20, 2016 2:21 pm

Δίνω εδώ μία λύση για το δεύτερο ερώτημα. Έστω SNS πολυώνυμο βαθμού n \geqslant 6.

Ισχύει \displaystyle \sum_{k=0}^{n-1} c_k^2 = c_{n-1}^2 - 2 c_{n-2} \implies \left( c_{n-2} + 1 \right)^2 + \sum_{k=0}^{n-3} c_k^2 = 1. Άρα |c_{n-2}| \leqslant 2, |c_0| \leqslant 1 και \displaystyle \sum_{k=1}^{n-3} c_k^2 \leqslant 1 \implies \sum_{k=1}^{n-3} |c_k| \leqslant \sqrt{n-3}.

Από την ανισότητα ΑΜ-ΓΜ παίρνουμε \displaystyle \prod_{k=1}^{n-3} |c_k| \leqslant \left( \frac{\sum_{k=1}^{n-3} |c_k|}{n-3} \right)^{n-3} \leqslant \left( \frac{1}{\sqrt{n-3}} \right)^{n-3}

Επίσης ισχύει \displaystyle \left| \prod_{k=1}^{n-1} c_k \right| = 1. Μαζί με τα παραπάνω, αυτό συνεπάγεται ότι \displaystyle |c_{n-1}| \geqslant \frac{1}{2} \left( \sqrt{n-3}\right)^{n-3}

Αλλά ισχύει επίσης \displaystyle \sum_{k=0}^{n-2} c_k = -2 c_{n-1} \implies \left( \sqrt{n-3} \right)^{n-3} \leqslant 2 |c_{n-1}| \leqslant  \sum_{k=0}^{n-2} |c_k| = |c_0| + |c_{n-2}| +

\displaystyle + \sum_{k=1}^{n-3} |c_k| \leqslant 3 + \sqrt{n-3} \implies \sqrt{n-3} \left( \left(\sqrt{n-3}\right)^{n-4} - 1 \right) \leqslant 3.

Το αριστερό μέλος είναι αύξον και εύκολα βλέπουμε ότι η ανισότητα δεν ισχύει για n = 6, οπότε φτάνουμε στο άτοπο.


Δημήτρης Σκουτέρης

Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3342
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Θέμα Εισαγωγικών Scuola Normale Superiore 2016-17 (6)

#15

Μη αναγνωσμένη δημοσίευση από gbaloglou » Τρί Δεκ 20, 2016 8:55 pm

dement έγραψε:Δίνω εδώ μία λύση για το δεύτερο ερώτημα. Έστω SNS πολυώνυμο βαθμού n \geqslant 6.

Ισχύει \displaystyle \sum_{k=0}^{n-1} c_k^2 = c_{n-1}^2 - 2 c_{n-2} \implies \left( c_{n-2} + 1 \right)^2 + \sum_{k=0}^{n-3} c_k^2 = 1. Άρα |c_{n-2}| \leqslant 2, |c_0| \leqslant 1 και \displaystyle \sum_{k=1}^{n-3} c_k^2 \leqslant 1 \implies \sum_{k=1}^{n-3} |c_k| \leqslant \sqrt{n-3}.

Από την ανισότητα ΑΜ-ΓΜ παίρνουμε \displaystyle \prod_{k=1}^{n-3} |c_k| \leqslant \left( \frac{\sum_{k=1}^{n-3} |c_k|}{n-3} \right)^{n-3} \leqslant \left( \frac{1}{\sqrt{n-3}} \right)^{n-3}

Επίσης ισχύει \displaystyle \left| \prod_{k=1}^{n-1} c_k \right| = 1. Μαζί με τα παραπάνω, αυτό συνεπάγεται ότι \displaystyle |c_{n-1}| \geqslant \frac{1}{2} \left( \sqrt{n-3}\right)^{n-3}

Αλλά ισχύει επίσης \displaystyle \sum_{k=0}^{n-2} c_k = -2 c_{n-1} \implies \left( \sqrt{n-3} \right)^{n-3} \leqslant 2 |c_{n-1}| \leqslant  \sum_{k=0}^{n-2} |c_k| = |c_0| + |c_{n-2}| +

\displaystyle + \sum_{k=1}^{n-3} |c_k| \leqslant 3 + \sqrt{n-3} \implies \sqrt{n-3} \left( \left(\sqrt{n-3}\right)^{n-4} - 1 \right) \leqslant 3.

Το αριστερό μέλος είναι αύξον και εύκολα βλέπουμε ότι η ανισότητα δεν ισχύει για n = 6, οπότε φτάνουμε στο άτοπο.
Υποθέτω αυτή είναι και η 'επίσημη' λύση, με υπόδειξη \displaystyle \sum_{k=0}^{n-1} c_k^2 = c_{n-1}^2 - 2 c_{n-2}

Όπως και στην δική μου λύση, παίζει σημαντικό ρόλο η 'απομόνωση' των c_0 και c_{n-2}, και υπάρχουν και άλλες ομοιότητες. Η κύρια διαφορά είναι ότι εγώ καταφεύγω, γενικότερα, στην ανυπαρξία πραγματικών λύσεων της

x_{n-2}=-\displaystyle\frac{2}{\displaystyle \left( \prod_{k=1}^{n-2} x_k \right)^2}+(-1)^{n-1}\displaystyle 
\frac{2\left( \sum_{k=1}^{n-2} x_k \right)}{ \prod_{k=1}^{n-2} x_k}-\left(\sum_{k=1}^{n-2} x_k\right)^2+\sum_{1\leq i<j\leq n-2} x_ix_j

για n\geq 6 (σίγουρα) και για n\geq 5 (σχεδόν σίγουρα).


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Απάντηση

Επιστροφή σε “Διάφορα άλλα θέματα εξετάσεων”

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

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