Một tam giác với ba cạnh có độ dài a, b, c và các góc tương ứng α, β, γ.

Trong hình học, công thức Heron là công thức tính diện tích tam giác theo độ dài ba cạnh a, b, c. Nếu $s={\tfrac {1}{2}}(a+b+c)$ là nửa chu vi tam giác và A là diện tích tam giác thì:

$A={\sqrt {s(s-a)(s-b)(s-c)}}.$

Công thức Heron còn có thể được viết trực tiếp theo a, b, c:

${\begin{aligned}A&={\frac {1}{4}}{\sqrt {(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}}\\[6mu]&={\frac {1}{4}}{\sqrt {2a^{2}b^{2}+2a^{2}c^{2}+2b^{2}c^{2}-a^{4}-b^{4}-c^{4}}}.\end{aligned}}$

Một cách biểu diễn khác sử dụng định thức Cayley–Menger:

$-16A^{2}={\begin{vmatrix}0&a&b&c\\a&0&c&b\\b&c&0&a\\c&b&a&0\end{vmatrix}}={\begin{vmatrix}0&1&1&1\\1&0&c^{2}&b^{2}\\1&c^{2}&0&a^{2}\\1&b^{2}&a^{2}&0\end{vmatrix}}.$

Công thức mang tên Heron (hoặc Hero), nhà toán học, vật lý, kỹ sư sống ở Alexandria vào thế kỷ 1. Chứng minh cổ xưa nhất được biết đến là của Heron xuất hiện trong cuốn Metrica và Dioptra; đây là lý do tên ông gắn với công thức. Mặc dù vậy theo một bản viết A Rập cổ, nó có thể đã được biết đến sớm hơn bởi Archimedes. Không có tài liệu nào của Archimedes đề cập đến định lý này, nhưng một số tác giả không nghi ngờ việc ông nắm bắt được nó.

Ví dụ

Xét △ABC có độ dài các cạnh a = 5, b = 12, c = 13. Tam giác này có nửa chu vi:

$s={\frac {a+b+c}{2}}={\frac {5+12+13}{2}}=15$

Áp dụng công thức Heron, diện tích tam giác là:

${\begin{aligned}A&={\sqrt {s(s-a)(s-b)(s-c)}}={\sqrt {15\cdot (15-5)\cdot (15-12)\cdot (15-13)}}\\&={\sqrt {15\cdot 10\cdot 3\cdot 2}}={\sqrt {900}}=30.\end{aligned}}$

Ở ví dụ này, độ dài các cạnh và diện tích đều là số nguyên, tức đây là tam giác Heron. Tuy nhiên công thức Heron hoàn toàn có thể áp dụng trong trường hợp độ dài cạnh không là số nguyên.

Chứng minh

Chứng minh của Heron dùng hình học cơ bản tuy khéo léo nhưng rất dài dòng và phức tạp; tập hợp một chuỗi đồng nhất thức dường như không liên quan và dựa vào tính chất của tứ giác nội tiếp cùng tam giác vuông. Có nhiều phương pháp hiện đại khác để chứng minh, một số đơn giản được trình bày dưới đây.

Sử dụng định lý cosin

Gọi a, b, c là các cạnh của tam giác và α, β, γ là các góc đối tương ứng. Áp dụng định lý cosin có:

$\cos \gamma ={\frac {a^{2}+b^{2}-c^{2}}{2ab}};$

từ đó suy ra:

$\sin \gamma ={\sqrt {1-\cos ^{2}\gamma }}={\frac {\sqrt {4a^{2}b^{2}-(a^{2}+b^{2}-c^{2})^{2}}}{2ab}}.$

Chiều cao của tam giác ứng với cạnh đáy a bằng b sin $\gamma$, theo đó diện tích

${\begin{aligned}A&={\tfrac {1}{2}}({\mbox{cạnh đáy}})({\mbox{chiều cao}})\\[6mu]&={\tfrac {1}{2}}ab\sin \gamma \\[6mu]&={\frac {ab}{4ab}}{\sqrt {4a^{2}b^{2}-(a^{2}+b^{2}-c^{2})^{2}}}\\[6mu]&={\tfrac {1}{4}}{\sqrt {-a^{4}-b^{4}-c^{4}+2a^{2}b^{2}+2a^{2}c^{2}+2b^{2}c^{2}}}\\[6mu]&={\tfrac {1}{4}}{\sqrt {(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}}\\[6mu]&={\sqrt {\left({\frac {a+b+c}{2}}\right)\left({\frac {-a+b+c}{2}}\right)\left({\frac {a-b+c}{2}}\right)\left({\frac {a+b-c}{2}}\right)}}\\[6mu]&={\sqrt {s(s-a)(s-b)(s-c)}}.\end{aligned}}$

Sử dụng định lý Pythagoras

Tam giác có đường cao h chia cạnh đáy c thành d + (c − d)

Chứng minh sau tương tự như chứng minh của Raifaizen. Theo định lý Pythagoras ta có b² = h² + d² và a² = h² + (c − d)² (hình bên); từ đó a² − b² = c² − 2cd. Phương trình này cho phép biểu diễn d theo các cạnh của tam giác:

$d={\frac {-a^{2}+b^{2}+c^{2}}{2c}}.$