高校数学・正弦定理と余弦定理

ヘロンの公式

【単元の目次】《数学Ⅰ・Ａ》
• 数と式　 • 根号計算　• 場合の数.順列.組合せ　• 確率　 • ２次関数　• ２次不等式　 • 集合・命題・条件・証明　• 正弦定理,余弦定理

【単元内の目次】 • 正弦定理（解説）　• 正弦定理（問題）　• 分数型の方程式　• 余弦定理　• 三辺から角を求める問題　• 余弦定理を２次方程式として解く　• 三角形を解く　　　• 筆算だけで解く問題(1) 　• 筆算だけで解く問題(2) 　• 最大角・最小角　• 三角形の形状問題　• 三角形の証明問題　• ヘロンの公式　• 内接円の半径　• 正弦定理,余弦定理（共通,センター問題）

♪♥ この教材は，高校数学の基本問題のうち，ヘロンの公式のマイナーチェンジありのカバー版です．
♫♣ 元の教材が通信トラブルなどで読めないときに，こちらを使ってください．なお，学習の記録は付いていません．

== ヘロンの公式，ブラーマグプタの公式 ==

(このページの内容は難しいので，後回しにしてもよい)

1.　三角形の３辺の長さで面積を表す，次の公式を「ヘロンの公式」という
（ヘロン：ギリシャの測量家,１世紀頃）

　△ABCの三辺の長さをa, b, cとし， $s=\frac{a+ b+ c}{2}$ とおくと，△ABCの面積Sは，次の式で表される．
$S=\sqrt{s(s-a)(s-b)(s-c)}$ ･･･(1)

（証明）

$S=\frac{1}{2}bc\sin A$
に
$\sin A=\sqrt{1-\cos^2A}$
を次のように変形して代入する
$=\sqrt{1-(\frac{c^2+ b^2-a^2}{2bc})^2}$
$=\sqrt{\frac{(2bc)^2-(c^2+ b^2-a^2)^2}{(2bc)^2}}$
$=\frac{1}{2bc}\sqrt{(2bc)^2-(c^2+ b^2-a^2)^2}$
$=\frac{1}{2bc}\sqrt{(2bc+ c^2+ b^2-a^2)(2bc-c^2-b^2+ a^2)}$
$=\frac{1}{2bc}\sqrt{(b+ c)^2-a^2)(a^2-(b-c)^2)}$
$=\frac{1}{2bc}\sqrt{(b+ c+ a)(b+ c-a)(a+ b-c)(a-b+ c)}$
ここで
a+b+c=2s, b+c−a=2s−2a
a+b−c=2s−2c, a−b+c=2s−2b
だから
$\sin A=\frac{1}{2bc}\sqrt{2s(2s-2a)(2s-2b)(2s-2c)}$
$=\frac{2}{bc}\sqrt{s(s-a)(s-b)(s-c)}$
$S=\frac{1}{2}bc\cdot\frac{2}{bc}\sqrt{s(s-a)(s-b)(s-c)}$
$S=\sqrt{s(s-a)(s-b)(s-c)}$

■ここまでは高校数学Ⅰの内容として，覚えていてすぐ使える方がよい■

2.　次の関係式（３個×３組）は「半角の公式」と呼ばれることがある．（※文字を入れ換えると，B, Cに関する公式になる．）

　△ABCの三辺の長さをa, b, cとし， $s=\frac{a+ b+ c}{2}$ とおくと，
$\sin\frac{A}{2}=\sqrt{\frac{(s-b)(s-c)}{bc}}$ ･･･(2.1)
$\cos\frac{A}{2}=\sqrt{\frac{s(s-a)}{bc}}$ ･･･(2.2)
$\tan\frac{A}{2}=\sqrt{\frac{(s-b)(s-c)}{s(s-a)}}$ ･･･(2.3)

（証明）

$\sin^2\frac{A}{2}=\frac{1-\cos A}{2}=\frac{1-\frac{b^2+ c^2-a^2}{2bc}}{2}$
$=\frac{2bc-(b^2+ c^2-a^2)}{4bc}=\frac{a^2-(b^2+ c^2-2bc)}{4bc}$
$=\frac{a^2-(b-c)^2}{4bc}=\frac{(a+ b-c)(a-b+ c)}{4bc}$
$=\frac{(2s-2c)(2s-2b)}{4bc}=\frac{(s-c)(s-c)}{bc}$
したがって
$\sin\frac{A}{2}=\sqrt{\frac{(s-b)(s-c)}{bc}}\hspace{10}(\gt 0)$

$\cos^2\frac{A}{2}=\frac{1+\cos A}{2}=\frac{1+\frac{b^2+ c^2-a^2}{2bc}}{2}$
$=\frac{2bc+ (b^2+ c^2-a^2)}{4bc}=\frac{b^2+ 2bc + c^2-a^2}{4bc}$
$=\frac{(b+ c)^2-a^2}{4bc}=\frac{(a+ b+ c)(b+ c-a)}{4bc}$
$=\frac{2s(2s-2a)}{4bc}=\frac{s(s-a)}{bc}$
したがって
$\cos\frac{A}{2}=\sqrt{\frac{s(s-a)}{bc}}\hspace{10}(\gt 0)$

$\tan\frac{A}{2}=\frac{\sin\frac{A}{2}}{\cos\frac{A}{2}}=\sqrt{\frac{(s-b)(s-c)}{bc}}\cdot\sqrt{\frac{bc}{s(s-a)}}$
$=\sqrt{\frac{(s-b)(s-c)}{s(s-a)}}$

3.　次の関係式はモルワイデの公式と呼ばれることがある．（検算などに使える）
※文字を入れ換えると，２個×３組の公式になる．

　△ABCの三辺の長さをa, b, cとし， $s=\frac{a+ b+ c}{2}$ とおくと，
$\frac{b-c}{a}=\frac{\sin\frac{B-C}{2}}{\cos\frac{A}{2}}$ ･･･(3.1)
$\frac{b+ c}{a}=\frac{\cos\frac{B-C}{2}}{\sin\frac{A}{2}}$ ･･･(3.2)

（証明）

正弦定理により， $a=2R\sin A,\hspace{5}b=2R\sin B,\hspace{5}c=2R\sin C$
を左辺に代入すると
$\frac{b-c}{a}=\frac{2R\sin B-2R\sin C}{2R\sin A}=\frac{\sin B-\sin C}{\sin A}$
分子を積和の公式により変形する
$\sin B-\sin C=2\cos\frac{B+ C}{2}\sin\frac{B-C}{2}$
分母を２倍角公式により変形する
$\sin A=2\sin\frac{A}{2}\cos\frac{A}{2}$
$\frac{b-c}{a}=\frac{2\cos\frac{B+ C}{2}\sin\frac{B-C}{2}}{2\sin\frac{A}{2}\cos\frac{A}{2}}$
ここで，三角形の内角の和については
$A+ B+ C=\pi$
$B+ C=\pi-A$
$\frac{B+ C}{2}=\frac{\pi}{2}-\frac{A}{2}$
$\cos\frac{B+ C}{2}=\cos(\frac{\pi}{2}-\frac{A}{2})=\sin\frac{A}{2}$ であるから
$\frac{b-c}{a}=\frac{\sin\frac{A}{2}\sin\frac{B-C}{2}}{\sin\frac{A}{2}\cos\frac{A}{2}}=\frac{\sin\frac{B-C}{2}}{\cos\frac{A}{2}}$

同様にして
$\frac{b+ c}{a}=\frac{2R\sin B+ 2R\sin C}{2R\sin A}=\frac{\sin B+ \sin C}{\sin A}$
$=\frac{2\sin\frac{B+ C}{2}\cos\frac{B-C}{2}}{2\sin\frac{A}{2}\cos\frac{A}{2}}$
ここで
$\sin\frac{B+ C}{2}=\sin(\frac{\pi}{2}-\frac{A}{2})=\cos\frac{A}{2}$ であるから
$\frac{b+ c}{a}=\frac{\cos\frac{A}{2}\sin\frac{B-C}{2}}{\sin\frac{A}{2}\cos\frac{A}{2}}=\frac{\cos\frac{B-C}{2}}{\sin\frac{A}{2}}$

4. 次のような関係式も成り立つ．

　△ABCの三辺の長さをa, b, cとし， $s=\frac{a+ b+ c}{2}$ とおくと，
$\sin\frac{A}{2}\sin\frac{B}{2}\sin\frac{C}{2}=\frac{(s-a)(s-b)(s-c)}{abc}$ ･･･(4.1)
$\sin\frac{A}{2}\sin\frac{B}{2}\sin\frac{C}{2}=\frac{r}{4R}$ ･･･(4.2)
$\cos\frac{A}{2}\cos\frac{B}{2}\cos\frac{C}{2}=\frac{s}{4R}$ ･･･(4.3)

（証明）

(2.1)の関係から
$\sin\frac{A}{2}=\sqrt{\frac{(s-b)(s-c)}{bc}}$
$\sin\frac{B}{2}=\sqrt{\frac{(s-c)(s-a)}{ca}}$
$\sin\frac{C}{2}=\sqrt{\frac{(s-a)(s-b)}{ab}}$
これらを辺々掛けると
$\sin\frac{A}{2}\sin\frac{B}{2}\sin\frac{C}{2}$
$=\sqrt{\frac{(s-b)(s-c)}{bc}}\sqrt{\frac{(s-c)(s-a)}{ca}}\sqrt{\frac{(s-a)(s-b)}{ab}}$
$=\frac{(s-a)(s-b)(s-c)}{abc}$

さらに
$S=\sqrt{s(s-a)(s-b)(s-c)}$
から
$(s-a)(s-b)(s-c)=\frac{S^2}{s}$
を代入し，さらに
$S=\frac{abc}{4R}$
から
$abc=4RS$
を代入すると
$\sin\frac{A}{2}\sin\frac{B}{2}\sin\frac{C}{2}=\frac{S^2}{4RSs}=\frac{S}{4Rs}=\frac{rs}{4Rs}=\frac{r}{4R}$

(2.2)の関係から
$\cos\frac{A}{2}=\sqrt{\frac{s(s-a)}{bc}}$
$\cos\frac{B}{2}=\sqrt{\frac{s(s-b)}{ca}}$
$\cos\frac{C}{2}=\sqrt{\frac{s(s-c)}{ab}}$
これらを辺々掛けると
$\cos\frac{A}{2}\cos\frac{B}{2}\cos\frac{C}{2}$
$=\sqrt{\frac{s^3(a-a)(s-b)(s-c)}{a^2b^2c^2}}$
$=s\frac{\sqrt{s(s-a)(s-b)(s-c)}}{abc}=s\frac{S}{4RS}=\frac{s}{4R}$

5. 次のような関係式も成り立つ

　△ABCの三辺の長さをa, b, cとし， $s=\frac{a+ b+ c}{2}$ とおくと，
$\cos A+ \cos B+\cos C=1+ \frac{r}{R}$ ･･･(5.1)
$a\cot A+ b\cot B+ c\cot C=2(R+ r)$ ･･･(5.2)

（証明）

$\cos A+ \cos B+\cos C$
$=2\cos\frac{A+ B}{2}\cos\frac{A-B}{2}+ 1-2\sin^2\frac{C}{2}$
$=2\cos(\frac{\pi}{2}-\frac{C}{2})\cos\frac{A-B}{2}+ 1-2\sin^2\frac{C}{2}$
$=2\sin\frac{C}{2}\cos\frac{A-B}{2}+ 1-2\sin^2\frac{C}{2}$
$=2\sin\frac{C}{2}(\cos\frac{A-B}{2}-\sin\frac{C}{2})+ 1$
$=2\sin\frac{C}{2}(\cos\frac{A-B}{2}-\sin\frac{\pi-A-B}{2})+ 1$
$=2\sin\frac{C}{2}(\cos\frac{A-B}{2}-\cos\frac{A+ B}{2})+ 1$
$=2\sin\frac{C}{2}(-2\sin\frac{A}{2}\sin\frac{-B}{2})+ 1$
$=4\sin\frac{A}{2}\sin\frac{B}{2}\sin\frac{C}{2}+ 1$
(4.2)の結果から
$=4\frac{r}{4R}+ 1=\frac{r}{R}+ 1$

$a\cot A+ b\cot B+ c\cot C$
$=2R\sin A\frac{\cos A}{\sin A}+ 2R\sin B\frac{\cos B}{\sin B}+ 2R\sin C\frac{\cos C}{\sin C}$
$=2R\cos A+ 2R\cos B+ 2R\cos C$
$=2R(\cos A+ \cos B+ \cos C)$
(5.1)を利用すると
$=2R(1+ \frac{r}{R})=2(R+ r)$

※以下の式を，高校生が覚える必要はないが，大学入試問題として出題されることはある．
6.　円に内接する四辺形の辺の長さa, b, c, dとするとき，この四辺形の面積を表す次の公式を「ブラーマグプタの公式」という
（ブラーマグプタ：インドの数学者，598～660年．なお，ブラーマグプタ自身は一般の四辺形の面積を求めているつもりであったが，この公式は円に内接する四辺形の場合にのみ成り立つ）

　円に内接する四辺形ABCDの辺の長さを各々a, b, c, dとし， $s=\frac{a+ b+ c+ d}{2}$ とおくと
• 四辺形ABCDの面積Sは
$S=\sqrt{(s-a)(s-b)(s-c)(s-d)}$ ･･･(6.1)
•対角線ACの長さをl，対角線BDの長さをl’とおくと
$l=\sqrt{\frac{(ad+ bc)(ac+ bd)}{ab+ cd}}$ ･･･(6.2)
$l\apos=\sqrt{\frac{(ab+ cd)(ac+ bd)}{ad+ bc}}$ ･･･(6.3)
•対角線のなす角をθとおくと
$\sin\theta=\frac{2\sqrt{(s-a)(s-b)(s-c)(s-d)}}{ac+ bd}$ ･･･(6.4)
•内接四辺形の角は
$\cos A=\frac{a^2+ d^2-b^2-c^2}{2(ad+ bc)}$ ･･･(6.5)
（B,C,Dについても同様）
•外接円の半径は
$R=\frac{1}{4}\sqrt{\frac{(ab+ cd)(ad+ bc)(ac+ bd)}{(s-a)(s-b)(s-c)(s-d)}}$ ･･･(6.6)

（証明）

右図において，四辺形を２つの△ABDと△BCDに分けて，それらの面積の和を求める．
$S=\frac{1}{2}ad\sin A+\frac{1}{2}bc\sin C$
この四辺形は円に内接しているから
$A+ C=180^{\circ}$
$C=180^{\circ}-A$ ･･･(*1)

$\sin C=\sin A$
したがって
$S=\frac{1}{2}(ad+ bc)\sin A$ ･･･(*2)
△ABDと△BCDについて､余弦定理を用いると
$\cos A=\frac{a^2+ d^2-l\apos^2}{2ad}$ ･･･(*3)
$\cos C=\frac{b^2+ c^2-l\apos^2}{2bc}$ ･･･(*4)
(*1)により(*4)は，次の形に書ける
$\cos A=\frac{-b^2-c^2+ l\apos^2}{2bc}$ ･･･(*4’)

(*3)(*4’)を $\cos A$ とl’を未知数とする連立方程式とみなして解く

$\cos A=\frac{a^2+ d^2-l\apos^2}{2ad}$ ･･･(*3)
$\cos A=\frac{-b^2-c^2+ l\apos^2}{2bc}$ ･･･(*4’)
$\cos A$ を消去すると
$\frac{a^2+ d^2-l\apos^2}{2ad}=\frac{-b^2-c^2+ l\apos^2}{2bc}$
$bc(a^2+ d^2-l\apos^2)=ad(-b^2-c^2+ l\apos^2)$
$l\apos^2(ad+ bc)=ad(b^2+ c^2)+ bc(a^2+ d^2)$
$l\apos^2=\frac{ad(b^2+ c^2)+ bc(a^2+ d^2)}{ad+ bc}$ ･･･(*5)
これを(*3)に代入する
$\cos A=\frac{a^2+ d^2-\frac{ad(b^2+ c^2)+ bc(a^2+ d^2)}{ad+ bc}}{2ad}$
$=\frac{(ad+ bc)(a^2+ d^2)-ad(b^2+ c^2)-bc(a^2+ d^2)}{2ad(ad+ bc)}$
$=\frac{ad\{(a^2+ d^2)-(b^2+ c^2)\}}{2ad(ad+ bc)}$
$=\frac{a^2+ d^2-b^2-c^2}{2(ad+ bc)}$ ･･･(6.5)証明終■
これにより(*2)を求める．
$\sin A=\sqrt{1-\left{\frac{a^2+ d^2-b^2-c^2}{2(ad+ bc)}\right}^2}$
$=\frac{\sqrt{\{2(ad+ bc)\}^2-\{a^2+ d^2-b^2-c^2\}^2}}{2(ad+ bc)}$
根号内は
$\{2(ad+ bc)\}^2-\{a^2+ d^2-b^2-c^2\}^2}$
$=\{2(ad+ bc)+\{a^2+ d^2-b^2-c^2\}$
$\times\{2(ad+ bc)-\{a^2+ d^2-b^2-c^2\}$
$=\{(a^2+ 2ad+ d^2)-(b^2+ c^2-2bc)\}$
$\times\{-(a^2-2ad+ d^2)+(b^2+ c^2+ 2bc)\}$
$=\{(a+ d)^2-(b-c)^2\}\{(b+ c)^2-(a-d)^2\}$
$=(a+ d+ b-c)(a+ d-b+ c)$
$\times(b+ c-a+ d)(b+ d+ a-d)$

$s=\frac{a+ b+ c+ d}{2},\hspace{2}2s=a+ b+ c+ d$ とおくと
$b+ c+ d-a=2s-2a=2(s-a)$
$a+ c+ d-b=2s-2b=2(s-b)$
$a+ b+ d-c=2s-2c=2(s-c)$
$a+ b+ c-d=2s-2d=2(s-d)$
$\sin A=\frac{\sqrt{2^4(s-a)(s-b)(s-c)(s-d)}}{2(ad+ bc)}$
$=\frac{2\sqrt{(s-a)(s-b)(s-c)(s-d)}}{ad+ bc}$ ･･･(*6)
この結果を(*2)に代入すると
$S=\frac{1}{2}(ad+ bc)\frac{2\sqrt{(s-a)(s-b)(s-c)(s-d)}}{(ad+ bc)}$

$=\sqrt{(s-a)(s-b)(s-c)(s-d)}$ ･･･(6.1)証明終■

(*5)より
$l\apos=\sqrt{\frac{ad(b^2+ c^2)+ bc(a^2+ d^2)}{ad+ bc}}$
根号内の分子は
$ad(b^2+ c^2)+ bc(a^2+ d^2)$
他方で(*6.3)の根号内の分子は
$(ab+ cd)(ac+ bd)$
$=a^2bc+ ab^2d+ ac^2d+ bcd^2$
$=ad(b^2+ c^2)+ bc(a^2+ d^2)$
これらは等しいから
$l\apos=\sqrt{\frac{(ab+ cd)(ac+ bd)}{ad+ bc}}$ ･･･(6.3)証明終■

上記のl’を表す式において，a→b, b→c, c→d, d→aのように文字を入れ替えると，
$l=\sqrt{\frac{(bc+ da)(bd+ ca)}{ba+ cd}}$
$=\sqrt{\frac{(ad+ bc)(ac+ bd)}{ab+ cd}}$ ･･･(6.2)証明終■

　対角線l, l’に平行な線分で四辺形ABCDを右図のように囲んでできる平行四辺形の面積は，四辺形ABCDの面積の２倍になる
$l\cdot l\apos\sin\theta=2S$
この式に(*6.1)(*6.2)(*6.3)を代入すると
$\sqrt{\frac{\sout{(ad+ bc)}\underline{(ac+ bd)}}{ab+ cd}}$
$\times\sqrt{\frac{(ab+ cd)\underline{(ac+ bd)}}{\sout{ad+ bc}}}\sin\theta$
$=2\sqrt{(s-a)(s-b)(s-c)(s-d)}$
$(ab+ cd)\sin\theta=2\sqrt{(s-a)(s-b)(s-c)(s-d)}$
$\sin\theta=\frac{2\sqrt{(s-a)(s-b)(s-c)(s-d)}}{ab+ cd}$ ･･･(6.4)証明終■

　四辺形ABCDの外接円の半径Rは，△ABDの外接円の半径Rと同じだから，△ABDについて正弦定理を適用すると
$\frac{l\apos}{\sin A}=2R$
(6.3)(*6)を代入すると
$\frac{\sqrt{\frac{(ab+ cd)(ac+ bd)}{ad+ bc}}}{\frac{2\sqrt{(s-a)(s-b)(s-c)(s-d)}}{ad+ bc}}=2R$
$R=\frac{1}{4}\sqrt{\frac{(ab+ cd)(ad+ bc)(ac+ bd)}{(s-a)(s-b)(s-c)(s-d)}}$ ･･･(6.6)証明終■

コメント