先把核心判断说清：区分增根和无解，重点放在候选值与原方程允许条件的关系。增根是化简、乘分母、去根号等变形带出来的候选值，回到原方程允许条件里检查时不会入选；无解是原方程在允许条件范围内剩余集合为空。判断时，先列出原方程允许条件，再求变形后的候选值，最后用条件做一次筛选，即可分出两类情况。
