直接根据定义来就行了吧。
设扩域有一数不属于实数，记为i.于是对于任意实数a,b, a+bi都属于该域。…即可构造一个与复数域同构的域。
--
FROM 14.27.46.*