在三角形ABC中,角AOB=90度,向量OA*向量OB=0是怎么回事?请问这是课本上的公式吗?ps.这好像是高中的知识,