I am intrigues by mathematical facts that are very easy to know to be true instinctually or with a verbal explanation but are very difficult to write proofs for.
@zevahs Its axiomatic not provable. We choose that particular convention simply because it is useful and ensures consistency with other patterns. See the exponent is a defined operator in principle we could define its behavior however we like, it just wont be too useful if we do.
@freemo
I thought it was provable?
Suppose,
a^x/a^x=1
By the property of exponents we know x^a/x^b = x^(a-b)
Applying that,
a^(x-x) = 1
or, a^0 = 1
@zevahs