三角形 $\mathrm{ ABC }$ の面積を $S$ とすると, $\displaystyle s= \frac{a+b+c}{2}$
として,
S=s(s−a)(s−b)(s−c)
証明
三角形 ABC に対して,余弦定理を用いると
c2=a2+b2−2abcosC⇔cosC=2aba2+b2−c2
s=2a+b+c すなわち a+b+c=2s とし,三角形 ABC の面積を S とすると,
S=21absinC=21ab1−cos2C=21a2b2−a2b2(2aba2+b2−c2)2
=414a2b2−(a2+b2−c2)2
=41{2ab−(a2+b2−c2)}{2ab+(a2+b2−c2)}
=41{c2−(a2−2ab+b2)}{(a2+2ab+b2)−c2}
=41{c2−(a−b)2}{(a+b)2−c2}
=41(c+a−b)(c−a+b)(a+b+c)(a+b−c)
=41(a+b+c−2b)(a+b+c−2a)(a+b+c)(a+b+c−2c)
=41(2s−2b)(2s−2a)⋅2s⋅(2s−2c)
=s(s−a)(s−b)(s−c)