Das ist so definiert worden, damit es mit den übrigen Potenzregeln "zusammenpasst".
Damit etwa folgende Gleichung für a ≠ 0 wahr ist,
1 = a k / a k = a k * a - k = a k - k = a 0
muss a 0 = 1 sein.
Probleme gibt es allerdings für a = 0: 0 0 ist nicht eindeutig definiert.
Vieles spricht dafür, dass auch 0 0 = 1 gelten sollte, etwa, damit die obige Gleichung auch für a = 0 gilt. Dann aber bekommt man anderweitige Probleme, denn dann müsste auch gelten:
1 / 0 0 = ( 1 / 0 )0 = 1
Ein undefinierter Bruch müsste also in die nullte Potenz erhoben einen definierten Wert haben ...