OC=OA+ACAB=AC+CB所以OC*AB=(OA+AC)*(AC+CB)=OA*AC+OA*CB+AC^2+AC*CB=OA*AC+AC^2+AC*CB=(OB+BA)*AC+AC^2+AC*CB=BA*AC+AC^2+AC*CB=CA*AC+AC^2=0所以OC垂直AB
