>>967
x=e^t=…+(1/t^3)(-3)!+(1/t^2)(-2)!+(1/t)/(-1)!+lnt+1+t+t^2/2!+t^3/3!+…
これですが。
単に
x=e^t=1+t+t^2/2!+t^3/3!+…を
負まで拡張しただけですよ。
これに何の証明が必要ですか。
そもそもローラン展開の証明も既に山のようにあるのでは。
本当に何がしたいのですか。