Calcolare log₁₀(1000) e confrontarlo con il logaritmo naturale
Uno studente del triennio del liceo scientifico, durante un'esercitazione di matematica sulle funzioni esponenziali e logaritmiche prevista dalle Indicazioni Nazionali del MIM, deve calcolare il logaritmo decimale di 1000 e poi verificare il risultato anche tramite il logaritmo naturale, applicando la formula del cambio di base per assicurarsi della coerenza tra i due approcci.
Risultatolog₁₀(1000) = 3. Verifica con il cambio di base: ln(1000) ≈ 6,9078 e ln(10) ≈ 2,3026, quindi ln(1000) / ln(10) ≈ 6,9078 / 2,3026 ≈ 3, che conferma il risultato.
Per definizione di logaritmo si ha log₁₀(1000) = y se e solo se 10^y = 1000. Poiché 10³ = 10 × 10 × 10 = 1000, l'esponente cercato è esattamente y = 3, perciò log₁₀(1000) = 3 e la forma esponenziale equivalente è 10³ = 1000. Per ottenere lo stesso valore tramite il logaritmo naturale si applica la formula del cambio di base log_b(x) = ln(x) / ln(b), che con b = 10 e x = 1000 diventa ln(1000) / ln(10). Numericamente ln(1000) ≈ 6,9078 e ln(10) ≈ 2,3026, da cui il rapporto vale circa 3,0000, in pieno accordo con il risultato diretto. Questo esercizio mostra concretamente perché il cambio di base sia indipendente dalla base intermedia scelta: qualunque logaritmo, sia esso decimale o neperiano, restituisce lo stesso esponente che porta 10 a 1000. Nel foglio elettronico LibreOffice Calc o Microsoft Excel le funzioni LOG10(1000) e LN(1000)/LN(10) restituiscono entrambe 3, fornendo un'utile verifica numerica adatta al laboratorio di informatica del liceo.