多項式の実根はスツルムの定理を使って分離したり、色々できるけど、複素数根について同じようなことをやるにはどうすれば良いのだろう。