设A,B,C是圆x²+y²=1上不同的三个点,且向量OA*向量OB=0,存在实数n,m,使得OC=n