삼각부등식은 기하학뿐만 아니라 벡터, 복소수 등 다양한 수학 분야에서 활용되는 기본적인 부등식입니다. 이 부등식은 삼각형의 세 변의 길이 사이의 관계를 나타내며, 어떤 삼각형이든 세 변의 길이를 더했을 때 다른 한 변의 길이보다 항상 크거나 같다는 것을 의미합니다. 즉, 두 변의 길이의 합이 나머지 한 변의 길이보다 짧다면 삼각형을 만들 수 없다는 직관적인 사실을 수학적으로 표현한 것입니다. 이번 글에서는 삼각부등식의 증명 방법과 그 원리를 상세히 설명하여 독자 여러분의 수학적 이해를 돕고자 합니다.
삼각부등식이란 무엇인가?
삼각부등식이란 임의의 세 실수 $a, b, c$에 대해 $|a+b| gtr |c|$ 와 $|a|+|b| gtr |c|$ 라는 두 가지 형태를 포함하는 부등식입니다. 더 일반적으로는, 어떤 벡터 공간에서 두 벡터 $u, v$에 대해 노름(norm)을 사용하여 $|u+v| gtr |u|+|v|$ 와 같이 표현할 수 있습니다. 여기서 $|x|$는 실수 $x$의 절댓값을 의미하며, 벡터의 경우 벡터의 크기(길이)를 의미합니다. 삼각형의 세 변의 길이를 각각 $a, b, c$라고 할 때, 어떤 삼각형이든 두 변의 길이의 합은 나머지 한 변의 길이보다 항상 커야 합니다. 즉, $a+b > c$, $a+c > b$, $b+c > a$ 입니다. 만약 등호가 포함된다면, 이는 세 점이 한 직선 위에 있는 경우(퇴화된 삼각형)를 포함하게 됩니다.
삼각부등식 증명 방법 1: 제곱을 이용한 증명
삼각부등식을 증명하는 가장 흔하고 직관적인 방법 중 하나는 양변을 제곱하는 것입니다. 먼저, $|a+b| gtr |c|$ 를 증명해 보겠습니다. 이 부등식은 $|a+b|^2 gtr |c|^2$ 와 동치입니다. 왜냐하면 부등식의 양변이 모두 음이 아닌 실수이기 때문입니다. $|a+b|^2 = (a+b)^2 = a^2 + 2ab + b^2$ 이고, $|c|^2 = c^2$ 입니다. 따라서 우리는 $a^2 + 2ab + b^2 gtr c^2$ 를 증명해야 합니다. 여기서, 우리는 $|a|+|b| gtr |c|$ 를 증명해야 하는데, 이를 제곱하면 $(|a|+|b|)^2 gtr |c|^2$ 이 됩니다. $(|a|+|b|)^2 = |a|^2 + 2|a||b| + |b|^2 = a^2 + 2|ab| + b^2$ 이고, $|c|^2 = c^2$ 입니다. 따라서 우리는 $a^2 + 2|ab| + b^2 gtr c^2$ 를 증명해야 합니다. 이 두 식을 비교해 보면, $2ab$ 와 $2|ab|$ 의 차이가 있음을 알 수 있습니다. $|ab| gtr ab$ 이므로, $a^2 + 2|ab| + b^2 gtr a^2 + 2ab + b^2$ 입니다. 따라서 $a^2 + 2|ab| + b^2 gtr c^2$ 를 증명하는 것이 $|a+b| gtr |c|$ 를 증명하는 것보다 더 강력한 조건이 됩니다.
삼각부등식 증명 방법 2: 기하학적 증명
삼각부등식은 그 이름에서 알 수 있듯이 기하학적으로도 쉽게 이해하고 증명할 수 있습니다. 삼각형의 두 변의 길이를 $a$와 $b$라고 하고, 나머지 한 변의 길이를 $c$라고 합시다. 삼각형의 결정 조건에 따라, 어떤 삼각형이든 두 변의 길이의 합은 나머지 한 변의 길이보다 커야 합니다. 즉, $a+b > c$ 입니다. 이는 삼각형을 구성할 때, 두 변을 연결하여 만든 선이 나머지 한 변보다 길어야 한다는 직관적인 사실에서 비롯됩니다. 만약 $a+b gtr c$ 라면, 세 선분으로는 삼각형을 만들 수 없습니다. 예를 들어, 길이가 3, 4, 10인 세 선분이 있다고 가정해 봅시다. 3과 4를 더하면 7이 되는데, 이는 10보다 작습니다. 따라서 이 세 선분으로는 삼각형을 만들 수 없습니다. 마찬가지로 $a+c > b$ 와 $b+c > a$ 도 성립합니다. 이 기하학적 증명은 삼각부등식의 직관적인 의미를 명확하게 보여줍니다.
삼각부등식의 활용
삼각부등식은 수학의 여러 분야에서 다양하게 응용됩니다. 해석학에서는 함수의 극한이나 연속성을 증명할 때 자주 사용됩니다. 예를 들어, 두 함수의 차이가 특정 값보다 작다는 것을 보일 때 삼각부등식을 활용하여 각 함수의 차이에 대한 절댓값의 합이 특정 값보다 작음을 증명할 수 있습니다. 또한, 벡터 공간에서는 벡터의 크기(노름)에 대한 중요한 성질을 나타내며, 거리 공간의 정의에서도 핵심적인 역할을 합니다. 거리 함수 $d(x, y)$가 만족해야 하는 조건 중 하나가 바로 삼각부등식, 즉 $d(x, z) gtr d(x, y) + d(y, z)$ 입니다. 이는 두 지점 간의 최단 거리는 두 지점을 직접 잇는 직선 거리이며, 중간 지점을 거쳐 가는 경로는 그보다 길거나 같다는 것을 의미합니다.
삼각부등식과 관련된 오해
삼각부등식이라고 하면 흔히 삼각형의 세 변의 길이 사이의 관계만을 떠올리기 쉽습니다. 하지만 삼각부등식은 실수, 복소수, 벡터 등 더 넓은 범위에서 적용되는 개념입니다. 예를 들어, 복소수 $z_1, z_2$에 대해 $|z_1+z_2| gtr |z_1| + |z_2|$ 가 성립합니다. 이는 복소수를 복소평면 상의 벡터로 생각했을 때, 두 벡터의 합 벡터의 크기가 각 벡터 크기의 합보다 작거나 같다는 기하학적 의미를 갖습니다. 등호가 성립하는 경우는 두 복소수가 같은 방향을 가리킬 때, 즉 한 복소수가 다른 복소수의 양의 실수배일 때입니다. 따라서 삼각부등식은 단순히 삼각형의 변의 길이에 국한된 것이 아니라, 절댓값이나 노름을 가지는 모든 대상에 적용될 수 있는 일반적인 원리입니다.