ヘロンの公式は三角形の3辺の長さがわかっているときに使える三角形の面積を求める公式です。
三角形の3辺の長さがそれぞれ＄a,b,c＄であるとき、三角形の面積$S$は
\begin{align*}S=\sqrt{s(s-a)(s-b)(s-c)}\\
ただし、&s=\frac{a+b+c}{2}\end{align*}
で求められます。
なぜ、この公式で面積を求められるのでしょうか？
\[S=\frac{1}{2}ab\sin C\]
で求められます。
三角関数の相互関係$\sin^2\theta+\cos^2\theta=1$より$0°<\theta<180°$のとき$\sin\theta=\sqrt{1-\cos^2\theta}$なので、
\[S=\frac{1}{2}ab\sqrt{1-\cos^2C}\]
となります。
また、余弦定理$c^2=a^2+b^2-2ab\cos C$より$\cos
C=\dfrac{a^2+b^2-c^2}{2ab}$なので、
\begin{align*}S&=\frac{1}{2}ab\sqrt{1-\left(\frac{a^2+b^2-c^2}{2ab}\right)^2}\\[0.5em]&=\frac{1}{2}ab\sqrt{1-\frac{(a^2+b^2-c^2)^2}{(2ab)^2}}\\[0.5em]&=\frac{1}{2}ab\sqrt{\frac{(2ab)^2-(a^2+b^2-c^2)^2}{(2ab)^2}}\\[0.5em]&=\frac{1}{2}ab\cdot\frac{1}{2ab}\sqrt{(2ab)^2-(a^2+b^2-c^2)^2}\\[0.5em]&=\frac{1}{4}\sqrt{(2ab)^2-(a^2+b^2-c^2)^2}\end{align*}
根号の中身は因数分解公式$x^2-y^2=(x+y)(x-y)$で因数分解できるので
\begin{align*}S&=\frac{1}{4}\sqrt{(2ab+a^2+b^2-c^2)\left\{2ab-(a^2+b^2-c^2)\right\}}\\[0.5em]&=\frac{1}{4}\sqrt{\left\{(a^2+2ab+b^2)-c^2\right\}\left\{c^2-(a^2-2ab+b^2)\right\}}\\[0.5em]&=\frac{1}{4}\sqrt{\left\{(a+b)^2-c^2\right\}\left\{c^2-(a-b)^2\right\}}\\[0.5em]&=\frac{1}{4}\sqrt{(a+b+c)(a+b-c)(c+a-b)(c-a+b)}\\
\\
&=\frac{1}{4}\sqrt{(a+b+c)\left\{(a+b+c)-2c\right\}\left\{(a+b+c)-2b\right\}\left\{(a+b+c)-2a\right\}}\\[0.5em]&=\frac{1}{4}\sqrt{(a+b+c)\left\{(a+b+c)-2a\right\}\left\{(a+b+c)-2b\right\}\left\{(a+b+c)-2c\right\}}\end{align*}
ここで、$s=\dfrac{a+b+c}{2}$とおくと
\begin{align*}S&=\frac{1}{4}\sqrt{2s(2s-2a)(2s-2b)(2s-2c)}\\[0.5em]&=\frac{1}{4}\sqrt{2s\cdot2(s-a)\cdot2(s-b)\cdot2(s-c)}\\[0.5em]&=\frac{1}{4}\sqrt{16s(s-a)(s-b)(s-c)}\\[0.5em]&=\frac{1}{4}\cdot4\sqrt{s(s-a)(s-b)(s-c)}\\[0.5em]&=\sqrt{s(s-a)(s-b)(s-c)}\end{align*}
となります。
したがって、三角形の3辺がわかっているとき、この公式で三角形の面積を求めることができることがわかります。
Share:
