Ne mémorise pas une liste isolée. Enchaîne les causes :
x>0⟹(lnx)′=x1>0⟹ln est continue et strictement croissante.
Conséquences
- ln1=0
- La fonction f(x)=lnx est définie sur ]0,+∞[.
- La fonction f(x)=lnx est dérivable sur ]0,+∞[ (car (lnx)′=x1).
- La fonction f(x)=lnx est continue sur ]0,+∞[ (car la fonction logarithme népérien est dérivable).
- La fonction f(x)=lnx est strictement croissante sur ]0,+∞[ (car (lnx)′=x1>0).
On en déduit :
∀a,b∈]0,+∞[,a<b⟺ln(a)<ln(b)
∀a,b∈]0,+∞[,a=b⟺ln(a)=ln(b)