Έννοια του Λογάριθμου 🔑

Από πού προκύπτει η ανάγκη; 🤔

Έχουμε μάθει να λύνουμε εξισώσεις όπως $2^x = 8$ (μαντεύουμε $x = 3$ ) ή $3^x = \dfrac{1}{27}$ (βρίσκουμε $x = -3$ ). Τι γίνεται όμως με την $2^x = 5$ ; Το $x$ υπάρχει, αφού η εκθετική $f(x) = 2^x$ είναι γνήσια αύξουσα με σύνολο τιμών $(0, +\infty)$ — άρα υπάρχει ακριβώς ένα $x$ με $2^x = 5$ . Όμως δεν είναι ρητός, και δεν εκφράζεται με ρίζες.

Για να μιλήσουμε για αυτόν τον αριθμό χρειαζόμαστε ένα νέο σύμβολο. Αυτό το σύμβολο είναι ο λογάριθμος.

Ορισμός του λογάριθμου 📜

📌 Ορισμός

Έστω $a > 0$ με $a \neq 1$ και $\beta > 0$ . Ο μοναδικός πραγματικός αριθμός $x$ για τον οποίο:
$a^x = \beta$
ονομάζεται λογάριθμος του $\beta$ με βάση $a$ και συμβολίζεται:
$x = \log_a \beta$

Δηλαδή, ο λογάριθμος είναι ο εκθέτης: «σε ποια δύναμη πρέπει να υψώσω το $a$ για να πάρω το $\beta$ ;».

Παραδείγματα:

$\log_2 8 = 3$ , γιατί $2^3 = 8$ .
$\log_{10} 1000 = 3$ , γιατί $10^3 = 1000$ .
$\log_3 \dfrac{1}{9} = -2$ , γιατί $3^{-2} = \dfrac{1}{9}$ .
$\log_5 1 = 0$ , γιατί $5^0 = 1$ .

Γιατί οι περιορισμοί $a > 0, a \neq 1, \beta > 0$ ; 🚦

$a > 0$ : για να ορίζεται η εκθετική $a^x$ για κάθε $x \in \mathbb{R}$ .
$a \neq 1$ : αν $a = 1$ , τότε $1^x = 1$ πάντα, οπότε η εξίσωση $1^x = \beta$ έχει λύση μόνο για $\beta = 1$ (και τότε κάθε $x$ ). Ο λογάριθμος δεν θα ήταν μονοσήμαντα ορισμένος.
$\beta > 0$ : αφού $a^x > 0$ για κάθε $x$ , η εξίσωση $a^x = \beta$ δεν έχει λύση όταν $\beta \leq 0$ . Άρα δεν ορίζεται λογάριθμος αρνητικού αριθμού ούτε του μηδενός.

Δεν υπάρχει λογάριθμος μη θετικού αριθμού!

Παραστάσεις όπως $\log_2(-3)$ ή $\log_{10} 0$ δεν ορίζονται στους πραγματικούς αριθμούς. Αυτός ο περιορισμός θα είναι κεντρικός όταν θα λύνουμε λογαριθμικές εξισώσεις — πρέπει πάντα να ελέγχουμε ότι οι ποσότητες μέσα σε λογάριθμους είναι θετικές.

Ισοδυναμία εκθετικής – λογαριθμικής μορφής 🔁

📌 Θεμελιώδης ισοδυναμία

Για $a > 0, a \neq 1, \beta > 0$ :
$a^x = \beta \;\Longleftrightarrow\; x = \log_a \beta$
Ιδιαίτερη μορφή (αντικαθιστώντας το $x$ ):
$a^{\log_a \beta} = \beta$

Αυτή η ισοδυναμία είναι το εργαλείο μετάφρασης ανάμεσα στον εκθετικό και τον λογαριθμικό κόσμο. Κάθε εκθετική σχέση μετατρέπεται σε λογαριθμική και αντίστροφα.

Πρακτικά: όταν βλέπουμε $a^x = \beta$ , σκεφτόμαστε «ο $x$ είναι ο λογάριθμος του $\beta$ με βάση $a$ ».

Ειδικοί λογάριθμοι 🌟

Δύο βάσεις είναι τόσο συχνές που έχουν ειδικό συμβολισμό.

Δεκαδικός λογάριθμος (βάση 10)

📌 Δεκαδικός λογάριθμος

Όταν $a = 10$ , γράφουμε $\log_{10} x = \log x$ (χωρίς δείκτη). Έτσι:
$10^x = y \;\Longleftrightarrow\; x = \log y$

Παραδείγματα: $\log 1 = 0$ , $\log 10 = 1$ , $\log 100 = 2$ , $\log 0{,}1 = -1$ . Ο δεκαδικός λογάριθμος χρησιμοποιείται ευρέως στις επιστήμες: κλίμακα Ρίχτερ, pH στη χημεία, decibel στην ακουστική.

Φυσικός λογάριθμος (βάση $e$ )

📌 Φυσικός λογάριθμος

Όταν $a = e \approx 2{,}71828\ldots$ , γράφουμε $\log_e x = \ln x$ . Έτσι, για $y > 0$ :
$e^x = y \;\Longleftrightarrow\; x = \ln y$

Παραδείγματα: $\ln 1 = 0$ , $\ln e = 1$ , $\ln e^2 = 2$ . Ο φυσικός λογάριθμος είναι κυρίαρχος στα ανώτερα μαθηματικά και στη φυσική.

Ιστορικό σημείωμα 📜

Η επινόηση των λογαρίθμων

Οι λογάριθμοι επινοήθηκαν στις αρχές του 17ου αιώνα από τον Σκωτσέζο μαθηματικό John Napier (1550–1617). Η βασική τους χρησιμότητα στην εποχή εκείνη ήταν υπολογιστική: μετέτρεπαν πολλαπλασιασμούς σε προσθέσεις και διαιρέσεις σε αφαιρέσεις, απλοποιώντας δραματικά τους υπολογισμούς.

Ο λογαριθμικός κανόνας ήταν το «κομπιουτεράκι» του 20ού αιώνα και βασιζόταν εξ ολοκλήρου στις ιδιότητες των λογαρίθμων.

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