>>123
OA=1としても一般性を失わない。この時、
|OA↑|=|OB↑|=|OC↑|=1
OA↑・OB↑=OB↑・OC↑=OC↑・OA↑=1/2
これらを元に(OA↑+OB↑+OC↑)・AB↑=0および(OA↑+OB↑+OC↑)・AC↑=0を示す