브라마굽타 공식

평면기하학 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. 개요2. 증명3. 브레치나이더 공식4. 기타

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. 증명

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

[math(\displaystyle S=\triangle {\rm ABD}+\triangle {\rm CBD} )]

인데, 원에 내접하는 사각형에서 마주보는 대각의 합은 [math(\pi)]이므로

[math(\angle{\rm BCD}=\pi-\theta)]

이다. 따라서

[math(\displaystyle S=\frac{1}{2}ad\sin{\theta}+\frac{1}{2}bc\sin{(\pi-\theta)} )]

한편, 삼각함수 항등식 [math(\sin{(\pi - x)}= \sin{x})]이므로

[math(\displaystyle S=\frac{1}{2}(ad+bc)\sin{\theta} )]

이때, 코사인 법칙을 사용하여

[math(\displaystyle {\overline{\rm BD}}^{2}=a^2+d^2-2ad\cos{\theta}=b^2+c^2-2bc\cos{(\pi-\theta)} )]

삼각함수 항등식 [math(\cos{(\pi - x)}= -\cos{x})]를 이용하면,

[math(\displaystyle a^2+d^2-2ad\cos{\theta}=b^2+c^2+2bc\cos{\theta} )]

이상에서

[math(\displaystyle \cos{\theta}=\frac{1}{2}\frac{a^2+d^2-b^2-c^2}{ad+bc} )]

한편, 삼각함수 항등식 [math(\sin^{2}{\theta}+\cos^{2}{\theta}=1)]을 이용하면,

[math(\displaystyle \begin{aligned} \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}} \quad \biggl(s=\frac{a+b+c+d}{2} \biggr)\\&=2 \sqrt{\frac{(s-a)(s-b)(s-c)(s-d)}{(ad+bc)^2}} \end{aligned} )]

따라서

[math(\displaystyle \begin{aligned} S &=\frac{1}{2}(ad+bc)\sin{\theta}\\&=\frac{1}{2}\cdot(ad+bc)\cdot 2 \sqrt{\frac{(s-a)(s-b)(s-c)(s-d)}{(ad+bc)^2}} \\&=\sqrt{(s-a)(s-b)(s-c)(s-d)} \end{aligned} )]

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)]인 경우이다.

4. 기타

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

브라마굽타 공식

1. 개요

2. 증명

3. 브레치나이더 공식

4. 기타

분류