
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

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$?

$\displaystyle j=n=m$
...right?
So, I should just go with a direct proof.

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$?