Let δ be a symbol such that δ=0 and δ2=0. Define R[δ]={a+bδ∣a,b∈R}, where a+bδ=c+dδ if and only if a=c and b=d, and define
(a+bδ)+(c+dδ)=(a+c)+(b+d)δ,(a+bδ)⋅(c+dδ)=ac+(ad+bc)δ.
Let P(x) be a polynomial with real coefficients. Show that P(x) has a multiple real root if and only if P(x) has a non-real root in R[δ].