Commutator [A^n,B] = ? | Prove [AnB] = nAn-1[A,B] for n | Integrer | [A,B]=AB-BA

[helpcometk]

Homework Statement

Prove that [AⁿB] =nA^n-1[A,B] for integrer n , assume [A,[A,B]]=0=[B,[A,B]]

Homework Equations

[A,B]=AB-BA

The Attempt at a Solution

Does anyone know how i should go to manipulate the exponent n ? I have tried to search but found nothing about a commutator like this properties.

 

[Dickfore]

Use the Principle of Mathematic induction and the commutator rule:
<br /> \left[ A \, C, B \right] = A \, \left[ C, B \right] + \left[A, B \right] \, C<br />

 

[helpcometk]

you can play as long as you ant with this formula ,but you will never be able to get what is asked except if you differentiate somehow ,becsuse you need have one n ,that is not exponent of A or B

 

[Dickfore]

You will also need to prove as an intermediate step that:
<br /> \left(\forall n \in \mathbb{N} \right) \left[ A^{n}, \left[ A, B \right] \right] = 0<br />
For this, use the principle of mathematical induction again and what you are given in the problem.

 

[gabbagabbahey]

you can play as long as you ant with this formula ,but you will never be able to get what is asked except if you differentiate somehow ,becsuse you need have one n ,that is not exponent of A or B

By this logic, the only way to get 3x^2 from x^3 is to differentiate. Does that really seem like a reasonable thing to claim? (What happens if you multiply x^3 by \frac{3}{x}, for example?

Instead of differentiating your commutator somehow (Have you even defined how to differentiate an operator? Are your operators differentiable?), I suggest you follow DickFore's advice and use a proof by induction. I'd start by looking at a fairly simple case like n=2.