By the law of cosines, we have: formula_31Combining this with the identity formula_32, we have: formula_33But formula_34, and so:formula_35which is Heron's formula.
: formula_31Комбинируя это с тождеством formula_32, получим: formula_33Но formula_34, так что: formula_35Комбинируя формулу Герона с formula_36, получим: formula_37.