삼각 부등식

삼각 부등식(三角不等式)은 수학에서 삼각형의 세 변 길이 사이에 적용되는 불등식으로, 임의의 세 실수 $a, b, c$가 삼각형을 이루기 위해서는 다음이 성립해야 함을 의미한다.

$$ a + b \geq c,\quad a + c \geq b,\quad b + c \geq a $$

위의 세 식 중 하나라도 위반되면 세 변으로는 실제 삼각형을 만들 수 없다. 특히, 세 변이 직선상에 놓이는 경우에는 등호가 성립한다.

일반화

1. 유클리드 기하학

   • 평면상의 점 $A, B, C$에 대해 거리 함수 $d$를 사용하면
     $$ d(A,B) + d(B,C) \geq d(A,C) $$
     가 항상 성립한다. 이는 두 점 사이의 최단 경로가 직선임을 나타낸다.

2. 거리 공간(Metric Space)

   • 거리 함수 $d$가 정의된 모든 집합 $(X,d)$에서 위 식은 거리의 정의에 포함되는 기본 성질이다.

3. 노름 공간(Normed Vector Space)

   • 벡터 공간 $V$에 노름 $| \cdot |$가 주어지면
     $$ |x + y| \leq |x| + |y| $$
     로 표현되는 삼각 부등식이 성립한다. 이는 벡터 합의 길이가 각 벡터 길이의 합보다 크지 않음을 의미한다.

역사 및 출처

삼각 부등식은 고대 그리스 수학에서 기하학적 원리로 다루어졌으며, 현대 수학에서는 거리 및 노름의 기본 성질로 정형화되었다. 주요 교과서와 수학 사전에서 “triangle inequality” 혹은 “삼각 부등식”이라는 용어로 일관되게 기술되고 있다.

적용 예시

• 삼각형 존재 판단: 주어진 세 변의 길이가 삼각 부등식을 만족하는지 확인함으로써 삼각형이 존재 가능한지 판단한다.
• 거리 계산: 지도상의 두 지점 사이의 최단 경로를 구할 때, 경유지를 포함한 경로 길이가 직접 경로보다 짧을 수 없음을 보장한다.
• 벡터 분석: 물리학에서 힘의 합성이나 신호 처리에서 오류 범위 계산 등에 활용된다.

관련 용어

• 엄격한 삼각 부등식: 위 식에서 등호가 아닌 ‘>’가 성립하는 경우로, 세 변이 일직선이 아닌 경우에 해당한다.
• 코시-슈바르츠 부등식, 호르즈 부등식 등은 삼각 부등식과 연관된 다른 불등식이다.

삼각 부등식은 수학 전반에 걸쳐 기본적인 구조를 제공하는 핵심 개념으로, 기하학, 해석학, 대수학 등 다양한 분야에서 광범위하게 사용된다.