Bon comme Néo me demande la démo gentiment !
Alors on part de l'application de l'opérateur A - i.lambda.B sur l'état ket Psy que l'on prend au module carré (avec lambda complexe). Me demandez pas pourquoi c'est comme ça qu'on démarre la démo.
|A - i.lambda.B|Psy>|² = <Psy|(A - i.lambda.B)(A + i.lambda.B)|Psy> = <Psy|A²|Psy> + lambda.<Psy|i(AB - BA)|Psy> + lambda².<Psy|B²|Psy> = <A²> + lambda.<i[A,B]> + lambda².<B²>
Car par définition la valeur moyenne d'un observable A est définie comme <Psy|A|Psy> = <A> et la commutation de A avec B par [A,B] = AB - BA.
Enfin si l'on ne considère que des opérateur dont la variance au carré est nulle (ie <A>² = 0) on a l'écart type (ou incertitude) égale à : DeltaA = V(<A²>).
Donc on peut réécrire le tout comme : DeltaA² + lambda.<i[A,B]> + lambda².DeltaB² = 0
Soit un discriminant positif ou égal à 0 :
<i[A,B]>² - 4DeltaA².DeltaB² >= 0
-> DeltaA.DeltaB >= |<[A,B]>|/2