08. 여덟 번째 수업: 삼각형을 감싼 두 개의 원 (외심과 내심)

삼각형의 무게를 잡아주는 것이 ‘무게중심’이었다면, 삼각형과 완벽하게 껴안고 있는 신비로운 두 개의 원(Circle)이 있습니다. 바로 삼각형의 바깥쪽에서 모든 뾰족한 꼭짓점을 감싸며 도는 외심(Circumcenter)과, 삼각형 내부에서 변들에 살포시 기대어 굴러가는 내심(Incenter)입니다.

학습 목표

• 삼각형 바깥의 원의 중심인 외심이 각 꼭짓점(Vertex)까지 이르는 거리를 똑같이 유지시켜주는 레이더 방어막의 원리임을 파악합니다.
• 삼각형 안쪽의 원의 중심인 내심이 세 변(Side)까지 이르는 거리를 똑같이 유지시켜주는 수직 코어(Core) 엔진임을 이해합니다.
• 외심과 내심의 작도법(수직이등분선과 각의 이등분선)의 기하학적 차이를 구별합니다.

1. 철통 방어막: 외심 (Circumcenter)

적군이 침공해 오는데 아군의 초소가 서로 다른 $3$곳(꼭짓점)에 퍼져 있습니다. 이 $3$곳의 초소에서 미사일 지원을 완벽하게 ‘가장 공평한 똑같은 거리’로 쏠 수 있는 미사일 기지를 삼각형 내부의 어디에 지어야 할까요?

• 정답: 외심! 외심의 본래 뜻은 “삼각형의 세 꼭짓점을 훑고 지나가는 커다란 바깥 원(외접원)의 중심”입니다. 중심에서 원의 껍질(꼭짓점)까지의 거리는 무조건 반지름(Radius)으로 같습니다! 즉, 외심 기지에서 각 초소까지의 거리는 완벽하게 일치합니다.
• 작도법: 세 뼈대(변)의 수평을 맞추기 위해, 변들의 허리를 정확히 반으로 가르고 직각으로 올라가는 “수직이등분선” 3개를 쏘아 올리면 기적같이 한 점에서 만나는 곳이 외심입니다. (직각삼각형의 외심은 빗변의 정확히 한가운데에 존재하여 최단 경로 좌표를 제공합니다!)

2. 내부 평화 유지군: 내심 (Incenter)

이번엔 반대로 철조망(세 변)으로 둘러싸인 좁은 삼각형 교도소 안쪽에 거대한 폭발을 막는 안전 캡슐(원)을 지어야 합니다. 이 캡슐은 세 철조망 벽에 모두 ‘가장 가까이 다가가면서도 동시에 아슬아슬하게 딱 한 점에서만 스쳐야(접해야)’ 합니다.

• 정답: 내심! 내심의 뜻은 “삼각형의 생살(세 변) 안쪽에 딱 맞게 갇혀서 굴러가는 캡슐 원(내접원)의 중심”입니다. 내심 코어에서 세 개의 벽(변)으로 레이저를 직각으로 쏘면 그 거리는 모두 작은 원의 반지름으로 똑같습니다!
• 작도법: 벽의 거리를 맞추기 위해, 이번에는 모서리 모서리에 있는 세 개의 뾰족한 각도를 정확히 반으로 가르는 “각의 이등분선” 3개를 발사하면 한 점에서 교차하며 내심 코어를 형성합니다.

3. 기하학의 데이터화: 좌표와 거리 벡터

파이썬이나 C 언어 엔진 안에서 외심과 내심은 더 이상 컴퍼스와 자로 그리는 마법이 아닙니다. 이들은 무수히 많은 미분/기하 방정식 라이브러리(SciPy 등) 안에서 최적화 거리 함수로 대체됩니다.

• 외심 함수 O: 세 จุด 좌표 공간($A, B, C$)이 주어졌을 때 $Distance(O, A) == Distance(O, B) == Distance(O, C)$ 가 성립하는 유일한 미지수 좌표 $(X_o, Y_o)$를 찾아내는 삼원 1차 연립방정식 풀러(Solver)입니다.
• 내심 함수 I: $X, Y$ 방정식의 직선(세 면)과 내부 중심점 $I$ 사이의 수직거리 공식(Point-to-Line Distance)들의 합산이 완벽히 똑같아지는 허용 오차 $0.000$의 최적화 좌표(Optimization Array) 연산입니다.

아날로그 기하는 자와 컴퍼스로 찾았지만, 컴퓨터 공학에서는 거리(Distance)와 방정식(Equation)의 코딩 연산으로 이 신비로운 원의 중심 좌표를 데이터 버퍼로 축출해 내고 있습니다.

학습 정리

1. 외심 (Circumcenter / 수직이등분선 교점): 우주 방어막 사령부. 세 꼭짓점까지의 거리가 완벽히 일치하는 등거리 교차 지점.
2. 내심 (Incenter / 각의 이등분선 교점): 내부 코어 캡슐. 갇힌 세 개의 벽(변)까지 뻗어나가는 직각 거리가 완벽히 일치하는 평화 유지 지점.
3. 고대인의 작도법은 결국 현대 그래픽스 코드 안에서 점과 점 사이의 거리, 점과 직선 사이의 거리가 ==(일치)하는 연립방정식을 고속 연산(Math Library)하는 과정에 불과함을 깨달아야 한다.