최근 수정 시각 : 2024-03-10 19:47:58

브라마굽타 공식

파일:관련 문서 아이콘.svg   관련 문서: 헤론의 공식
,
,
,
,
,

평면기하학
Plane Geometry
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#765432> 공통 도형 · 직선 ( 반직선 · 선분 · 평행) · ( 맞꼭지각 · 동위각 · 엇각 · 삼각비) · 길이 · 넓이 · 다각형 ( 정다각형 · 대각선) · 작도 · 합동 · 닮음 · 등적변형 · 삼각함수 ( 덧셈정리) · 접선 · 벡터
삼각형 종류 정삼각형 · 이등변삼각형 · 부등변삼각형 · 예각삼각형 · 직각삼각형 · 둔각삼각형
성질 오심 ( 관련 정리 · 구점원) · 피타고라스 정리 · 사인 법칙 · 코사인 법칙 · 헤론의 공식 · 신발끈 공식 · 스튜어트 정리 · 우산 정리 · 오일러 삼각형 정리 · 데자르그 정리 · 메넬라오스 정리 · 나폴레옹의 정리 · 체바 정리 · 사영 정리 · 판아우벌 정리
기타 세모 모양 · 평범한 삼각형 · 젤곤 삼각형 · 랭글리 삼각형 · 페르마 점
사각형 정사각형 · 직사각형 · 마름모 · 평행사변형 · 사다리꼴 · 등변 사다리꼴 · 연꼴 · 네모 모양
오각형 · 육각형 · 칠각형 · 팔각형 ( 정팔각형) · 구각형 · 십각형 · 십일각형 · 십이각형 · 백각형
단위원 · 원주율 · · 부채꼴 · 할선 · 활꼴 · 방정식 · 원주각 · 방멱 정리 · 톨레미 정리
원뿔곡선 포물선 · 타원 · 쌍곡선 · 파스칼 정리
기타 유클리드 · 보조선 · 테셀레이션( 펜로즈 타일) · 제곱근의 앵무조개 · 픽의 정리 · 논증 기하학 · 해석 기하학 · 3대 작도 불능 문제 }}}}}}}}}

1. 개요

Brahmagupta's formula / Brahmagupta

원에 내접하는 평면 위의 사각형의 네 변의 길이로 사각형의 넓이를 구하는 공식으로, 네 변의 길이를 각각 [math(a)], [math(b)], [math(c)], [math(d)]라 하면 넓이는 아래와 같다.
[math(\displaystyle \sqrt{(s-a)(s-b)(s-c)(s-d)} \quad \left(s=\dfrac{a+b+c+d}{2} \right) )]

인도의 수학자인 브라마굽타(ब्रह्मगुप्त)가 발견했다.

2. 증명

파일:브라마굽타 공식.png
그림과 같이 네 변의 길이가 [math(a, \ b, \ c, \ d)]인 내접사각형 [math(\square \rm ABCD)]에 대해, [math(\angle{\rm BAD}=\theta)]라 하고, 이 사각형의 넓이를 [math(S)]라 하자.

[math(S=\frac{1}{2} ad \sin \theta+ \frac{1}{2} bc \sin (180\degree- \theta)=\frac{1}{2}\sin\theta(ad+bc) (\because \sin (180\degree - x)= \sin x))]
코사인 법칙에 의해, [math(\overline{\rm BC}^2=a^2+d^2-2ad\cos \theta = b^2+c^2-2bc\cos (180\degree-\theta) = b^2+c^2+2bc\cos\theta(\because \cos (180\degree - x)= -\cos x))].
[math(\therefore \cos \theta = \frac{a^2+d^2-b^2-c^2}{2ad+2bc})]
[math(\sin \theta = \sqrt{1- \cos^2 \theta}=\sqrt{1-\frac{(a^2+d^2-b^2-c^2)^2}{(2ad+2bc)^2}}=\sqrt{\frac{(2ad+2bc+a^2+d^2-b^2-c^2)(2ad+2bc-a^2-d^2+b^2+c^2)}{4(ad+bc)^2}}=\sqrt{\frac{\left[ (a+d)^2-(b-c)^2 \right] \left[ -(a-d)^2+(b+c)^2) \right]}{4(ad+bc)^2}}=\sqrt{\frac{(a+b-c+d)(a-b+c+d)(a+b+c-d)(-a+b+c+d)}{4(ad+bc)^2}}=\sqrt{\frac{16(s-a)(s-b)(s-c)(s-d)}{4(ad+bc)^2}}=2 \sqrt{\frac{(s-a)(s-b)(s-c)(s-d)}{(ad+bc)^2}})]

[math(\therefore S=\frac{1}{\cancel{2}} \cancel{2}\sqrt{\frac{(s-a)(s-b)(s-c)(s-d)}{\cancel{(ad+bc)^2}}} \times \cancel{(ad+bc)}=\sqrt{(s-a)(s-b)(s-c)(s-d)})]

3. 브레치나이더 공식

Formel von Bretschneider / Bretschneider

브라마굽타 공식을 카를 안톤 브레치나이더가 임의의 사각형으로 일반화시킨 것이다.
[math(\displaystyle \sqrt{(s-a)(s-b)(s-c)(s-d) - abcd \cos^2 \theta} \quad \left(s=\dfrac{a+b+c+d}{2} \right) )]
여기서 [math(\theta)]는 사각형 내의 마주보는 두 각의 크기의 산술평균이다.

브라마굽타 공식은 저기서 [math(\theta = \pi/2\,{\rm rad})]인 경우이다.

4. 기타

브라마굽타 공식에서 d=0인 경우, 헤론의 공식과 그 형태가 일치한다. 삼각형은 언제나 외접원이 존재하므로, 이론적으로는 헤론의 공식은 브라마굽타 공식의 축소판이라고 볼 수도 있겠다.