x13+x23=(x1+x2)(x12-x1x2+x22)叫什么公式名