사선 공식은 신발끈 공식이라고도 불리는데, 2행 4열의 Vertical Matrix Form에서 [그림1]과 같이 계산하면 되기 때문이다.
[그림1] Vertical Matrix Form에서 계산하는 방법
이 사선 공식에 대해서는 다음과 같은 4가지 방법으로 증명해 보자.
① 두 벡터가 생성하는 삼각형의 넓이 공식을 이용하는 방법
② 삼각형을 3개의 삼각형으로 나누는 방법
③ 삼각형을 3개의 사다리꼴로 나누어 구하는 방법
④ 벡터의 외적을 이용하는 방법
증명① 두 벡터가 생성하는 삼각형의 넓이 공식을 이용하는 방법
, , , 라 하자.
이므로 두 벡터가 생성하는 삼각형의 넓이 공식에 의해 삼각형의 넓이 는
이다.
, , ,
로 치환하면
이다. 이를 역으로 정리하면
증명② 삼각형을 3개의 삼각형으로 나누는 방법
삼각형 를 [그림2]와 같이 세 개의 삼각형 , , 으로 나눈다.
(단, 점선은 각 꼭짓점에서 축, 축에 내린 수선이다.)
[그림2] 세 개의 삼각형으로 분리된 삼각형
이때 삼각형 의 넓이는 [그림3]과 같이 빨간색 삼각형의 넓이와 같다.
[그림3] 와 빨간색 삼각형의 비교
왜냐하면 밑변과 높이가 같기 때문이다.
마찬가지 이유로 [그림4]와 같이 삼각형 의 넓이는 파란색 삼각형의 넓이와 같다.
[그림4] 와 파란색 삼각형의 비교
따라서 삼각형의 넓이 는
(빨간색 삼각형의 넓이)+(파란색 삼각형의 넓이)
이다.
(빨간색 삼각형의 넓이)
(파란색 삼각형의 넓이)
이므로
이다. 이 방법은 다른 사분면에서도 동일하게 적용이 가능하고, , , 를 어떻게 선택하느냐에 따라 음의 넓이가 나올 수 있어 절댓값을 붙인다. 따라서
증명③ 삼각형을 3개의 사다리꼴로 나누어 구하는 방법
삼각형 에 대하여 [그림5]와 같은 세 개의 사다리꼴을 고려한다.
(단, 점선은 각 꼭짓점에서 축에 내린 수선이다.)
[그림5] 삼각형 와 세 사다리꼴 , ,
삼각형 의 넓이 는
(빨간색 사다리꼴의 넓이)(파란색 사다리꼴의 넓이)(녹색 사다리꼴의 넓이)
이다.
(빨간색 사다리꼴의 넓이)
(파란색 사다리꼴의 넓이)
(녹색 사다리꼴의 넓이)
이므로
이다. 이 방법은 다른 사분면에서도 동일하게 적용이 가능하고, , , 를 어떻게 선택하느냐에 따라 음의 넓이가 나올 수 있어 절댓값을 붙인다. 따라서
증명④ 벡터의 외적을 이용하는 방법
증명④를 시작하기에 앞서 벡터의 외적(Cross Product)과 그 성질에 대해 알아보자.
[그림6]과 같이 벡터의 외적을 사용하기 위해 삼각형 의 세 꼭짓점 , , 에 좌표로 을 추가하여 각 점의 평면좌표를 공간좌표로 바꾼다.
[그림6] 각 점의 평면좌표를 공간좌표로 바꾼 상황
삼각형 의 내부에 찍은 임의의 점 에 대하여 [그림7]과 같이 삼각형 은 세 개의 삼각형으로 나누어
: 삼각형
: 삼각형
: 삼각형
라 하자.
[그림7] 세 개의 작은 삼각형으로 나눈 삼각형
이때, 원점 에 대하여
(※ , , 는 모두 화면을 뚫고 나오는 방향으로 향하는 벡터이다. 즉, 세 백터 , , 는 모두 방향이 같으므로 각 벡터의 크기의 합은 벡터의 합의 크기와 같다. 현재 이 증명의 과정에서는 계산과정에서 나타나는 반복을 더 효과적으로 표현하기 위해 이 단계에서 벡터의 크기의 합을 벡터의 합의 크기로 바꾸고 있지만, 처음부터 이 사실을 적용하여 계산해도 된다.)
* 추가 설명 있음
* 추가 설명
삼각형 내부의 임의의 점 에 대하여 삼각형 를 세 개의 삼각형으로 나눈 뒤, 삼각형의 넓이를 외적을 이용하여 구해보면
인 것을 알 수 있다.
이 결과는 벡터의 외적을 이용해 삼각형의 넓이를 구하는 과정에서 삼각형의 내부에 임의의 점 를 둘 필요 없이 원점을 시점으로 하는 벡터들의 외적을 이용하면 삼각형의 넓이를 구할 수 있다는 것을 의미한다. [그림8]을 이용하여 을 조금 더 살펴보자. [그림8] 공간 위의 점 , , 에 대한 위치벡터 [표1] 벡터의 외적과 삼각형 넓이에 대한 해석 즉, [표1]을 살펴보면 은 를 의미한다는 것을 알 수 있다.
생각해보기
일반적으로 좌표가 주어진 각형의 넓이도 사선 공식과 비슷한 방법으로 구할 수 있다. 즉, 각형의 꼭짓점의 좌표를 , , , …, 라 하면 각형의 넓이 는 이다.