# Simple proof

• Jun 20th 2009, 01:54 PM
Danneedshelp
Simple proof
Hello, I just wanted to make sure my proof is correct before turning it in. It's a very basic proof, but it's been a while since I have proved anything.

Q: Prove that if the product AB is a square matrix, then the product BA is defined.

A: Suppose the product $\displaystyle AB$ is not a square matrix. Then, by the definition of matrix multiplication, $\displaystyle A$ must be an $\displaystyle m\times$n matrix and $\displaystyle B$ an $\displaystyle n\times$p matrix where $\displaystyle m\neq{p}$(by out supposition). It follows that $\displaystyle BA$is not defined, because the column $\displaystyle p$ of matrix $\displaystyle B$ is not equal to row $\displaystyle m$ of matrix $\displaystyle A$. But, our original statement reads $\displaystyle BA$is defined. Therefore, by contradiction we have proven that if the product $\displaystyle AB$is a square matrix, then the product $\displaystyle BA$ is defined.

Thanks
• Jun 20th 2009, 02:40 PM
Plato
The only way for the the product $\displaystyle AB$ to exist is for $\displaystyle A$ to be a $\displaystyle j \times m$ and for $\displaystyle B$ to be a $\displaystyle m \times n$.
If the product is square what does that tell us about $\displaystyle j~\&~n$?
• Jun 20th 2009, 05:21 PM
Danneedshelp
$\displaystyle j=n=m$

...right?

So, I should just go with a direct proof.
• Jun 20th 2009, 06:22 PM
Plato
Quote:

Originally Posted by Danneedshelp
$\displaystyle j=n=m$.

It does mean tha $\displaystyle j=n$. But not necessarily $\displaystyle j=n\color{red}=m$
What about a $\displaystyle m \times n$ times a $\displaystyle j \times m$?