设四点 $O$, $A$, $B$, $C$ 使 $\vv{OA}=\bm a$, $\vv{OB}=\bm b$, $\vv{OC}=\bm c$,由托勒密不等式,有
\[OC\cdot AB\leqslant OA\cdot BC+OB\cdot AC,\]
即
\[\abs{\bm c}\cdot\abs{\bm a-\bm b}\leqslant \abs{\bm a}\cdot\abs{\bm b-\bm c}+\abs{\bm b}\cdot\abs{\bm a-\bm c},\]
若 $\abs{\bm a-\bm b}=\abs{\bm b-\bm c}=\abs{\bm a-\bm c}=0$,则 $\bm a=\bm b=\bm c$,则 $\abs{\bm c}=1$;
若 $\abs{\bm a-\bm b}=\abs{\bm b-\bm c}=\abs{\bm a-\bm c}\ne0$,则由上式得 $\abs{\bm c}\leqslant \abs{\bm a}+\abs{\bm b}=2$,当 $O$, $A$, $B$, $C$ 四点共圆且 $OC$ 为直径时取等,所以 $\abs{\bm c}$ 的最大值就是 $2$。 |