Ανισότητες με προϋπόθεση γινομένου – Πώς να λύσεις δύσκολα προβλήματα με Nesbitt, Schur και Cauchy-Schwarz 📘

Ανισότητες με προϋπόθεση γινομένου – Nesbitt, Schur και Cauchy-Schwarz σε δράση 📘

Βασισμένο στο άρθρο του Salem Malikić (Math Excalibur)

---

🔹 Εισαγωγή

Πολλά προβλήματα ανισοτήτων περιλαμβάνουν θετικούς αριθμούς \( a, b, c \) τέτοιους ώστε \( abc = 1 \). Μια χρήσιμη τεχνική είναι η αλλαγή μεταβλητών της μορφής: \[ a = \frac{x}{y}, \quad b = \frac{y}{z}, \quad c = \frac{z}{x}. \] Έτσι, το πρόβλημα απλοποιείται ώστε να εφαρμοστούν γνωστές ανισότητες όπως του Nesbitt, του Schur, ή του Cauchy-Schwarz.

---

🔸 Παράδειγμα 1

Πρόβλημα:
Αν \( a, b, c \) είναι θετικοί πραγματικοί αριθμοί με \( abc = 1 \), να αποδειχθεί ότι: \[ \frac{a}{ab + 1} + \frac{b}{bc + 1} + \frac{c}{ca + 1} \ge \frac{3}{2}. \]

Λύση:

Θέτουμε \( a = \frac{x}{y}, \; b = \frac{y}{z}, \; c = \frac{z}{x} \). Τότε: \[ \frac{a}{ab + 1} = \frac{\frac{x}{y}}{\frac{x}{y} \cdot \frac{y}{z} + 1} = \frac{x}{x + z}. \] Άρα η ανισότητα μετασχηματίζεται σε: \[ \frac{x}{x+z} + \frac{y}{y+x} + \frac{z}{z+y} \ge \frac{3}{2}. \] Αυτή είναι η γνωστή ανισότητα του Nesbitt, η οποία ισχύει για κάθε θετικό \(x, y, z\). Ισότητα επιτυγχάνεται όταν \(x = y = z\), δηλαδή \(a = b = c = 1.\) ✅

---

🔸 Παράδειγμα 2 (2004 Russian Math Olympiad)

Πρόβλημα:
Αν \(n > 3\) και \( x_1, x_2, \ldots, x_n > 0 \) με \(x_1 x_2 \cdots x_n = 1,\) να αποδειχθεί ότι: \[ \frac{1}{1 + x_1 + x_1x_2} + \frac{1}{1 + x_2 + x_2x_3} + \cdots + \frac{1}{1 + x_n + x_nx_1} \le \frac{n}{3}. \]

Λύση:
Θέτουμε πάλι \(x_i = \frac{a_i}{a_{i+1}}\). Τότε η ανισότητα γράφεται: \[ \frac{a_i}{a_i + a_{i+1} + a_{i+2}} \le \frac{1}{3}. \] Αθροίζοντας για όλα τα \(i\): \[ \sum_{i=1}^n \frac{a_i}{a_i + a_{i+1} + a_{i+2}} \le \frac{n}{3}. \] Η ανισότητα αποδεικνύεται με εφαρμογή της AM-GM ή της κυκλικής συμμετρίας. ✅

---

🔸 Παράδειγμα 3

Πρόβλημα:
Αν \(a, b, c > 0\) και \(abc = 1\), να αποδειχθεί ότι: \[ 3 + a^2 + b^2 + c^2 \ge 2(a + b + c + ab + bc + ca). \]

Λύση:
Θέτουμε \(a = \frac{x}{y}, \; b = \frac{y}{z}, \; c = \frac{z}{x}\). Τότε: \[ a^2 + b^2 + c^2 = \frac{x^2}{y^2} + \frac{y^2}{z^2} + \frac{z^2}{x^2}, \quad ab + bc + ca = \frac{x}{z} + \frac{y}{x} + \frac{z}{y}. \] Μετά από αναδιάταξη, το πρόβλημα γίνεται ισοδύναμο με την ανισότητα του Schur: \[ x^3(y+z) + y^3(z+x) + z^3(x+y) \ge 6xyz. \] Ισότητα ισχύει όταν \(x = y = z\), δηλαδή \(a = b = c = 1.\) ✅

---

📘 Συμπέρασμα

Οι μεταβλητές με γινόμενο 1 οδηγούν σε συμμετρικές δομές που επιτρέπουν να εφαρμοστούν διάσημες ανισότητες (Nesbitt, Schur, Cauchy-Schwarz). Έτσι μπορούμε να αποδεικνύουμε σύνθετα αποτελέσματα με κομψό τρόπο.

---

📢 Θες να συνεχίσεις με ακόμη πιο προχωρημένα προβλήματα μαθηματικών ολυμπιάδων;

Επισκέψου το eisatopon.gr για περισσότερα άρθρα, αποδείξεις και διαγωνιστικά μαθήματα στη θεωρία αριθμών, ανισότητες και γεωμετρία!