삼각형 부등식 정리 계산기

삼각부등식은 평면기하학에서 가장 근본적인 명제 중 하나입니다: 삼각형의 임의의 두 변의 길이의 합은 반드시 나머지 한 변의 길이보다 엄격히 커야 합니다. 동치인 표현으로, 어느 한 변도 다른 두 변의 길이의 합보다 길거나 같을 수 없습니다. 이 튜토리얼에서는 삼각부등식을 증명하고, '엄격히 크다'는 조건이 중요한 이유를 설명하며, 임의의 세 길이 값이 삼각형을 이루는지 테스트하는 방법을 소개하고, 동일한 부등식이 벡터 노름과 거리 공간으로 어떻게 일반화되는지 보여줍니다.

세 가지 방식으로 서술된 정리

변의 길이가 a, b, c인 모든 삼각형에 대해 다음 세 부등식이 모두 성립해야 합니다:

a + b > c
a + c > b
b + c > a

간결한 동치 서술: 가장 긴 변의 길이는 나머지 두 변의 길이의 합보다 작아야 합니다.

엄격한 부등호(>)가 중요합니다. 만약 a + b = c라면 정확히 일치할 때, '삼각형'은 하나의 선분으로 붕괴됩니다—세 점은 일직선 위에 있습니다. 이러한 퇴화(degenerate) 경우는 삼각형이 아닙니다.

정리가 참인 이유 — 기하학적 직관

세 개의 막대를 끝끝이 이어 붙여 고리를 닫으려 한다고 상상해 보세요. 막대의 길이가 각각 a = 3, b = 4, c = 10라고 가정합니다.

c를 바닥에 평평하게 놓습니다. 한쪽 끝에서 막대 a를 위로 접습니다. c의 다른 쪽 끝에서 막대 b를 위로 접습니다. 이제 a와 b의 자유 단부가 만나도록 해보세요.

a가 밑면에서 뻗을 수 있는 최대 길이는 3 단위입니다(수직으로 곧게 뻗었을 때). b가 밑면에서 뻗을 수 있는 최대 길이는 4 단위입니다. 두 밑면 사이의 거리는 10 단위입니다. 두 막대가 모두 수직으로 곧게 뻗어 있더라도, 그들의 자유 단부는 수평 방향으로 10 단위 떨어져 있어 서로 만날 수 없습니다. 결론: 변의 길이가 3, 4, 10인 삼각형은 존재하지 않습니다.

c = 10을 c = 6으로 바꾸면, 두 밑면 사이의 거리는 이제 6 단위이며, 막대 a(길이 3)는 최대 3 단위까지 도달할 수 있습니다. 따라서 a + b = 7이 c = 6보다 커야 하는데, 7 > 6이므로 가능합니다. 두 자유 단부는 선분 위의 어떤 점에서 만날 수 있으며, 삼각형을 형성합니다.

공식적 증명 — 최단 경로 원리 이용

두 점 사이의 최단 경로는 그 두 점을 연결하는 직선입니다. 다른 모든 경로는 엄격히 더 깁니다.

삼각형의 꼭짓점을 A, B, C라 하고, 각 꼭짓점 맞은편의 변을 각각 a, b, c로 표시한다고 합시다. A에서 B로 직접 가는 경로(길이 c)는 A에서 C를 거쳐 B로 가는 경로(길이 b + a)보다 짧습니다. 따라서 c < b + a, 즉 a + b > c입니다.

동일한 논리를 다른 두 쌍의 꼭짓점에 적용하면 a + c > b 및 b + c > a를 얻습니다.

세 수의 테스트

(a, b, c)가 삼각형을 이룰 수 있는지 확인하려면 가장 긴 변만 테스트하면 됩니다. 가장 긴 변의 길이가 나머지 두 변의 길이의 합보다 작으면 삼각형이 유효합니다. 만약 합과 같거나 크다면 삼각형은 존재하지 않습니다.

예시 테스트:

• (3, 4, 5): 가장 긴 변 = 5. 나머지 두 변의 합 = 7. 5 < 7 ✓ — 유효한 삼각형 (유명한 3-4-5 직각삼각형).
• (5, 7, 12): 가장 긴 변 = 12. 나머지 두 변의 합 = 12. 12 ≥ 12 ✗ — 퇴화됨 (직선).
• (2, 3, 6): 가장 긴 변 = 6. 나머지 두 변의 합 = 5. 6 > 5 ✗ — 불가능.
• (1, 1, 1): 가장 긴 변 = 1. 나머지 두 변의 합 = 2. 1 < 2 ✓ — 유효한 삼각형 (정삼각형).

두 변이 주어졌을 때 세 번째 변의 범위

두 변의 길이를 알면 세 번째 변이 가질 수 있는 범위가 제한됩니다. a와 b가 주어졌을 때, 세 번째 변 c는 다음을 만족해야 합니다:

|a − b| < c < a + b

상한은 삼각부등식입니다. 하한은 다른 조합에 동일한 부등식을 적용한 것입니다: 만약 c가 |a − b| 이하라면, a와 b 중 더 긴 변의 길이가 c + (a와 b 중 더 짧은 변)의 합을 초과하게 되어 부등식을 위반하게 됩니다.

예시: a = 4, b = 7. 그러면 3 < c < 11입니다. 세 번째 변은 3과 11 사이(양끝값 제외)의 임의의 실수가 될 수 있습니다.

'엄격한 부등호'가 중요한 이유

a + b = c인 경계 사례는 '퇴화된 삼각형'—즉, 세 점이 일직선 위에 있는 경우—를 생성합니다. 일부 교과서에서는 '삼각형'의 정의에 퇴화된 삼각형을 포함시키기도 합니다(이 경우 부등호가 ≤가 됨). 그러나 주류 관례에서는 엄격한 부등호를 요구하며, 대부분의 계산기(본 계산기 포함)는 등호 성립 경우를 무효로 처리합니다.

벡터 형태에서의 동일한 정리

삼각부등식은 벡터로 일반화됩니다. 임의의 차원을 가진 두 벡터 u와 v에 대해 다음이 성립합니다:

|u + v| ≤ |u| + |v|

(등호는 u와 v가 정확히 같은 방향을 가리킬 때만 성립하며, 이는 퇴화 사례에 해당합니다). 이것이 유클리드 노름에 대한 삼각부등식입니다. 동일한 형태는 내적 공간, 노름 선형 공간, 그리고 거리 공간으로 더 나아가 일반화됩니다—이 부등식은 거리 d를 정의하는 세 공리 중 하나입니다: d(x, z) ≤ d(x, y) + d(y, z).

따라서 기하학적 삼각부등식은 평면기하학의 단순한 호기심이 아니라, 수학에서 '거리'를 정의하는 핵심 속성입니다.

흔한 실수

• 세 부등식 중 하나만 확인함. 세 부등식 모두 성립해야 합니다. (3, 4, 5)는 a + b > c를 만족하지만, 여전히 a + c > b와 b + c > a도 확인해야 합니다—다행히 세 부등식 모두 성립합니다. 반면 (3, 4, 8)의 경우 a + b > c가 성립하지 않습니다: 3 + 4 = 7 < 8이므로 무효입니다. 삼각형 존재 여부를 배제하기 위해 실패 사례가 하나만 발견되면 되지만, 계산기는 명확성을 위해 세 부등식 모두를 테스트합니다.
• ≥ 대신 >를 사용해야 함. 엄격한 부등호입니다. 세 점이 모두 일직선 위에 있는 퇴화된 '삼각형'은 삼각형이 아닙니다.
• '유효한 삼각형'과 '유효한 직각삼각형'을 혼동함. 삼각부등식은 ANY(어떤) 삼각형이 존재하는지 여부를 결정합니다. 삼각형이 직각삼각형인지 확인하려면 별도로 a² + b² = c² (피타고라스 테스트, 여기서 c는 가장 긴 변)를 검증해야 합니다.
• 모든 변의 길이는 양수여야 한다는 사실을 잊음. 변의 길이가 0이거나 음수이면 다른 변들의 길이와 관계없이 삼각형을 형성할 수 없습니다.