固有値をもつ、つまりを満たすような0でないが存在するとすると、formula_1となる。