>>767 アンカーミス。>>763でした。ごめん。

>>768 内積はベクトルじゃないよ〜 スカラーとしての0.。一応念のため。

線分AB、CDの中点をそれぞれM、Nとすると
PA↑+PB↑=2PM↑、PC↑+PD↑=2PN↑
（2↑PM=2OM↑-2OP↑=2・(OA↑+OB↑)/2-2OP↑
=(OA↑-OP↑)+(OB↑-OP↑)=PA↑+PB↑)

よって求まった式はPM↑・PN↑=0と等価。このときPは、MNを直径とする
円を描く。

したがって、「線分ABの中点と線分CDの中点を両端とする線分を直径とする円」