3.1.22Advanced Trigonometry

Heron's formula (derivation using trig)

1,531 words7 min readdifficulty · medium

WHAT is Heron's formula?

WHY it's beautiful: it needs only lengths — no height, no angle, no coordinates. Perfect when you only have a ruler.

Figure — Heron's formula (derivation using trig)

HOW we derive it (from first principles)

We start from the one area formula that mixes sides and an angle, then kill the angle.

Step 1 — Start from the trig area. Area=12absinC\text{Area} = \tfrac12\, a b \sin C Why this step? Two sides a,ba,b and their included angle CC pin the triangle down, so this must be the area. It contains the angle CC — that's the enemy we'll eliminate.

Step 2 — Bring in the Law of Cosines to describe cosC\cos C using sides only. c2=a2+b22abcosC    cosC=a2+b2c22ab.c^2 = a^2 + b^2 - 2ab\cos C \;\Rightarrow\; \cos C = \frac{a^2+b^2-c^2}{2ab}. Why this step? We can express sinC\sin C via sin2C=1cos2C\sin^2 C = 1-\cos^2 C, and cosC\cos C we now know purely in sides.

Step 3 — Write area2^2 (squaring removes the square root of sin\sin). Area2=14a2b2sin2C=14a2b2(1cos2C).\text{Area}^2 = \tfrac14 a^2b^2\sin^2 C = \tfrac14 a^2b^2\left(1-\cos^2 C\right). Why this step? sin2=1cos2\sin^2 = 1-\cos^2 turns everything into cosC\cos C, which is pure sides.

Step 4 — Factor 1cos2C=(1cosC)(1+cosC)1-\cos^2C = (1-\cos C)(1+\cos C) and substitute. 1+cosC=2ab+a2+b2c22ab=(a+b)2c22ab=(a+b+c)(a+bc)2ab.1+\cos C = \frac{2ab + a^2+b^2-c^2}{2ab} = \frac{(a+b)^2 - c^2}{2ab} = \frac{(a+b+c)(a+b-c)}{2ab}. 1cosC=2aba2b2+c22ab=c2(ab)22ab=(c+ab)(ca+b)2ab.1-\cos C = \frac{2ab - a^2-b^2+c^2}{2ab} = \frac{c^2-(a-b)^2}{2ab} = \frac{(c+a-b)(c-a+b)}{2ab}. Why this step? Each numerator is a difference of squares, which cracks into linear factors that scream "semi-perimeter."

Step 5 — Plug back. Area2=a2b24(a+b+c)(a+bc)2ab(c+ab)(ca+b)2ab.\text{Area}^2 = \frac{a^2b^2}{4}\cdot\frac{(a+b+c)(a+b-c)}{2ab}\cdot\frac{(c+a-b)(c-a+b)}{2ab}. The a2b2a^2b^2 cancels the two 2ab2ab's: Area2=(a+b+c)(a+bc)(b+ca)(c+ab)16.\text{Area}^2 = \frac{(a+b+c)(a+b-c)(b+c-a)(c+a-b)}{16}.

Step 6 — Convert to semi-perimeter. With s=a+b+c2s=\frac{a+b+c}{2}: a+b+c=2s,a+bc=2(sc),b+ca=2(sa),c+ab=2(sb).a+b+c = 2s,\quad a+b-c = 2(s-c),\quad b+c-a = 2(s-a),\quad c+a-b = 2(s-b). So Area2=(2s)2(sa)2(sb)2(sc)16=s(sa)(sb)(sc).\text{Area}^2 = \frac{(2s)\,2(s-a)\,2(s-b)\,2(s-c)}{16} = s(s-a)(s-b)(s-c).


Worked examples


Steel-manned mistakes


Active recall

Recall Can you rebuild the derivation without looking?
  1. Start: Area =12absinC=\tfrac12 ab\sin C.
  2. Square: Area2=14a2b2(1cos2C)^2=\tfrac14a^2b^2(1-\cos^2C).
  3. Law of cosines: cosC=a2+b2c22ab\cos C=\frac{a^2+b^2-c^2}{2ab}.
  4. Factor 1±cosC1\pm\cos C via difference of squares.
  5. Cancel a2b2a^2b^2, get (a+b+c)(a+bc)(b+ca)(c+ab)16\frac{(a+b+c)(a+b-c)(b+c-a)(c+a-b)}{16}.
  6. Rewrite with sss(sa)(sb)(sc)s(s-a)(s-b)(s-c).
Recall Feynman: explain to a 12-year-old

Imagine you have three sticks and you make a triangle. Once the sticks are chosen, the triangle can only be one shape — you can't stretch it. So its "amount of space inside" is already decided by the stick lengths. Heron's rule is a magic recipe: add the three lengths, cut that in half (call it ss), then multiply ss by (ss minus each stick). Take the square root of all that — boom, the area! No measuring the height, no protractor. We got it by starting from a formula that uses one angle, then using another rule to swap that angle for the stick lengths, until the angle completely disappears.


Flashcards

What is the semi-perimeter ss?
s=a+b+c2s=\frac{a+b+c}{2}, half the perimeter.
State Heron's formula.
Area=s(sa)(sb)(sc)\text{Area}=\sqrt{s(s-a)(s-b)(s-c)} with s=a+b+c2s=\frac{a+b+c}{2}.
Which trig area formula starts the derivation?
Area=12absinC\text{Area}=\tfrac12 ab\sin C.
Which identity kills sinC\sin C in favour of cosC\cos C?
sin2C=1cos2C\sin^2C=1-\cos^2C.
How is cosC\cos C expressed in sides?
cosC=a2+b2c22ab\cos C=\frac{a^2+b^2-c^2}{2ab} (Law of Cosines).
What algebraic trick factors 1cos2C1-\cos^2C?
Difference of squares: (1cosC)(1+cosC)(1-\cos C)(1+\cos C), each a difference of squares in sides.
Why must sa,sb,scs-a,s-b,s-c be positive?
Triangle inequality; otherwise no real triangle (root becomes negative).
Area of equilateral triangle of side aa via Heron?
34a2\frac{\sqrt3}{4}a^2.
Area of the 13-14-15 triangle?
8484 (with s=21s=21).
What appears in the denominator before switching to ss?
1616, from the product (2s)(2(sa))(2(sb))(2(sc))(2s)(2(s-a))(2(s-b))(2(s-c)).

Connections

  • Law of Cosines — the engine that turns cosC\cos C into sides.
  • Area of a triangle = ½ab sin C — the launching point.
  • Triangle Inequality — guarantees the root is real.
  • Semi-perimeter and Incircle (r = Area/s)ss reappears in the inradius.
  • Difference of Squares Factoring — the key algebra move.
  • Heronian Triangles — integer-sided, integer-area triangles.

Concept Map

determines

goal

contains angle C

gives cosC in sides

square it

substitute

factor diff of squares

introduce s = a+b+c over 2

result

verify

verify

Triangle sides a b c

Area is function of sides only

Chase out angles

Trig area half ab sinC

Law of Cosines

sin sq = 1 - cos sq

Area sq = quarter a2b2 sin sq C

Product of linear side factors

Semi-perimeter form

Area = sqrt s times s-a s-b s-c

3-4-5 gives area 6

Equilateral side a

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, Heron's formula ka core idea simple hai: agar tumhe triangle ki teen sides a,b,ca, b, c pata hain, to triangle ki shape fix ho jaati hai — usko khींch ke badal nahi sakte. Matlab area bhi automatically decide ho gaya, sirf sides se. To ek aisa formula hona hi chahiye jisme sirf lengths ho, koi angle ya height nahi. Wahi Heron's formula hai: pehle s=a+b+c2s=\frac{a+b+c}{2} nikalo (semi-perimeter, yaani perimeter ka aadha), phir Area =s(sa)(sb)(sc)=\sqrt{s(s-a)(s-b)(s-c)}.

Derivation ka trick yeh hai — hum shuru karte hain area =12absinC=\frac12 ab\sin C se, jisme angle CC hai. Ab angle ko bhagana hai. Iske liye Law of Cosines use karte hain: cosC=a2+b2c22ab\cos C=\frac{a^2+b^2-c^2}{2ab}. Fir sin2C=1cos2C\sin^2C = 1-\cos^2C likh ke, aur 1cos2C=(1cosC)(1+cosC)1-\cos^2C=(1-\cos C)(1+\cos C) ko difference-of-squares se todke, sab kuch sirf sides me convert ho jaata hai. Aakhir me a2b2a^2b^2 cancel ho jaata hai aur bacha rehta hai pure sides wala expression, jo ss ki bhaasha me s(sa)(sb)(sc)s(s-a)(s-b)(s-c) ban jaata hai.

Yeh important kyun hai? Kaee baar exam me ya real life me tumhare paas sirf teen sides hoti hain — na height, na angle. Us waqt yeh formula direct area de deta hai. Bas ek dhyaan: triangle inequality check karo (a+b>ca+b>c etc.), warna sas-a ya scs-c negative aayega aur root imaginary ho jaayega — matlab triangle banta hi nahi. Practice ke liye 3-4-5 (area 6) aur 13-14-15 (area 84) yaad rakho, dono clean integers dete hain.

Go deeper — visual, from zero

Test yourself — Advanced Trigonometry

Connections