>>758
普通の二項定理の証明っていうのは式を展開したときにx^kの項が何個できるかってことだから0乗の場合には適用できないよ
それと、べき級数で0^yも定義域に入れた場合には解析関数でなくなるからexp(log(x)*y)で定義したものとは別の関数とみなすべきでは？