>>610
ベクトル記号は省略
XA=XO+OA、XB=XO+OB=XO-OA(∵Oは線分ABの中点だから)
よってXA・XB=(XO+OA)・(XO-OA)=XO・XO-OA・OA=|XO|^2-|OA|^2　これが0なのだから
|XO|^2=|OA|^2、すなわち、|OX|=|OA|：定数