택시기하학(Taxicab Geometry)은 일반적인 유클리드 기하학과는 다른 방식으로 거리를 정의하는 비유클리드 기하학의 한 종류입니다. 이 개념은 도시의 격자형 도로망처럼 직선 이동만 가능한 상황에서 거리와 도형을 재정의함으로써, 일상 속 기하학적 직관을 확장시켜 줍니다. 특히 택시 미터기 거리와 유사하여 붙여진 이름입니다.
1. 택시기하학에서의 거리 정의
두 점 \( A(x_1, y_1), B(x_2, y_2) \) 사이의 택시거리(Taxicab distance)는 다음과 같이 정의됩니다:
\[ D_T(A, B) = |x_1 – x_2| + |y_1 – y_2| \]
이는 유클리드 거리 \( \sqrt{(x_1 – x_2)^2 + (y_1 – y_2)^2} \)와는 다른 개념으로, 대각선 이동이 금지된 환경에서의 실제 이동 거리입니다.
2. 택시기하학의 원
택시기하학에서 반지름 \( r \)인 원은 다음과 같이 정의됩니다:
\[ |x – a| + |y – b| = r \]
이는 유클리드 기하학에서의 원처럼 중심 \( (a, b) \)로부터 같은 거리에 있는 점들의 집합이지만, 그 형태는 마름모꼴입니다. 이는 \( L^1 \) 노름에 의한 거리 개념이기 때문입니다.
3. 삼각형과 도형의 성질 변화
- 삼각형의 내각의 합은 여전히 180도입니다.
- 직각삼각형, 평행선 등의 개념은 유사하게 유지됩니다.
- 그러나 도형의 크기, 대칭성, 회전 대칭 등의 성질은 달라질 수 있습니다.
4. 택시기하학과 거리 함수
택시거리 함수는 수학적으로 \( L^1 \) 거리 또는 맨해튼 거리라고도 불리며, 다음과 같은 조건을 만족하는 거리 함수(metric)입니다:
- \( d(A, B) \geq 0 \), 항상 0 이상
- \( d(A, B) = 0 \iff A = B \)
- \( d(A, B) = d(B, A) \), 대칭성
- \( d(A, C) \leq d(A, B) + d(B, C) \), 삼각 부등식
5. 실생활과 응용
- 도시 내 거리 측정 (격자형 도로망)
- 컴퓨터 과학의 경로 탐색 알고리즘 (예: A* 알고리즘에서의 휴리스틱)
- 최적화 문제에서 거리 정의의 변형
결론
정의
택시기하학은 절대값의 합으로 거리를 측정하는 비유클리드 기하학입니다.
거리
직선만 가능한 환경에서의 거리 개념으로, 유클리드 거리와는 다른 결과를 냅니다.
도형
원의 모양은 마름모꼴이고, 다른 기하 구조들도 달라질 수 있습니다.
응용
도시계획, 컴퓨터 알고리즘, 최적화 이론 등 실생활 문제에 널리 활용됩니다.
택시기하학은 단순히 다른 거리 정의를 넘어서, 현실 세계의 다양한 구조와 문제 해결에 새로운 관점을 제시하는 흥미로운 수학 분야입니다.