Ιδιότητες Λογάριθμων 📋

Οι ιδιότητες των λογαρίθμων είναι αμέσως συνέπειες των ιδιοτήτων των δυνάμεων — αφού ο λογάριθμος είναι ο αντίστροφος μηχανισμός της ύψωσης σε δύναμη. Η βαθιά ιδέα είναι αυτή: οι λογάριθμοι μετατρέπουν πολλαπλασιασμούς σε προσθέσεις, γιατί οι δυνάμεις έχουν ήδη την ιδιότητα $a^{x+y} = a^x a^y$ .

Πρώτες Ιδιότητες (από τον ορισμό) 🌱

Για $a > 0$ , $a \neq 1$ , $x > 0$ , ισχύουν οι ακόλουθες άμεσες συνέπειες του ορισμού του λογαρίθμου:

Ιδιότητα	Αιτιολόγηση
$\log_a 1 = 0$	αφού $a^0 = 1$
$\log_a a = 1$	αφού $a^1 = a$
$\log_a a^x = x$	αφού $a^x = a^x$ (για κάθε πραγματικό $x$ )
$a^{\log_a x} = x$	άμεσα από τον ορισμό

Οι τελευταίες δύο ιδιότητες είναι ιδιαίτερα χρήσιμες: εκφράζουν ότι οι συναρτήσεις $f(x) = a^x$ και $g(x) = \log_a x$ είναι αντίστροφες, δηλαδή αναιρούν η μία την άλλη.

Ιδιότητες Πράξεων 🧮

Αυτές είναι οι τρεις θεμελιώδεις ιδιότητες που πρέπει να γνωρίζετε απέξω.

📌 Θεμελιώδεις ιδιότητες λογαρίθμων

Για $a > 0, a \neq 1$ , $x, y > 0$ και $\kappa \in \mathbb{R}$ :

Λογάριθμος γινομένου: $\log_a(x \cdot y) = \log_a x + \log_a y$
Λογάριθμος πηλίκου: $\log_a\left(\dfrac{x}{y}\right) = \log_a x - \log_a y$
Λογάριθμος δύναμης: $\log_a x^\kappa = \kappa \cdot \log_a x$

Απόδειξη (βασισμένη στις ιδιότητες δυνάμεων)

Θέτουμε $A = \log_a x$ και $B = \log_a y$ . Από τον ορισμό:
$a^A = x, \qquad a^B = y$

(1) $\log_a(xy) = \log_a(a^A \cdot a^B) = \log_a(a^{A+B}) = A + B = \log_a x + \log_a y.$

(2) $\log_a(x/y) = \log_a(a^A / a^B) = \log_a(a^{A-B}) = A - B = \log_a x - \log_a y.$

(3) $\log_a(x^\kappa) = \log_a((a^A)^\kappa) = \log_a(a^{\kappa A}) = \kappa A = \kappa \log_a x.$

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

Παραδείγματα εφαρμογής

$\log 6 = \log(2 \cdot 3) = \log 2 + \log 3$
$\log \dfrac{10}{3} = \log 10 - \log 3 = 1 - \log 3$
$\log_2 32 = \log_2 2^5 = 5$
$\ln \sqrt{e} = \ln e^{1/2} = \dfrac{1}{2}$

Αλλαγή Βάσης 🔄

Τι γίνεται όταν ξέρουμε λογαρίθμους σε μία βάση και θέλουμε σε άλλη; Ο παρακάτω τύπος είναι απαραίτητος.

📌 Τύπος αλλαγής βάσης

Για $a, \beta, M > 0$ , $a \neq 1, \beta \neq 1$ :
$\log_a M = \dfrac{\log_\beta M}{\log_\beta a}$

Απόδειξη: Θέτουμε $x = \log_a M$ , οπότε $a^x = M$ . Παίρνουμε λογάριθμο με βάση $\beta$ και στα δύο μέλη:
$\log_\beta(a^x) = \log_\beta M \Rightarrow x \cdot \log_\beta a = \log_\beta M \Rightarrow x = \dfrac{\log_\beta M}{\log_\beta a}$

📌 Χρήσιμα πορίσματα

Από τον τύπο αλλαγής βάσης προκύπτουν:

Αντιστροφή: $\log_a \beta = \dfrac{1}{\log_\beta a}$ (θέσε $M = \beta$ ).
Βάση σε δύναμη: $\log_{a^\rho} \beta = \dfrac{1}{\rho} \cdot \log_a \beta$ , για $\rho \neq 0$ .

Πρακτική σημασία της αλλαγής βάσης

Οι υπολογιστικές μηχανές έχουν συνήθως μόνο πλήκτρα $\log$ (βάση 10) και $\ln$ (βάση $e$ ). Για να υπολογίσουμε π.χ. $\log_2 7$ , κάνουμε:
$\log_2 7 = \dfrac{\log 7}{\log 2} = \dfrac{\ln 7}{\ln 2}$

Συχνά λάθη — Προσοχή! ⚠️

Κοινές παγίδες

Τα παρακάτω ΔΕΝ ισχύουν — είναι συχνά λάθη μαθητών:

$\log_a(x + y) \neq \log_a x + \log_a y$ ❌
$\log_a(x - y) \neq \log_a x - \log_a y$ ❌
$\log_a(x \cdot y) \neq \log_a x \cdot \log_a y$ ❌
$\log_a\left(\dfrac{x}{y}\right) \neq \dfrac{\log_a x}{\log_a y}$ ❌
$(\log_a x)^n \neq n \cdot \log_a x$ ❌ (προσοχή: διαφέρει από το $\log_a x^n = n\log_a x$ )

Το $(\log_a x)^n$ σημαίνει «ύψωσε όλο τον λογάριθμο στη δύναμη $n$ » και δεν έχει απλοποίηση. Αντίθετα, το $\log_a x^n$ σημαίνει «λογάριθμος της δύναμης $x^n$ » και ισούται με $n \log_a x$ . Η θέση των παρενθέσεων κάνει όλη τη διαφορά.

Χρήσιμες Στρατηγικές 🧭

Σε ασκήσεις με λογάριθμους, οι συνηθέστερες κινήσεις είναι:

Άνοιγμα: χρήση των ιδιοτήτων $\log(xy) = \log x + \log y$ κ.λπ. για να «σπάσει» μια σύνθετη παράσταση.
Συμπύκνωση: αντίστροφη κίνηση, συγκεντρώνουμε όρους σε έναν λογάριθμο (π.χ. $\log 2 + \log 3 = \log 6$ ).
Αλλαγή βάσης: όταν εμφανίζονται λογάριθμοι διαφορετικών βάσεων.
Ορισμός: επανέρχεται πάντα ως τελευταία ασφάλεια — αν χαθούμε, επιστρέφουμε στην ισοδυναμία $\log_a x = y \Leftrightarrow a^y = x$ .