并排比较

把某个复数表达式必须为实数的条件转成虚部为零，先处理由此产生的分支，再与模长或虚部约束联立，最后回代排除不合法分支。

平移后的平方出现实参数的符号分类；共轭分式则要先确认分母非零，再化为幂的虚部因式，不能直接套同一个代数方程。