李卡提方程： y' = y^2 - 2xy + x^2 - 1 。验证 是特解，并使用代换 将其约化为 中的线性方程。