Gọi $I,J,K$ lần lượt là giao điểm của $AO$, $BO$, $CO$ với các cạnh $BC$, $CA$, $AB$ của tam giác $ABC$. Sử dụng tam giác đồng dạng ta chứng minh được

\[ OD.OI = OE.OJ = OF.OK= R^2 \]

Do đó điều cần chứng minh tương đương với

\[ 8 OI.OJ.OK \le R^3 \]

Đặt $OI = x, OJ – y, OK = z$. Từ $O$ kẻ các đường vuông góc xuống 3 cạnh, đồng thời kẻ 3 đường cao của tam giác $ABC$. Kết hợp Thales cùng tỷ số diện tích ta có được

\[ \frac{x}{x + R} + \frac{y}{y + R} + \frac{z}{z + R} = 1 \]

Quy đồng mẫu và rút gọn ta có

\[ R(xy + yz + zx) + 2xyz = R^3 \]

Đặt $t = \sqrt[3]{xyz}$ và sử dụng bất đẳng thức AM-GM: $xy + yz + zx \ge 3t^2$, thay vào trong biểu thức trên ta được

\[ R^3 \le 3Rt^2 + 2t^3 \]

tương đương với

\[ (2t – R)(t+R)^2 <= 0 \]

Ta có được $t \le R/2$. Từ đó suy ra điều cần chứng minh.

Đẳng thức xảy ra khi tam giác $x=y=z$, tức khi tâm $O$ cách đều 3 cạnh, tam giác $ABC$ là tam giác đều.