1) Hängt davon ab wie ax definiert wurde und welche Sätze du darüber schon bewiesen hast.
2) Es ist
xy=expa(loga(xy))
laut Definition von expa. Außerdem ist
xy=expa(loga(x))⋅expa(loga(y))=1)expa(loga(x)+loga(y))
laut Definition von expa und wegen 1).
Also ist
expa(loga(xy))=expa(loga(x)+loga(y)).
Wegen der eindeutigen Lösbarkeit der Gleichung ab=c ist somit
loga(xy)=loga(x)+loga(y).
3) Siehe 1)