S=Σ[n=1,∞] (-1)^n　とする。

Sが実数ならば、有理数か無理数かを証明せよ。
Sが実数でないならば、それを証明せよ。