the variance of a Hermitian operator A is defined as A =sqrt(A ^2A^2 ) where the expectation value under the square root is taken with respect to some state |.

Show that if A = 0, then the corresponding state |> must be an eigenstate of A.