定数も多項式に含めるのが普通です。
そうすると多項式が足し算、引き算、掛け算、余りつき割り算、の演算で閉じていて都合がいいからです。
冪級数が収束するか、というのは
ある実数xに対して定まる無限級数が収束するか各xに対して考えるといったものです。
αが自然数のとき冪級数は多項式になる。
あるxについて定まる無限級数は十分大きいn以降、定数列である。よってこの数列は収束する。
これが任意のxについて言えるので収束半径は∞
αが0または自然数のとき、nが十分大きいとき|an+1/an|の分母に0が来るのでその議論は使えないため場合分けしている