헤론의 공식(비교)

[math(\displaystyle \begin{aligned} \triangle {\rm ABC}& = \dfrac{1}{4}\sqrt{[ (a+c)^{2}-b^{2} ] [ b^{2}-(a-c)^{2} ]} \\&= \dfrac{1}{4}\sqrt{ (a+b+c)(a+c-b) (a+b-c)(b+c-a) } \end{aligned} )]

방금 이 식은 피타고라스 정리로 증명할 때 보았던 것이므로 [math(16s(s-a)(s-b)(s-c))] 다.