因式分解

不知道这个换元是怎么弄出来的

希望告诉理由

还有就是有哪些可以判断一个式子是一个既约多项式