恒等式证明分步器

先盯住复杂的一边，再选择合适的恒等式。每一步只做一件事：改写、通分、因式分解、套公式或检查定义域。