Wir haben definiert, dass wir für a,x in R mit a > 0 ax schreiben, statt expa(x).
Das ist ja wohl nur die Schreibweise. Vielleicht hieß es
a^x = exp(a*x) wobei exp(...) die natürliche Exponentialfunktion ist, deren
Eigenschaften ja schon bekannt sind. Das würde wohl Sinn machen und dann wäre der Beweis recht einfach.