線分ABを直径とする円の周上の点Xは
XA↑・XB↑=0をみたす

この証明をお願いします