3.1.22 · D4Advanced Trigonometry

Exercises — Heron's formula (derivation using trig)

1,854 words8 min readBack to topic

Level 1 — Recognition

(Can you name the pieces and plug numbers in?)

Recall Solution 1.1

WHAT: just add and halve. Then WHY these must be positive: each is half of a "two-sides-minus-the-third" quantity, e.g. . The Triangle Inequality guarantees , so this is positive — a green light that the triangle is real.

Recall Solution 1.2

Multiply inside: , , . Sanity check: is a scaled right triangle (legs ), so area . ✅ Agrees, so the plug-in was clean.


Level 2 — Application

(Straight computation, but you choose the path.)

Recall Solution 2.1

Check it's a real triangle first: . ✅ WHY is small: side is almost as long as , so the triangle is very "flat/thin." A near-zero warns you the triangle is close to degenerate.

Recall Solution 2.2

Heron: Base–height: drop the height onto the base . By symmetry it splits into two halves of . The height satisfies (right triangle with hypotenuse ): ✅ Both give — Heron is just the height method with the height already "solved out."


Level 3 — Analysis

(Reverse the formula, reason about structure.)

Recall Solution 3.1

WHAT we're missing: side . Perimeter gives it: Then: (semi-perimeter is half the perimeter, so we don't even re-add). Numerically . WHY leave it in surd form: is not a perfect square, so the exact area is irrational; is the honest exact answer.

Recall Solution 3.2

Step 1 — get from the area. is the angle between sides and : Step 2 — get . Since and is a triangle angle (), Step 3 — pick the sign with the Law of Cosines (this settles the ): Positive → is acute → take . ✅ Both methods agree, closing the loop between the trig-area start and the Law of Cosines used in the derivation.


Level 4 — Synthesis

(Combine Heron with other tools.)

Recall Solution 4.1

From the parent note: and . WHY this formula holds: connect each vertex to the incentre, splitting the triangle into three smaller triangles, each with base a side and height . Their areas sum to . Setting that equal to the whole area gives . See Semi-perimeter and Incircle (r = Area/s) — the same from Heron reappears.

Recall Solution 4.2

Step 1 — scale factor. The ratio parts sum to . Perimeter means each "part" is worth . So Step 2 — right angle? Check . ✅ Right-angled at the vertex opposite . Step 3 — area (Heron, to practise it): Cross-check with legs: ✅ Consistent.


Level 5 — Mastery

(Prove / generalise / handle the degenerate edge.)

Recall Solution 5.1

General argument: if then , and recall . One factor under the root vanishes, so the whole product is : Concrete case : , so . WHAT IT LOOKS LIKE (see figure): the "triangle" has collapsed onto a straight segment — the point that would be the apex has flattened into the base. Zero height ⇒ zero area, and Heron reports it faithfully at the boundary between "real triangle" () and "impossible" ().

Recall Solution 5.2

Setup. Fix (constant). Heron gives Since is fixed, maximising the area means maximising the product . Constraint on the three factors. Their sum is fixed: So we're maximising a product of three positive numbers whose sum is fixed at . AM–GM. For positive numbers, the product is largest when they are all equal: Here equal means , i.e. — the equilateral triangle. Value at the max. Each factor , so Sanity check with side length. For an equilateral triangle side , and the parent note's result gives ✅ Same value. Equilateral wins.

Recall Solution 5.3

WHY this form exists: it is Heron before substituting — the exact line from Step 5 of the derivation, multiplied through by . Plug in :

  • Divide by : , so ✅ This is the same — the "16 form" and the " form" are one formula wearing two outfits.

Connections

  • Law of Cosines — used in 3.2 to fix the sign of .
  • Area of a triangle = ½ab sin C — the bridge in Exercise 3.2.
  • Triangle Inequality — the gatekeeper in L1, L2, L5.
  • Semi-perimeter and Incircle (r = Area/s) — Exercise 4.1.
  • Difference of Squares Factoring — behind the "16 form" of Exercise 5.3.
  • Heronian Triangles — the integer-area cases (1.2, 2.1, 2.2, 4.2, 5.3).

Solution Map

check

halve

reverse

combine

boundary

optimise

Given sides a b c

a plus b greater than c

s equals half perimeter

s minus a b c

Area equals root of product

find missing side or ratio

incircle r equals Area over s

s minus c equals zero gives area zero

equilateral maximises area