>>943
→ → → →
a⊥b⇔a・b=0
ですか?