问答题
设f（x）=a0+a1x+a2x2+...+anxn，a0，a1，...an为实数，称f（x）为实数域上的n次多项式，令A={f（x）∣f（x）为实数域上的n次多项式，n∈N}。证明：A关于多项式的加法和乘法构成一个环，称为实数域上的多项式。
问答题 设A={a+bi∣a，b∈Z，i2=-1}，证明：A关于复数加法和乘法构成环，称为高斯整数环。
问答题 证明为永真式。
问答题 证明为可满足式、但不是永真式。
