The reason I stress the cases in iv) is that it is very wrong to think that if alpha and beta are two distinct complex roots of a real quartic, then the roots are alpha, beta, conjugate of alpha, conjugate of beta. This is only necessarily the case if alpha and beta are NOT real. The reason why...