(1)
A2=(a01a)(a01a)=(a202aa2)
A3=(a202aa2)(a01a)=(a303a2a3)
(1)
からA^n = (an0nan−1an)が成り立つと考えて
両辺にAを右から掛けると
AnA=(an0nan−1an)(a01a)=(an+10(n+1)anan+1)=An+1
A^{n+1}でも成り立つことが証明された
よってA^n = (an0nan−1an)が成り立つ
(3)
expA=∑n=0∞n!1An=∑n=0∞n!1(an0nan−1an)
=(1+a1+21a2+⋯+n!1an+⋯00+1+a1+21a2+⋯+n!1an+⋯1+a1+21a2+⋯+n!1an+⋯)
e^aのマクローリン展開は
ea=1+a1+21a2+⋯+n!1an+⋯
から
expA=(ea0eaea)