Bonjour, c'est un ROC qui me pose problème juste pour la première question !

Voici le Pré-requis:

* La fonction logarithme népérien est dérivable sur ]0;+[ et sa fonction dérivée est la fonction inverse (1/x).

* ln(1)=0

1) Démontrer que pour tous réels strictements positifs a et x: ln(a.x)= ln(a) + ln(x).

C'est juste cette question qui me semble bizarre vu le pré-requis.

Merci d'avance pour votre aide.