四元一次方程