>>777
複素数について次の三式が成立する
(α+β)~=α~+β~─①
(α*β)~=α~*β~、特に(α^n)~=(α~)^n─②
aが実数ならばa~=a─③

f(z)~
=(a_0+a_1*z+…+a_n*z^n)~
=(a_0)~+(a_1*z)~+・・・+(a_n*z^n)~　　(∵①）
=(a_0)~+(a_1)~*z~+・・・+(a_n)~*(z~)^n 　(∵②）
=a_0+a_1*z~+…+a_n*(z~)^n　　（∵③）
=f(z~)

f(z)=0であるとすると
f(z~)=f(z)~=0~=0
よってz~が解である