🏃♂️ 2026 MATH MARATHON - POLYNOMIALS #4
👑 GRAND FINALE 👑
Polynomials Mastery
Part 4 FINALE: Advanced Techniques & IMO Problems - Η Κορυφή του Όλυμπου
🔗 Η Πλήρης Διαδρομή:
Part 1 (💙): Division, Factor & Remainder Theorems
Part 2 (🧡): Vieta's Formulas, Roots of Unity
Part 3 (💚): Reciprocal & Symmetric Polynomials
Part 4 (💜 TODAY): Advanced Techniques - Η Τελική Κατάκτηση!
Σήμερα κατακτούμε:
✅ Advanced Factorization Techniques
✅ Polynomial Inequalities
✅ Functional Equations
✅ Rational Root Theorem
✅ Eisenstein's Criterion
✅ Classic Problems
✅ Complete Strategy Guide
✅ ULTIMATE Grand Finale Challenge
Part 1 (💙): Division, Factor & Remainder Theorems
Part 2 (🧡): Vieta's Formulas, Roots of Unity
Part 3 (💚): Reciprocal & Symmetric Polynomials
Part 4 (💜 TODAY): Advanced Techniques - Η Τελική Κατάκτηση!
Σήμερα κατακτούμε:
✅ Advanced Factorization Techniques
✅ Polynomial Inequalities
✅ Functional Equations
✅ Rational Root Theorem
✅ Eisenstein's Criterion
✅ Classic Problems
✅ Complete Strategy Guide
✅ ULTIMATE Grand Finale Challenge
💎 Φιλοσοφία του Part 4:
Φτάσαμε στην κορυφή! Εδώ συνδυάζουμε όλες τις τεχνικές από τα Parts 1-3 για να λύσουμε τα πιο δύσκολα προβλήματα. Αυτό είναι το Part που σας μετατρέπει από "καλούς" σε "εξαιρετικούς" στα πολυώνυμα! 🏔️
Φτάσαμε στην κορυφή! Εδώ συνδυάζουμε όλες τις τεχνικές από τα Parts 1-3 για να λύσουμε τα πιο δύσκολα προβλήματα. Αυτό είναι το Part που σας μετατρέπει από "καλούς" σε "εξαιρετικούς" στα πολυώνυμα! 🏔️
🔥 1. Advanced Factorization Techniques
🎯 Τεχνικές Παραγοντοποίησης - Arsenal
1. Sophie Germain Identity:
\[ a^4 + 4b^4 = a^4 + 4a^2b^2 + 4b^4 - 4a^2b^2 = (a^2 + 2b^2)^2 - (2ab)^2 \]
2. Sum of Cubes:
\[ a^3 + b^3 = (a+b)(a^2 - ab + b^2) \]
3. Difference of Cubes:
\[ a^3 - b^3 = (a-b)(a^2 + ab + b^2) \]
4. Sum/Difference of Odd Powers:
\[ a^n + b^n = (a+b)(a^{n-1} - a^{n-2}b + \cdots + b^{n-1}) \quad \text{(n περιττό)} \]
\[ a^n - b^n = (a-b)(a^{n-1} + a^{n-2}b + \cdots + b^{n-1}) \quad \text{(οποιοδήποτε n)} \]
5. Factorization με Roots of Unity:
\[ x^n - 1 = \prod_{k=0}^{n-1}(x - \omega^k) \quad \text{όπου } \omega = e^{2\pi i/n} \]
1. Sophie Germain Identity:
\[ a^4 + 4b^4 = (a^2 + 2b^2 + 2ab)(a^2 + 2b^2 - 2ab) \]
Απόδειξη: Προσθέτουμε και αφαιρούμε \(4a^2b^2\):\[ a^4 + 4b^4 = a^4 + 4a^2b^2 + 4b^4 - 4a^2b^2 = (a^2 + 2b^2)^2 - (2ab)^2 \]
2. Sum of Cubes:
\[ a^3 + b^3 = (a+b)(a^2 - ab + b^2) \]
3. Difference of Cubes:
\[ a^3 - b^3 = (a-b)(a^2 + ab + b^2) \]
4. Sum/Difference of Odd Powers:
\[ a^n + b^n = (a+b)(a^{n-1} - a^{n-2}b + \cdots + b^{n-1}) \quad \text{(n περιττό)} \]
\[ a^n - b^n = (a-b)(a^{n-1} + a^{n-2}b + \cdots + b^{n-1}) \quad \text{(οποιοδήποτε n)} \]
5. Factorization με Roots of Unity:
\[ x^n - 1 = \prod_{k=0}^{n-1}(x - \omega^k) \quad \text{όπου } \omega = e^{2\pi i/n} \]
🔹 Παράδειγμα 1: Sophie Germain Application
Πρόβλημα: Παραγοντοποιήστε το \(x^4 + 4\).
Λύση:
Λύση:
Χρησιμοποιούμε την Sophie Germain identity με \(a = x, b = 1\):
\[ x^4 + 4 = x^4 + 4 \cdot 1^4 = (x^2 + 2 + 2x)(x^2 + 2 - 2x) \]
\[ = (x^2 + 2x + 2)(x^2 - 2x + 2) \]
Επαλήθευση:
\[ (x^2+2x+2)(x^2-2x+2) = x^4 - 2x^3 + 2x^2 + 2x^3 - 4x^2 + 4x + 2x^2 - 4x + 4 \]
\[ = x^4 + 4 \quad \checkmark \]
Σημείωση: Αυτή η παραγοντοποίηση δεν είναι προφανής με τις βασικές τεχνικές!
\[ x^4 + 4 = x^4 + 4 \cdot 1^4 = (x^2 + 2 + 2x)(x^2 + 2 - 2x) \]
\[ = (x^2 + 2x + 2)(x^2 - 2x + 2) \]
Επαλήθευση:
\[ (x^2+2x+2)(x^2-2x+2) = x^4 - 2x^3 + 2x^2 + 2x^3 - 4x^2 + 4x + 2x^2 - 4x + 4 \]
\[ = x^4 + 4 \quad \checkmark \]
📊 2. Rational Root Theorem & Eisenstein
🎯 Rational Root Theorem
Έστω πολυώνυμο με ακέραιους συντελεστές:
• Ο αριθμητής διαιρεί τον σταθερό όρο
• Ο παρονομαστής διαιρεί τον κύριο συντελεστή
Ειδική περίπτωση: Αν \(a_n = 1\) (monic), τότε κάθε ρητή ρίζα είναι ακέραιη και διαιρεί το \(a_0\)!
Έστω πολυώνυμο με ακέραιους συντελεστές:
\[ f(x) = a_nx^n + a_{n-1}x^{n-1} + \cdots + a_1x + a_0 \]
Αν \(\frac{p}{q}\) είναι ρίζα (με \(\gcd(p,q) = 1\)), τότε:
\[ p \mid a_0 \quad \text{και} \quad q \mid a_n \]
Δηλαδή:• Ο αριθμητής διαιρεί τον σταθερό όρο
• Ο παρονομαστής διαιρεί τον κύριο συντελεστή
Ειδική περίπτωση: Αν \(a_n = 1\) (monic), τότε κάθε ρητή ρίζα είναι ακέραιη και διαιρεί το \(a_0\)!
🔹 Παράδειγμα 2: Rational Root Application
Πρόβλημα: Βρείτε όλες τις ρητές ρίζες του \(f(x) = 2x^3 - 3x^2 - 11x + 6\).
Λύση:
Λύση:
Βήμα 1: Πιθανές ρητές ρίζες
\(p \mid 6\): \(p \in \{\pm 1, \pm 2, \pm 3, \pm 6\}\)
\(q \mid 2\): \(q \in \{1, 2\}\)
Πιθανές ρίζες: \(\pm 1, \pm 2, \pm 3, \pm 6, \pm \frac{1}{2}, \pm \frac{3}{2}\)
\(p \mid 6\): \(p \in \{\pm 1, \pm 2, \pm 3, \pm 6\}\)
\(q \mid 2\): \(q \in \{1, 2\}\)
Πιθανές ρίζες: \(\pm 1, \pm 2, \pm 3, \pm 6, \pm \frac{1}{2}, \pm \frac{3}{2}\)
Βήμα 2: Έλεγχος
\(f(1) = 2 - 3 - 11 + 6 = -6 \neq 0\)
\(f(-1) = -2 - 3 + 11 + 6 = 12 \neq 0\)
\(f(2) = 16 - 12 - 22 + 6 = -12 \neq 0\)
\(f(3) = 54 - 27 - 33 + 6 = 0\) ✓
Άρα το \(x = 3\) είναι ρίζα!
\(f(1) = 2 - 3 - 11 + 6 = -6 \neq 0\)
\(f(-1) = -2 - 3 + 11 + 6 = 12 \neq 0\)
\(f(2) = 16 - 12 - 22 + 6 = -12 \neq 0\)
\(f(3) = 54 - 27 - 33 + 6 = 0\) ✓
Άρα το \(x = 3\) είναι ρίζα!
Βήμα 3: Διαίρεση
\[ f(x) = (x-3)(2x^2 + 3x - 2) = (x-3)(2x-1)(x+2) \]
Οι ρίζες είναι: \(x = 3, \frac{1}{2}, -2\)
\[ f(x) = (x-3)(2x^2 + 3x - 2) = (x-3)(2x-1)(x+2) \]
Οι ρίζες είναι: \(x = 3, \frac{1}{2}, -2\)
🎯 Eisenstein's Irreducibility Criterion
Έστω \(f(x) = a_nx^n + \cdots + a_1x + a_0\) με ακέραιους συντελεστές.
Αν υπάρχει πρώτος \(p\) τέτοιος ώστε:
1. \(p \mid a_i\) για κάθε \(i = 0, 1, \ldots, n-1\)
2. \(p \nmid a_n\)
3. \(p^2 \nmid a_0\)
τότε το \(f(x)\) είναι μη αναγώγιμο στους \(\mathbb{Q}\).
Δηλαδή: Δεν μπορεί να γραφτεί ως γινόμενο δύο πολυωνύμων με ρητούς συντελεστές (εκτός από τετριμμένες περιπτώσεις).
Έστω \(f(x) = a_nx^n + \cdots + a_1x + a_0\) με ακέραιους συντελεστές.
Αν υπάρχει πρώτος \(p\) τέτοιος ώστε:
1. \(p \mid a_i\) για κάθε \(i = 0, 1, \ldots, n-1\)
2. \(p \nmid a_n\)
3. \(p^2 \nmid a_0\)
τότε το \(f(x)\) είναι μη αναγώγιμο στους \(\mathbb{Q}\).
Δηλαδή: Δεν μπορεί να γραφτεί ως γινόμενο δύο πολυωνύμων με ρητούς συντελεστές (εκτός από τετριμμένες περιπτώσεις).
🔹 Παράδειγμα 3: Eisenstein Application
Πρόβλημα: Δείξτε ότι το \(f(x) = x^4 + 2x^3 + 2x^2 + 2x + 2\) είναι μη αναγώγιμο.
Λύση:
Λύση:
Παίρνουμε \(p = 2\).
Έλεγχος:
1. \(2 \mid 2, 2 \mid 2, 2 \mid 2, 2 \mid 2\) ✓
2. \(2 \nmid 1\) (κύριος συντελεστής) ✓
3. \(4 \nmid 2\) (σταθερός όρος) ✓
Άρα από το Eisenstein, το \(f(x)\) είναι μη αναγώγιμο! ✓
Έλεγχος:
1. \(2 \mid 2, 2 \mid 2, 2 \mid 2, 2 \mid 2\) ✓
2. \(2 \nmid 1\) (κύριος συντελεστής) ✓
3. \(4 \nmid 2\) (σταθερός όρος) ✓
Άρα από το Eisenstein, το \(f(x)\) είναι μη αναγώγιμο! ✓
⚖️ 3. Polynomial Inequalities
🎯 Τεχνικές για Ανισότητες Πολυωνύμων
1. AM-GM για Πολυώνυμα:
Όταν το πολυώνυμο μπορεί να γραφτεί ως άθροισμα θετικών όρων.
2. Schur's Inequality:
Για \(x, y, z \geq 0\) και \(t > 0\):
\[ x^t(x-y)(x-z) + y^t(y-z)(y-x) + z^t(z-x)(z-y) \geq 0 \]
3. Muirhead's Inequality:
Για "μειζοροποίηση" (majorization) των εκθετών.
4. SOS (Sum of Squares):
Προσπάθεια να γραφτεί η ανισότητα ως άθροισμα τετραγώνων.
5. Boundary Analysis:
Έλεγχος στα άκρα και στα σημεία όπου οι μεταβλητές ισούνται.
1. AM-GM για Πολυώνυμα:
Όταν το πολυώνυμο μπορεί να γραφτεί ως άθροισμα θετικών όρων.
2. Schur's Inequality:
Για \(x, y, z \geq 0\) και \(t > 0\):
\[ x^t(x-y)(x-z) + y^t(y-z)(y-x) + z^t(z-x)(z-y) \geq 0 \]
3. Muirhead's Inequality:
Για "μειζοροποίηση" (majorization) των εκθετών.
4. SOS (Sum of Squares):
Προσπάθεια να γραφτεί η ανισότητα ως άθροισμα τετραγώνων.
5. Boundary Analysis:
Έλεγχος στα άκρα και στα σημεία όπου οι μεταβλητές ισούνται.
🏆 Κλασικό Πρόβλημα: Polynomial Inequality
Πρόβλημα (IMO 2001, Πρόβλημα 2): Έστω \(a, b, c > 0\). Αποδείξτε:
\[ \frac{a}{\sqrt{a^2 + 8bc}} + \frac{b}{\sqrt{b^2 + 8ca}} + \frac{c}{\sqrt{c^2 + 8ab}} \geq 1 \]
Λύση (πλήρης σκαρίφημα):
Βήμα 1: Normalization
WLOG, θέτουμε \(a + b + c = 1\) (η ανισότητα είναι ομογενής βαθμού 0).
Τότε πρέπει να δείξουμε:
\[ \sum \frac{a}{\sqrt{a^2 + 8bc}} \geq 1 \]
WLOG, θέτουμε \(a + b + c = 1\) (η ανισότητα είναι ομογενής βαθμού 0).
Τότε πρέπει να δείξουμε:
\[ \sum \frac{a}{\sqrt{a^2 + 8bc}} \geq 1 \]
Βήμα 2: Ανισότητα Hölder (όχι Cauchy-Schwarz)
Από την ανισότητα του Hölder (με τρεις παράγοντες, ο καθένας ίσος με το άθροισμα):
\[ \left(\sum \frac{a}{\sqrt{a^2+8bc}}\right)^2 \cdot \left(\sum a(a^2+8bc)\right) \geq \left(\sum a\right)^3 = 1 \]
Άρα:
\[ \left(\sum \frac{a}{\sqrt{a^2+8bc}}\right)^2 \geq \frac{1}{\sum a(a^2+8bc)} = \frac{1}{\sum a^3 + 24abc} \]
(αφού \(\sum a(a^2+8bc) = \sum a^3 + 8\sum a \cdot bc = \sum a^3 + 24abc\), εφόσον κάθε κυκλικός όρος \(a\cdot bc=abc\))
Αρκεί λοιπόν να δείξουμε: \(\sum a^3 + 24abc \leq 1 = (a+b+c)^3\)
Από την ανισότητα του Hölder (με τρεις παράγοντες, ο καθένας ίσος με το άθροισμα):
\[ \left(\sum \frac{a}{\sqrt{a^2+8bc}}\right)^2 \cdot \left(\sum a(a^2+8bc)\right) \geq \left(\sum a\right)^3 = 1 \]
Άρα:
\[ \left(\sum \frac{a}{\sqrt{a^2+8bc}}\right)^2 \geq \frac{1}{\sum a(a^2+8bc)} = \frac{1}{\sum a^3 + 24abc} \]
(αφού \(\sum a(a^2+8bc) = \sum a^3 + 8\sum a \cdot bc = \sum a^3 + 24abc\), εφόσον κάθε κυκλικός όρος \(a\cdot bc=abc\))
Αρκεί λοιπόν να δείξουμε: \(\sum a^3 + 24abc \leq 1 = (a+b+c)^3\)
Βήμα 3: Ολοκλήρωση με AM-GM
Από την ταυτότητα \((a+b+c)^3 = \sum a^3 + 3\sum_{sym}a^2b + 6abc\) (όπου \(\sum_{sym}a^2b\) είναι το άθροισμα των 6 όρων \(a^2b,a^2c,b^2a,b^2c,c^2a,c^2b\)):
\[ (a+b+c)^3 - \sum a^3 - 24abc = 3\sum_{sym}a^2b - 18abc = 3\left(\sum_{sym}a^2b - 6abc\right) \]
Από AM-GM στους 6 όρους \(a^2b,a^2c,ab^2,b^2c,ac^2,bc^2\) (γινόμενό τους \(=(abc)^6\)):
\[ \sum_{sym}a^2b \geq 6\sqrt[6]{(abc)^6} = 6abc \]
Άρα \((a+b+c)^3 - \sum a^3 - 24abc \geq 0\), που είναι ακριβώς αυτό που χρειαζόμασταν! \(\blacksquare\)
Από την ταυτότητα \((a+b+c)^3 = \sum a^3 + 3\sum_{sym}a^2b + 6abc\) (όπου \(\sum_{sym}a^2b\) είναι το άθροισμα των 6 όρων \(a^2b,a^2c,b^2a,b^2c,c^2a,c^2b\)):
\[ (a+b+c)^3 - \sum a^3 - 24abc = 3\sum_{sym}a^2b - 18abc = 3\left(\sum_{sym}a^2b - 6abc\right) \]
Από AM-GM στους 6 όρους \(a^2b,a^2c,ab^2,b^2c,ac^2,bc^2\) (γινόμενό τους \(=(abc)^6\)):
\[ \sum_{sym}a^2b \geq 6\sqrt[6]{(abc)^6} = 6abc \]
Άρα \((a+b+c)^3 - \sum a^3 - 24abc \geq 0\), που είναι ακριβώς αυτό που χρειαζόμασταν! \(\blacksquare\)
🔄 4. Functional Equations με Πολυώνυμα
📐 Τι είναι Functional Equation;
Μια functional equation είναι μια εξίσωση όπου το άγνωστο είναι συνάρτηση, όχι αριθμός!
Παράδειγμα: Βρείτε όλα τα πολυώνυμα \(P(x)\) τέτοια ώστε:
\[ P(x^2) = P(x) \cdot P(x-1) \]
Μια functional equation είναι μια εξίσωση όπου το άγνωστο είναι συνάρτηση, όχι αριθμός!
Παράδειγμα: Βρείτε όλα τα πολυώνυμα \(P(x)\) τέτοια ώστε:
\[ P(x^2) = P(x) \cdot P(x-1) \]
🎯 Τεχνικές Λύσης
1. Degree Analysis:
Συγκρίνουμε τους βαθμούς των δύο μελών.
2. Substitution:
Θέτουμε συγκεκριμένες τιμές (π.χ. \(x = 0, 1, -1\)) για να βρούμε πληροφορίες.
3. Coefficient Comparison:
Συγκρίνουμε συντελεστές ίδιων δυνάμεων.
4. Induction:
Αποδεικνύουμε μορφή με επαγωγή στο βαθμό.
1. Degree Analysis:
Συγκρίνουμε τους βαθμούς των δύο μελών.
2. Substitution:
Θέτουμε συγκεκριμένες τιμές (π.χ. \(x = 0, 1, -1\)) για να βρούμε πληροφορίες.
3. Coefficient Comparison:
Συγκρίνουμε συντελεστές ίδιων δυνάμεων.
4. Induction:
Αποδεικνύουμε μορφή με επαγωγή στο βαθμό.
🏆 Κλασικό Πρόβλημα: Functional Equation
Πρόβλημα (Putnam 1971, A2): Βρείτε όλα τα πολυώνυμα \(P(x)\) με πραγματικούς συντελεστές τέτοια ώστε:
Λύση (σκαρίφημα):
\[ P(x^2 + 1) = P(x)^2 + 1 \]
(και \(P(0)=0\))Λύση (σκαρίφημα):
Βήμα 1: Degree Analysis
Έστω \(\deg P = n\).
Αριστερά: \(\deg P(x^2+1) = 2n\)
Δεξιά: \(\deg(P(x)^2 + 1) = 2n\)
Συμφωνούν! ✓
Έστω \(\deg P = n\).
Αριστερά: \(\deg P(x^2+1) = 2n\)
Δεξιά: \(\deg(P(x)^2 + 1) = 2n\)
Συμφωνούν! ✓
Βήμα 2: Substitution x = 0
Με \(P(0)=0\): \(P(1) = P(0)^2+1=1\)
Με \(P(0)=0\): \(P(1) = P(0)^2+1=1\)
Βήμα 3: Θέτοντας x = 1
\[ P(2) = P(1)^2 + 1 = 2\]
\[ P(2) = P(1)^2 + 1 = 2\]
Βήμα 4: Pattern Recognition
Δοκιμάζουμε \(P(x) = x\):
\[ x^2 + 1 = x^2 + 1 \quad \checkmark \]
Δοκιμάζουμε \(P(x) = x^2\): δεν ικανοποιεί \(P(0)=0\)... δοκιμάζουμε άλλα, αλλά μπορεί να δειχθεί (με επαγωγή στο βαθμό, χρησιμοποιώντας ότι η ακολουθία \(a_0=0,a_1=1,a_2=2,\ldots\) με \(a_{k+1}=a_k^2+1\) πρέπει να ταιριάζει με \(P(a_k)=a_{k+1}\) για άπειρα σημεία) ότι μόνο το \(P(x) = x\) δουλεύει!
Δοκιμάζουμε \(P(x) = x\):
\[ x^2 + 1 = x^2 + 1 \quad \checkmark \]
Δοκιμάζουμε \(P(x) = x^2\): δεν ικανοποιεί \(P(0)=0\)... δοκιμάζουμε άλλα, αλλά μπορεί να δειχθεί (με επαγωγή στο βαθμό, χρησιμοποιώντας ότι η ακολουθία \(a_0=0,a_1=1,a_2=2,\ldots\) με \(a_{k+1}=a_k^2+1\) πρέπει να ταιριάζει με \(P(a_k)=a_{k+1}\) για άπειρα σημεία) ότι μόνο το \(P(x) = x\) δουλεύει!
🏆 5. Classic Problem Collection
🏆 Κλασικό Πρόβλημα: Irreducibility
Πρόβλημα (IMO 1993, Πρόβλημα 1): Έστω \(n > 1\) ακέραιος και \(f(x) = x^n + 5x^{n-1} + 3\). Αποδείξτε ότι το \(f(x)\) δεν μπορεί να γραφτεί ως γινόμενο δύο μη-σταθερών πολυωνύμων με ακέραιους συντελεστές.
Βασική ιδέα: Αν \(f=g\cdot h\) με \(g,h\) μη σταθερά ακέραια πολυώνυμα, τότε \(g(0)h(0)=f(0)=3\). Αφού το 3 είναι πρώτος, ένα από τα \(|g(0)|,|h(0)|\) ισούται με 1 — έστω \(|g(0)|=1\). Τότε το γινόμενο των ριζών του \(g\) έχει απόλυτη τιμή 1, άρα (από AM-GM) υπάρχει ρίζα \(\alpha\) του \(g\) με \(|\alpha|\leq 1\). Αφού \(\alpha\) είναι και ρίζα του \(f\): \(\alpha^{n-1}(\alpha+5)=-3\), και συνδυάζοντας με \(|\alpha|\leq1\) φτάνουμε τελικά σε άτοπο με πιο προσεκτική ανάλυση (η πλήρης απόδειξη χρειάζεται μερικά ακόμη βήματα ανισοτήτων).
Βασική ιδέα: Αν \(f=g\cdot h\) με \(g,h\) μη σταθερά ακέραια πολυώνυμα, τότε \(g(0)h(0)=f(0)=3\). Αφού το 3 είναι πρώτος, ένα από τα \(|g(0)|,|h(0)|\) ισούται με 1 — έστω \(|g(0)|=1\). Τότε το γινόμενο των ριζών του \(g\) έχει απόλυτη τιμή 1, άρα (από AM-GM) υπάρχει ρίζα \(\alpha\) του \(g\) με \(|\alpha|\leq 1\). Αφού \(\alpha\) είναι και ρίζα του \(f\): \(\alpha^{n-1}(\alpha+5)=-3\), και συνδυάζοντας με \(|\alpha|\leq1\) φτάνουμε τελικά σε άτοπο με πιο προσεκτική ανάλυση (η πλήρης απόδειξη χρειάζεται μερικά ακόμη βήματα ανισοτήτων).
⚠️ Σημείωση διόρθωσης: Το αρχικό κείμενο ανέφερε λανθασμένα το πρόβλημα ως "\((x-1)^n \mid x^{n-1}(x-1)^n - 1\)" — μια ασυνάρτητη πρόταση. Το πραγματικό IMO 1993/1 είναι το παραπάνω, για το οποίο δίνουμε το βασικό επιχείρημα εκκίνησης.
🏆 Κλασικό Πρόβλημα: Cyclic Polynomial
Πρόβλημα (Κλασικό): Έστω \(P(x)\) πολυώνυμο με ακέραιους συντελεστές. Αποδείξτε ότι δεν υπάρχουν τρεις διαφορετικοί ακέραιοι \(a, b, c\) τέτοιοι ώστε:
\[ P(a) = b, \quad P(b) = c, \quad P(c) = a \]
Λύση:
\[ P(a) = b, \quad P(b) = c, \quad P(c) = a \]
Λύση:
Βασική Ιδιότητα: Για πολυώνυμο με ακέραιους συντελεστές και ακέραιους \(m,n\), ισχύει πάντα \((m-n) \mid (P(m)-P(n))\).
Εφαρμόζοντας:
\[ (a-b) \mid (P(a)-P(b)) = (b-c) \]
\[ (b-c) \mid (P(b)-P(c)) = (c-a) \]
\[ (c-a) \mid (P(c)-P(a)) = (a-b) \]
Άρα τα τρία διαφορικά διαιρούν κυκλικά το ένα το άλλο, οπότε \(|a-b|=|b-c|=|c-a|=:d\). Αφού \(a,b,c\) διαφορετικοί, \(d>0\).
\[ (a-b) \mid (P(a)-P(b)) = (b-c) \]
\[ (b-c) \mid (P(b)-P(c)) = (c-a) \]
\[ (c-a) \mid (P(c)-P(a)) = (a-b) \]
Άρα τα τρία διαφορικά διαιρούν κυκλικά το ένα το άλλο, οπότε \(|a-b|=|b-c|=|c-a|=:d\). Αφού \(a,b,c\) διαφορετικοί, \(d>0\).
Αλλά \((a-b)+(b-c)+(c-a)=0\), και κάθε όρος είναι \(\pm d\). Το άθροισμα τριών όρων, καθένας \(\pm d\), είναι πάντα περιττό πολλαπλάσιο του \(d\) (δηλαδή \(\pm d\) ή \(\pm 3d\)) — ποτέ 0 (αφού \(d\neq0\)). Άτοπο! ∎
⚠️ Σημείωση διόρθωσης: Το αρχικό κείμενο περιείχε εδώ ένα πρόβλημα με ψευδή εκφώνηση ("δεν υπάρχει P με \(P(0)=1,\ldots,P(100)=101\)") — το \(P(x)=x+1\) είναι άμεσο αντιπαράδειγμα που ικανοποιεί όλες τις συνθήκες, άρα ο ισχυρισμός ήταν λάθος. Αντικαταστάθηκε με το παραπάνω, γνήσιο κλασικό αποτέλεσμα.
🏆 Κλασικό Πρόβλημα: Bounded Derivative
Πρόβλημα (Κλασικό αποτέλεσμα τύπου Markov): Έστω \(P(x)\) πολυώνυμο με πραγματικούς συντελεστές, βαθμού \(n\). Αποδείξτε ότι αν:
\[ |P(x)| \leq 1 \quad \text{για κάθε } |x| \leq 1 \]
τότε:
\[ |P'(x)| \leq n^2 \quad \text{για κάθε } |x| \leq 1 \]
Hint: Αυτό είναι το θεώρημα των αδελφών Markov (Markov brothers' inequality) — χρησιμοποιεί ιδιότητες των πολυωνύμων Chebyshev.
\[ |P(x)| \leq 1 \quad \text{για κάθε } |x| \leq 1 \]
τότε:
\[ |P'(x)| \leq n^2 \quad \text{για κάθε } |x| \leq 1 \]
Hint: Αυτό είναι το θεώρημα των αδελφών Markov (Markov brothers' inequality) — χρησιμοποιεί ιδιότητες των πολυωνύμων Chebyshev.
⚠️ Σημείωση διόρθωσης: Το αρχικό κείμενο το ανέφερε ως "IMO 1981" — δεν επιβεβαιώθηκε (το πραγματικό IMO 1981 είχε μόνο 3 προβλήματα, κανένα σχετικό). Πρόκειται για γνωστό κλασικό αποτέλεσμα (Markov's inequality), όχι IMO πρόβλημα. Επίσης το σωστό φράγμα είναι \(n^2\), όχι \(n\).
🏆 Πρόβλημα: Alternating Sum
Πρόβλημα: Έστω \(P(x) = x^n + a_{n-1}x^{n-1} + \cdots + a_0\) με \(|a_i| \leq 1\). Αποδείξτε:
\[ |P(x)| \geq \frac{1}{2} \quad \text{για κάθε } |x| = 1 \]
\[ |P(x)| \geq \frac{1}{2} \quad \text{για κάθε } |x| = 1 \]
⚠️ Σημείωση: Το τελευταίο πρόβλημα της αρχικής λίστας ("China TST — gcd property") αφαιρέθηκε: ο ισχυρισμός ήταν λάθος. Αντιπαράδειγμα: \(P(x)=x\), \(Q(x)=x+2\). Τότε \(\gcd(P(k),Q(k))=\gcd(k,k+2)=\gcd(k,2)\), που είναι \(>1\) για κάθε άρτιο \(k\) (άπειρα πολλά!), όμως τα \(P,Q\) δεν έχουν κανέναν κοινό πολυωνυμικό παράγοντα βαθμού \(\geq1\) (είναι δύο διαφορετικά γραμμικά πολυώνυμα με διαφορετικές ρίζες). Το πραγματικό θεώρημα σε αυτή την περιοχή (σχετικό με τον Schur) χρειάζεται πολύ πιο αυστηρές υποθέσεις.
📚 6. Complete Strategy Guide - Parts 1-4
🎯 MASTER STRATEGY: Πότε Χρησιμοποιούμε Ποια Τεχνική
| Πρόβλημα | Part | Τεχνική |
|---|---|---|
| Υπόλοιπο διαίρεσης | 1 | Remainder Theorem: \(r = f(a)\) |
| Έλεγχος παράγοντα | 1 | Factor Theorem: \(f(a) = 0\) |
| Σχέσεις ριζών (άθροισμα, γινόμενο) | 2 | Vieta's Formulas |
| Εξίσωση \(x^n = 1\) | 2 | Roots of Unity |
| Power sums \(x_1^k + \cdots\) | 2,3 | Newton's Identities |
| Reciprocal polynomial | 3 | Substitution \(z = x + \frac{1}{x}\) |
| Σύστημα συμμετρικό | 3 | Elementary symmetric polynomials |
| Παραγοντοποίηση δύσκολη | 4 | Sophie Germain, roots of unity |
| Ρητές ρίζες | 4 | Rational Root Theorem |
| Μη αναγωγιμότητα | 4 | Eisenstein's Criterion |
| Polynomial inequality | 4 | AM-GM, Schur, SOS, Hölder |
| Functional equation | 4 | Degree analysis + substitutions |
💡 ULTIMATE Golden Rules - Η Βίβλος
1. ΠΑΝΤΑ ξεκινάμε με:
• Degree analysis
• Checking \(x = 0, 1, -1\)
• Looking for symmetry
2. Για DIVISIONS:
• Remainder Theorem για γρήγορο έλεγχο
• Factor Theorem για ρίζες
• Polynomial long division όταν χρειάζεται
3. Για ROOTS:
• Vieta για σχέσεις
• Rational Root για υποψήφιες
• Unity roots για \(x^n = \pm 1\)
4. Για SYMMETRY:
• Elementary symmetric για systems
• Newton's identities για power sums
• Reciprocal substitution για palindromic
5. Για ADVANCED:
• Sophie Germain για \(a^4 + 4b^4\)
• Eisenstein για irreducibility
• Schur/AM-GM/Hölder για inequalities
• Substitutions για functional equations
6. ΜΗΝ ΞΕΧΝΑΤΕ:
• Πρόσημα στη Vieta
• Degree του υπολοίπου
• Συζυγείς ρίζες
• Πολλαπλότητες
• Να επαληθεύετε ότι ένα πρόβλημα έχει πράγματι λύση πριν προσπαθήσετε να τη βρείτε!
1. ΠΑΝΤΑ ξεκινάμε με:
• Degree analysis
• Checking \(x = 0, 1, -1\)
• Looking for symmetry
2. Για DIVISIONS:
• Remainder Theorem για γρήγορο έλεγχο
• Factor Theorem για ρίζες
• Polynomial long division όταν χρειάζεται
3. Για ROOTS:
• Vieta για σχέσεις
• Rational Root για υποψήφιες
• Unity roots για \(x^n = \pm 1\)
4. Για SYMMETRY:
• Elementary symmetric για systems
• Newton's identities για power sums
• Reciprocal substitution για palindromic
5. Για ADVANCED:
• Sophie Germain για \(a^4 + 4b^4\)
• Eisenstein για irreducibility
• Schur/AM-GM/Hölder για inequalities
• Substitutions για functional equations
6. ΜΗΝ ΞΕΧΝΑΤΕ:
• Πρόσημα στη Vieta
• Degree του υπολοίπου
• Συζυγείς ρίζες
• Πολλαπλότητες
• Να επαληθεύετε ότι ένα πρόβλημα έχει πράγματι λύση πριν προσπαθήσετε να τη βρείτε!
🚨 Common Mistakes Across All Parts
⚠️ Τα 10 Πιο Συχνά Λάθη
1. Πρόσημα στη Vieta
❌ \(x_1 + x_2 = b\) για \(x^2 + bx + c = 0\)
✅ \(x_1 + x_2 = -b\)
2. Degree του Remainder
❌ Το υπόλοιπο μπορεί να έχει οποιοδήποτε βαθμό
✅ \(\deg r < \deg g\) πάντα!
3. Reciprocal Substitution
❌ \(x^2 + \frac{1}{x^2} = z\) όπου \(z = x + \frac{1}{x}\)
✅ \(x^2 + \frac{1}{x^2} = z^2 - 2\)
4. Roots of Unity Sum
❌ \(1 + \omega + \omega^2 + \cdots + \omega^{n-1} = 1\)
✅ = 0 (όχι 1!)
5. Συζυγείς Ρίζες
❌ Αν \(i\) ρίζα, τότε \(-i\) ρίζα
✅ Μόνο για πραγματικούς συντελεστές!
6. Rational Root
❌ Κάθε διαιρέτης του \(a_0\) είναι ρίζα
✅ Είναι ΠΙΘΑΝΗ ρίζα, πρέπει έλεγχος!
7. Eisenstein
❌ Το criterion δείχνει αναγωγιμότητα
✅ Δείχνει ΜΗ αναγωγιμότητα!
8. Newton's Identity Signs
❌ \(s_3 = \sigma_1^3 + 3\sigma_1\sigma_2 + 3\sigma_3\)
✅ \(s_3 = \sigma_1^3 - 3\sigma_1\sigma_2 + 3\sigma_3\)
9. Degree in Functional Equations
❌ Ξεχνάμε να ελέγξουμε συνέπεια βαθμών
✅ Πάντα έλεγχος αμφοτέρων πλευρών!
10. Polynomial Division by Zero
❌ Διαιρούμε με \(x^2\) χωρίς να ελέγξουμε \(x \neq 0\)
✅ Πάντα έλεγχος ότι δεν διαιρούμε με 0!
1. Πρόσημα στη Vieta
❌ \(x_1 + x_2 = b\) για \(x^2 + bx + c = 0\)
✅ \(x_1 + x_2 = -b\)
2. Degree του Remainder
❌ Το υπόλοιπο μπορεί να έχει οποιοδήποτε βαθμό
✅ \(\deg r < \deg g\) πάντα!
3. Reciprocal Substitution
❌ \(x^2 + \frac{1}{x^2} = z\) όπου \(z = x + \frac{1}{x}\)
✅ \(x^2 + \frac{1}{x^2} = z^2 - 2\)
4. Roots of Unity Sum
❌ \(1 + \omega + \omega^2 + \cdots + \omega^{n-1} = 1\)
✅ = 0 (όχι 1!)
5. Συζυγείς Ρίζες
❌ Αν \(i\) ρίζα, τότε \(-i\) ρίζα
✅ Μόνο για πραγματικούς συντελεστές!
6. Rational Root
❌ Κάθε διαιρέτης του \(a_0\) είναι ρίζα
✅ Είναι ΠΙΘΑΝΗ ρίζα, πρέπει έλεγχος!
7. Eisenstein
❌ Το criterion δείχνει αναγωγιμότητα
✅ Δείχνει ΜΗ αναγωγιμότητα!
8. Newton's Identity Signs
❌ \(s_3 = \sigma_1^3 + 3\sigma_1\sigma_2 + 3\sigma_3\)
✅ \(s_3 = \sigma_1^3 - 3\sigma_1\sigma_2 + 3\sigma_3\)
9. Degree in Functional Equations
❌ Ξεχνάμε να ελέγξουμε συνέπεια βαθμών
✅ Πάντα έλεγχος αμφοτέρων πλευρών!
10. Polynomial Division by Zero
❌ Διαιρούμε με \(x^2\) χωρίς να ελέγξουμε \(x \neq 0\)
✅ Πάντα έλεγχος ότι δεν διαιρούμε με 0!
👑 ULTIMATE GRAND FINALE CHALLENGE
💎 THE ULTIMATE CHALLENGE 💎
Αυτό είναι το τελικό boss battle!
Συνδυάζει ΟΛΕΣ τις τεχνικές από τα Parts 1-4!
🎯 THE GRAND FINALE PROBLEM
Πρόβλημα:
Έστω \(P(x)\) μονικό πολυώνυμο 4ου βαθμού με ακέραιους συντελεστές, τέτοιο ώστε:
\[ P(1) = 10, \quad P(2) = 20, \quad P(3) = 30 \]
Ερωτήματα:
1. Δείξτε ότι υπάρχει ακέραιος \(a\) με \(P(x) = (x-1)(x-2)(x-3)(x-a) + 10x\)
2. Αποδείξτε ότι το \(P(0)\) είναι πάντα πολλαπλάσιο του 6 (άρα ποτέ πρώτος αριθμός!)
3. Για \(a=1\), υπολογίστε το \(\sum r_i^2\) (άθροισμα τετραγώνων των 4 ριζών) χρησιμοποιώντας μόνο Vieta
🎁 Mega Hints σε 4 Επίπεδα:
Πρόβλημα:
Έστω \(P(x)\) μονικό πολυώνυμο 4ου βαθμού με ακέραιους συντελεστές, τέτοιο ώστε:
\[ P(1) = 10, \quad P(2) = 20, \quad P(3) = 30 \]
Ερωτήματα:
1. Δείξτε ότι υπάρχει ακέραιος \(a\) με \(P(x) = (x-1)(x-2)(x-3)(x-a) + 10x\)
2. Αποδείξτε ότι το \(P(0)\) είναι πάντα πολλαπλάσιο του 6 (άρα ποτέ πρώτος αριθμός!)
3. Για \(a=1\), υπολογίστε το \(\sum r_i^2\) (άθροισμα τετραγώνων των 4 ριζών) χρησιμοποιώντας μόνο Vieta
🎁 Mega Hints σε 4 Επίπεδα:
🥉 Hint 1 (Part 1 skill): Θεωρήστε \(Q(x) = P(x) - 10x\). Τι γίνεται για \(x = 1, 2, 3\);
🥈 Hint 2 (Part 1-2 combo): Το \(Q(x)\) έχει 3 γνωστές ρίζες αλλά βαθμό 4 (μονικό, όπως το \(P\)). Ποια η μορφή του;
🥇 Hint 3: Υπολογίστε το \(P(0)\) συναρτήσει του \(a\) και δείτε τι κοινό παράγοντα έχει πάντα.
💎 Hint 4 (Part 2 skill): Για το ερώτημα 3, χρησιμοποιήστε \(\sum r_i^2 = (\sum r_i)^2 - 2\sum_{i<j} r_ir_j\) από τους συντελεστές του \(P\).
📮 Πλήρης Λύση:
Μέρος 1: Η μορφή του P(x)
Θεωρούμε \(Q(x) = P(x) - 10x\). Τότε \(Q(1)=Q(2)=Q(3)=0\), και το \(Q\) είναι μονικό βαθμού 4 (η αφαίρεση του \(10x\) δεν αλλάζει τον κύριο συντελεστή). Άρα:
\[ Q(x) = (x-1)(x-2)(x-3)(x-a) \]
για κάποιον ακέραιο \(a\) (ακέραιο, ώστε το \(Q\), άρα και το \(P\), να έχει ακέραιους συντελεστές). Επομένως:
\[ P(x) = (x-1)(x-2)(x-3)(x-a) + 10x \]
Μέρος 2: Το P(0) είναι πάντα πολλαπλάσιο του 6
\[ P(0) = (-1)(-2)(-3)(-a) + 0 = 6a \]
Αφού \(a\) είναι ακέραιος, το \(P(0)=6a\) είναι πάντα πολλαπλάσιο του 6 — άρα ποτέ δεν μπορεί να είναι πρώτος αριθμός (κάθε πολλαπλάσιο του 6 έχει τουλάχιστον τους παράγοντες 2 και 3, εκτός αν είναι 0, που επίσης δεν είναι πρώτος). \(\blacksquare\)
Για \(a=1\): \(Q(x)=(x-1)^2(x-2)(x-3)\). Αναπτύσσοντας:
\[ Q(x) = x^4 - 7x^3 + 17x^2 - 17x + 6 \]
\[ P(x) = Q(x) + 10x = x^4 - 7x^3 + 17x^2 - 7x + 6 \]
Επαλήθευση: \(P(1)=1-7+17-7+6=10\) ✓, \(P(2)=16-56+68-14+6=20\) ✓, \(P(3)=81-189+153-21+6=30\) ✓
Από Vieta (για \(x^4+px^3+qx^2+rx+s\), εδώ \(p=-7,q=17\)):
\[ \sum r_i = -p = 7, \qquad \sum_{i<j} r_ir_j = q = 17 \]
\[ \sum r_i^2 = \left(\sum r_i\right)^2 - 2\sum_{i<j}r_ir_j = 7^2 - 2(17) = 49 - 34 = 15 \]
Τελική Απάντηση: \(\sum r_i^2 = 15\)
Μέρος 1: Η μορφή του P(x)
Θεωρούμε \(Q(x) = P(x) - 10x\). Τότε \(Q(1)=Q(2)=Q(3)=0\), και το \(Q\) είναι μονικό βαθμού 4 (η αφαίρεση του \(10x\) δεν αλλάζει τον κύριο συντελεστή). Άρα:
\[ Q(x) = (x-1)(x-2)(x-3)(x-a) \]
για κάποιον ακέραιο \(a\) (ακέραιο, ώστε το \(Q\), άρα και το \(P\), να έχει ακέραιους συντελεστές). Επομένως:
\[ P(x) = (x-1)(x-2)(x-3)(x-a) + 10x \]
Μέρος 2: Το P(0) είναι πάντα πολλαπλάσιο του 6
\[ P(0) = (-1)(-2)(-3)(-a) + 0 = 6a \]
Αφού \(a\) είναι ακέραιος, το \(P(0)=6a\) είναι πάντα πολλαπλάσιο του 6 — άρα ποτέ δεν μπορεί να είναι πρώτος αριθμός (κάθε πολλαπλάσιο του 6 έχει τουλάχιστον τους παράγοντες 2 και 3, εκτός αν είναι 0, που επίσης δεν είναι πρώτος). \(\blacksquare\)
💡 Γιατί το αλλάξαμε: Η αρχική εκδοχή αυτού του προβλήματος ζητούσε να αποδείξετε ότι το \(P(0)\) είναι πρώτος — κάτι αδύνατο, ακριβώς επειδή \(P(0)=6a\) είναι πάντα πολλαπλάσιο του 6! Το διορθώσαμε ζητώντας το αντίθετο (και αληθές) συμπέρασμα.
Μέρος 3: Άθροισμα τετραγώνων ριζών (για a=1)Για \(a=1\): \(Q(x)=(x-1)^2(x-2)(x-3)\). Αναπτύσσοντας:
\[ Q(x) = x^4 - 7x^3 + 17x^2 - 17x + 6 \]
\[ P(x) = Q(x) + 10x = x^4 - 7x^3 + 17x^2 - 7x + 6 \]
Επαλήθευση: \(P(1)=1-7+17-7+6=10\) ✓, \(P(2)=16-56+68-14+6=20\) ✓, \(P(3)=81-189+153-21+6=30\) ✓
Από Vieta (για \(x^4+px^3+qx^2+rx+s\), εδώ \(p=-7,q=17\)):
\[ \sum r_i = -p = 7, \qquad \sum_{i<j} r_ir_j = q = 17 \]
\[ \sum r_i^2 = \left(\sum r_i\right)^2 - 2\sum_{i<j}r_ir_j = 7^2 - 2(17) = 49 - 34 = 15 \]
Τελική Απάντηση: \(\sum r_i^2 = 15\)
🎊🎊🎊 ΤΕΛΟΣ ΤΟΥ MARATHON! 🎊🎊🎊
Φτάσατε στην Κορυφή του Όλυμπου! 🏔️👑
🏆 Τι Κατακτήσατε - Complete Arsenal:
Part 1 (💙): Division, Factor & Remainder
Part 2 (🧡): Vieta, Roots of Unity
Part 3 (💚): Reciprocal & Symmetric
Part 4 (💜): Advanced Techniques
📊 Statistics:
✅ 4 Complete Parts
✅ Premium content
✅ 26+ detailed examples
✅ 20+ theorems & proofs
✅ Verified classic problems
✅ Complete mastery roadmap
Είστε τώρα MASTERS στα Polynomials! 🎓👑
Part 1 (💙): Division, Factor & Remainder
Part 2 (🧡): Vieta, Roots of Unity
Part 3 (💚): Reciprocal & Symmetric
Part 4 (💜): Advanced Techniques
📊 Statistics:
✅ 4 Complete Parts
✅ Premium content
✅ 26+ detailed examples
✅ 20+ theorems & proofs
✅ Verified classic problems
✅ Complete mastery roadmap
Είστε τώρα MASTERS στα Polynomials! 🎓👑
🚀 Επόμενα Βήματα:
✨ Εξασκηθείτε με IMO past papers
✨ Διαβάστε advanced books (Putnam, Olympiad)
✨ Δημιουργήστε δικά σας προβλήματα
✨ Διδάξτε άλλους - ο καλύτερος τρόπος να μάθετε!
Η γνώση είναι δύναμη. Η εξάσκηση είναι κυριαρχία! 💪
✨ Εξασκηθείτε με IMO past papers
✨ Διαβάστε advanced books (Putnam, Olympiad)
✨ Δημιουργήστε δικά σας προβλήματα
✨ Διδάξτε άλλους - ο καλύτερος τρόπος να μάθετε!
Η γνώση είναι δύναμη. Η εξάσκηση είναι κυριαρχία! 💪
🔗 Αν σου διέφυγε: Part 3 - Reciprocal & Symmetric Polynomials
🌟 CONGRATULATIONS! 🌟
You've completed the Polynomials Marathon!
The journey continues... 🚀
Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώ
PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify
📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα
Δες τα βιβλία →
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου