Math 2.0

statement theorem

Heron's formula

Statement

Let ABCABC be a triangle in the Euclidean plane, with the side lengths aa, bb and cc. Let s=12(a+b+c)s = \frac{1}{2}(a + b + c) be its semiperimeter. Then the area TT of the triangle is T=s(s−a)(s−b)(s−c).T = \sqrt{s (s - a)(s - b)(s - c)}.

Remarks

An equivalent form without ss is 16T2=(a+b+c)(−a+b+c)(a−b+c)(a+b−c)16 T^2 = (a + b + c)(-a + b + c)(a - b + c)(a + b - c). For example, the triangle with the sides 44, 1313 and 1515 has s=16s = 16 and T=16⋅12⋅3⋅1=24T = \sqrt{16 \cdot 12 \cdot 3 \cdot 1} = 24. One proof uses the law of cosines to get cos⁡γ\cos \gamma from the sides, and then T=12absin⁡γT = \frac{1}{2} a b \sin \gamma.

History

The formula carries the name of Heron of Alexandria, who gave a proof in his Metrica in the 1st century. It was possibly known earlier. Qin Jiushao published an equivalent formula in 1247.

Explanations

L1 human

Heron's formula gives the area of a triangle when you know only its three sides. You do not need a height or an angle. For the right triangle with the sides 33, 44, 55: s=6s = 6, and 6⋅3⋅2⋅1=6\sqrt{6 \cdot 3 \cdot 2 \cdot 1} = 6, which is also 12⋅3⋅4\frac{1}{2} \cdot 3 \cdot 4.

What this node needs for W2
  • edge about out: the concepts that the statement is about (0 of 1)
  • edge proves in: at least one proof node (0 of 1)
  • edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
  • explanation L2 (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 3 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Triangle concept
  2. Area of a triangle concept
  3. Heron's formula statement

Sources

  1. Web https://en.wikipedia.org/wiki/Heron%27s_formula, lead section