例1设△ABC为锐角三角形,外接圆圆心为O,半径为R,AO交△BOC所在圆于另一点A′,BO交△COA所在圆于另一点B′,CO交△AOB所在圆于另一点C′.证明:OA′·0B′·OC′≥8R~3并指出在什么情况下等号成立?
中等数学
1998年4期