换元：把重复结构看成整体

代数综合仍以消元、降次为主线。先观察条件与目标式中的共同结构，再选择换元、配方、因式分解或分式变形。