Gọi O là tâm đường tròn ngoại tiếp, các chân đường phân giác từ A,B,C lần lượt là D, M, N
Tam giác ABC đều <=> 3 đường phân giác cũng là đường cao <=> OD=OM=ON= (1/2). OB = (1/2).R
<=> vế trái = 3. (da)^2 = 3.( R/2)^2 = (3/4).R^2 = VP
(các mệnh đề này tương đương nhau, dùng dấu <=> )