🏃♂️ 2026 MATH MARATHON - POLYNOMIALS #2
Polynomials Mastery
Part 2: Roots & Vieta's Formulas - Οι Μαγικές Σχέσεις
🔗 Σύνδεση με Part 1:
Part 1: Μάθαμε Division, Factor Theorem, Remainder Theorem
Part 2 (σήμερα): Ανακαλύπτουμε τις σχέσεις των ριζών - Vieta's Formulas!
Τι θα μάθετε σήμερα:
✅ Fundamental Theorem of Algebra
✅ Vieta's Formulas (οι τύποι που συνδέουν ρίζες με συντελεστές)
✅ Roots of Unity (ω και οι μαγικές ιδιότητες)
✅ Κυβικές εξισώσεις με unit roots
✅ 7 IMO-level παραδείγματα
✅ Power Sums & Newton's Identities
Part 1: Μάθαμε Division, Factor Theorem, Remainder Theorem
Part 2 (σήμερα): Ανακαλύπτουμε τις σχέσεις των ριζών - Vieta's Formulas!
Τι θα μάθετε σήμερα:
✅ Fundamental Theorem of Algebra
✅ Vieta's Formulas (οι τύποι που συνδέουν ρίζες με συντελεστές)
✅ Roots of Unity (ω και οι μαγικές ιδιότητες)
✅ Κυβικές εξισώσεις με unit roots
✅ 7 IMO-level παραδείγματα
✅ Power Sums & Newton's Identities
🤔 Ερώτηση Προβληματισμού:
Γιατί οι τύποι του Vieta είναι τόσο χρήσιμοι; Επειδή μας επιτρέπουν να βρούμε σχέσεις των ριζών χωρίς να τις υπολογίσουμε! Αυτό είναι το μυστικό της δύναμής τους.
Γιατί οι τύποι του Vieta είναι τόσο χρήσιμοι; Επειδή μας επιτρέπουν να βρούμε σχέσεις των ριζών χωρίς να τις υπολογίσουμε! Αυτό είναι το μυστικό της δύναμής τους.
🎯 1. Fundamental Theorem of Algebra - Η Θεμέλια Λίθος
📐 Θεμελιώδες Θεώρημα της Άλγεβρας
Κάθε μη σταθερό πολυώνυμο με μιγαδικούς συντελεστές έχει τουλάχιστον μία μιγαδική ρίζα.
Συνέπεια: Κάθε πολυώνυμο βαθμού \(n \geq 1\) με μιγαδικούς συντελεστές έχει ακριβώς \(n\) μιγαδικές ρίζες (με πολλαπλότητα).
Κάθε μη σταθερό πολυώνυμο με μιγαδικούς συντελεστές έχει τουλάχιστον μία μιγαδική ρίζα.
Συνέπεια: Κάθε πολυώνυμο βαθμού \(n \geq 1\) με μιγαδικούς συντελεστές έχει ακριβώς \(n\) μιγαδικές ρίζες (με πολλαπλότητα).
\[ f(x) = a_n(x - \alpha_1)(x - \alpha_2) \cdots (x - \alpha_n) \]
όπου \(\alpha_1, \alpha_2, \ldots, \alpha_n \in \mathbb{C}\) είναι οι ρίζες του \(f(x)\).
💡 Γιατί είναι σημαντικό;
1. Πλήρης Παραγοντοποίηση:
Κάθε πολυώνυμο μπορεί να γραφτεί ως γινόμενο γραμμικών παραγόντων (στο \(\mathbb{C}\))!
Παράδειγμα: \(x^2 + 1 = (x-i)(x+i)\)
Κάθε πολυώνυμο μπορεί να γραφτεί ως γινόμενο γραμμικών παραγόντων (στο \(\mathbb{C}\))!
Παράδειγμα: \(x^2 + 1 = (x-i)(x+i)\)
2. Ύπαρξη Ριζών:
Δεν χρειάζεται να ανησυχούμε αν ένα πολυώνυμο έχει ρίζες - πάντα έχει!
Δεν χρειάζεται να ανησυχούμε αν ένα πολυώνυμο έχει ρίζες - πάντα έχει!
3. Σύνδεση με Vieta:
Επειδή ξέρουμε ότι υπάρχουν \(n\) ρίζες, μπορούμε να χρησιμοποιήσουμε τους τύπους του Vieta για να τις συσχετίσουμε!
Επειδή ξέρουμε ότι υπάρχουν \(n\) ρίζες, μπορούμε να χρησιμοποιήσουμε τους τύπους του Vieta για να τις συσχετίσουμε!
⚠️ Σημαντική Παρατήρηση για Πραγματικούς Συντελεστές:
Αν το πολυώνυμο \(f(x)\) έχει πραγματικούς συντελεστές και \(\alpha = a + bi\) είναι μιγαδική ρίζα, τότε το συζυγές \(\overline{\alpha} = a - bi\) είναι επίσης ρίζα!
Συνέπεια: Οι μη πραγματικές ρίζες εμφανίζονται σε συζυγή ζεύγη.
Παράδειγμα: Αν \(x^3 - 2x^2 + 5x - 3 = 0\) έχει ρίζα το \(1+2i\), τότε έχει και ρίζα το \(1-2i\).
Αν το πολυώνυμο \(f(x)\) έχει πραγματικούς συντελεστές και \(\alpha = a + bi\) είναι μιγαδική ρίζα, τότε το συζυγές \(\overline{\alpha} = a - bi\) είναι επίσης ρίζα!
Συνέπεια: Οι μη πραγματικές ρίζες εμφανίζονται σε συζυγή ζεύγη.
Παράδειγμα: Αν \(x^3 - 2x^2 + 5x - 3 = 0\) έχει ρίζα το \(1+2i\), τότε έχει και ρίζα το \(1-2i\).
👑 2. Vieta's Formulas - Οι Βασιλικοί Τύποι
📐 Θεώρημα Vieta (Γενική Μορφή)
Έστω πολυώνυμο:
Έστω πολυώνυμο:
\[ f(x) = a_nx^n + a_{n-1}x^{n-1} + \cdots + a_1x + a_0 \]
με ρίζες \(\alpha_1, \alpha_2, \ldots, \alpha_n\). Τότε:
\[ \alpha_1 + \alpha_2 + \cdots + \alpha_n = -\frac{a_{n-1}}{a_n} \]
\[ \alpha_1\alpha_2 + \alpha_1\alpha_3 + \cdots + \alpha_{n-1}\alpha_n = \frac{a_{n-2}}{a_n} \]
\[ \vdots \]
\[ \alpha_1 \alpha_2 \cdots \alpha_n = (-1)^n \frac{a_0}{a_n} \]
Σημείωση: Τα πρόσημα εναλλάσσονται!
\[ \alpha_1\alpha_2 + \alpha_1\alpha_3 + \cdots + \alpha_{n-1}\alpha_n = \frac{a_{n-2}}{a_n} \]
\[ \vdots \]
\[ \alpha_1 \alpha_2 \cdots \alpha_n = (-1)^n \frac{a_0}{a_n} \]
📝 Vieta για Συγκεκριμένους Βαθμούς
📌 Για Τετραγωνική Εξίσωση: \(ax^2 + bx + c = 0\)
Αν \(x_1, x_2\) οι ρίζες:
\(x_1 + x_2 = -p\) και \(x_1 x_2 = q\)
Αν \(x_1, x_2\) οι ρίζες:
\[ x_1 + x_2 = -\frac{b}{a} \]
\[ x_1 \cdot x_2 = \frac{c}{a} \]
Ειδική περίπτωση: Για \(x^2 + px + q = 0\):\[ x_1 \cdot x_2 = \frac{c}{a} \]
\(x_1 + x_2 = -p\) και \(x_1 x_2 = q\)
📌 Για Κυβική Εξίσωση: \(ax^3 + bx^2 + cx + d = 0\)
Αν \(x_1, x_2, x_3\) οι ρίζες:
\(x_1 + x_2 + x_3 = -p\), \(x_1x_2 + x_2x_3 + x_3x_1 = q\), \(x_1x_2x_3 = -r\)
Αν \(x_1, x_2, x_3\) οι ρίζες:
\[ x_1 + x_2 + x_3 = -\frac{b}{a} \]
\[ x_1x_2 + x_2x_3 + x_3x_1 = \frac{c}{a} \]
\[ x_1 x_2 x_3 = -\frac{d}{a} \]
Ειδική περίπτωση: Για \(x^3 + px^2 + qx + r = 0\):\[ x_1x_2 + x_2x_3 + x_3x_1 = \frac{c}{a} \]
\[ x_1 x_2 x_3 = -\frac{d}{a} \]
\(x_1 + x_2 + x_3 = -p\), \(x_1x_2 + x_2x_3 + x_3x_1 = q\), \(x_1x_2x_3 = -r\)
📌 Για Εξίσωση 4ου Βαθμού: \(x^4 + px^3 + qx^2 + rx + s = 0\)
Αν \(x_1, x_2, x_3, x_4\) οι ρίζες:
Αν \(x_1, x_2, x_3, x_4\) οι ρίζες:
\[ x_1 + x_2 + x_3 + x_4 = -p \]
\[ x_1x_2 + x_1x_3 + x_1x_4 + x_2x_3 + x_2x_4 + x_3x_4 = q \]
\[ x_1x_2x_3 + x_1x_2x_4 + x_1x_3x_4 + x_2x_3x_4 = -r \]
\[ x_1x_2x_3x_4 = s \]
\[ x_1x_2 + x_1x_3 + x_1x_4 + x_2x_3 + x_2x_4 + x_3x_4 = q \]
\[ x_1x_2x_3 + x_1x_2x_4 + x_1x_3x_4 + x_2x_3x_4 = -r \]
\[ x_1x_2x_3x_4 = s \]
✍️ Απόδειξη των Τύπων Vieta
Από το Fundamental Theorem, γράφουμε:
\[ f(x) = a_n(x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_n) \]
Ανοίγοντας την παρένθεση:
\[ = a_n[x^n - (\alpha_1+\cdots+\alpha_n)x^{n-1} + \cdots + (-1)^n\alpha_1\cdots\alpha_n] \]
Συγκρίνοντας με:
\[ f(x) = a_nx^n + a_{n-1}x^{n-1} + \cdots + a_0 \]
Παίρνουμε:
\[ a_{n-1} = -a_n(\alpha_1 + \cdots + \alpha_n) \]
\[ \Rightarrow \alpha_1 + \cdots + \alpha_n = -\frac{a_{n-1}}{a_n} \quad \checkmark \]
\[ f(x) = a_n(x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_n) \]
Ανοίγοντας την παρένθεση:
\[ = a_n[x^n - (\alpha_1+\cdots+\alpha_n)x^{n-1} + \cdots + (-1)^n\alpha_1\cdots\alpha_n] \]
Συγκρίνοντας με:
\[ f(x) = a_nx^n + a_{n-1}x^{n-1} + \cdots + a_0 \]
Παίρνουμε:
\[ a_{n-1} = -a_n(\alpha_1 + \cdots + \alpha_n) \]
\[ \Rightarrow \alpha_1 + \cdots + \alpha_n = -\frac{a_{n-1}}{a_n} \quad \checkmark \]
🌀 3. Roots of Unity - Οι Ρίζες της Μονάδας
⭕ Ορισμός: n-οστές Ρίζες της Μονάδας
Οι λύσεις της εξίσωσης \(x^n = 1\) λέγονται \(n\)-οστές ρίζες της μονάδας.
Μορφή:
Όλες οι ρίζες: \(1, \omega, \omega^2, \ldots, \omega^{n-1}\)
Οι λύσεις της εξίσωσης \(x^n = 1\) λέγονται \(n\)-οστές ρίζες της μονάδας.
Μορφή:
\[ \omega_k = e^{2\pi i k/n} = \cos\frac{2\pi k}{n} + i\sin\frac{2\pi k}{n}, \quad k = 0, 1, \ldots, n-1 \]
Πρωταρχική ρίζα: \(\omega = e^{2\pi i/n}\)Όλες οι ρίζες: \(1, \omega, \omega^2, \ldots, \omega^{n-1}\)
🎯 Σημαντικές Ιδιότητες Roots of Unity
Ιδιότητα 1: \(\omega^n = 1\)
Ιδιότητα 2: Άθροισμα όλων των \(n\)-οστών ριζών:
Ιδιότητα 3: Παραγοντοποίηση:
Ιδιότητα 1: \(\omega^n = 1\)
Ιδιότητα 2: Άθροισμα όλων των \(n\)-οστών ριζών:
\[ 1 + \omega + \omega^2 + \cdots + \omega^{n-1} = 0 \]
Απόδειξη: Από Vieta για \(x^n - 1 = 0\), το άθροισμα των ριζών είναι 0! ✓Ιδιότητα 3: Παραγοντοποίηση:
\[ x^n - 1 = (x-1)(x-\omega)(x-\omega^2)\cdots(x-\omega^{n-1}) \]
Ιδιότητα 4: Για \(n\) περιττό, οι ρίζες του \(x^n=-1\) είναι \(\zeta^1, \zeta^3, \zeta^5, \ldots, \zeta^{2n-1}\) όπου \(\zeta = e^{i\pi/n}\):
\[ x^n + 1 = (x-\zeta)(x-\zeta^3)\cdots(x-\zeta^{2n-1}) \]
Σημείωση: Το \((x+1)\) δεν είναι ξεχωριστός παράγοντας — είναι ήδη μέσα στη λίστα, αφού \(\zeta^n = e^{i\pi} = -1\)! Π.χ. για \(n=3\), \(\zeta=e^{i\pi/3}\): οι ρίζες είναι \(\zeta, \zeta^3=-1, \zeta^5\), άρα \(x^3+1=(x-\zeta)(x+1)(x-\zeta^5)\) — το \((x+1)\) είναι απλώς ο μεσαίος όρος \((x-\zeta^3)\), όχι επιπλέον παράγοντας.
📝 Ειδικές Περιπτώσεις
⭕ 3rd Roots of Unity (Κυβικές Ρίζες)
Οι λύσεις του \(x^3 = 1\):
• \(\omega^3 = 1\)
• \(1 + \omega + \omega^2 = 0\)
• \(\omega^2 = \overline{\omega}\) (συζυγές)
• \(\omega^2 = \frac{1}{\omega}\)
Παραγοντοποίηση:
\[ x^3 - 1 = (x-1)(x-\omega)(x-\omega^2) = (x-1)(x^2+x+1) \]
\[ 1, \quad \omega = e^{2\pi i/3} = \frac{-1+i\sqrt{3}}{2}, \quad \omega^2 = e^{4\pi i/3} = \frac{-1-i\sqrt{3}}{2} \]
Σημαντικές σχέσεις:• \(\omega^3 = 1\)
• \(1 + \omega + \omega^2 = 0\)
• \(\omega^2 = \overline{\omega}\) (συζυγές)
• \(\omega^2 = \frac{1}{\omega}\)
Παραγοντοποίηση:
\[ x^3 - 1 = (x-1)(x-\omega)(x-\omega^2) = (x-1)(x^2+x+1) \]
⭕ 4th Roots of Unity
Οι λύσεις του \(x^4 = 1\):
• \(1 + i + (-1) + (-i) = 0\)
• \(i^4 = 1\)
• \(x^4 - 1 = (x-1)(x+1)(x-i)(x+i) = (x^2-1)(x^2+1)\)
\[ 1, \quad i, \quad -1, \quad -i \]
Σχέσεις:• \(1 + i + (-1) + (-i) = 0\)
• \(i^4 = 1\)
• \(x^4 - 1 = (x-1)(x+1)(x-i)(x+i) = (x^2-1)(x^2+1)\)
📚 4. Αναλυτικά Παραδείγματα
🔹 Παράδειγμα 1: Βασική Χρήση Vieta (E2 από screenshots)
Πρόβλημα: Έστω \(x_1, x_2, x_3\) οι ρίζες του \(x^3 + 3x^2 - 7x + 1\). Βρείτε \(x_1^2 + x_2^2 + x_3^2\).
Λύση:
Λύση:
Βήμα 1: Εφαρμογή Vieta
Από Vieta:
• \(x_1 + x_2 + x_3 = -3\)
• \(x_1x_2 + x_2x_3 + x_3x_1 = -7\)
• \(x_1x_2x_3 = -1\)
Από Vieta:
• \(x_1 + x_2 + x_3 = -3\)
• \(x_1x_2 + x_2x_3 + x_3x_1 = -7\)
• \(x_1x_2x_3 = -1\)
Βήμα 2: Χρήση Ταυτότητας
Γνωρίζουμε ότι:
\[ (x_1+x_2+x_3)^2 = x_1^2 + x_2^2 + x_3^2 + 2(x_1x_2 + x_2x_3 + x_3x_1) \]
Άρα:
\[ x_1^2 + x_2^2 + x_3^2 = (x_1+x_2+x_3)^2 - 2(x_1x_2 + x_2x_3 + x_3x_1) \]
\[ = (-3)^2 - 2(-7) = 9 + 14 = 23 \]
Απάντηση: \(x_1^2 + x_2^2 + x_3^2 = 23\)
Γνωρίζουμε ότι:
\[ (x_1+x_2+x_3)^2 = x_1^2 + x_2^2 + x_3^2 + 2(x_1x_2 + x_2x_3 + x_3x_1) \]
Άρα:
\[ x_1^2 + x_2^2 + x_3^2 = (x_1+x_2+x_3)^2 - 2(x_1x_2 + x_2x_3 + x_3x_1) \]
\[ = (-3)^2 - 2(-7) = 9 + 14 = 23 \]
🔹 Παράδειγμα 2: Κυβική με Unit Roots
Πρόβλημα: Λύστε την κυβική εξίσωση:
Λύση:
\[ x^3 + a^3 + b^3 - 3abx = 0 \]
χρησιμοποιώντας την παραγοντοποίηση \(x^3 + y^3 + z^3 - 3xyz = (x+y+z)(x+\omega y + \omega^2 z)(x + \omega^2 y + \omega z)\).Λύση:
Θέτοντας \(y = a, z = b\) στην ταυτότητα:
\[ x^3 + a^3 + b^3 - 3abx = (x+a+b)(x+\omega a + \omega^2 b)(x+\omega^2 a + \omega b) = 0 \]
Οι λύσεις είναι:
\[ x_1 = -a - b \]
\[ x_2 = -\omega a - \omega^2 b = \frac{a+b}{2} + \frac{i\sqrt{3}}{2}(b-a) \]
\[ x_3 = -\omega^2 a - \omega b = \frac{a+b}{2} - \frac{i\sqrt{3}}{2}(b-a) \]
\[ x^3 + a^3 + b^3 - 3abx = (x+a+b)(x+\omega a + \omega^2 b)(x+\omega^2 a + \omega b) = 0 \]
Οι λύσεις είναι:
\[ x_1 = -a - b \]
\[ x_2 = -\omega a - \omega^2 b = \frac{a+b}{2} + \frac{i\sqrt{3}}{2}(b-a) \]
\[ x_3 = -\omega^2 a - \omega b = \frac{a+b}{2} - \frac{i\sqrt{3}}{2}(b-a) \]
✅ Επαλήθευση (\(a=1,b=0\)): Η εξίσωση γίνεται \(x^3+1=0\). Οι ρίζες είναι \(-1\) και \(\frac{1\pm i\sqrt3}{2}\). Ο τύπος μας δίνει \(x_1=-1\) ✓, \(x_2=\frac12+\frac{i\sqrt3}{2}(0-1)=\frac{1-i\sqrt3}{2}\) ✓, \(x_3=\frac{1+i\sqrt3}{2}\) ✓ — όλα σωστά!
🔹 Παράδειγμα 3: Με Ρίζες Ρητών
Πρόβλημα (E7 style): Λύστε το σύστημα:
\[ x^3 + y^3 = 33, \quad x + y = 3 \]
Λύση:
Βήμα 1: Symmetric Polynomials
Θέτουμε \(\sigma_1 = x + y = 3\) και \(\sigma_2 = xy\).
Από την ταυτότητα:
\[ x^3 + y^3 = (x+y)^3 - 3xy(x+y) = \sigma_1^3 - 3\sigma_1\sigma_2 \]
Άρα:
\[ 33 = 3^3 - 3 \cdot 3 \cdot \sigma_2 = 27 - 9\sigma_2 \]
\[ 9\sigma_2 = -6 \Rightarrow \sigma_2 = -\frac{2}{3} \]
Θέτουμε \(\sigma_1 = x + y = 3\) και \(\sigma_2 = xy\).
Από την ταυτότητα:
\[ x^3 + y^3 = (x+y)^3 - 3xy(x+y) = \sigma_1^3 - 3\sigma_1\sigma_2 \]
Άρα:
\[ 33 = 3^3 - 3 \cdot 3 \cdot \sigma_2 = 27 - 9\sigma_2 \]
\[ 9\sigma_2 = -6 \Rightarrow \sigma_2 = -\frac{2}{3} \]
Βήμα 2: Λύση Τετραγωνικής
Τα \(x, y\) είναι ρίζες της:
\[ t^2 - 3t - \frac{2}{3} = 0 \]
\[ 3t^2 - 9t - 2 = 0 \]
Λύση:
\[ t = \frac{9 \pm \sqrt{81 + 24}}{6} = \frac{9 \pm \sqrt{105}}{6} \]
Άρα:
\[ (x, y) = \left(\frac{9+\sqrt{105}}{6}, \frac{9-\sqrt{105}}{6}\right) \text{ ή αντίστροφα} \]
Τα \(x, y\) είναι ρίζες της:
\[ t^2 - 3t - \frac{2}{3} = 0 \]
\[ 3t^2 - 9t - 2 = 0 \]
Λύση:
\[ t = \frac{9 \pm \sqrt{81 + 24}}{6} = \frac{9 \pm \sqrt{105}}{6} \]
Άρα:
\[ (x, y) = \left(\frac{9+\sqrt{105}}{6}, \frac{9-\sqrt{105}}{6}\right) \text{ ή αντίστροφα} \]
🔹 Παράδειγμα 4: Radical Expression (E8 style)
Πρόβλημα: Λύστε την εξίσωση:
\[ \sqrt[3]{65-x} + \sqrt[3]{x} = 5 \]
Λύση:
Βήμα 1: Substitution
Θέτουμε \(\sqrt[3]{x} = y\) και \(\sqrt[3]{65-x} = z\).
Τότε:
• \(y + z = 5\)
• \(y^3 + z^3 = 65\)
Θέτουμε \(\sqrt[3]{x} = y\) και \(\sqrt[3]{65-x} = z\).
Τότε:
• \(y + z = 5\)
• \(y^3 + z^3 = 65\)
Βήμα 2: Χρήση Vieta
Θέτουμε \(\sigma_1 = y+z = 5\) και \(\sigma_2 = yz\).
Από \(y^3 + z^3 = (y+z)^3 - 3yz(y+z)\):
\[ 65 = 125 - 15\sigma_2 \]
\[ \sigma_2 = 4 \]
Τα \(y, z\) είναι ρίζες του:
\[ t^2 - 5t + 4 = 0 \]
\[ (t-1)(t-4) = 0 \]
Άρα \(\{y,z\}=\{1,4\}\), οπότε \(x=y^3 \in \{1, 64\}\).
Θέτουμε \(\sigma_1 = y+z = 5\) και \(\sigma_2 = yz\).
Από \(y^3 + z^3 = (y+z)^3 - 3yz(y+z)\):
\[ 65 = 125 - 15\sigma_2 \]
\[ \sigma_2 = 4 \]
Τα \(y, z\) είναι ρίζες του:
\[ t^2 - 5t + 4 = 0 \]
\[ (t-1)(t-4) = 0 \]
Άρα \(\{y,z\}=\{1,4\}\), οπότε \(x=y^3 \in \{1, 64\}\).
✅ Επαλήθευση: \(x=1\): \(\sqrt[3]{64}+\sqrt[3]{1}=4+1=5\) ✓. \(x=64\): \(\sqrt[3]{1}+\sqrt[3]{64}=1+4=5\) ✓.
Απάντηση: \(x=1\) ή \(x=64\)
🔹 Παράδειγμα 5: Compatibility Condition (E9 style)
Πρόβλημα: Ποια είναι η σχέση μεταξύ \(a, b, c\) αν το σύστημα:
Λύση:
\[ x + y = a, \quad x^2 + y^2 = b, \quad x^3 + y^3 = c \]
είναι συμβατό (έχει λύσεις);Λύση:
Βήμα 1: Express σε Symmetric Polynomials
\(\sigma_1 = x + y = a\)
\(\sigma_2 = xy\) (άγνωστο)
Από \(x^2 + y^2 = (x+y)^2 - 2xy\):
\[ b = a^2 - 2\sigma_2 \Rightarrow \sigma_2 = \frac{a^2 - b}{2} \]
\(\sigma_1 = x + y = a\)
\(\sigma_2 = xy\) (άγνωστο)
Από \(x^2 + y^2 = (x+y)^2 - 2xy\):
\[ b = a^2 - 2\sigma_2 \Rightarrow \sigma_2 = \frac{a^2 - b}{2} \]
Βήμα 2: Έλεγχος Τρίτης Συνθήκης
Από \(x^3 + y^3 = (x+y)^3 - 3xy(x+y)\):
\[ c = a^3 - 3a\sigma_2 = a^3 - 3a \cdot \frac{a^2-b}{2} \]
\[ c = a^3 - \frac{3a^3 - 3ab}{2} = \frac{2a^3 - 3a^3 + 3ab}{2} \]
\[ c = \frac{-a^3 + 3ab}{2} \]
Άρα η σχέση είναι:
\[ 2c = 3ab - a^3 \quad \text{ή} \quad a^3 - 3ab + 2c = 0 \]
Από \(x^3 + y^3 = (x+y)^3 - 3xy(x+y)\):
\[ c = a^3 - 3a\sigma_2 = a^3 - 3a \cdot \frac{a^2-b}{2} \]
\[ c = a^3 - \frac{3a^3 - 3ab}{2} = \frac{2a^3 - 3a^3 + 3ab}{2} \]
\[ c = \frac{-a^3 + 3ab}{2} \]
Άρα η σχέση είναι:
\[ 2c = 3ab - a^3 \quad \text{ή} \quad a^3 - 3ab + 2c = 0 \]
🔹 Παράδειγμα 6: System with Symmetry (E10 style)
Πρόβλημα: Λύστε το σύστημα:
\[ x + y + z = a, \quad x^2 + y^2 + z^2 = b^2, \quad x^3 + y^3 + z^3 = a^3 \]
Λύση:
Βήμα 1: Symmetric Functions
Θέτουμε:
\(\sigma_1 = x+y+z = a\)
\(\sigma_2 = xy+yz+zx\)
\(\sigma_3 = xyz\)
Από \(x^2+y^2+z^2 = \sigma_1^2 - 2\sigma_2\):
\[ b^2 = a^2 - 2\sigma_2 \Rightarrow \sigma_2 = \frac{a^2 - b^2}{2} \]
Θέτουμε:
\(\sigma_1 = x+y+z = a\)
\(\sigma_2 = xy+yz+zx\)
\(\sigma_3 = xyz\)
Από \(x^2+y^2+z^2 = \sigma_1^2 - 2\sigma_2\):
\[ b^2 = a^2 - 2\sigma_2 \Rightarrow \sigma_2 = \frac{a^2 - b^2}{2} \]
Βήμα 2: Newton's Identity
Από την ταυτότητα του Newton:
\[ x^3+y^3+z^3 - 3xyz = (x+y+z)(x^2+y^2+z^2 - xy - yz - zx) \]
Άρα:
\[ a^3 - 3\sigma_3 = a(b^2 - \sigma_2) = a\left(b^2 - \frac{a^2-b^2}{2}\right) \]
\[ a^3 - 3\sigma_3 = a\left(\frac{2b^2 - a^2 + b^2}{2}\right) = a\left(\frac{3b^2-a^2}{2}\right) \]
Λύνοντας για \(\sigma_3\):
\[ \sigma_3 = \frac{a^3}{3} - \frac{a(3b^2-a^2)}{6} = \frac{2a^3 - 3ab^2 + a^3}{6} = \frac{3a^3 - 3ab^2}{6} = \frac{a(a^2-b^2)}{2} \]
Από την ταυτότητα του Newton:
\[ x^3+y^3+z^3 - 3xyz = (x+y+z)(x^2+y^2+z^2 - xy - yz - zx) \]
Άρα:
\[ a^3 - 3\sigma_3 = a(b^2 - \sigma_2) = a\left(b^2 - \frac{a^2-b^2}{2}\right) \]
\[ a^3 - 3\sigma_3 = a\left(\frac{2b^2 - a^2 + b^2}{2}\right) = a\left(\frac{3b^2-a^2}{2}\right) \]
Λύνοντας για \(\sigma_3\):
\[ \sigma_3 = \frac{a^3}{3} - \frac{a(3b^2-a^2)}{6} = \frac{2a^3 - 3ab^2 + a^3}{6} = \frac{3a^3 - 3ab^2}{6} = \frac{a(a^2-b^2)}{2} \]
Βήμα 3: Cubic Equation
Τα \(x, y, z\) είναι ρίζες του:
\[ t^3 - at^2 + \frac{a^2-b^2}{2}t - \frac{a(a^2-b^2)}{2} = 0 \]
Παραγοντοποιώντας (με \(t=a\) ως προφανή ρίζα, αφού \(a\) ικανοποιεί πάντα τις τρεις συνθήκες όταν \(y=-z\)):
\[ (t-a)\left(t^2 + \frac{a^2-b^2}{2}\right) = 0 \]
Λύσεις:
\[ t_1 = a, \quad t_2 = \sqrt{\frac{b^2-a^2}{2}}, \quad t_3 = -\sqrt{\frac{b^2-a^2}{2}} \]
Τα \(x, y, z\) είναι ρίζες του:
\[ t^3 - at^2 + \frac{a^2-b^2}{2}t - \frac{a(a^2-b^2)}{2} = 0 \]
Παραγοντοποιώντας (με \(t=a\) ως προφανή ρίζα, αφού \(a\) ικανοποιεί πάντα τις τρεις συνθήκες όταν \(y=-z\)):
\[ (t-a)\left(t^2 + \frac{a^2-b^2}{2}\right) = 0 \]
Λύσεις:
\[ t_1 = a, \quad t_2 = \sqrt{\frac{b^2-a^2}{2}}, \quad t_3 = -\sqrt{\frac{b^2-a^2}{2}} \]
✅ Επαλήθευση: Δοκιμάστε \(a=3, y=1, z=-1\) (άρα \(x=3\)): \(b^2=9+1+1=11\), και \(t_{2,3}=\pm\sqrt{(11-9)/2}=\pm1\) ✓ — ταιριάζει ακριβώς με \(y=1,z=-1\)!
🔹 Παράδειγμα 7: Alternating Product (E12 style)
Πρόβλημα: Δίνονται \(n\) διαφορετικοί αριθμοί \(a_1, \ldots, a_n\) και \(b_1, \ldots, b_n\) τέτοιοι ώστε ένας \(n \times n\) πίνακας έχει στη θέση \((i,j)\) τον αριθμό \(a_i + b_j\). Αν το γινόμενο κάθε στήλης είναι το ίδιο (ίσο με \(c\)), δείξτε ότι και το γινόμενο κάθε γραμμής είναι το ίδιο.
Λύση:
Λύση:
Βήμα 1: Ορισμός βοηθητικού πολυωνύμου
Θεωρούμε το μονικό πολυώνυμο βαθμού \(n\):
\[ f(x) = \prod_{i=1}^{n} (x + a_i) \]
Η στήλη \(j\) έχει γινόμενο \(\prod_{i=1}^n(a_i+b_j) = f(b_j) = c\) για κάθε \(j=1,\ldots,n\).
Θεωρούμε το μονικό πολυώνυμο βαθμού \(n\):
\[ f(x) = \prod_{i=1}^{n} (x + a_i) \]
Η στήλη \(j\) έχει γινόμενο \(\prod_{i=1}^n(a_i+b_j) = f(b_j) = c\) για κάθε \(j=1,\ldots,n\).
Βήμα 2: Το \(f(x)-c\) έχει ακριβώς τις ρίζες \(b_1,\ldots,b_n\)
Το πολυώνυμο \(f(x)-c\) έχει βαθμό \(n\) (ίδιο με το \(f\)) και μηδενίζεται στα \(n\) διαφορετικά σημεία \(b_1,\ldots,b_n\). Άρα, αφού είναι μονικό:
\[ f(x) - c = \prod_{j=1}^{n}(x-b_j) \]
Το πολυώνυμο \(f(x)-c\) έχει βαθμό \(n\) (ίδιο με το \(f\)) και μηδενίζεται στα \(n\) διαφορετικά σημεία \(b_1,\ldots,b_n\). Άρα, αφού είναι μονικό:
\[ f(x) - c = \prod_{j=1}^{n}(x-b_j) \]
Βήμα 3: Υπολογισμός γραμμής \(i\)
Θέτουμε \(x=-a_i\) στη σχέση του Βήματος 2:
\[ f(-a_i) - c = \prod_{j=1}^n(-a_i - b_j) = (-1)^n\prod_{j=1}^n(a_i+b_j) \]
Όμως \(f(-a_i) = \prod_{k=1}^n(-a_i+a_k)\), και ο όρος \(k=i\) δίνει παράγοντα \(0\). Άρα \(f(-a_i)=0\), οπότε:
\[ -c = (-1)^n \prod_{j=1}^n(a_i+b_j) \]
\[ \Rightarrow \prod_{j=1}^n(a_i+b_j) = (-1)^{n+1}c \]
Το δεξί μέλος \((-1)^{n+1}c\) δεν εξαρτάται από το \(i\) — άρα το γινόμενο κάθε γραμμής είναι το ίδιο! ∎
Θέτουμε \(x=-a_i\) στη σχέση του Βήματος 2:
\[ f(-a_i) - c = \prod_{j=1}^n(-a_i - b_j) = (-1)^n\prod_{j=1}^n(a_i+b_j) \]
Όμως \(f(-a_i) = \prod_{k=1}^n(-a_i+a_k)\), και ο όρος \(k=i\) δίνει παράγοντα \(0\). Άρα \(f(-a_i)=0\), οπότε:
\[ -c = (-1)^n \prod_{j=1}^n(a_i+b_j) \]
\[ \Rightarrow \prod_{j=1}^n(a_i+b_j) = (-1)^{n+1}c \]
Το δεξί μέλος \((-1)^{n+1}c\) δεν εξαρτάται από το \(i\) — άρα το γινόμενο κάθε γραμμής είναι το ίδιο! ∎
💡 Σημείωση: Κάθε γραμμή έχει γινόμενο \((-1)^{n+1}c\) — όχι απαραίτητα \(c\) το ίδιο, αλλά σίγουρα ίδιο μεταξύ όλων των γραμμών.
🎯 5. Power Sums & Newton's Identities
📐 Power Sums
Ορίζουμε τα power sums:
\[ s_k = \sigma_1 s_{k-1} - \sigma_2 s_{k-2} + \cdots + (-1)^{k-1}k\sigma_k \]
Ορίζουμε τα power sums:
\[ s_k = x_1^k + x_2^k + \cdots + x_n^k \]
Newton's Identities συνδέουν τα \(s_k\) με τα elementary symmetric polynomials \(\sigma_1, \sigma_2, \ldots, \sigma_n\):
\[ s_1 = \sigma_1 \]
\[ s_2 = \sigma_1 s_1 - 2\sigma_2 \]
\[ s_3 = \sigma_1 s_2 - \sigma_2 s_1 + 3\sigma_3 \]
\[ s_4 = \sigma_1 s_3 - \sigma_2 s_2 + \sigma_3 s_1 - 4\sigma_4 \]
\[ \vdots \]
Γενική μορφή:\[ s_2 = \sigma_1 s_1 - 2\sigma_2 \]
\[ s_3 = \sigma_1 s_2 - \sigma_2 s_1 + 3\sigma_3 \]
\[ s_4 = \sigma_1 s_3 - \sigma_2 s_2 + \sigma_3 s_1 - 4\sigma_4 \]
\[ \vdots \]
\[ s_k = \sigma_1 s_{k-1} - \sigma_2 s_{k-2} + \cdots + (-1)^{k-1}k\sigma_k \]
💡 Πότε χρησιμοποιούμε Power Sums;
Όταν μας ζητούν να υπολογίσουμε:
• \(x_1^k + x_2^k + \cdots + x_n^k\) για μεγάλο \(k\)
• Αναδρομικές σχέσεις ριζών
• Συστήματα με συμμετρία και δυνάμεις
Τεχνική: Αντί να υψώνουμε τις ρίζες σε δυνάμεις, χρησιμοποιούμε τις Newton's Identities!
Όταν μας ζητούν να υπολογίσουμε:
• \(x_1^k + x_2^k + \cdots + x_n^k\) για μεγάλο \(k\)
• Αναδρομικές σχέσεις ριζών
• Συστήματα με συμμετρία και δυνάμεις
Τεχνική: Αντί να υψώνουμε τις ρίζες σε δυνάμεις, χρησιμοποιούμε τις Newton's Identities!
🚨 Συχνά Λάθη & Tips
⚠️ Common Mistakes
Λάθος 1: Πρόσημα στη Vieta
❌ Για \(x^3 + 2x^2 - 5x + 3 = 0\), το \(x_1+x_2+x_3 = 2\)
✅ Το σωστό είναι \(x_1+x_2+x_3 = -2\) (προσοχή στο πρόσημο!)
Λάθος 2: Roots of Unity
❌ \(\omega + \omega^2 = 0\)
✅ Το σωστό: \(\omega + \omega^2 = -1\) (αφού \(1+\omega+\omega^2=0\))
Λάθος 3: Symmetric vs Power Sums
❌ Σύγχυση \(x_1x_2 + x_2x_3 + x_3x_1\) με \(x_1^2 + x_2^2 + x_3^2\)
✅ Το πρώτο είναι \(\sigma_2\), το δεύτερο είναι \(s_2\) - διαφορετικά πράγματα!
Λάθος 4: Ξεχνώντας Πολλαπλότητες
❌ Το \((x-1)^2(x-2)\) έχει 2 ρίζες
✅ Έχει 3 ρίζες (το 1 με πολλαπλότητα 2, το 2 με πολλαπλότητα 1)
Λάθος 1: Πρόσημα στη Vieta
❌ Για \(x^3 + 2x^2 - 5x + 3 = 0\), το \(x_1+x_2+x_3 = 2\)
✅ Το σωστό είναι \(x_1+x_2+x_3 = -2\) (προσοχή στο πρόσημο!)
Λάθος 2: Roots of Unity
❌ \(\omega + \omega^2 = 0\)
✅ Το σωστό: \(\omega + \omega^2 = -1\) (αφού \(1+\omega+\omega^2=0\))
Λάθος 3: Symmetric vs Power Sums
❌ Σύγχυση \(x_1x_2 + x_2x_3 + x_3x_1\) με \(x_1^2 + x_2^2 + x_3^2\)
✅ Το πρώτο είναι \(\sigma_2\), το δεύτερο είναι \(s_2\) - διαφορετικά πράγματα!
Λάθος 4: Ξεχνώντας Πολλαπλότητες
❌ Το \((x-1)^2(x-2)\) έχει 2 ρίζες
✅ Έχει 3 ρίζες (το 1 με πολλαπλότητα 2, το 2 με πολλαπλότητα 1)
🏆 GRAND CHALLENGE - Part 2
🎯 ULTIMATE VIETA CHALLENGE
Πρόβλημα (IMO-style): Έστω \(a, b, c\) οι ρίζες του πολυωνύμου \(x^3 - x - 1 = 0\). Υπολογίστε:
Πρόβλημα (IMO-style): Έστω \(a, b, c\) οι ρίζες του πολυωνύμου \(x^3 - x - 1 = 0\). Υπολογίστε:
\[ \frac{1}{a+1} + \frac{1}{b+1} + \frac{1}{c+1} \]
🎁 Hints σε 4 Επίπεδα:
🥉 Hint 1: Χρησιμοποιήστε Vieta για να βρείτε \(a+b+c\), \(ab+bc+ca\), και \(abc\).
🥈 Hint 2: Προσπαθήστε να εκφράσετε το άθροισμα ως κλάσμα με κοινό παρονομαστή.
🥇 Hint 3: Χρειάζεστε να υπολογίσετε \((a+1)(b+1)(c+1)\). Ανοίξτε την παρένθεση!
💎 Hint 4: \((a+1)(b+1)(c+1) = abc + ab + bc + ca + a + b + c + 1\)
📮 Πλήρης Λύση:
Βήμα 1: Vieta
Από \(x^3 - x - 1 = 0\) (σημείωση: \(x^3 + 0x^2 - x - 1\)):
• \(a + b + c = 0\)
• \(ab + bc + ca = -1\)
• \(abc = 1\)
Βήμα 2: Κοινός Παρονομαστής
\[ \frac{1}{a+1} + \frac{1}{b+1} + \frac{1}{c+1} = \frac{(b+1)(c+1) + (a+1)(c+1) + (a+1)(b+1)}{(a+1)(b+1)(c+1)} \]
Βήμα 3: Παρονομαστής
\[ (a+1)(b+1)(c+1) = abc + ab + ac + bc + a + b + c + 1 \]
\[ = 1 + (-1) + 0 + 1 = 1 \]
Βήμα 4: Αριθμητής
\[ (b+1)(c+1) + (a+1)(c+1) + (a+1)(b+1) \]
\[ = bc + b + c + 1 + ac + a + c + 1 + ab + a + b + 1 \]
\[ = (ab+bc+ca) + 2(a+b+c) + 3 \]
\[ = -1 + 0 + 3 = 2 \]
Απάντηση:
\[ \frac{2}{1} = 2 \]
Βήμα 1: Vieta
Από \(x^3 - x - 1 = 0\) (σημείωση: \(x^3 + 0x^2 - x - 1\)):
• \(a + b + c = 0\)
• \(ab + bc + ca = -1\)
• \(abc = 1\)
Βήμα 2: Κοινός Παρονομαστής
\[ \frac{1}{a+1} + \frac{1}{b+1} + \frac{1}{c+1} = \frac{(b+1)(c+1) + (a+1)(c+1) + (a+1)(b+1)}{(a+1)(b+1)(c+1)} \]
Βήμα 3: Παρονομαστής
\[ (a+1)(b+1)(c+1) = abc + ab + ac + bc + a + b + c + 1 \]
\[ = 1 + (-1) + 0 + 1 = 1 \]
Βήμα 4: Αριθμητής
\[ (b+1)(c+1) + (a+1)(c+1) + (a+1)(b+1) \]
\[ = bc + b + c + 1 + ac + a + c + 1 + ab + a + b + 1 \]
\[ = (ab+bc+ca) + 2(a+b+c) + 3 \]
\[ = -1 + 0 + 3 = 2 \]
Απάντηση:
\[ \frac{2}{1} = 2 \]
📊 Strategy & Σύνοψη
🎓 Πότε Χρησιμοποιούμε Ποια Τεχνική;
💡 Golden Rules:
1️⃣ Πάντα ελέγχετε τα πρόσημα στη Vieta!
2️⃣ Για roots of unity: \(1 + \omega + \omega^2 + \cdots + \omega^{n-1} = 0\)
3️⃣ Symmetric systems → θέστε \(\sigma_1, \sigma_2\) και φτιάξτε τετραγωνική
4️⃣ Για power sums χρησιμοποιήστε αναδρομικές σχέσεις
5️⃣ Όταν βλέπετε \(x^3 + y^3 + z^3\), σκεφτείτε την ταυτότητα με \(xyz\)
| Πρόβλημα | Τεχνική |
|---|---|
| Βρες \(x_1 + x_2\) ή \(x_1x_2\) | Vieta's Formulas απευθείας |
| Βρες \(x_1^2 + x_2^2\) ή \(x_1^3 + x_2^3\) | Ταυτότητες + Vieta |
| Βρες \(x_1^k + x_2^k\) για μεγάλο \(k\) | Newton's Identities |
| Σύστημα συμμετρικό σε \(x, y\) | Θέσε \(\sigma_1 = x+y, \sigma_2 = xy\) |
| Εξίσωση με \(x^n = 1\) ή \(x^n = -1\) | Roots of Unity |
| Κυβική με συγκεκριμένη μορφή | Unit roots decomposition |
💡 Golden Rules:
1️⃣ Πάντα ελέγχετε τα πρόσημα στη Vieta!
2️⃣ Για roots of unity: \(1 + \omega + \omega^2 + \cdots + \omega^{n-1} = 0\)
3️⃣ Symmetric systems → θέστε \(\sigma_1, \sigma_2\) και φτιάξτε τετραγωνική
4️⃣ Για power sums χρησιμοποιήστε αναδρομικές σχέσεις
5️⃣ Όταν βλέπετε \(x^3 + y^3 + z^3\), σκεφτείτε την ταυτότητα με \(xyz\)
🎊 Συγχαρητήρια!
Ολοκληρώσατε το Part 2 του Polynomials Marathon!
Τι κατακτήσατε:
✅ Fundamental Theorem of Algebra
✅ Vieta's Formulas για όλους τους βαθμούς
✅ Roots of Unity & ιδιότητες
✅ Κυβικές εξισώσεις
✅ 7 IMO-level παραδείγματα
✅ Newton's Identities
Ολοκληρώσατε το Part 2 του Polynomials Marathon!
Τι κατακτήσατε:
✅ Fundamental Theorem of Algebra
✅ Vieta's Formulas για όλους τους βαθμούς
✅ Roots of Unity & ιδιότητες
✅ Κυβικές εξισώσεις
✅ 7 IMO-level παραδείγματα
✅ Newton's Identities
📅 Επόμενο Part:
Part 3: Reciprocal & Symmetric Polynomials
Ανακαλύψτε τα συμμετρικά μυστικά! 🎯
Part 3: Reciprocal & Symmetric Polynomials
Ανακαλύψτε τα συμμετρικά μυστικά! 🎯
🔗 Αν σου διέφυγε: Part 1 - Βασικές Έννοιες & Division
Μείνετε συντονισμένοι...
Η κορυφή πλησιάζει! 🚀
Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώ
PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify
📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα
Δες τα βιβλία →
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου