Normalizing $X^m(a+bXY)+Y^m(\bar a+\bar bXY)$ to a positive multiple of $P_\alpha$ by a dilation $z\mapsto cz$

Initializing...

Normalizing $X^m(a+bXY)+Y^m(\bar a+\bar bXY)$ to a positive multiple of $P_\alpha$ by a dilation $z\mapsto cz$ · Prove2Me