10. 열 번째 수업: 피타고라스 정리 역증명 (Converse of Pythagoras)

“직각삼각형이면 무조건 $a^2 + b^2 = c^2$ 이 성립한다.” 이 명제는 너무 쉽습니다. 그렇다면 그것을 거꾸로 뒤집었을 때는 어떨까요?

“어떤 삼각형이 만약에 $a^2 + b^2 = c^2$ 수식을 통과한다면, 무슨 일이 있어도 얘는 직각삼각형이다!” 놀랍게도 피타고라스의 정리는 ‘역(Converse)’ 방향으로도 절대적인 참(True) 증명이 성립합니다.

학습 목표

  • 피타고라스 정리의 역증명이 의미하는 강력한 판별기(Validator)의 논리 구조를 이해합니다.
  • 줘진 세 변의 길이만으로 이 삼각형이 예각인지, 직각인지, 둔각인지 판별하는 방법을 배웁니다.
  • 파이썬의 조건문(if, elif, else)을 사용하여 세 변의 데이터를 분석하는 AI 자동 판독 코드를 실습합니다.

1. 보지 않고도 직각임을 알아내는 법

고대 이집트인들은 거대한 피라미드를 지을 때, 바닥의 큼지막한 돌 모서리가 정확히 $90^\circ$ ‘직각’ 인지 어떻게 알 수 있었을까요? 수천 년 전에는 레이저 측정기구도 없었습니다.

그들은 일정한 간격의 매듭이 $3개, 4개, 5개$ 찍혀있는 밧줄을 가져다가 끝을 서로 이어 붙였습니다. 그리고 말뚝을 박아 팽팽하게 삼각형 모양으로 당겨 보았습니다.

$3^2 + 4^2 = 5^2$ ($9 + 16 = 25$)

그들이 팽팽하게 당긴 삼각형의 세 변이 피타고라스의 식을 만족시켰으므로, 각도기가 없어도 $3$과 $4$가 만나는 부분은 우주가 무너져도 무조건 직각($90^\circ$)이라는 사실을 100% 확신할 수 있었습니다. 식이 맞으면 모양도 직각이라는 강력한 역증명 판독기입니다.

예각, 직각, 둔각 삼각형에 대해 a^2+b^2 수식이 논리적으로 참-거짓을 판별해내는 SVG 애니메이션

가장 긴 빗변($c$)의 제곱 크기를 기준으로 다음과 같이 쉽게 판독이 가능합니다:

  • $c^2 < a^2 + b^2$ 이면, 빗변이 아직 덜 길어졌으므로 뾰족한 예각삼각형.
  • $c^2 == a^2 + b^2$ 이면, 비로소 직각삼각형!
  • $c^2 > a^2 + b^2$ 이면, 빗변이 무식하게 쭉 늘어나 벌어진 뚱뚱한 둔각삼각형.

2. Python의 논리 회로: If 조건 판별기

인공지능 로봇 청소기가 모서리를 돌아나갈 때 이 각도가 얼마나 날카로운지(직각인지 둔각인지) 세 변의 길이 센서만 가지고 파악하도록, 파이썬의 if 조건문을 통해 초고속 판독기를 만들어 보겠습니다.

# 파이썬으로 만드는 AI 마법의 삼각형 판독기 (Converse Validator)

# 세 변의 센서 측정값 (일단 무조건 c가 가장 긴 변이라고 가정)
a = 6
b = 8
c = 10 

print(f"입력된 세 변의 길이: {a}, {b}, {c}")

left_side = a**2 + b**2     # 36 + 64 = 100
longest_side = c**2         # 100

# 파이썬의 `if-elif-else` 다중 조건문(Decision Tree) 돌파
if longest_side == left_side:
    print("🤖 삐빅! 판독 결과: 완벽한 90도 직각삼각형입니다. 벽에 꼭 맞습니다.")

elif longest_side > left_side:
    print("🤖 삐빅! 판독 결과: 둔각(Obtuse) 삼각형입니다. 너무 퍼져 있습니다.")

else:
    print("🤖 삐빅! 판독 결과: 예각(Acute) 삼각형입니다. 너무 뾰족합니다.")

# 출력: 삐빅! 판독 결과: 완벽한 90도 직각삼각형입니다. 벽에 꼭 맞습니다.

파이썬 엔진은 $c^2 == a^2 + b^2$ 논리식이 True 를 반환하는 즉시 해당 if 블록 안으로 들어갑니다. 이것이 현대 인공지능이 도형의 형태를 시각적으로 직접 보지 않고도, 수식만으로 데이터의 형태(Pattern)를 감지하는 방법입니다.

학습 정리

  1. 피타고라스의 역(Converse): 피타고라스 식이 맞아떨어지는 숫자 $3$개(예: $3, 4, 5$ / $5, 12, 13$)를 가지고 삼각형을 만들면 무조건 가장 긴 변과 마주 보는 각은 수직($90^\circ$) 직각이 된다는 역방향 논리 체계.
  2. 컴퓨터 프로그래밍 환경에서 if c**2 == a**2 + b**2: 같은 분기문은 보이지 않는 데이터를 판독하고 분류(Classification)하는 핵심 지능 엔진 역할을 생생하게 수행한다.
서브목차