Proof by Induction Question on Determinants and Eigenvalues

Click For Summary
The discussion revolves around proving by induction that if λ is an eigenvalue of a square matrix A, then λ^n is an eigenvalue of the matrix A^n for all positive integers n. Initially, the user attempted to use determinants but struggled with the factorization of expressions. They later shifted to using the definition of eigenvalues, successfully proving the statement by showing that if P(k) holds, then P(k+1) also holds. The conversation also highlights the utility of determinant properties and specific factorization rules for future reference. The user expresses gratitude for the guidance received in clarifying their approach.
Abuda
Messages
8
Reaction score
0
Thanks, although I still haven't managed to factorise the expression although I did type it up in LaTeX!

Homework Statement



Prove by induction that the following statement is true for all positive integers n.

If \lambda is an Eigenvalue of the square matrix A, then \lambda^n is an eigenvalue of the matrix A^n

Homework Equations



I think the relevant equations are:

\det(A-\lambda I)=0

(where I is an identity matrix)

\det(AB)=\det(A)\det(B)

The Attempt at a Solution



So, in mathematical terms I converted the question into the proposition p(n). I got,

p(n):\det(A^n - \lambda^nI) = 0

Now I assumed that p(n) is true for some value k, so I got,

p(k):\det(A^k - \lambda^kI) = 0

I know that p(1) is true so all I need to do is prove that p(k)=>p(k+1)

So I need to show that \det(A^{k+1} - \lambda^{k+1}I) = 0 by using the assumption.

I tried a couple of things here that got me no where. I multiplied both sides of the assumption by det(A) and got:
\det(A^{k+1} - A\lambda^k I) = 0

But I saw no continuation. I also tried A^n=PD^nP^{-1} and got something incredibly messy but it didnt work for me.

Thanks for all help in advance.
 
Last edited:
Physics news on Phys.org
Welcome to PF!

Hi Abuda! Welcome to PF! :smile:

(try using the X2 icon just above the Reply box :wink:)

Hint: factor An - Ln :wink:

(though I don't see what that has to do with proof by induction :confused:)
 
I edited the question to make it readable as you suggested tiny-tim! And thanks for the welcome. But I'm still confused due to my being not able to factorise it :S
 
Abuda said:
I edited the question to make it readable as you suggested tiny-tim! And thanks for the welcome. But I'm still confused due to my being not able to factorise it :S

You are probably better off doing this without the determinants. If x is an eigenvector of A with eigenvalue lambda, then Ax=(lambda)x. Try doing induction with that definition.
 
Dick said:
You are probably better off doing this without the determinants. If x is an eigenvector of A with eigenvalue lambda, then Ax=(lambda)x. Try doing induction with that definition.
Thanks for the simple answer Dick! I think I got the answer. I got:

P(n): A^nx=\lambda^n x

P(1) is true

Assume P(k) is true.

P(k): A^kx=\lambda^k x

Multiplying both sides of p(k) by A yields:

A^{k+1}x=\lambda^{k}Ax

Now we sub in Ax=\lambda x from the definition of eigenvalues.

A^{k+1}x=\lambda^{k+1}x

Therefore, p(k) implies p(k+1) and hence p(n) is true for all n. It seems that I spent a lot of time on the method using the determinant approach but I realize now that the determinant approach couldn't have worked easily as the substitution of Ax=lambda x couldn't have been carried out...Thanks heaps Physics Forums. Its a pleasure to have joined your website!
Alex
 
just for the record, my idea was An - Ln = (An-1 + An-2L + … + Ln-1)(A - L) :wink:
 
tiny-tim said:
just for the record, my idea was An - Ln = (An-1 + An-2L + … + Ln-1)(A - L) :wink:

Oh Yeah! Because we know that Det(AB)=Det(A)Det(B) and Det(A-L)=0 we can prove it directly without induction using the determinant approach. Great idea. I tried to factorize it briefly before I posted the question but I didnt even know the rule you posted so I had no success!..Thanks again
Alex
 
Hi Alex! :smile:
Abuda said:
… I didnt even know the rule you posted …

oooh, in that case for future possible use you also need to learn …

An + Ln = (An-1 - An-2L + … - ALn-1 + Ln-1)(A - L)

(with alternating + and - signs, and it only works for odd n :wink:)

of course, these work for ordinary numbers also
 
tiny-tim said:
Hi Alex! :smile:


oooh, in that case for future possible use you also need to learn …

An + Ln = (An-1 - An-2L + … - ALn-1 + Ln-1)(A - L)

(with alternating + and - signs, and it only works for odd n :wink:)

of course, these work for ordinary numbers also

Thanks Tim, Excellent, I put them down in book! :)
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 18 ·
Replies
18
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 9 ·
Replies
9
Views
5K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 7 ·
Replies
7
Views
990
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K