そう。bcを正規直交化してもいいし、元の固有空間から直交するやつを探してきてもいい。

aとb　aとcはそれぞれ既に直交してるはず