两个系数大部分相同的方程相减,会抵消掉依赖于 aia_iai 具体取值的部分,只留下 xix_ixi 之间的纯粹关系。
去掉绝对值后,方程1为 (a1−a2)x2+(a1−a3)x3+(a1−a4)x4=1(a_1-a_2)x_2+(a_1-a_3)x_3+(a_1-a_4)x_4=1(a1−a2)x2+(a1−a3)x3+(a1−a4)x4=1,方程2为 (a1−a2)x1+(a2−a3)x3+(a2−a4)x4=1(a_1-a_2)x_1+(a_2-a_3)x_3+(a_2-a_4)x_4=1(a1−a2)x1+(a2−a3)x3+(a2−a4)x4=1。两式相减并除以 a1−a2≠0a_1-a_2\ne0a1−a2=0,得到 −x1+x2+x3+x4=0-x_1+x_2+x_3+x_4=0−x1+x2+x3+x4=0。