e^x
の証明はいろいろあるが定義による。

Y=a^x の x=1 での微分係数が1 であるときのa を e とする

というのを定義として用いればすぐできる