Ανισώσεις ανώτερου βαθμού — Κλασματικές ανισώσεις 📈

🎯 Γιατί χρειαζόμαστε νέα μέθοδο

Μέχρι τώρα ξέρουμε να βρίσκουμε το πρόσημο ενός τριωνύμου $ax^2 + \beta x + \gamma$ μέσω της διακρίνουσας. Τι γίνεται όμως αν η ανίσωση έχει τρίτο ή μεγαλύτερο βαθμό, όπως $(x-1)(x+2)(x-3) > 0$ , ή αν είναι κλάσμα, όπως $\dfrac{x-3}{x+1} \geq 0$ ; Σε τέτοιες περιπτώσεις δεν υπάρχει «διακρίνουσα» έτοιμη να μας δώσει την απάντηση. Η λύση είναι να σπάσουμε το πρόβλημα σε κομμάτια που ήδη ξέρουμε να χειριστούμε: παραγοντοποιούμε την παράσταση σε γινόμενο απλών όρων (πρωτοβάθμιων ή δευτεροβάθμιων παραγόντων) και μελετάμε το πρόσημο κάθε παράγοντα ξεχωριστά.

Η ιδέα που κάνει όλη τη μέθοδο να λειτουργεί είναι απλή: το πρόσημο ενός γινομένου εξαρτάται μόνο από το πλήθος των αρνητικών παραγόντων του, όχι από τις τιμές τους. Αν σε ένα σημείο $x$ έχουμε π.χ. δύο θετικούς παράγοντες και έναν αρνητικό, το γινόμενο είναι αρνητικό — άσχετα με το πόσο «μεγάλοι» ή «μικροί» είναι οι παράγοντες. Άρα αρκεί να ξέρουμε το πρόσημο κάθε παράγοντα χωριστά σε κάθε διάστημα, και μετά να τα «πολλαπλασιάσουμε» νοητά.

🔢 Πρόσημο γινομένου

Πρόσημο γινομένου

Για να βρούμε το πρόσημο του γινομένου $P(x) = A_1(x) \cdot A_2(x) \cdot \ldots \cdot A_\nu(x)$ , βρίσκουμε το πρόσημο κάθε παράγοντα $A_1(x), A_2(x), \ldots, A_\nu(x)$ ξεχωριστά και στη συνέχεια συνδυάζουμε τα πρόσημα για να βρούμε το πρόσημο του $P(x)$ .

Τα βήματα της μεθόδου είναι:

Παραγοντοποιούμε το $P(x)$ σε γινόμενο όρων που ξέρουμε να μελετήσουμε (πρωτοβάθμιοι παράγοντες όπως $x - \rho$ , ή δευτεροβάθμιοι με τη μέθοδο του τριωνύμου).
Βρίσκουμε τις ρίζες κάθε παράγοντα — δηλαδή τις τιμές του $x$ που μηδενίζουν τον καθένα.
Τοποθετούμε όλες τις ρίζες κατά αύξουσα σειρά πάνω σε έναν άξονα, χωρίζοντάς τον σε διαστήματα.
Συμπληρώνουμε τον πίνακα προσήμων, γράφοντας σε κάθε διάστημα το πρόσημο κάθε παράγοντα ξεχωριστά.
Υπολογίζουμε το πρόσημο του γινομένου σε κάθε διάστημα, πολλαπλασιάζοντας τα πρόσημα των παραγόντων (κανόνας των προσήμων: άρτιο πλήθος αρνητικών παραγόντων ⇒ θετικό γινόμενο, περιττό πλήθος ⇒ αρνητικό γινόμενο).

Το πρόσημο ενός πρωτοβάθμιου παράγοντα $x - \rho$ είναι πάντα το ίδιο μοτίβο: αρνητικό πριν από τη ρίζα $\rho$ , μηδέν στη ρίζα, θετικό μετά τη ρίζα. Γι' αυτό, καθώς προχωράμε πάνω στον άξονα από αριστερά προς τα δεξιά και περνάμε μια απλή ρίζα, το πρόσημο εκείνου του παράγοντα αλλάζει — και άρα αλλάζει (ή όχι, ανάλογα με το πλήθος των παραγόντων που «γυρίζουν» πρόσημο εκεί) και το πρόσημο του συνολικού γινομένου.

Συντομότερος τρόπος — Συνοπτικός πίνακας

Αντί να γράφουμε ξεχωριστή γραμμή για κάθε παράγοντα, μπορούμε να δουλέψουμε πιο γρήγορα με έναν συνοπτικό πίνακα:

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

🔁 Τι αλλάζει σε πολλαπλές ρίζες

Ο κανόνας «το πρόσημο εναλλάσσεται σε κάθε ρίζα» ισχύει μόνο όταν η ρίζα είναι απλή (εμφανίζεται μία φορά στην παραγοντοποίηση). Αν ένας παράγοντας εμφανίζεται υψωμένος σε άρτια δύναμη, όπως $(x - \rho)^2$ , τότε αυτός ο παράγοντας είναι πάντα $\geq 0$ — δεν γίνεται ποτέ αρνητικός, αφού κάθε τετράγωνο πραγματικού αριθμού είναι μη αρνητικό. Άρα δεν αλλάζει το πρόσημο του γινομένου καθώς περνάμε από τη ρίζα αυτή: το γινόμενο έχει το ίδιο πρόσημο και στις δύο πλευρές της.

Γιατί η διπλή ρίζα δεν αλλάζει το πρόσημο

Σκέψου το $(x-2)^2$ : για $x = 1$ βγαίνει $(-1)^2 = 1 > 0$ , και για $x = 3$ βγαίνει $1^2 = 1 > 0$ — και στις δύο πλευρές της ρίζας $x=2$ το αποτέλεσμα είναι θετικό, γιατί το τετράγωνο «σβήνει» το πρόσημο του παράγοντα. Αντίθετα, ο απλός παράγοντας $(x-2)$ είναι αρνητικός πριν το 2 και θετικός μετά — εκεί το πρόσημο πράγματι αλλάζει.

Στον πίνακα προσήμων, η διπλή ρίζα συχνά σημειώνεται με έναν διπλό τόνο $''$ πάνω από τη θέση της, για να θυμίζει ότι εκεί το πρόσημο δεν αλλάζει φορά. Ο ίδιος συλλογισμός γενικεύεται: μια ρίζα πολλαπλότητας άρτιου αριθμού (2, 4, …) δεν αλλάζει το πρόσημο, ενώ μια ρίζα πολλαπλότητας περιττού αριθμού (1, 3, …) το αλλάζει — ακριβώς όπως μια απλή ρίζα.

➗ Πρόσημο πηλίκου (κλασματικής παράστασης)

Μια ρητή αλγεβρική παράσταση της μορφής $Q(x) = \dfrac{A(x)}{B(x)}$ έχει πρόσημο που καθορίζεται με τον ίδιο ακριβώς συλλογισμό όπως το γινόμενο, γιατί η διαίρεση δύο αριθμών ακολουθεί τον ίδιο κανόνα προσήμων με τον πολλαπλασιασμό τους (θετικός διά θετικός = θετικό, αρνητικός διά αρνητικός = θετικό, διαφορετικά πρόσημα = αρνητικό).

Πρόσημο πηλίκου

Για να βρούμε το πρόσημο του πηλίκου $Q(x) = \dfrac{A(x)}{B(x)}$ , βρίσκουμε το πρόσημο του αριθμητή $A(x)$ και του παρονομαστή $B(x)$ ξεχωριστά (με πίνακα προσήμων ο καθένας), και μετά συνδυάζουμε τα πρόσημα όπως θα κάναμε σε γινόμενο.

Η μόνη ουσιαστική διαφορά με το γινόμενο είναι ότι εδώ υπάρχει ένας περιορισμός που δεν υπήρχε πριν: ο παρονομαστής δεν επιτρέπεται ποτέ να μηδενιστεί, γιατί η διαίρεση με το μηδέν δεν ορίζεται.

Προσοχή στις ρίζες του παρονομαστή

Στον πίνακα προσήμων μιας κλασματικής παράστασης, οι ρίζες του παρονομαστή σημειώνονται συνήθως με διπλή κάθετη γραμμή $\|$ , για να θυμίζουν ότι εκεί η παράσταση δεν ορίζεται καθόλου — δεν είναι απλώς «μηδέν», απουσιάζει τελείως από το πεδίο ορισμού. Αυτές οι τιμές πρέπει να αποκλείονται πάντα από το τελικό σύνολο λύσεων, ό,τι κι αν ζητά η ανίσωση (ακόμα κι αν έχει $\geq$ ή $\leq$ ).

📋 Επίλυση κλασματικών ανισώσεων

Ένα λάθος που φαίνεται λογικό αλλά είναι λανθασμένο είναι να «πολλαπλασιάσουμε σταυρωτά» μια κλασματική ανίσωση όπως θα κάναμε σε μια εξίσωση. Ο λόγος είναι ότι όταν πολλαπλασιάζουμε και τα δύο μέλη μιας ανίσωσης με μια παράσταση, η φορά της ανίσωσης αλλάζει ή διατηρείται ανάλογα με το πρόσημο αυτής της παράστασης — και το πρόσημο ενός παρονομαστή που περιέχει το $x$ δεν είναι σταθερό, αλλάζει καθώς αλλάζει το $x$ . Δεν μπορούμε λοιπόν να ξέρουμε εκ των προτέρων αν πρέπει να αντιστρέψουμε τη φορά ή όχι. Γι' αυτό δουλεύουμε πάντα μέσω προσήμου, όχι μέσω πολλαπλασιασμού των δύο μελών.

Μέθοδος επίλυσης κλασματικής ανίσωσης

Μεταφέρουμε όλους τους όρους στο ένα μέλος, ώστε το άλλο μέλος να είναι $0$ (η ανίσωση παίρνει τη μορφή $\dfrac{A(x)}{B(x)} \gtrless 0$ ή $\dfrac{A(x)}{B(x)} \gtrless 0$ ).
Κάνουμε κοινό παρονομαστή, αν το πρώτο μέλος έχει περισσότερους από έναν όρους, ώστε να καταλήξουμε σε ένα μοναδικό κλάσμα.
Παραγοντοποιούμε τον αριθμητή και τον παρονομαστή του τελικού κλάσματος.
Βρίσκουμε τις ρίζες του αριθμητή και του παρονομαστή ξεχωριστά.
Κατασκευάζουμε πίνακα προσήμων, τοποθετώντας όλες τις ρίζες (αριθμητή και παρονομαστή μαζί) κατά αύξουσα σειρά στον άξονα, και σημειώνοντας με διπλή γραμμή τις ρίζες του παρονομαστή.
Διαβάζουμε το σύνολο λύσεων από τον πίνακα, σύμφωνα με το πρόσημο που ζητά η ανίσωση, αποκλείοντας πάντα τις τιμές που μηδενίζουν τον παρονομαστή.

Το βήμα «μεταφέρουμε όλα στο ένα μέλος» είναι το κλειδί που κάνει ασφαλή τη σύγκριση με το μηδέν: το πρόσημο του $0$ είναι σταθερό (ούτε θετικό ούτε αρνητικό), οπότε η σύγκριση $\dfrac{A(x)}{B(x)} \gtrless 0$ ανάγεται καθαρά σε ερώτημα προσήμου, χωρίς τον κίνδυνο που έχει ο πολλαπλασιασμός και των δύο μελών με άγνωστο πρόσημο.

Συχνό λάθος: να ξεχάσουμε τους περιορισμούς

Ακόμα κι όταν η λύση της ανίσωσης «τυπικά» θα περιλάμβανε μια τιμή $\rho$ που μηδενίζει τον παρονομαστή (π.χ. επειδή γειτονεύει με άλλα σημεία του ίδιου διαστήματος προσήμου), αυτή η τιμή πρέπει να αφαιρεθεί από το τελικό σύνολο λύσεων. Ένα διάστημα όπως $[-1, 3]$ γίνεται $[-1, 3)$ ή $(-1, 3]$ αν το $3$ ή το $-1$ αντίστοιχα μηδενίζει τον παρονομαστή.