"Diện tích một tam giác bằng thương của tích độ dài ba cạnh và bốn lần bán kính đường tròn ngoại tiếp tam giác đó".
Cho nội tiếp , khi đó ta có:
Hạ đường cao xuống , vẽ đường kính .
là tam giác nội tiếp có cạnh là đường kính .
(cách dựng) .
(góc nội tiếp cùng chắn cung ).
Hai tam giác và có:
.
Vậy ta có .