If det(A)=0, Ac=0 has only trivial solution

  • Thread starter Thread starter mzh
  • Start date Start date
Click For Summary
SUMMARY

The equation Ac = 0, where A is an NxN matrix and c is a column matrix, has a non-trivial solution (c ≠ 0) only when det(A) = 0. If det(A) ≠ 0, the inverse of A exists, leading to the conclusion that c must equal 0, resulting in a trivial solution. Conversely, when det(A) = 0, the inverse does not exist, indicating the presence of other solutions. This relationship is crucial for understanding the conditions under which linear systems yield non-trivial solutions.

PREREQUISITES
  • Understanding of linear algebra concepts, particularly matrix theory.
  • Familiarity with determinants and their properties in relation to matrix invertibility.
  • Knowledge of the implications of the existence of an inverse matrix.
  • Ability to work with column matrices and linear equations.
NEXT STEPS
  • Study the properties of determinants in depth, focusing on their role in matrix invertibility.
  • Learn about the implications of the Rank-Nullity Theorem in linear algebra.
  • Explore the concept of linear independence and its relation to solutions of linear equations.
  • Investigate the use of the contrapositive in mathematical proofs, particularly in linear algebra contexts.
USEFUL FOR

Students of linear algebra, mathematicians, and educators looking to deepen their understanding of matrix equations and the conditions for non-trivial solutions in linear systems.

mzh
Messages
61
Reaction score
0

Homework Statement


Show that the equation Ac = 0, where A is a NxN matrix and c is a column matrix with elements c_i, i=1..N can have a non-trivial solution (c != 0) only when det(A) = 0.


Homework Equations


inv(A) does not exist when det(A) = 0.


The Attempt at a Solution


If det(A) != 0, we can form inv(A). Then we can write
inv(A)*A*c=inv(A)*0
and so
c=0,
and so we arrive at the trivial solution. On the contraire, if det(A)=0, we can not form the inverse, and so we can not write
inv(A)*A*c=inv(A)*0, because inv(A) does not exist.
So, there must be other solutions.

Does that make sense? How do I write this in a more formal way?

Thank you for any suggestions
 
Physics news on Phys.org
What you've said is equivalent to
If [itex]Ac = 0[/itex] has multiple solutions then [itex]\det A = 0[/itex].
To prove this, it is logically equivalent to show the contrapositive. Namely
If [itex]\det A \neq 0[/itex] then [itex]Ac = 0[/itex] has a unique solution (namely, the trivial solution).
This is what you have done in the first part of your post, so you don't need the second part.
 
Kreizhn said:
What you've said is equivalent to

To prove this, it is logically equivalent to show the contrapositive. Namely

This is what you have done in the first part of your post, so you don't need the second part.

Hey Kreizhn, thanks for your feedback. Ok, i see I'm saying two time the same thing. I was not sure if the first part would allow to conclude the second part. So your second argument is sufficient as a proof, i understand. And this does not require any more statements to be complete (for non-mathematicians).
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
10K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
17
Views
3K
  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
8K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K