ブラーマグプタの公式
ブラーマグプタの公式
4角形\(ABCD\)の辺の長さを順に\(a,b,c,d\)として半周長を\(s=\frac{a+b+c+d}{2}\)とする。
この4角形が円に内接するとき面積\(S\)は
\[ S=\sqrt{\left(s-a\right)\left(s-b\right)\left(s-c\right)\left(s-d\right)} \] となる。
4角形\(ABCD\)の辺の長さを順に\(a,b,c,d\)として半周長を\(s=\frac{a+b+c+d}{2}\)とする。
この4角形が円に内接するとき面積\(S\)は
\[ S=\sqrt{\left(s-a\right)\left(s-b\right)\left(s-c\right)\left(s-d\right)} \] となる。
(0)
円に内接しているので対角の和は\(\pi\)となる。ブレートシュナイダーの公式より、
\begin{align*} S & =\sqrt{\left(s-a\right)\left(s-b\right)\left(s-c\right)\left(s-d\right)-abcd\cos^{2}\frac{A+C}{2}}\\ & =\sqrt{\left(s-a\right)\left(s-b\right)\left(s-c\right)\left(s-d\right)-abcd\cos^{2}\frac{\pi}{2}}\\ & =\sqrt{\left(s-a\right)\left(s-b\right)\left(s-c\right)\left(s-d\right)} \end{align*}
(0)-2
円に内接しているので、\[ \cos B=\frac{a^{2}+b^{2}-c^{2}-d^{2}}{2\left(ab+cd\right)} \] となる。
これを使って、
\begin{align*} S & =\frac{1}{2}ab\sin B+\frac{1}{2}cd\sin D\\ & =\frac{1}{2}ab\sin B+\frac{1}{2}cd\sin\left(\pi-B\right)\\ & =\frac{1}{2}\left(ab+cd\right)\sin B\\ & =\frac{1}{2}\left(ab+cd\right)\sqrt{1-\cos^{2}B}\\ & =\frac{1}{2}\left(ab+cd\right)\sqrt{1-\left(\frac{a^{2}+b^{2}-c^{2}-d^{2}}{2\left(ab+cd\right)}\right)^{2}}\\ & =\frac{1}{4}\sqrt{\left(2ab+2cd\right)^{2}-\left(a^{2}+b^{2}-c^{2}-d^{2}\right)^{2}}\\ & =\frac{1}{4}\sqrt{\left(2ab+2cd+a^{2}+b^{2}-c^{2}-d^{2}\right)\left(2ab+2cd-a^{2}-b^{2}+c^{2}+d^{2}\right)}\\ & =\frac{1}{4}\sqrt{\left(\left(a+b\right)^{2}-\left(c-d\right)^{2}\right)\left(\left(c+d\right)^{2}-\left(a-b\right)^{2}\right)}\\ & =\frac{1}{4}\sqrt{\left(a+b+c-d\right)\left(a+b-c+d\right)\left(c+d+a-b\right)\left(c+d-a+b\right)}\\ & =\frac{1}{4}\sqrt{\left(2s-2d\right)\left(2s-2c\right)\left(2s-2b\right)\left(2s-2a\right)}\\ & =\sqrt{\left(s-d\right)\left(s-c\right)\left(s-b\right)\left(s-a\right)} \end{align*}
ページ情報
タイトル | ブラーマグプタの公式 |
URL | https://www.nomuramath.com/os15xpl4/ |
SNSボタン |
5心(重心・内心・外心・垂心・傍心)の定義
第1余弦定理と第2余弦定理
\[
a^{2}=b^{2}+c^{2}-2bc\cos A
\]
トレミーの定理
\[
\left|\overrightarrow{AB}\right|\left|\overrightarrow{CD}\right|+\left|\overrightarrow{BC}\right|\left|\overrightarrow{DA}\right|=\left|\overrightarrow{BD}\right|\left|\overrightarrow{CA}\right|
\]
傍心円の半径
\[
r_{a}=\frac{S}{s-a}
\]