05. 다섯 번째 수업: 다빈치의 증명 (Da Vinci’s Reflection)

르네상스 최고의 천재 레오나르도 다빈치(Leonardo da Vinci)는 미술, 해부학, 비행기 설계뿐만 아니라 수학에도 깊은 조예를 가졌습니다. 그가 설계한 피타고라스 증명법은 마치 거울상 데칼코마니(반사)처럼 완벽한 대칭 삼각형들을 뒤집어 맞추는 미술적이고 우아한 방식이었습니다.

학습 목표

• 다빈치의 데칼코마니 육각형(Hexagon) 논리를 이해합니다.
• 똑같은 면적을 가로채기(Intercept) 분할하여 증명하는 좌우 대칭의 미학을 경험합니다.
• 파이썬의 tuple 구조를 이용해 똑같은 메모리 단위(도형 면적)의 할당 로직을 배웁니다.

1. 완벽한 거울상 육각형 (Symmetrical Hexagons)

유클리드가 복잡한 선을 내려긋고, 바스카라가 구멍 뚫린 퍼즐을 풀었다면 다빈치는 ‘두 개의 똑같은 이상한 모양의 육각형(Hexagon)’을 만듭니다.

그는 기존 피타고라스 모형(직각삼각형에 정사각형 3개가 달린 기본 모양)의 절반을 쪼개어 거울(Mirror)처럼 뒤집어 서로 맞붙였습니다. 결과적으로 만들어진 두 개의 불규칙 육각형은, 서로 빙그르르 돌려서 바닥에 똑같이 겹쳐보면 완벽하게 모양과 넓이가 같았습니다. 모양은 똑같은데 각 육각형을 채우는 직각삼각형과 정사각형 쪼가리들의 위치만 달랐던 것이죠.

결국 두 육각형의 안쪽 내용물을 수평 저울에 올려두고 공통으로 들어있던 ‘똑같이 생긴 2개의 직각삼각형’을 양쪽에서 치워버리자, 왼쪽 접시에는 두 개의 작은 사각형($a^2 + b^2$)이, 오른쪽 접시에는 거대한 사각형($c^2$)이 정확히 수평을 이루며 살아남았습니다. 이것이 ‘레오나르도 다빈치의 증명’입니다.

2. Python의 Tuple 대칭성과 불변의 양팔저울

프로그래밍 관점에서 다빈치의 데칼코마니 증명은 양쪽에 동일한 메모리양을 올려두고, 똑같은 변수를 차감(Subtract)했을 때 남는 데이터의 총량이 물리적으로 같아야 함을 암시합니다.

이를 파이썬 코드로 흉내 내보겠습니다. 양쪽에 똑같은 데이터를 가진 양팔저울(Tuple)을 생성합니다.

# 다빈치의 육각형 데칼코마니 증명 시뮬레이션

a = 3; b = 4; c = 5
triangle = (a * b) / 2  # 직각삼각형 1개의 넓이 (6.0)

# 다빈치의 왼쪽 육각형 재료: 작은 사각형 2개 + 삼각형 2개
left_hexagon_components = (a**2, b**2, triangle, triangle)

# 다빈치의 오른쪽 육각형 재료: 큰 사각형 1개 + 삼각형 2개
right_hexagon_components = (c**2, triangle, triangle)

print(f"왼쪽 육각형을 구성하는 총넓이: {sum(left_hexagon_components)}")
print(f"오른쪽 육각형을 구성하는 총넓이: {sum(right_hexagon_components)}")
# 출력: 둘 다 37.0으로 완벽히 동일합니다!

# 이제 양쪽에서 공평하게 '삼각형 면적 2개분(12.0)'을 치워버립니다. (저울 내리기)
weight_to_remove = triangle * 2

left_remaining = sum(left_hexagon_components) - weight_to_remove
right_remaining = sum(right_hexagon_components) - weight_to_remove

print(f"\n공통된 삼각형 2개를 양쪽에서 치운 후 왼쪽 접시: {left_remaining}") 
print(f"공통된 삼각형 2개를 양쪽에서 치운 후 오른쪽 접시: {right_remaining}")
# 출력: 왼쪽 접시 25.0 (a^2+b^2) / 오른쪽 접시 25.0 (c^2)

다빈치는 도화지에 그린 기하학적인 그림만으로, 좌변과 우변의 방정식 균형(Balance)을 시각적으로 풀어낸 것입니다.

학습 정리

1. 다빈치의 육각형: 서로 같아 보이지 않는 도형의 조각들을 교묘하게 뒤집고 붙여 두 개의 합동(넓이가 똑같은) 이상한 육각형을 만들어 내는 미술적 창의력.
2. 기하학 증명에서 공통으로 들어간 넓이(두 삼각 평면)를 양쪽에서 동시에 빼앗아버리면, 남는 찌꺼기들의 덩어리($a^2+b^2$ 와 $c^2$)는 무조건 같을 수밖에 없다.
3. 파이썬의 sum() 기능과 등식 구조는 이 고대의 육각형 넓이들을 컴퓨터 메모리 안의 저울에 올려 정확히 양변의 질량 보존 법칙을 보증한다.