>>326
Oが外心だから、AB↑と(2AO↑-AB↑)が直行。