>>461
Aが正則なら A=(a_1,a_2,・・・,a_n) と表したときの列ベクトル a_1〜a_n は1次独立だから
b=x_1*a_1+x_2*a_2+・・・+x_n*a_n を満たす x_1〜x_n が存在する。
x=t(x_1,・・・,x_n) （t は転置）とすればよい。

こんなんでどう？