Διάταξη Πραγματικών Αριθμών 📏

Όταν συγκρίνουμε δύο πραγματικούς αριθμούς, λέμε ότι ο ένας είναι «μεγαλύτερος» ή «μικρότερος» από τον άλλον. Αυτό φαίνεται αυτονόητο, αλλά για να λύνουμε ανισώσεις με σιγουριά —να προσθέτουμε, να πολλαπλασιάζουμε ή να υψώνουμε σε δύναμη και τα δύο μέλη μιας ανισότητας— χρειαζόμαστε κανόνες που να μας λένε ακριβώς πότε η ανισότητα «κρατάει» και πότε αλλάζει φορά. Αυτή η ενότητα χτίζει αυτούς τους κανόνες πάνω σε τρία θεμελιώδη αξιώματα, και δείχνει γιατί ισχύει καθένας από αυτούς.

🔢 Η ιδέα πίσω από τη διάταξη: τρία αξιώματα

Η διάταξη των πραγματικών αριθμών δεν είναι κάτι που αποδεικνύεται από το μηδέν· είναι κάτι που ορίζεται μέσα από το υποσύνολο $\mathbb{R}^+$ των θετικών πραγματικών αριθμών. Η βασική ιδέα είναι απλή: λέμε ότι $x > y$ ακριβώς όταν η διαφορά $x - y$ είναι θετικός αριθμός. Έτσι, κάθε ερώτηση διάταξης ανάγεται σε μια ερώτηση για το πρόσημο μιας διαφοράς.

Για να λειτουργήσει αυτή η ιδέα χρειαζόμαστε να ξέρουμε πώς «συμπεριφέρονται» οι θετικοί αριθμοί όταν τους προσθέτουμε ή τους πολλαπλασιάζουμε, και πώς κάθε αριθμός σχετίζεται με το $\mathbb{R}^+$ . Αυτό ακριβώς περιγράφουν τα τρία αξιώματα:

Αξίωμα 1 — Άθροισμα θετικών

Το άθροισμα δύο θετικών αριθμών είναι πάντα θετικός αριθμός:

x, y \in \mathbb{R}^+ \Rightarrow (x + y) \in \mathbb{R}^+

Αξίωμα 2 — Γινόμενο θετικών

Το γινόμενο δύο θετικών αριθμών είναι πάντα θετικός αριθμός:

x, y \in \mathbb{R}^+ \Rightarrow (xy) \in \mathbb{R}^+

Αξίωμα 3 — Τριχοτόμηση

Για κάθε πραγματικό αριθμό $x$ ισχύει ακριβώς ένα από τα τρία:

x \in \mathbb{R}^+ \;\text{ή}\; (-x) \in \mathbb{R}^+ \;\text{ή}\; x = 0

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

Όλες οι ιδιότητες που ακολουθούν δεν είναι νέα αξιώματα — είναι συμπεράσματα που αποδεικνύονται αποκλειστικά από αυτά τα τρία, συνήθως ανάγοντας την ανισότητα σε πρόσημο διαφοράς και χρησιμοποιώντας τα Αξιώματα 1 και 2.

📐 Πράξεις πάνω σε ανισότητες

Μεταβατική ιδιότητα

Ιδιότητα 1 (Μεταβατική)

Αν $x > y$ και $y > z$ , τότε $x > z$ , για κάθε $x, y, z \in \mathbb{R}$ .

Διαισθητικά: αν ο $x$ είναι πιο μεγάλος από τον $y$ , κι ο $y$ πιο μεγάλος από τον $z$ , τότε φυσικά ο $x$ είναι πιο μεγάλος κι από τον $z$ — οι ανισότητες «αλυσιδώνουν». Η απόδειξη το επιβεβαιώνει μέσω προσήμων: αφού $x > y$ , η διαφορά $x - y$ είναι θετική, κι αφού $y > z$ , η διαφορά $y - z$ είναι κι αυτή θετική. Με το Αξίωμα 1, το άθροισμα δύο θετικών είναι θετικό:

(x - y) + (y - z) > 0 \Rightarrow x - z > 0 \Rightarrow x > z

Ο όρος $y$ απλώς «διαγράφεται» στην πρόσθεση, αφήνοντας πίσω του τη σύγκριση ανάμεσα σε $x$ και $z$ .

Πρόσθεση ανισοτήτων ίδιας φοράς

Ιδιότητα 2

Αν $a > \beta$ και $\gamma > \delta$ , τότε $a + \gamma > \beta + \delta$ , για κάθε $\alpha, \beta, \gamma, \delta \in \mathbb{R}$ .

Δύο ανισότητες με το ίδιο σύμβολο («ίδια φορά») μπορούν να προστεθούν μέλος προς μέλος, ακριβώς όπως προσθέτουμε δύο ισότητες. Η λογική είναι η ίδια με πριν: κάθε ανισότητα δίνει μια θετική διαφορά, και το άθροισμα δύο θετικών παραμένει θετικό:

(a - \beta) + (\gamma - \delta) > 0 \Rightarrow a + \gamma > \beta + \delta

Δεν αφαιρούνται ανισότητες ίδιας φοράς

Η πρόσθεση ανισοτήτων ίδιας φοράς είναι ασφαλής, αλλά η αφαίρεση δεν είναι. Αν $a > \beta$ και $\gamma > \delta$ , δεν μπορούμε γενικά να συμπεράνουμε τίποτα σταθερό για το $a - \gamma$ σε σχέση με το $\beta - \delta$ : το αποτέλεσμα εξαρτάται από τις συγκεκριμένες τιμές. Μόνο η πρόσθεση διατηρεί την ανισότητα με ασφάλεια.

Πολλαπλασιασμός ανισοτήτων θετικών όρων

Ιδιότητα 3

Αν $a > \beta > 0$ και $\gamma > \delta > 0$ , τότε $a\gamma > \beta\delta$ .

Όταν όλοι οι όροι είναι θετικοί, δύο ανισότητες ίδιας φοράς μπορούν επίσης να πολλαπλασιαστούν μέλος προς μέλος. Η απόδειξη προχωρά σε δύο βήματα: πολλαπλασιάζοντας και τα δύο μέλη της $a > \beta$ επί τον θετικό αριθμό $\gamma$ παίρνουμε $a\gamma > \beta\gamma$ · πολλαπλασιάζοντας και τα δύο μέλη της $\gamma > \delta$ επί τον θετικό αριθμό $\beta$ παίρνουμε $\beta\gamma > \beta\delta$ . Συνδυάζοντας τις δύο με τη μεταβατική ιδιότητα:

a\gamma > \beta\gamma > \beta\delta \;\Rightarrow\; a\gamma > \beta\delta

Το τετράγωνο ενός πραγματικού αριθμού

Ιδιότητα 4

Ισχύει ότι $a^2 \geq 0$ , για κάθε πραγματικό αριθμό $a$ .

Αυτή είναι ίσως η πιο χρήσιμη ιδιότητα σε ολόκληρη την Άλγεβρα: κανένα τετράγωνο δεν είναι ποτέ αρνητικό. Το βλέπουμε εξετάζοντας τις δύο δυνατές περιπτώσεις για το $a$ , σύμφωνα με την τριχοτόμηση:

Αν $a \geq 0$ , τότε πολλαπλασιάζοντας και τα δύο μέλη της $a \geq 0$ επί $a$ (μη αρνητικό) παίρνουμε $a \cdot a \geq a \cdot 0 = 0$ , δηλαδή $a^2 \geq 0$ .
Αν $a < 0$ , τότε ο αντίθετός του είναι θετικός: $-a > 0$ . Πολλαπλασιάζοντας τον θετικό $-a$ με τον εαυτό του (Αξίωμα 2) παίρνουμε $(-a)(-a) > 0$ , δηλαδή $a^2 > 0$ .

Και στις δύο περιπτώσεις το τετράγωνο βγαίνει μη αρνητικό — γι' αυτό μια εξίσωση όπως $a^2 = -4$ δεν έχει καμία λύση στους πραγματικούς αριθμούς.

Αντιστροφή ομόσημων αριθμών

Ιδιότητα 5

Αν $a, \beta$ είναι ομόσημοι, τότε:

a \leq \beta \Leftrightarrow \frac{1}{a} \geq \frac{1}{\beta}

Όταν παίρνουμε τον αντίστροφο δύο ομόσημων αριθμών, η ανισότητα αντιστρέφεται: ο μικρότερος αριθμός αποκτά τον μεγαλύτερο αντίστροφο. Αυτό ταιριάζει με τη διαίσθηση: π.χ. $2 < 4$ , αλλά $\frac{1}{2} > \frac{1}{4}$ . Η απόδειξη στηρίζεται στο ότι, αφού $a, \beta$ είναι ομόσημοι, το γινόμενό τους $a\beta$ είναι θετικό (Αξίωμα 2), οπότε μπορούμε να διαιρέσουμε και τα δύο μέλη με τον θετικό αριθμό $a\beta$ χωρίς να αλλάξει η φορά:

a \leq \beta \Leftrightarrow \frac{a}{a\beta} \leq \frac{\beta}{a\beta} \Leftrightarrow \frac{1}{\beta} \leq \frac{1}{a}

Μόνο για ομόσημους αριθμούς

Αν οι δύο αριθμοί είναι ετερόσημοι (ο ένας θετικός, ο άλλος αρνητικός), η αναστροφή δεν λειτουργεί με τον ίδιο τρόπο: το γινόμενό τους είναι αρνητικό, όχι θετικό, οπότε η διαίρεση με $a\beta$ αλλάζει τη φορά της ανισότητας διαφορετικά. Έλεγξε πάντα το πρόσημο πριν αντιστρέψεις.

Δυνάμεις θετικών αριθμών

Ιδιότητα 6

Αν $a, \beta > 0$ και $\nu \in \mathbb{N}$ , τότε:

a > \beta \Leftrightarrow a^{\nu} > \beta^{\nu}

Για θετικές βάσεις, η σύγκριση «περνάει» άθικτη στις δυνάμεις τους: ο μεγαλύτερος θετικός αριθμός έχει και τη μεγαλύτερη $\nu$ -οστή δύναμη. Το ευθύ αποδεικνύεται πολλαπλασιάζοντας την $a > \beta$ με τον εαυτό της $\nu$ φορές, χρησιμοποιώντας κάθε φορά την Ιδιότητα 3:

\underbrace{a \cdot a \cdots a}_{\nu \text{ φορές}} > \underbrace{\beta \cdot \beta \cdots \beta}_{\nu \text{ φορές}} \Leftrightarrow a^{\nu} > \beta^{\nu}

Το αντίστροφο (αν $a^{\nu} > \beta^{\nu}$ , τότε $a > \beta$ ) αποδεικνύεται με μια διαφορετική τεχνική, που αξίζει να τη γνωρίζεις καλά:

Η μέθοδος της εις άτοπον απαγωγής

Για να αποδείξουμε ότι ισχύει $a > \beta$ , υποθέτουμε προσωρινά ότι ισχύει το αντίθετο — δηλαδή ότι $a < \beta$ ή $a = \beta$ — και δείχνουμε ότι αυτή η υπόθεση οδηγεί σε κάτι αδύνατο (άτοπο). Αφού η υπόθεση δεν μπορεί να ισχύει, μένει μόνο η αρχική πρόταση: $a > \beta$ .

Πράγματι: αν υποθέσουμε $a < \beta$ , τότε από το ευθύ της ίδιας ιδιότητας θα έπρεπε $a^\nu < \beta^\nu$ — άτοπο, αφού ξέρουμε $a^{\nu} > \beta^{\nu}$ . Αν υποθέσουμε $a = \beta$ , τότε θα έπρεπε $a^\nu = \beta^\nu$ — πάλι άτοπο. Αφού και οι δύο εναλλακτικές αποκλείονται, μένει μόνο $a > \beta$ .

Ρίζες και διάταξη

Ιδιότητα 7

Αν $a, \beta \geq 0$ και $\nu$ θετικός ακέραιος, τότε:

a < \beta \Leftrightarrow \sqrt[\nu]{a} < \sqrt[\nu]{\beta}

Το ίδιο μοτίβο ισχύει και για τις ρίζες μη αρνητικών αριθμών: η σύγκριση περνάει άθικτη κι από τις δύο κατευθύνσεις. Αυτό είναι, ουσιαστικά, η «αντίστροφη» διατύπωση της Ιδιότητας 6 — αφού η ύψωση σε δύναμη $\nu$ και η $\nu$ -οστή ρίζα αναιρούν η μία την άλλη:

\sqrt[\nu]{a} < \sqrt[\nu]{\beta} \Leftrightarrow \left(\sqrt[\nu]{a}\right)^{\nu} < \left(\sqrt[\nu]{\beta}\right)^{\nu} \Leftrightarrow a < \beta

Σύγκριση ριζών διαφορετικού δείκτη

Μια πιο λεπτή ερώτηση είναι: αν κρατήσουμε σταθερή τη βάση $a$ και αλλάξουμε μόνο τον δείκτη της ρίζας, τι συμβαίνει; Η απάντηση εξαρτάται από το αν η βάση είναι μεγαλύτερη ή μικρότερη της μονάδας.

Ιδιότητα 8 — Βάση μεγαλύτερη του 1

Αν $a > 1$ και $\mu < \nu$ , όπου $\mu, \nu$ θετικοί ακέραιοι, τότε:

\sqrt[\mu]{a} > \sqrt[\nu]{a}

Όταν η βάση είναι μεγαλύτερη από 1, όσο μεγαλύτερος ο δείκτης της ρίζας, τόσο μικρότερη η ρίζα. Ελέγχουμε τον λόγο των δύο ριζών και δείχνουμε ότι είναι μεγαλύτερος της μονάδας:

\frac{\sqrt[\mu]{a}}{\sqrt[\nu]{a}} = \sqrt[\mu\nu]{a^{\nu - \mu}} > 1

αφού $\nu - \mu > 0$ και, για $a>1$ , κάθε θετική δύναμη του $a$ είναι μεγαλύτερη της μονάδας. Αν ο λόγος δύο θετικών αριθμών είναι μεγαλύτερος του 1, ο αριθμητής είναι ο μεγαλύτερος — άρα $\sqrt[\mu]{a} > \sqrt[\nu]{a}$ .

Ιδιότητα 9 — Βάση μεταξύ 0 και 1

Αν $0 < a < 1$ και $\mu < \nu$ , όπου $\mu, \nu$ θετικοί ακέραιοι, τότε:

\sqrt[\mu]{a} < \sqrt[\nu]{a}

Για βάση ανάμεσα στο 0 και το 1 συμβαίνει το αντίθετο: όσο μεγαλύτερος ο δείκτης, τόσο μεγαλύτερη η ρίζα. Ο ίδιος λόγος τώρα βγαίνει μικρότερος της μονάδας:

\frac{\sqrt[\mu]{a}}{\sqrt[\nu]{a}} = \sqrt[\mu\nu]{a^{\nu - \mu}} < 1

αφού για $0<a<1$ κάθε θετική δύναμη του $a$ είναι μικρότερη της μονάδας. Άρα εδώ ο αριθμητής είναι ο μικρότερος: $\sqrt[\mu]{a} < \sqrt[\nu]{a}$ .

Θυμήσου τη φορά ανάλογα με τη βάση

Οι Ιδιότητες 8 και 9 δείχνουν αντίθετη συμπεριφορά ανάλογα με το αν η βάση είναι πάνω ή κάτω από τη μονάδα. Μη θυμάσαι μόνο το συμπέρασμα — θυμήσου γιατί: για $a>1$ οι δυνάμεις του $a$ μεγαλώνουν, ενώ για $0<a<1$ μικραίνουν καθώς ο εκθέτης μεγαλώνει, και αυτό αντιστρέφει τη σύγκριση των ριζών.

➖ Πολλαπλασιασμός ανισότητας με αρνητικό αριθμό

Η φορά αντιστρέφεται με αρνητικό πολλαπλασιαστή

Αν πολλαπλασιάσουμε κάθε μέλος της διπλής ανισότητας $a < x < \beta$ με έναν αρνητικό αριθμό, π.χ. με $-1$ , η ανισότητα γίνεται:

-\beta < -x < -a

Παρατήρησε ότι το $-\beta$ —που προήλθε από το μεγαλύτερο άκρο $\beta$ — βρίσκεται τώρα αριστερά, και το $-a$ —που προήλθε από το μικρότερο άκρο $a$ — βρίσκεται δεξιά. Η φορά της ανισότητας αντιστρέφεται.

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

📊 Συνοπτικός πίνακας ιδιοτήτων

Ιδιότητα	Περιγραφή
$a > \beta \Leftrightarrow a + \gamma > \beta + \gamma$	Πρόσθεση του ίδιου αριθμού και στα δύο μέλη δεν αλλάζει τη φορά
$a > \beta \Leftrightarrow a\gamma > \beta\gamma$ , αν $\gamma > 0$	Πολλαπλασιασμός με θετικό αριθμό διατηρεί τη φορά
$a > \beta \Leftrightarrow a\gamma < \beta\gamma$ , αν $\gamma < 0$	Πολλαπλασιασμός με αρνητικό αριθμό αντιστρέφει τη φορά
$a^2 \geq 0$	Το τετράγωνο κάθε πραγματικού αριθμού είναι πάντα μη αρνητικό
$a \leq \beta \Leftrightarrow \frac{1}{a} \geq \frac{1}{\beta}$	Ο αντίστροφος ομόσημων αριθμών αντιστρέφει τη φορά
$a > \beta \Leftrightarrow a^{\nu} > \beta^{\nu}$ , για $a,\beta>0$	Οι δυνάμεις θετικών αριθμών διατηρούν τη φορά
$a < \beta \Leftrightarrow \sqrt[\nu]{a} < \sqrt[\nu]{\beta}$ , για $a,\beta\geq0$	Οι ρίζες μη αρνητικών αριθμών διατηρούν τη φορά