012. 사선 공식

193개 수학 공식 증명 2024. 5. 2. 22:10

사선 공식 소개

S=12|x1x2x3x1y1y2y3y1| = 12|(x1y2+x2y3+x3y1)(x2y1+x3y2+x1y3)|
(S : 삼각형의 넓이)

사선 공식은 신발끈 공식이라고도 불리는데, 2행 4열의 Vertical Matrix Form에서 [그림1]과 같이 계산하면 되기 때문이다.

 

[그림1] Vertical Matrix Form에서 계산하는 방법

 

이 사선 공식에 대해서는 다음과 같은 4가지 방법으로 증명해 보자.

  ① 두 벡터가 생성하는 삼각형의 넓이 공식을 이용하는 방법

  ② 삼각형을 3개의 삼각형으로 나누는 방법

  ③ 삼각형을 3개의 사다리꼴로 나누어 구하는 방법

  ④ 벡터의 외적을 이용하는 방법

증명① 두 벡터가 생성하는 삼각형의 넓이 공식을 이용하는 방법

O = (0, 0), A = (x1, y1), B = (x2, y2), C = (x3, y3)라 하자.

BA = OA OB

         = (x1x2, y1y2)

 BC = OC OB

         = (x3x2, y3y2)

이므로 두 벡터가 생성하는 삼각형의 넓이 공식에 의해 삼각형의 넓이 S

    S = 12|BA|2|BC|2(BABC)2

        = 12{(x1x2)2+(y1y2)2}{(x3x2)2+(y3y2)2}{(x1x2)(x3x2)+(y1y2)(y3y2)}2

이다.

 α = x1x2β = y1y2γ = x3x2δ = y3y2

로 치환하면

  S = 12(α2+β2)(γ2+δ2)(αγ+βδ)2

      = 12α2γ2+α2δ2+β2γ2+β2δ2α2γ22αβγδβ2δ2

      = 12α2δ2+β2γ22αβγδ

      = 12(αδβγ)2

      = 12|αδβγ|

이다. 이를 역으로 정리하면

S = 12|(x1x2)(y3y2)+(y1y2)(x3x2)|

      = 12|(x1y3x1y2x2y3+x2y2)(x3y1x2y1x3y2+x2y2)|

      = 12|(x1y2+x2y3+x3y1)(x2y1+x3y2+x1y3)|

 

증명② 삼각형을 3개의 삼각형으로 나누는 방법

삼각형 ABC를 [그림2]와 같이 세 개의 삼각형 S1, S2, S3으로 나눈다.

(단, 점선은 각 꼭짓점에서 x축, y축에 내린 수선이다.)

[그림2] 세 개의 삼각형으로 분리된 삼각형 ABC

 

이때 삼각형 S2의 넓이는 [그림3]과 같이 빨간색 삼각형의 넓이와 같다.

[그림3] S2와 빨간색 삼각형의 비교

왜냐하면 밑변과 높이가 같기 때문이다.

마찬가지 이유로 [그림4]와 같이 삼각형 S3의 넓이는 파란색 삼각형의 넓이와 같다.

[그림4] S3와 파란색 삼각형의 비교

따라서 삼각형의 넓이 S

S = S1+S2+S3

    = S1+(빨간색 삼각형의 넓이)+(파란색 삼각형의 넓이)

이다.

S1=12(x1x2)(y1y2)

(빨간색 삼각형의 넓이)= S2 =12(x1x2)(y2y3)

(파란색 삼각형의 넓이)= S3 =12(x3x1)(y1y2)

이므로

S = S1 + S2 + S3

     = 12(x1x2)(y1y2)+12(x1x2)(y2y3)+12(x3x1)(y1y2)

     = 12{(x1y2+x2y3+x3y1)(x2y1+x3y2+x1y3)}

이다. 이 방법은 다른 사분면에서도 동일하게 적용이 가능하고, A, B, C를 어떻게 선택하느냐에 따라 음의 넓이가 나올 수 있어 절댓값을 붙인다. 따라서

S = 12|(x1y2+x2y3+x3y1)(x2y1+x3y2+x1y3)|

 

증명③ 삼각형을 3개의 사다리꼴로 나누어 구하는 방법

삼각형 ABC에 대하여 [그림5]와 같은 세 개의 사다리꼴을 고려한다.

(단, 점선은 각 꼭짓점에서 x축에 내린 수선이다.)

[그림5] 삼각형 ABC와 세 사다리꼴 ABPQ, AQRC, BPRC

삼각형 ABC의 넓이 S

  S = (빨간색 사다리꼴의 넓이) + (파란색 사다리꼴의 넓이) (녹색 사다리꼴의 넓이)

이다.

  (빨간색 사다리꼴의 넓이) = ABPQ = 12(y1+y2)(x1x2)

  (파란색 사다리꼴의 넓이) = AQRC = 12(y3+y1)(x3x1)

  (녹색 사다리꼴의 넓이) = BPRC = 12(y2+y3)(x3x2)

이므로

  S = ABPQ + AQRC BPRC

      = 12(y1+y2)(x1x2)+12(y3+y1)(x3x1)12(y2+y3)(x3x2)

      = 12{(x1y2+x2y3+x3y1)(x2y1+x3y2+x1y3)}

이다. 이 방법은 다른 사분면에서도 동일하게 적용이 가능하고, A, B, C를 어떻게 선택하느냐에 따라 음의 넓이가 나올 수 있어 절댓값을 붙인다. 따라서

  S = 12|(x1y2+x2y3+x3y1)(x2y1+x3y2+x1y3)|

 

증명④ 벡터의 외적을 이용하는 방법

증명④를 시작하기에 앞서 벡터의 외적(Cross Product)과 그 성질에 대해 알아보자.

 

[그림6]과 같이 벡터의 외적을 사용하기 위해 삼각형 ABC의 세 꼭짓점 A, B, Cz좌표로 0을 추가하여 각 점의 평면좌표를 공간좌표로 바꾼다.

[그림6] 각 점의 평면좌표를 공간좌표로 바꾼 상황

삼각형 ABC의 내부에 찍은 임의의 점 P에 대하여 [그림7]과 같이  삼각형 ABC은 세 개의 삼각형으로 나누어

  S1 : 삼각형 APB

  S2 : 삼각형 BPC

  S3 : 삼각형 APC

라 하자.

[그림7] 세 개의 작은 삼각형으로 나눈 삼각형 ABC

이때, 원점 O에 대하여

 S = S1 + S2 + S3

     = 12|PA×PB|+12|PB×PC|+12|PC×PA|

     = 12|(OAOP)×(OBOP)|

   + 12|(OBOP)×(OCOP)|

     + 12|(OCOP)×(OAOP)|

     = 12|OA×OBOA×OPOP×OB+OP×OP|

   + 12|OB×OCOB×OPOP×OC+OP×OP|

   + 12|OC×OAOC×OPOP×OA+OP×OP|

     = 12|OA×OBOP×(OBOA)|

   + 12|OB×OCOP×(OCOB)|

   + 12|OC×OAOP×(OAOC)|

     = 12|OA×OBOP×AB|

   + 12|OB×OCOP×BC|

   + 12|OC×OAOP×CA|

     = 12|OA×OBOP×AB+OB×OCOP×BC+OC×OAOP×CA|

(※ PA×PB, PB×PC, PC×PA는 모두 화면을 뚫고 나오는 방향으로 향하는 벡터이다. 즉, 세 백터 PA×PB, PB×PC, PC×PA는 모두 방향이 같으므로 각 벡터의 크기의 합은 벡터의 합의 크기와 같다. 현재 이 증명의 과정에서는 계산과정에서 나타나는 반복을 더 효과적으로 표현하기 위해 이 단계에서 벡터의 크기의 합을 벡터의 합의 크기로 바꾸고 있지만, 처음부터 이 사실을 적용하여 계산해도 된다.)

     = 12|OA×OB+OB×OC+OC×OAOP×(AB+BC+CA)|

     = 12|OA×OB+OB×OC+OC×OA| * 추가 설명 있음

     = 12|(0, 0, x1y2x2y1)+(0, 0, x2y3x3y2)+(0, 0, x3y1x1y3)|

     = 12|(x1y2+x2y3+x3y1)(x2y1+x3y2+x1y3)|

 

* 추가 설명

삼각형 ABC 내부의 임의의 점 P에 대하여 삼각형 ABC를 세 개의 삼각형으로 나눈 뒤, 삼각형의 넓이를 외적을 이용하여 구해보면

 S = 12|PA×PB|+12|PB×PC|+12|PC×PA|
     = 12|OA×OB+OB×OC+OC×OA|

인 것을 알 수 있다.

이 결과는 벡터의 외적을 이용해 삼각형의 넓이를 구하는 과정에서 삼각형의 내부에 임의의 점 P를 둘 필요 없이 원점을 시점으로 하는 벡터들의 외적을 이용하면 삼각형의 넓이를 구할 수 있다는 것을 의미한다.
[그림8]을 이용하여
S = 12|OA×OB+OB×OC+OC×OA|
을 조금 더 살펴보자.
[그림8] 공간 위의 점 A, B, C에 대한 위치벡터

[표1] 벡터의 외적과 삼각형 넓이에 대한 해석

즉, [표1]을 살펴보면
S = 12|OA×OB+OB×OC+OC×OA|

S = BOA + AOC BOC
를 의미한다는 것을 알 수 있다.

 

생각해보기

일반적으로 좌표가 주어진 n각형의 넓이도 사선 공식과 비슷한 방법으로 구할 수 있다.
즉, n각형의 꼭짓점의 좌표를 (x1, y1), (x2, y2)(x3, y3), …, (xn, yn)라 하면
n각형의 넓이 S
S=12|k=1n(xkyk+1xk+1yk)|
    =12|(x1y2+x2y3+x3y4++xny1)(x2y1+x3y2+x4y3++x1yn)|
이다.