Proof. Drop a perpendicular from C to AB, meeting it at D, so CD=bsinA (in right triangle ACD). Taking AB=c as the base, Δ=21×base×height=21c(bsinA)=21bcsinA. The other two forms follow by choosing a different base.
(2) Heron's formula:Δ=s(s−a)(s−b)(s−c).
Proof. From §10.5, sin2A=bc(s−b)(s−c) and cos2A=bcs(s−a), so sinA=2sin2Acos2A=bc2s(s−a)(s−b)(s−c). Substituting into Δ=21bcsinA gives Δ=s(s−a)(s−b)(s−c).
(3)Δ=2sinAa2sinBsinC.
Proof. By the sine rule, c=sinAasinC. Substituting into Δ=21acsinB gives Δ=21a⋅sinAasinC⋅sinB=2sinAa2sinBsinC.
(4)Δ=2R2sinAsinBsinC.
Proof. By the sine rule, b=2RsinB, c=2RsinC. Substituting into Δ=21bcsinA gives Δ=21(2RsinB)(2RsinC)sinA=2R2sinAsinBsinC.
Each formula is the natural choice for a different combination of given data: (1) for SAS, (2) for SSS, (3) for ASA/AAS with one side, (4) when the circumradius is known.
Worked example. For a=13,b=14,c=15: s=21, so Δ=21⋅8⋅7⋅6=7056=84. This value threads through §§10.7–10.8: r=Δ/s=84/21=4 and r1=Δ/(s−a)=84/8=10.5.
A second worked example (using the circumradius). Suppose A=45∘,B=60∘,C=75∘ and R=10. By formula (4),
This situation — three angles and the circumradius known, but no side lengths at all — is exactly where formulas (1)–(3) cannot even get started, making formula (4) indispensable rather than merely an algebraic curiosity. …