三角形的外心到各边距离的一个不等式

定理 △ABC中,O为外心,OA_1⊥BC于A_1,OB_1⊥AC于B_1,OC_1⊥AB于C_1,R为外接圆半径,则(R-OA_1)(R-OB_1)(R-OC_1)≤1/8·R~3。 证明 分三种情况: (1)△ABC为锐角三角形。