Linear Algebra/General Systems

Consider the system of m equations

$a_{11}x_1+a_{12}x_2+a_{13}x_3+\ldots+a_{1n}x_n=b_1$
$a_{21}x_1+a_{22}x_2+a_{23}x_3+\ldots+a_{2n}x_n=b_2$
$a_{31}x_1+a_{32}x_2+a_{33}x_3+\ldots+a_{3n}x_n=b_3$
$\vdots$
$a_{m1}x_1+a_{m2}x_2+a_{m3}x_3+\ldots+a_{mn}x_n=b_m$

and the matrices

$A=\left(\begin{matrix} a_{11}&a_{12}&\cdots&a_{1n}\\ a_{21}&a_{22}&\cdots&a_{2n}\\ \vdots&\vdots&\ddots&\vdots\\ a_{m1}&a_{m2}&\cdots&a_{mn} \end{matrix}\right)$

$A_1=\left(\begin{matrix} a_{11}&a_{12}&\cdots&a_{1n}&b_1\\ a_{21}&a_{22}&\cdots&a_{2n}&b_2\\ \vdots&\vdots&\ddots&\vdots\\ a_{m1}&a_{m2}&\cdots&a_{mn}&b_m \end{matrix}\right)$

Kronecker-Capelli Theorem

The general system of linear equations has a solution if the rank of A is equal to the rank of A₁, and has no solution if the the rank of A is less than the rank of A₁.

Proof

The system of linear equations has a solution only when the last column of A₁ is a linear combination of the other columns. If that is so, then by a theorem proven earlier, the column span of A is the same as the column span of A₁, so their ranks are the same. Now, suppose that their ranks are the same. Then the basis columns of A also form a basis column of A₁ since they have column spans of the same dimension. Thus, their column spans are the same, and so the last column also belongs to the column span of A, and so is linearly dependent on the other columns, this linear dependence is the solution to this system of equations. Suppose that the rank of A₁ is greater than A. This implies that Another proof is if we sopose that the rank of A is r ,so if b is linear with {a1,a2....ar} it proof that the rank of {a1,a2...ar,b} is r,so the theorem is solved, But if the b is not kombination with system (a1,a2.....ar),it means that the system (a1,a2...ar,b) is a base of system (a1....an,b), if we atach any ai/r<i<n,the system (a1,a2...ar,b,ai}is linear it mean that system (a1,a2.....ar,b)is a base of {a1,a2.....an.b),so the rank of (a1,a2.....an,b)is equal with Rank(A)+1. So we can not solve the system,