각도 덧셈 공리 계산기

각의 덧셈 공리는 평면 기하학의 기초적인 공리 중 하나입니다. 이 공리는 다음과 같이 말합니다: 점 B가 각 ∠AOC의 내부에 위치한다면, 두 작은 각 ∠AOB와 ∠BOC를 합친 것이 큰 각과 정확히 일치합니다. 이를 식으로 나타내면 다음과 같습니다.

∠AOC = ∠AOB + ∠BOC

간단해 보이는 이 명제는 기하학 증명에서 가장 자주 사용되는 도구 중 하나입니다. 큰 각을 알려진 작은 부분들로 분해하거나, 알려진 부분들을 합쳐서 전체 크기를 구할 수 있게 해줍니다. 이 튜토리얼에서는 이 공리의 정확한 내용, '사이에 있는(between)' 조건의 의미, 그리고 증명을 어떻게 활용하는지 다룹니다.

설정

세 개의 반직선 OA, OB, OC가 공통된 끝점(꼭짓점) O를 공유합니다. 반직선 OB가 반직선 OA와 OC의 '사이에' 있다고 가정해 봅시다. 즉, 점 B는 OA와 OC가 이루는 각의 내부에 위치합니다.

이때 ∠AOC는 OA에서 OC로 이어지는 '큰' 각이며, ∠AOB와 ∠BOC는 OB에 의해 나뉜 두 '작은' 각입니다.

공리에 따르면: 큰 각 = 작은 부분들의 합입니다.

'사이에 있는' 조건의 중요성

각의 덧셈 공리는 반직선 OB가 반직선 OA와 OC 사이에 있을 때만 적용됩니다. 만약 OB가 각의 외부(한쪽 반직선의 반대편)에 있다면, 이 공리는 직접적으로 적용되지 않습니다. 여전히 합 관계가 성립할 수 있지만, 부호나 배열이 다를 수 있습니다.

'사이에 있다'는 것의 의미: OB를 그릴 때 시작점은 ∠AOC의 내부에 있습니다. OA에서 OC로 스윕(회전)할 때 OB를 지나게 됩니다.

공리를 사용하는 세 가지 방법

'사이에 있는' 조건이 충족되면, 공리는 다음 세 가지 계산 단축 방법을 제공합니다.

1. 부분으로부터 전체 구하기: ∠AOB와 ∠BOC가 알려져 있다면, ∠AOC = ∠AOB + ∠BOC입니다.
2. 전체와 다른 부분으로부터 한 부분 구하기: ∠AOB = ∠AOC − ∠BOC입니다.
3. 분해: ∠AOC = ∠AOB + ∠BOC는 더 많은 반직선이 각을 나누어 더 분해될 수 있습니다.

이것이 계산기의 역할입니다: 세 값 중 두 가지를 입력하면 나머지 하나를 얻을 수 있습니다.

풀이 예제 1 — 부분들의 합

반직선 OB는 반직선 OA와 OC 사이에 있습니다. ∠AOB = 35°, ∠BOC = 50°일 때, ∠AOC를 구하십시오.

∠AOC = ∠AOB + ∠BOC = 35° + 50° = 85°.

풀이 예제 2 — 전체로부터 한 부분 구하기

반직선 OB는 OA와 OC 사이에 있습니다. ∠AOC = 120°, ∠AOB = 45°일 때, ∠BOC를 구하십시오.

∠BOC = ∠AOC − ∠AOB = 120° − 45° = 75°.

풀이 예제 3 — 공리를 이용한 증명 설정

기하학 증명에서 다음과 같은 상황을 마주칠 수 있습니다.

주어진 조건: ∠AOC = 90°. ∠AOB = ∠BOC. ∠AOB를 구하십시오.

1단계: 각의 덧셈 적용: ∠AOC = ∠AOB + ∠BOC.
2단계: 주어진 등식 대입 (∠AOB = ∠BOC): 90° = 2 × ∠AOB.
3단계: 풀이: ∠AOB = 45°.

이 세 단계의 증명은 공리와 대수적 치환 성질을 결합한 것을 보여주는데, 이는 초급 기하학에서 매우 흔한 패턴입니다.

각의 이등분선과 각의 덧셈

각의 이등분선은 각을 두 개의 동일한 부분으로 나누는 반직선입니다. 각의 덧셈 공리에 따르면:

반직선 OB가 ∠AOC를 이등분한다면, ∠AOC = ∠AOB + ∠BOC = 2 × ∠AOB입니다.

따라서 각 작은 각은 전체의 정확히 절반입니다. 이것이 각의 이등분선을 논하는 형식적인 방법입니다 — 이등분 성질과 각의 덧셈 공리를 결합하여 설명합니다.

각의 뺄셈 공리

종종 '각의 뺄셈 공리'라고 불리는 코롤라리(보조정리): 같음에서 같음을 빼면 그 차이는 같습니다. 기호로 표현하면:

∠AOC = ∠DEF이고 ∠AOB = ∠DEG라면 (여기서 B는 OA와 OC 사이에, G는 DE와 DF 사이에 있음), ∠BOC = ∠GEF입니다.

이는 각의 덧셈 공리에 대수를 적용한 것에 불과하지만, 두 열 증명(two-column proofs)에서 별도로 명명되어 있으면 유용합니다.

다단계 분해

이 공리는 더 많은 반직선에 대해 확장됩니다. 네 개의 반직선 OA, OB, OC, OD가 하나의 꼭짓점을 공유하고(OB와 OC가 OA와 OD 사이에 있음), 다음이 성립합니다.

∠AOD = ∠AOB + ∠BOC + ∠COD

합은 확장됩니다: 반직선들이 내부 순서대로 배치되어 있는 한, 어떤 '큰' 각도 연속된 작은 각들의 합으로 분해될 수 있습니다.

증명에서 공리가 나타나는 곳

• 삼각형의 내각. 삼각형의 한 꼭짓점에서의 내각은 정점으로부터 대변으로 그은 선분(cevan)을 그을 때 두 개의 부분 각으로 나눌 수 있습니다. 전체 각 = 부분들의 합.
• 평행선 관련 각 증명. 한 직선이 여러 개의 부분 각을 만들 때, 각의 덧셈을 통해 이를 하나로 합칠 수 있습니다.
• 다각형 분해. 내각의 합을 계산할 때는 종종 다각형의 꼭짓점 각을 조각으로 분해하는 과정이 포함됩니다.
• 각의 이등분선 증명. 이등분된 각의 두 절반이 같음을 보여주는 데에는 각의 덧셈과 이등분선의 정의가 사용됩니다.

흔한 실수

• '사이에 있는' 조건 무시. 이 공리는 반직선 OB가 ∠AOC의 내부에 있어야 함을 요구합니다. 만약 OB가 OA 또는 OC와 같은 쪽에 있거나 각의 완전히 바깥에 있다면, 단순한 합 형태는 적용되지 않습니다.
• 일연각(Linear pair) 또는 보각 관계와 혼동. 일연각(직선을 이루는 각들)의 합은 180°입니다 — 이는 별도의 개념입니다. 각의 덧셈은 ∠AOC가 일직선 각(straight angle)인 경우 180°가 될 수 있지만, 이는 구성이 그렇게 설정되었을 때에만 해당합니다.
• 서로 다른 꼭짓점에 있는 각 더하기. 각의 덧셈은 세 각 모두 O라는 공통 꼭짓점을 가져야 합니다. 서로 다른 꼭짓점에 있는 각들은 이 공리를 통해 결합되지 않습니다.
• '덧셈'을 도수의 덧셈과 반직선 끝점의 덧셈으로 오해. 이 공리는 반직선을 구성하는 것이 아니라 각의 크기(도 단위)에 관한 것입니다. 여기서의 '덧셈'은 수치적 연산입니다.