브라마굽타 정리

3. 증명

원에 내접하고 대각선 AC와 BD가 점 M에서 수직으로 만나는 사각형 ABCD를 가정하자. 점 M에서 변 BC에 내린 수선의 발을 E라 하고, 직선 ME와 변 AD의 교점을 F라 하자. 이 증명의 목표는 F가 선분 AD의 중점임을 보이는 것, 즉 AF = FD임을 보이는 것이다.

증명은 AF = FM과 FD = FM을 각각 보임으로써 이루어진다.

'''AF = FM 증명:'''

먼저 각의 크기 관계를 이용한다.

• ∠FMA와 ∠EMC는 맞꼭지각이므로 같다. (∠FMA = ∠EMC)
• △EMC는 ∠MEC = 90°인 직각삼각형이므로, ∠EMC + ∠MCE = 90°이다.
• 사각형 ABCD는 원에 내접하므로, 호 AB에 대한 원주각인 ∠MCE(∠BCE)와 ∠MDA(∠BDA)는 같다. (∠MCE = ∠MDA)
• 따라서 ∠EMC + ∠MDA = 90°이다.
• 대각선이 수직이므로 △AMD는 ∠AMD = 90°인 직각삼각형이고, ∠MAD + ∠MDA = 90°이다.
• 위 두 식 (∠EMC + ∠MDA = 90°, ∠MAD + ∠MDA = 90°)으로부터 ∠EMC = ∠MAD(∠FAM)임을 알 수 있다.
• ∠FMA = ∠EMC 이므로, 결국 ∠FMA = ∠FAM이다.
• 삼각형 △AFM에서 두 밑각(∠FMA, ∠FAM)의 크기가 같으므로, 이는 이등변삼각형이고 변 AF와 FM의 길이는 같다. (AF = FM)

• ∠FMD와 ∠BME는 맞꼭지각이므로 같다. (∠FMD = ∠BME)
• △BME는 ∠MEB = 90°인 직각삼각형이므로, ∠BME + ∠MBE = 90°이다.
• 사각형 ABCD는 원에 내접하므로, 호 CD에 대한 원주각인 ∠MBE(∠CBE)와 ∠MAD(∠CAD)는 같다. (∠MBE = ∠MAD)
• 따라서 ∠BME + ∠MAD = 90°이다.
• △AMD는 ∠AMD = 90°인 직각삼각형이고, ∠MDA(∠FDM) + ∠MAD = 90°이다.
• 위 두 식 (∠BME + ∠MAD = 90°, ∠MDA + ∠MAD = 90°)으로부터 ∠BME = ∠MDA(∠FDM)임을 알 수 있다.
• ∠FMD = ∠BME 이므로, 결국 ∠FMD = ∠FDM이다.
• 삼각형 △DFM에서 두 밑각(∠FMD, ∠FDM)의 크기가 같으므로, 이는 이등변삼각형이고 변 FD와 FM의 길이는 같다. (FD = FM)

4. 일반화

내접 사각형 $ABCD$의 대각선 $AC$, $BD$의 중점을 $M$, $N$이라고 하고, 두 대각선의 교점을 $P$라고 하자. 그렇다면, 이 내접 사각형의 반중심은 삼각형 $PMN$의 수심이다.^[4] 두 대각선이 직교할 경우 삼각형 $PMN$은 $P$에서 직각을 갖는 직각 삼각형이며, 이 삼각형의 수심은 두 대각선의 교점 $P$이다. 즉, 브라마굽타 정리는 이 명제의 특수한 경우이다.

5. 역사

인도의 수학자 브라마굽타가 발견하였다.^[3]

참조

_[1] 서적 The Birth of Mathematics: Ancient Times to 1300 Infobase Publishing 2006
_[2] 서적 Geometry Revisited Math. Assoc. Amer. 1967
_[3] 서적 Geometry Revisited Mathematical Association of America 1967
_[4] 서적 Episodes in Nineteenth and Twentieth Century Euclidean Geometry The Mathematical Association of America 1995