+) Nếu \(n \ne 0\) ta có: \(a^n = \underbrace {a.a...a}_{n \,thừa \,số}.\)
Mà \(a^n=1\) suy ra \(a=1\)
+) Nếu \(n = 0\) ta có: \({a^n} = {a^0}=1\) với mọi số tự nhiên \(a \ne 0.\) Do đó \(a \in \mathbb{N^*}\)
Vậy nếu \(n \ne 0\) thì \(a = 1,\) \( n = 0\) thì \(a \in \mathbb{N^*}\)