📐 Η Ανισότητα του Oppenheim — Θεώρημα, απόδειξη και εφαρμογές σε τρίγωνα

Μια ενδιαφέρουσα οικογένεια γεωμετρικών ανισοτήτων συνδέει τις πλευρές ενός τριγώνου με το εμβαδόν και την περιγεγραμμένη ακτίνα του. Στο επίκεντρο βρίσκεται μια ανισότητα που αποδίδεται στον A. Oppenheim.

Έστω τρίγωνο \(ABC\), με πλευρές \(a,b,c\), εμβαδόν \(S\) και περιγεγραμμένη ακτίνα \(R\).

🔷 Η ανισότητα

Για πραγματικούς αριθμούς \(x,y,z\), υπό τις κατάλληλες συνθήκες που αναφέρονται παρακάτω, ισχύει

\[ \boxed{ xa^2+yb^2+zc^2 \ge 4S\sqrt{xy+yz+zx} }. \]

Η περίπτωση ισότητας χαρακτηρίζεται από τη σχέση

\[ \boxed{ \frac{x}{-a^2+b^2+c^2} = \frac{y}{a^2-b^2+c^2} = \frac{z}{a^2+b^2-c^2} }. \]

🔹 Ένα γενικότερο θεώρημα

Η παραπάνω ανισότητα προκύπτει από ένα γενικότερο αποτέλεσμα.

Αν

\[ x+y>0,\qquad y+z>0,\qquad z+x>0, \]

τότε ισχύει

\[ \boxed{ xa^2+yb^2+zc^2 \ge 4S\sqrt{xy+yz+zx} }. \]

Μάλιστα, οι συνθήκες αυτές επιτρέπουν είτε οι \(x,y,z\) να είναι όλοι θετικοί είτε ένας από αυτούς να είναι αρνητικός και οι άλλοι δύο θετικοί.

✏️ Απόδειξη

Θέτουμε

\[ k=-4\sqrt{xy+yz+zx}. \]

Από τον νόμο των συνημιτόνων έχουμε

\[ c^2=a^2+b^2-2ab\cos C. \]

Επομένως

\[ xa^2+yb^2+zc^2 = (x+z)a^2+(y+z)b^2-2zab\cos C. \]

Θέλουμε λοιπόν να αποδείξουμε ότι

\[ (x+z)a^2+(y+z)b^2 \ge (2z\cos C-k\sin C)ab. \]

Από την AM–GM,

\[ (x+z)a^2+(y+z)b^2 \ge 2ab\sqrt{(x+z)(y+z)}. \]

Από την άλλη, με Cauchy–Schwarz, το δεξί μέλος ελέγχεται από την ίδια ποσότητα, γεγονός που δίνει την επιθυμητή ανισότητα.

Άρα

\[ \boxed{ xa^2+yb^2+zc^2 \ge 4S\sqrt{xy+yz+zx} }. \]

⚖️ Πότε έχουμε ισότητα;

Από τις περιπτώσεις ισότητας στις AM–GM και Cauchy–Schwarz προκύπτει ότι πρέπει να ισχύει

\[ \frac{xa}{\cos A} = \frac{yb}{\cos B} = \frac{zc}{\cos C}. \]

Χρησιμοποιώντας

\[ a=2R\sin A,\qquad b=2R\sin B,\qquad c=2R\sin C, \]

η σχέση γράφεται

\[ \boxed{ \frac{x}{\sin2A} = \frac{y}{\sin2B} = \frac{z}{\sin2C} }. \]

Με τον νόμο των συνημιτόνων,

\[ -a^2+b^2+c^2=2bc\cos A, \]

και τις αντίστοιχες κυκλικές σχέσεις, παίρνουμε τελικά

\[ \boxed{ \frac{x}{-a^2+b^2+c^2} = \frac{y}{a^2-b^2+c^2} = \frac{z}{a^2+b^2-c^2} }. \]

1️⃣ Εφαρμογή — Η ανισότητα του Weitzenböck

Θέτουμε

\[ x=y=z=1. \]

Τότε η ανισότητα του Oppenheim δίνει

\[ a^2+b^2+c^2 \ge 4S\sqrt{3}. \]

Άρα

\[ \boxed{ a^2+b^2+c^2\ge4\sqrt3\,S }. \]

Πρόκειται για την κλασική ανισότητα του Weitzenböck.

Η ισότητα εμφανίζεται όταν το τρίγωνο είναι ισόπλευρο.

2️⃣ Εφαρμογή

Στην ανισότητα του Oppenheim θέτουμε

\[ x=a^2,\qquad y=b^2,\qquad z=c^2. \]

Τότε παίρνουμε

\[ a^4+b^4+c^4 \ge 4S\sqrt{a^2b^2+b^2c^2+c^2a^2}. \]

Επομένως

\[ \boxed{ a^4+b^4+c^4 \ge 4S\sqrt{a^2b^2+b^2c^2+c^2a^2} }. \]

Είναι ένα χαρακτηριστικό παράδειγμα του πόσο εύκολα η γενική ανισότητα παράγει νέες γεωμετρικές σχέσεις με μια κατάλληλη επιλογή των \(x,y,z\).

💡 Η βασική ιδέα

Η δύναμη της ανισότητας του Oppenheim βρίσκεται στη γενικότητά της. Με διαφορετικές επιλογές των \(x,y,z\), η ίδια σχέση παράγει μια ολόκληρη οικογένεια ανισοτήτων για τις πλευρές και το εμβαδόν ενός τριγώνου.

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →