1) Hängt davon ab wie \(a^x\) definiert wurde und welche Sätze du darüber schon bewiesen hast.
2) Es ist
\(xy = \exp_a(\log_a(xy))\)
laut Definition von \(\exp_a\). Außerdem ist
\(xy = \exp_a(\log_a(x))\cdot \exp_a(\log_a(y))\stackrel{\text{1)}}{=}\exp_a(\log_a(x)+\log_a(y))\)
laut Definition von \(\exp_a\) und wegen 1).
Also ist
\(\exp_a(\log_a(xy)) = \exp_a(\log_a(x)+\log_a(y))\).
Wegen der eindeutigen Lösbarkeit der Gleichung \(a^b = c\) ist somit
\(\log_a(xy) = \log_a(x)+\log_a(y)\).
3) Siehe 1)