Limiti 7 : suggerimento

[davebo]

Il seguente limite (in Limiti 7) :

$\lim_{x\to 0} \dfrac{\ln(\cos x)}{x^2}$

può essere risolto facilmente con gli sviluppi, ma mi pare di capire che sia possibile anche con i limiti notevoli.
Mi date un suggerimento?

grazie

[Vagrant]

Si, è possibilissimo con i limiti notevoli. Prima un hint, poi la soluzione completa.

[+] Hint

I due limiti notevoli che devi usare sono:
$\lim_{t\rightarrow 0} \dfrac{\log(1+t)}{t} = 1$ e $\lim_{t \rightarrow 0} \dfrac{1-\cos(t)}{t^2}=\dfrac{1}{2}.$
Quando $x$ tende a 0, $\cos(x)$ tende a 1. C'è un modo per usare questo per ottenere il primo limite notevole?

[+] Soluzione

Aggiungo e sottraggo 1 all'argomento del logaritmo, che diventa $1+(\cos(x)-1)$ che è quindi nella forma del primo limite. Eliminato il logaritmo si tratta solo di usare il limite notevole con il coseno e viene -1/2. La soluzione scritta bene è nel file.

[davebo]

grazie Gentilissimo