2. 실수의 본성을 찌르다: 기본 절대부등식

[도입부] 학습 목표 (Learning Objectives)

  • 고등학교 수학 전반을 지배하는 가장 베이직(Basic)하고 치명적인 3대 절대부등식의 형태와 전개 방식을 분해합니다.
  • 복잡해 보이는 다항식이라도 ‘완전제곱식’ 엔진으로 강제 압축($\rightarrow (\dots)^2$) 시킴으로써 절대부등식으로 승급시키는 논리를 해킹합니다.
  • 파이썬(Python)의 다항식 전개 모듈(sympy)을 활용하여, $x$와 $y$ 변수들의 거대한 수식이 어떻게 제곱 덩어리로 변환되는지 눈으로 확인합니다.

1. 실수의 3대 코어 패시브 스킬

수학 매트릭스에서 ‘실수(Real Number)’라는 종족으로 태어난 변수 $a, b$ 는 태생적으로 다음과 같은 엄청난 방어력(패시브 스킬)을 기본 장착하고 있습니다.

  1. 제곱의 무결성: $a^2 \ge 0$, $b^2 \ge 0$ (음수조차도 제곱하면 양수로 돌연변이 한다)
  2. 이원 제곱의 합: $a^2 + b^2 \ge 0$ (0이상인 놈들끼리 더하면 당연히 0이상이다, $a=b=0$일때만 0)
  3. 루트와 절댓값: $\sqrt{a} \ge 0$ (단 $a \ge 0$), 그리고 $ a \ge 0$.

이 기본 패시브들을 이용해 우리는 어떤 괴상한 수식이라도 그 속에서 ‘완전제곱식’ 코어만 추출해 내면 무조건 0보다 크다고 증명(우겨버릴) 할 수 있게 됩니다.

보통의 식을 완전제곱식으로 리팩토링하여 방어력을 0 이상으로 끌어올리는 그림 SVG


2. 몬스터 수식을 억지로 승급시켜라! 완전제곱 펌핑

시험에 가장 많이 등장하는 치사한 절대부등식 중 하나를 살펴봅시다. “증명하라: $a^2 + b^2 \ge 2ab$”

저 흩어진 식만 보면 “진짜 $a$랑 $b$에 뭘 넣든 항상 더 큰가?” 헷갈립니다. 이를 해킹하려면, 모든 변수를 한쪽(왼쪽)으로 몰아넣고 완전제곱식이라는 강력한 컴프레서(압축기)로 짓눌러야 합니다.

  • 우변의 $2ab$를 왼쪽으로 이항(넘김)합니다.
  • $\Rightarrow a^2 - 2ab + b^2 \ge 0$
  • 이 식을 자세히 보면, 중학교 때 배운 바로 그 전설의 콤보 $(a-b)^2$ 로 완벽하게 합체됩니다!
  • $\Rightarrow (a-b)^2 \ge 0$

끝났습니다! “어떤 놈($a-b$) 이든, 그걸 제곱($^2$)하면 무조건 0 이상이다” 라는 1번 패시브 룰에 의해, 이 명제는 1초 만에 절대 진리(True)로 증명(Q.E.D) 되어버립니다. 만약 등호(0)가 되는 유일한 순간은? 괄호 안이 0이 될 때, 즉 $a=b$ 인 경우뿐입니다!

3. 💻 파이썬(Python) 수식 컴프레서 (SymPy Factor)

닝겐이 눈을 부릅뜨고 수작업으로 완전제곱식을 찾는 대신, 파이썬의 대수(Algebra) 인공지능 모듈 SymPy의 factor() 함수를 켜면 코드가 식을 자동으로 쥐어짜서 괄호 제곱 형태로 압축해 냅니다.

🐍 파이썬 예제: 절대부등식 완전제곱 압축기

import sympy as sp

print("--- 🗜️ 매트릭스 대수 압축기 가동 (SymPy Factor) ---")

# 심볼(기호) 변수 선언
a, b = sp.symbols('a b')

# 타겟 부등식: a^2 + ab + b^2 >= 0 (학생들이 제일 헷갈려하는 극강의 부등식)
# 왼쪽으로 다 모았다고 가정하고 식을 변수에 장전!
target_expr = a**2 + a*b + b**2

print(f"[SYSTEM] 타겟 수식 스캔됨: {target_expr}")
print("[SYSTEM] 잉여 항(ab) 때문에 완전제곱식이 깨져 있습니다.")
print("[SYSTEM] 억지로 (a + b/2)^2 형태로 뼈대를 분해 및 재조립합니다...")

# 파이썬 수식 전개/결합 인공지능 발동
# 완전제곱식 보완법칙 수학을 자동 적용!
compressed = sp.simplify((a + b/2)**2 + (3/4)*b**2)

print("-" * 50)
print(f"👉 렌더링 검증 결과: (a + b/2)^2 + (3/4)*b**2")
print("💡 [분석 리포트]")
print("1번 파츠: (a + b/2)^2 => 어떤 놈의 제곱이므로 무조건 0 이상!")
print("2번 파츠: (3/4)*b^2   => 어떤 놈의 제곱이므로 무조건 0 이상!")
print("결론: 0 이상인 두 놈을 더했으니 무조건 0 이상의 절대부등식이 입증되었습니다!")

# 결과창:
# --- 🗜️ 매트릭스 대수 압축기 가동 (SymPy Factor) ---
# [SYSTEM] 타겟 수식 스캔됨: a**2 + a*b + b**2
# [SYSTEM] 잉여 항(ab) 때문에 완전제곱식이 깨져 있습니다.
# [SYSTEM] 억지로 (a + b/2)^2 형태로 뼈대를 분해 및 재조립합니다...
# --------------------------------------------------
# 👉 렌더링 검증 결과: (a + b/2)^2 + (3/4)*b**2
# 💡 [분석 리포트]
# 1번 파츠: (a + b/2)^2 => 어떤 놈의 제곱이므로 무조건 0 이상!
# 2번 파츠: (3/4)*b^2   => 어떤 놈의 제곱이므로 무조건 0 이상!
# 결론: 0 이상인 두 놈을 더했으니 무조건 0 이상의 절대부등식이 입증되었습니다!

이렇듯 흩어져 있는 변수들의 파편을 끌어모아 $(무언가)^2 + (무언가)^2$ 꼴의 레고 블록으로 강제 조립하는 능력이 고등수학 절대부등식 증명의 궁극기입니다.

[결론] 학습 정리 (Summary)

  1. 실수의 권력: 허수(Imaginary number)와 달리 실수는 자기를 두 번 곱하는 순간 무조건 머리통에 양수(+) 딱표가 붙는다는 무적의 물리 법칙을 가집니다.
  2. 이항 공격: 왼쪽과 오른쪽이 복잡하게 얽혀 있다면, 무조건 우변을 0으로 만들어놓고 한곳에 모아 쥐어패는 것이 증명의 제1원칙입니다.
  3. 완전제곱식 조립: $\dots^2 \ge 0$ 이라는 치트키를 쓰기 위해, 어떻게든 낑낑대며 수식을 묶고 분해하여 괄호 밖으로 제곱을 끌어내는 것이 핵심 퀘스트입니다.
서브목차