|OA-OB+k(OB-OC)|>=|CA|
|BA+kCB|>=|CB+CA|
平方得
(1-k)(2BA·BC-BC^2)>=0
上式对一切k成立,只能2BA·BC-BC^2=0,即a=2c cosB.