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 Không thể phân tích cú pháp (MathML hoặc SVG/PNG (khuyến khích các trình duyệt và công cụ trợ năng hiện đại): Phản hồi không hợp lệ (“Math extension cannot connect to Restbase.”) từ máy chủ “https://en.wikipedia.org/api/rest_v1/”:): {\displaystyle s = \tfrac12(a + b + c)} là nửa chu vi tam giác và A là diện tích tam giác thì:

Không thể phân tích cú pháp (MathML hoặc SVG/PNG (khuyến khích các trình duyệt và công cụ trợ năng hiện đại): Phản hồi không hợp lệ (“Math extension cannot connect to Restbase.”) từ máy chủ “https://en.wikipedia.org/api/rest_v1/”:): {\displaystyle 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:

Không thể phân tích cú pháp (MathML hoặc SVG/PNG (khuyến khích các trình duyệt và công cụ trợ năng hiện đại): Phản hồi không hợp lệ (“Math extension cannot connect to Restbase.”) từ máy chủ “https://en.wikipedia.org/api/rest_v1/”:): {\displaystyle A = \frac1{4}\sqrt{(a+b+c)(-a+b+c)(a-b+c)(a+b-c)};}

nhân cả bốn thừa số trong căn, được:

Không thể phân tích cú pháp (MathML hoặc SVG/PNG (khuyến khích các trình duyệt và công cụ trợ năng hiện đại): Phản hồi không hợp lệ (“Math extension cannot connect to Restbase.”) từ máy chủ “https://en.wikipedia.org/api/rest_v1/”:): {\displaystyle A = \frac1{4}\sqrt{2a^2b^2+2a^2c^2+2b^2c^2-a^4-b^4-c^4}.}

Sử dụng định thức Cayley–Menger để biểu diễn, ta có:

Không thể phân tích cú pháp (MathML hoặc SVG/PNG (khuyến khích các trình duyệt và công cụ trợ năng hiện đại): Phản hồi không hợp lệ (“Math extension cannot connect to Restbase.”) từ máy chủ “https://en.wikipedia.org/api/rest_v1/”:): {\displaystyle -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}. }

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:

Không thể phân tích cú pháp (MathML hoặc SVG/PNG (khuyến khích các trình duyệt và công cụ trợ năng hiện đại): Phản hồi không hợp lệ (“Math extension cannot connect to Restbase.”) từ máy chủ “https://en.wikipedia.org/api/rest_v1/”:): {\displaystyle 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.