在算多项式的时候想到，如果我想将一个多项式使用（x+y）来合并同类项，就是合并之后的式子是a(x+y)^3+b(x+y)^2+c(x+y)这种形式，其中a，b，c也不一定是常数。

简单的情形可以这样：
expr = a (x + y)^3 + b (x + y)^2 + c (x + y) // Expand
(* c x + b x^2 + a x^3 + c y + 2 b x y + 3 a x^2 y + b y^2 + 3 a x y^2 + a y^3 *)
Expand[expr /. x -> mid - y] /. mid -> x + y
(* c (x + y) + b (x + y)^2 + a (x + y)^3 *)
但是这个方法的通用性大概有限。