高等学校数学I/図形と計量

ここでは、三角比（さんかくひ）と、それを用いた定理を扱う。

三角比

$\mathrm{\angle }\mathrm{C},\mathrm{\angle }{\mathrm{C}}^{\prime }$ が直角で$\mathrm{\angle }\mathrm{A}=\mathrm{\angle }{\mathrm{A}}^{\prime }$ である直角三角形 $\mathrm{△}\mathrm{A}\mathrm{B}\mathrm{C},\mathrm{△}{\mathrm{A}}^{\prime }{\mathrm{B}}^{\prime }{\mathrm{C}}^{\prime }$ について考える。$\mathrm{△}\mathrm{A}\mathrm{B}\mathrm{C},\mathrm{△}{\mathrm{A}}^{\prime }{\mathrm{B}}^{\prime }{\mathrm{C}}^{\prime }$ は2つの角の大きさが等しいので相似である。

このとき、$\frac{\mathrm{B}\mathrm{C}}{\mathrm{A}\mathrm{B}}=\frac{{\mathrm{B}}^{\prime }{\mathrm{C}}^{\prime }}{{\mathrm{A}}^{\prime }{\mathrm{B}}^{\prime }}$ である。このことから 対辺/斜辺 は角の大きさのみに依存することが分かる。そこで、$\mathrm{\angle }\mathrm{C}$ が直角である直角三角形 $\mathrm{△}\mathrm{A}\mathrm{B}\mathrm{C}$ において、$\sin A=\frac{\mathrm{B}\mathrm{C}}{\mathrm{A}\mathrm{B}}$ とする。これを正弦(sine, サイン)という。

同様に、直角三角形において 底辺/斜辺 は角の大きさのみに依存する。そこで、$\cos A=\frac{\mathrm{A}\mathrm{C}}{\mathrm{A}\mathrm{B}}$ とする。これを余弦(cosine, コサイン)という。

同様に、直角三角形において 対辺/底辺 は角の大きさのみに依存する。そこで、$\tan A=\frac{\mathrm{B}\mathrm{C}}{\mathrm{A}\mathrm{C}}=\frac{\sin A}{\cos A}$ とする。これを正接(tangent, タンジェント)という。

これら、$\sin ,\cos ,\tan$ を纏めて三角比という。

覚え方としてしばしば以下の説明が用いられる。数学的には無意味だが、これが覚えやすければ用いてもよい。下の図の中で、小文字のsを筆記体でかくときのつづりに対応するものが$\sin$であり、筆記体のcに対応するものが$\cos$であり、筆記体のtに対応するものが$\tan$である。

ファイル:Sinの定義.pngファイル:Cosの定義.pngファイル:Tanの定義.png

三角比について次の性質が成り立つ。

$\sin (90^{\circ }-x)=\cos x$

$\cos (90^{\circ }-x)=\sin x$

$\tan (90^{\circ }-x)=\frac{1}{\tan x}$

証明

$90^{\circ }-x$は、xという大きさの角を持った直角三角形があるとき、直角でもxでもない大きさの角である。(三角形の内角の和が$180^{\circ }$であるため。)このため、$90^{\circ }-x$に対する三角比は、xに対する三角比を定義するのに使った三角形を用いて表わすことが出来る。実際にこの定義を導入すると、確かにこの結果が成り立つ。

なお、角度を表す記号としてはギリシャ文字の$\theta$(シータ)がよく用いられる。また、物理学では$\varphi$(ファイ)や$\psi$(プサイ, プシー)を用いる場合もある。

テンプレート:コラム

定義の拡張

ここまでで、$0^{\circ }<r<90^{\circ }$の条件を満たす角度rに対して、三角比を定義した。しかし、これ以降三角形に関する定理を扱う上では、$90^{\circ }<r<180^{\circ }$までの範囲で三角比を定義しておくと都合がよい。ここでは、三角比の定義の範囲を拡張する方法を説明する。

座標平面上に半径 $r$ の円をかく。つぎに、円周上の第一象限に点 $\mathrm{A}(a,b)$ をとり、直線 $\mathrm{O}\mathrm{A}$ と $x$ 軸のなす角を $x$ とおく。$\mathrm{A}$ から $x$ 軸におろした垂直の足を $\mathrm{B}$ とすると、三角形 $\mathrm{O}\mathrm{A}\mathrm{B}$ は $\mathrm{\angle }\mathrm{O}\mathrm{B}\mathrm{A}$ を直角とする直角三角形である。このとき、三角比の定義から、$\sin x=\frac{b}{r}$ ,$\cos x=\frac{a}{r}$, $\tan x=\frac{b}{a}$ と表せる。

単位円を使って定義された、鋭角における三角関数

テンプレート:-$x$ が $90^{\circ }<x<180^{\circ }$ のときも、上記の式に従って三角比を定義する。

次に、Aを円に沿って第2象限へ移動させる。先ほどと同様に、x軸の正の向きの半直線とOAによって作られる角をxとする。このとき$90^{\circ }<x<180^{\circ }$となるため、角x側に直角三角形を作ることはできない。

単位円を使って定義された、鈍角における三角関数

ところが、$90^{\circ }<x<180^{\circ }$のときも、先に述べた式の値を考えることはできる。そこで、このときも

$\sin x=b$ ,$\cos x=a$, $\tan x=\frac{b}{a}$ と定義する。

ところで、$x=90^{\circ }$のとき、Aはy軸上にあるためx=0となる。よって$\tan x$は、$\frac{b}{0}$となってしまうため定義されない。

以上より、$0^{\circ }<x<180^{\circ }$を満たす角xの正接、正弦、余弦の値は、単位円上に点A(a,b)をとり、

$\sin x=b$ ,$\cos x=a$, $\tan x=\frac{b}{a}$ として求められる。

なお、実際には、この定義は任意の角 $0^{\circ }\leqq r<360^{\circ }$に対して適用できるが、このことは数学Ⅱの学習範囲である。

また、図形的な性質を用いると、$0^{\circ }<x<90^{\circ }$のとき次の性質が成り立つ。

$\sin (90^{\circ }+x)=\cos x,\cos (90^{\circ }+x)=-\sin x,\tan (90^{\circ }+x)=-\frac{1}{\tan x}$

$\sin (180^{\circ }-x)=\sin x,\cos (180^{\circ }-x)=-\cos x,\tan (180^{\circ }-x)=-\tan x$

• 証明

90 ${}^{\circ }$ + xという角は、xという角を持った直角三角形を用いて表わすことが出来る。

ファイル:90度に対する三角比.png

この時、図から90 ${}^{\circ }$ + xに対応する正弦は、xに対する余弦の大きさに等しい。90 ${}^{\circ }$ + xに対応する余弦は、xに対する正弦の大きさに等しく、符号が負になっている。

180 ${}^{\circ }$ - xという角も、xという角を持った直角三角形を用いて表わすことが出来る。

ファイル:180度に対する三角比.png

この時、対応する正弦が等しく、余弦が大きさが等しく符号が負になっていることがわかる。正接の関係式は、

$\tan x=\frac{\sin x}{\cos x}$

を用いれば、前の2式から得ることが出来る。この式については後述する。

三角比の相互関係

ここまでで、直角三角形を用いる場合と単位円を用いた場合に、三角比の定義を行った。これらの式はそれぞれ、

$\tan x=\frac{\sin x}{\cos x}$

の関係を満たす。実際直角三角形の場合の定義の式を代入すれば、

$\frac{a}{b}=\frac{a}{c}÷\frac{b}{c}$

となり、上の関係は成立する。これ以外にも三角比には角の大きさに関わらず成立する相互関係があり、これらの関係を用いてある1つの三角比から他の三角比の値を求めることができる。もちろん、直角三角形については1つの三角比を指定することで三角形の形は相似形の自由度を除いて決定されるため、この結果は必然であるのだが。

• 問題

恒等式

${\sin }^{2}r+{\cos }^{2}r=1$

${\tan }^{2}r+1=\frac{1}{{\cos }^{2}r}$

が得られることを示せ。(${\sin }^{2}r,{\cos }^{2}r,{\tan }^{2}r$は、それぞれ $(\sin r{)}^2,(\cos r{)}^2,(\tan r{)}^2$という意味である。)

• 解答

上で得たような直角三角形を考えると、

$\sin r=a/c$

$\cos r=b/c$

となっている。

このとき、三平方の定理より、$a,b,c$について、

$a^2+b^2=c^2$

が成り立つ。 ここで、両辺を$c^2$ で割ると、

$\begin{array}{cc}(a/c{)}^2+(b/c{)}^2& =1\\ {\sin }^{2}r+{\cos }^{2}r& =1\end{array}$

となり、求めたい式が示された。

さらに、${\sin }^{2}r+{\cos }^{2}r=1$の両辺を${\cos }^{2}r$で割ると、

$\begin{array}{cc}\frac{{\sin }^{2}r}{{\cos }^{2}r}+\frac{{\cos }^{2}r}{{\cos }^{2}r}& =\frac{1}{{\cos }^{2}r}\\ {\tan }^{2}r+1& =\frac{1}{{\cos }^{2}r}\end{array}$

が得られる。

• 問題

$\sin r=\frac{1}{3}$のときの$\cos r$, $\tan r$の値を求めよ。ただし、$0^{\circ }<r<90^{\circ }$を満たすとする。

• 解答

${\sin }^{2}r+{\cos }^{2}r=1$に$\sin r=\frac{1}{3}$を代入すると、

$\begin{array}{cc}{\cos }^{2}r& =1-{\sin }^{2}r\\ & =1-\frac{1}{9}\\ & =\frac{8}{9}\end{array}$

さらに、$0^{\circ }<r<90^{\circ }$では、$\cos r>0$となることに注目すると、

$\begin{array}{cc}\cos r& =\sqrt{\frac{8}{9}}\\ & =\frac{2\sqrt{2}}{3}\end{array}$

となる。 さらに、$\tan r=\frac{\sin r}{\cos r}$に代入すると、

$\tan r=\frac{\frac{1}{3}}{\frac{2\sqrt{2}}{3}}=\frac{\sqrt{2}}{4}$

となる。

• 問題

３つの角の角度がそれぞれ

$45^{\circ },45^{\circ },90^{\circ }$

$30^{\circ },60^{\circ },90^{\circ }$

とするそれぞれの直角三角形の辺の長さの比を用いることで、

ファイル:直角三角形の例.png

$30^{\circ },60^{\circ },45^{\circ }$に対して、$\sin ,\cos ,\tan$の大きさを求めよ。

• 解答

$45^{\circ },45^{\circ },90^{\circ }$の直角二等辺三角形では、斜辺が一番長く、その長さは他の辺の長さの$\sqrt{2}$倍である。このことを用いると、

$\sin 45^{\circ }=\frac{\sqrt{2}}{2},\cos 45^{\circ }=\frac{\sqrt{2}}{2},\tan 45^{\circ }=1$が得られる。

$30^{\circ },60^{\circ },90^{\circ }$の直角三角形では、辺の長さの比は、短い順から、$1:\sqrt{3}:2$となっている。このことを用いると、

$\sin 30^{\circ }=\frac{1}{2},\cos 30^{\circ }=\frac{\sqrt{3}}{2},\tan 30^{\circ }=\frac{\sqrt{3}}{3}$

$\sin 60^{\circ }=\frac{\sqrt{3}}{2},\cos 60^{\circ }=\frac{1}{2},\tan 60^{\circ }=\sqrt{3}$ が得られる。

• 備考

これらの角度の三角比は重要なので覚えるべきである。もちろん、これらの有名角ではない三角比も計算することが出来る。その計算方法として、直接作図して測定する方法や、マクローリン展開(数IIIの知識があれば理解できるが、主に大学範囲)を利用して求めることが挙げられる。しかし、その計算方法は煩雑である。有名角ではない三角比の値が知りたい場合は、スマホやパソコンなどにインストールされた電卓アプリまたは、ブラウザで検索すればその値が分かる。試験で三角比の値が必要な場合は、表などの形式で三角比の値が与えられる。

三角方程式

三角比のみを含む方程式を三角方程式と呼ぶ場合がある。

例えば、$\sin \theta =0$は三角方程式である。この方程式の解は、有名角の三角比の値なので$\theta =0^{\circ },180^{\circ }$とすぐにわかる。

• 問題
  • $0^{\circ }\leqq \theta \leqq 180^{\circ }$のとき、次の$\theta$についての方程式・不等式を解け。
    1. $\sin \theta =\frac{1}{2}$
    2. $\cos \theta =-\frac{\sqrt{3}}{2}$
    3. $\tan \theta =\sqrt{3}$
    4. $\sin \theta =-\cos \theta$
• 解答
  • 1. 有名角の三角比なので$30^{\circ }$
    2. 有名角の三角比なので$120^{\circ }$
    3. 有名角の三角比なので$60^{\circ }$
    4. $\sin \theta =0$は方程式を満たさないので$-1=\frac{\sin \theta }{\cos \theta }$と変形でき、これは$\tan \theta =-1$と同じなので$\theta =135^{\circ }$

xy平面上の直線$y=mx$について、x軸の正の向きとの成す角を$\theta$とし、直線上に点(p, mp)をとると、正接の定義より$\tan \theta =\frac{mp}{p}$である。すなわち、$\tan \theta =m$が成り立つ。

つまり、原点を通る直線がx軸の正の向きと成す角$\theta$は、上の三角方程式を解けば求められる。

図形の計量

正弦定理

三角形の辺の長さがa,b,cと与えられ、相対する角の大きさがA,B,Cと与えられるとき

$\frac{a}{\sin A}=\frac{b}{\sin B}=\frac{c}{\sin C}=2R$

が成り立つ。ここで、 R は三角形の外接円の半径である。

• 導出

三角形が直角三角形である場合

最初に三角形が直角三角形であるときについて考える。直角三角形で,$90^{\circ }$の角をCとおき、対応する辺をcとする。このとき、外接円の半径をRとすると、

$2R=c=\frac{c}{\sin 90{}^{\circ }}=\frac{c}{\sin C}$

が成り立つ。よって、角Cについて正弦定理が確かめられた。辺aについても図の三角形が直角三角形であることを用いると、

$a=2R\sin A$

が成り立つ。Bについても同様である。よって、三角形が直角三角形であるとき、正弦定理は示された。

三角形が鋭角三角形である場合

次に三角形が鋭角三角形であるときを考える。特に角Aに注目する。Aと同じ円周角を持つ点の中で、角CBDが$90^{\circ }$になるように、点Dをとる。

このとき、三角形BCDについて、$\sin$の定義から、

$BC=CD\sin A$

(角BDC = 角Aに注意。これは円周角が互いに等しいことによる。)となり、

$\frac{a}{\sin A}=CD=2R$

が得られて、正弦定理が角Aについて示された。角B、角Cについても同様に示すことが出来る。

三角形が鈍角三角形である場合

最後に鈍角三角形の場合について考える。鈍角三角形の2つの鋭角については上と同じ証明を用いることが出来る。鈍角をAと書き、角BCD= $90{}^{\circ }$となるように点Dを取る。

ここで、角BDC = $180^{\circ }$ - 角Aが成り立つ。(これは円に内接する四角形の相対する角a,bについてa+b =$180^{\circ }$が成り立つことによる。)これを用いると、

$BC=a=2R\sin (180^{\circ }-A)=2R\sin A$

となり、確かにこの場合も成立する。

よって、全ての三角形について正弦定理が示された。

　

　

　

　

• 問題例
  • 問題

角度が

$45{}^{\circ },45{}^{\circ },90{}^{\circ }$

$30{}^{\circ },60{}^{\circ },90{}^{\circ }$

の直角三角形において正弦定理が成り立っていることを確かめよ。 ただし、それぞれの三角形の斜辺の長さを$a$とする。 ここで、直角三角形の外接円の直径は、 直角三角形の斜辺の長さに等しいことに注意せよ。

• • 解答

$45{}^{\circ },45{}^{\circ },90{}^{\circ }$

の直角三角形については、 短い辺の長さを$b$とすると、 正弦定理は、

$\frac{b}{\sin 45^{\circ }}=\frac{a}{\sin 90^{\circ }}=2R$

となる。 これは、

$b=\frac{\sqrt{2}}{2}a$

$R=\frac{a}{2}$

に対応するが、

$45{}^{\circ },45{}^{\circ },90{}^{\circ }$

の性質からこれは正しい。

一方、

$30{}^{\circ },60{}^{\circ },90{}^{\circ }$

の直角三角形については 正弦定理は、辺の長さを短い順に $b_1$ , $b_2$とすると、

$\frac{a}{\sin 90^{\circ }}=\frac{b_1}{\sin 30^{\circ }}$

$=\frac{b_2}{\sin 60^{\circ }}=2R$

となるが、これは

$b_1=\frac{1}{2}a$

$b_2=\frac{\sqrt{3}}{2}a$

$R=\frac{a}{2}$

に対応するが、もともとの三角形の性質からいって、 このことは確かに成立している。

余弦定理

次の三角形について、

$c^2=a^2+b^2-2ab\cos C$

が成り立つ。これを余弦定理という。

• 導出

点 $\mathrm{B}$ から直線 $\mathrm{C}\mathrm{A}$ におろした垂線の足を点 $\mathrm{H}$ とする。

線分 $\mathrm{A}\mathrm{H}$ の長さについて

$A$ が鋭角かつ $C$ が鋭角のとき、 $\mathrm{A}\mathrm{H}=\mathrm{C}\mathrm{A}-\mathrm{C}\mathrm{H}=b-a\cos C$

$A$ が鈍角かつ $C$ が鋭角のとき、$\mathrm{A}\mathrm{H}=\mathrm{C}\mathrm{H}-\mathrm{C}\mathrm{A}=a\cos C-b$

$A$ が鋭角かつ $C$ が鈍角のとき、$\mathrm{A}\mathrm{H}=\mathrm{A}\mathrm{C}+\mathrm{C}\mathrm{H}=b-a\cos C$

である。

$\mathrm{B}\mathrm{H}=a\sin C$

三平方の定理より、

$c^2={\mathrm{A}\mathrm{B}}^2={\mathrm{B}\mathrm{H}}^2+{\mathrm{A}\mathrm{H}}^2=(a\sin C{)}^2+(b-a\cos C{)}^2=a^2+b^2-2ab\cos C$

頂点A、Bについても同様にして求めることが出来る。

余弦定理の系

• 上の三角形について $\cos A=\frac{b^2+c^2-a^2}{2bc}$ である。
• $\mathrm{A}$ が鋭角 $⟺\cos A>0⟺b^2+c^2>a^2$
• $\mathrm{A}$ が鈍角 $⟺\cos A<0⟺b^2+c^2<a^2$

• 問題例
  • 問題

三角形ABCについて、辺の長さ

$\text{AB}=3$

$\text{BC}=4$

$\mathrm{\angle }ABC=60{}^{\circ }$

のとき、辺ACの長さを余弦定理を用いて求めよ。

ファイル:問題例の三角形.png

• • 解答

余弦定理

$A{C}^2=A{B}^2+B{C}^2-2AB\cdot BC\cos \mathrm{\angle }ABC$

を用いると、

$A{C}^2=3^2+4^2-2\cdot 3\cdot 4\cos 60{}^{\circ }$

$=9+16-24\times \frac{1}{2}=13$

が得られる！

よって、

$AC=\sqrt{13}$

が得られる。

• • 問題

上で得た三角形で、

$\mathrm{\angle }A$

$\mathrm{\angle }C$

も計算せよ。

• • 解答

元々の条件で三角形ABCは、2辺AB,BCとその間の角

$\mathrm{\angle }B$

が知られていた。そのため、この三角形は完全に決まっており、それぞれの角の大きさも知られるはずである。

それぞれの角の大きさを計算するためには、角の大きさのための余弦定理を使うのがよい。ただし、2つの角の大きさが求められたら、3つめの角は余弦定理によるまでもなく、

三角形の3内角の和 = $180{}^{\circ }$

によって計算することが出来る。

まず、角Aを求める。余弦定理を用いると、

$\cos A=\frac{A{B}^2+A{C}^2-B{C}^2}{2AB\cdot AC}$

$=\frac{9+13-16}{2\times 3\times \sqrt{13}}$

$=\frac{6}{6\sqrt{13}}$

$=\frac{1}{\sqrt{13}}=\frac{13}{\sqrt{13}}$

となる。

$\cos A=\frac{1}{\sqrt{13}}$

を満たす角度は簡単な形で表すことはできないが、平方根の表と三角比の表を用いておおよその値を知ることは出来る。また、

$a{}^{\circ }$

とすると、角Cは、

$\mathrm{\angle }C=180{}^{\circ }-60{}^{\circ }-a{}^{\circ }$

$=120{}^{\circ }-a{}^{\circ }$

で与えられる。

具体的にaのおおよその値を求めてみる。平方根の表より$\sqrt{13}\fallingdotseq 3.6$なので、$\frac{1}{\sqrt{13}}=\frac{\sqrt{13}}{13}\fallingdotseq 0.277$であり、三角比の表でこれに近い余弦の値を探すことで、

$a\fallingdotseq 74^{\circ }$

が得られる。

• • 問題

三角形ABCについて、3辺の長さ、3角の大きさのうち、いくつかの量が与えられているとする。このとき、与えられた量以外の量を計算せよ。

(i)

$AB=4,BC=7,\mathrm{\angle }B=60^{\circ }$

(ii)

$AB=5,\mathrm{\angle }A=45^{\circ },C=75^{\circ }$

ファイル:(i)の三角形.png

ファイル:(ii)の三角形.png

• • 解答

(i) 余弦定理によって、

$A{C}^2=4^2+7^2-2\times 4\times 7\times \cos 60^{\circ }$

$=37$

よって、

$AC=\sqrt{37}$

が得られる。

また、正弦定理を用いると、

$\frac{AC}{\sin 60^{\circ }}=\frac{AB}{\sin \mathrm{\angle }C}$

$=\frac{BC}{\sin \mathrm{\angle }A}$

が得られるが、この値を用いて

$\mathrm{\angle }A,\mathrm{\angle }C$

を定めることができる。(余弦定理を用いて計算することもできる。 ）実際に計算すると、

$\sin \mathrm{\angle }C=\frac{2}{\sqrt{37}}$

$\sin \mathrm{\angle }A=\frac{7}{2\sqrt{37}}$

が得られる。

(ii) 三角形の内角の和が

$180^{\circ }$

であることを用いて、

$\mathrm{\angle }C=60^{\circ }$

が得られる。さらに正弦定理を用いると、

$\frac{5}{\sin \mathrm{\angle }C}=\frac{B}{C}\sin \mathrm{\angle }A$

$=\frac{AC}{\sin \mathrm{\angle }B}$

が得られる。これを解くと、

$BC=\frac{5\sqrt{6}}{3}$

$AC=\frac{10\sin (75^{\circ })}{\sqrt{3}}$

となる。

$\sin 75^{\circ }$

の値は、最も簡単な計算法は数学Ⅱで与えられる。詳しくはこちらを参照。答えは、

$\frac{\sqrt{6}+\sqrt{2}}{4}$

である。この値を用いると、

$AC=\frac{5}{2}\frac{\sqrt{6}+\sqrt{2}}{\sqrt{3}}$

となる。

• 問題
  • $\mathrm{\Delta }ABC$において$\sin A=2\cos BsinC$が成り立つとき、この三角形の形状を求めよ。

三角形の面積公式

三角形の2辺a,bとその間の角Cが与えられているとき、三角形の面積Sは、

$S=\frac{1}{2}ab\sin C$

で与えられる。

• 証明

辺aを三角形の底辺と見たとき、三角形の高さは、$b\sin C$で与えられる。よって、三角形の面積公式から、

$S=\frac{1}{2}ab\sin C$

が得られる。

• 問題例
  • 問題

a=2,b=3,c=60${}^{\circ }$の時、この三角形の面積Sを求めよ。

• • 解答

上の公式を用いると、

$S=\frac{1}{2}2\cdot 3\sin 60{}^{\circ }=\frac{3\sqrt{3}}{2}$

となる。

内心と三角形の面積

三角形 $\mathrm{A}\mathrm{B}\mathrm{C}$ の一辺の長さをそれぞれ $a,b,c$ とし、三角形の面積を $S$ 、内心の半径を $r$ 、内心点を $\mathrm{I}$ とする。

このとき、 $S=\frac{r}{2}(a+b+c)$ が成り立つ。

証明

$S=\mathrm{△}\mathrm{A}\mathrm{B}\mathrm{C}=\mathrm{△}\mathrm{A}\mathrm{B}\mathrm{I}+\mathrm{△}\mathrm{B}\mathrm{C}\mathrm{I}+\mathrm{△}\mathrm{C}\mathrm{A}\mathrm{I}$ であるが、後者のそれぞれの三角形の面積は $\frac{ar}{2},\frac{br}{2},\frac{cr}{2}$ である。これを代入すれば、求めていた式が得られる。

発展：ヘロンの公式

w:ヘロンの公式とは、三角形の3辺の長さを用いて、その三角形の面積を表す公式である。三角形の3辺を定めれば三角形は一意に決まるため、当然面積は確定するのだが、その値を具体的に計算する方法を与えるのがヘロンの公式である。

ヘロンの公式は次のように与えられる。三角形の3辺の長さをそれぞれ、a,b,cとする。このとき、

$s=(a+b+c)/2$

とするとき、三角形の面積Sは、

$S=\sqrt{s(s-a)(s-b)(s-c)}$

で与えられる。

• 証明

余弦定理を用いると、角Aの大きさは、

$\cos A=\frac{b^2+c^2-a^2}{2bc}$

となる。ここで、$\sin A$は、

$\sin A=\sqrt{1-{\cos }^{2}A}$

$=\sqrt{\frac{(b+c{)}^2-a^2}{2bc}}\sqrt{\frac{-(b-c{)}^2+a^2}{2bc}}$

$=\frac{\sqrt{2s(2s-2a)(-2s+2b)(-2s+2c)}}{2bc}$

$=2\frac{\sqrt{s(s-a)(s-b)(s-c)}}{bc}$

ここで、三角形の面積Sは、

$S=\frac{1}{2}bc\sin A$

$=\sqrt{s(s-a)(s-b)(s-c)}$

となり、ヘロンの公式が示された。

ヘロンの公式は、三辺の長さやsの値がきれいな整数値となる場合、面積を簡単に求めることができて便利である。一方で、これらの値がキリの悪い値になる場合はあまり便利ではない。これに限らずどの数学公式もそうであるが、用いることで便利になる状況を見極めたうえで用いるのが重要である。

似たような形の公式としてプラーマグプタの公式が存在する。

空間図形の計量

空間図形を計量する問題は、実際に図を書いて余弦定理や正弦定理を適用できる三角形を見つけることが重要である。

• 問題例
  • 一辺の長さがaである正四面体ABCDの体積をV, 表面積をSとする。
    1. Vを求めよ。
    2. この四面体の内接球の半径をrとするとき、関係式$V=\frac{1}{3}rS$を示せ。
    3. rと内接球の体積V'を求めよ。
  • 電波塔が立っている地点Hと同じ標高の地点Aから塔の先端Pを見た仰角は60°であった。Aから40m離れた地点Bでは∠HAB=15°、∠HBA=135°であったという。塔の高さPHを求めよ。