把面积用正弦定义表示就行了,取OC为参考方向,向量OC=0,向量OB=OB*sin(BOC)指向OC一侧,向量OA=OA*sin(AOC),把AO*BO*CO消掉,剩下：
0+sin(AOC)*sin(BOC)-sin(BOC)*sin(AOC)=0