第1步的重新编号只是改变了名称;把简洁的答案换回原始下标后可以看到,解只取决于哪个 aia_iai 是极值,而与具体的编号方式无关。
还原第1步的重新编号:若 aia_iai、aja_jaj 分别是四个数中最大和最小的,则唯一解为 xi=xj=1ai−ajx_i=x_j=\frac{1}{a_i-a_j}xi=xj=ai−aj1,其余两个未知数均为 000;代回全部四个原方程可验证该解满足方程组。