02. 두 번째 수업: 제곱근의 성질과 절댓값 (Properties of Roots)

루트 안의 숫자는 항상 양수(Positive)로 유지되고, 밖으로 튀어나오는 결과 역시 양수여야 합니다. 그 이유는 ‘면적’이나 ‘길이’에는 마이너스가 존재할 수 없기 때문입니다. 하지만 만약 마이너스 숫자가 억지로 침입하려 든다면 어떤 일이 벌어질까요?


1. 제곱 루트 세탁기: $\sqrt{a^2} = |a|$

학생들이 가장 많이 헷갈리고 고등학교에 가서도 틀리는 무서운 규칙 하나를 소개하겠습니다. 바로 다음 수식입니다.

\[\sqrt{a^2} = a \quad \text{(거짓! 틀렸습니다!)}\]

왜 이 단순해 보이는 문장이 틀렸을까요? 음수를 넣어보겠습니다. $a = -5$ 라고 가정해 봅시다. 만약 위 공식이 맞다면 $\sqrt{(-5)^2} = -5$ 가 되어야 합니다.

음수 -5가 먼저 제곱의 과정을 거쳐 +25로 살균된 뒤, 루트를 거쳐 무조건 +5 양수로 부활하는 세탁 과정을 보여주는 SVG 벡터 다이어그램

루트 수식을 단계별로 뜯어보겠습니다:

  1. 먼저 근호(루트) 안에 있는 제곱, $(-5)^2$ 을 계산합니다. 마이너스가 두 번 곱해지므로 양수 $25$가 됩니다.
  2. $\sqrt{25}$ 를 계산합니다. 넓이가 25인 정상적인 양의 정사각형 변은 $5$입니다.
  3. 즉, 출발은 $-5$ 였지만 도착은 $+5$ 로 끝났습니다. 세탁기를 돌리고 나니 더러운 때(마이너스)가 싹 빠져버린 겁니다!
이처럼 제곱을 한 뒤 루트를 씌우는 행위는 무조건 부호를 플러스로 만들어버리기 때문에, 거리에 마이너스를 없애는 수학의 또 다른 기호인 **절댓값(Absolute Value, $ a $)**과 완벽히 동일한 기능을 수행합니다.

진짜 완벽한 공식: \(\sqrt{a^2} = |a| = \begin{cases} a & (a \geq 0) \\ -a & (a < 0) \end{cases}\)

2. 곱셈과 나눗셈의 자유로운 결합

루트(뿌리)들끼리는 곱하거나 나눌 때 마치 한 지붕 아래의 한 가족처럼 아주 자유롭게 합쳐지거나 쪼개집니다. (단, 루트 안쪽이 모두 $0$ 이상의 양수라는 가정 하에서만 평화가 유지됩니다!)

  • $\sqrt{2} \times \sqrt{3} = \sqrt{2 \times 3} = \sqrt{6}$
  • $\frac{\sqrt{18}}{\sqrt{2}} = \sqrt{\frac{18}{2}} = \sqrt{9} = 3$

같은 뿌리 성질(거듭제곱근의 차원)을 가지고 있다면, 안에 있는 알맹이끼리 먼저 합쳐서 한 방에 요리해도 아무런 상관이 없습니다.

3. 파이썬으로 겪는 절대값의 배신 증명

컴퓨터 프로그래밍에서 거리나 픽셀 좌표를 계산할 때 “마이너스 거리”가 발생해 화면 밖으로 스프라이트가 날아가 버리는 버그를 막기 위해, 우리는 의도적으로 제곱 후 루트 세탁법을 파이썬 코드상에서 사용하기도 합니다!

# [Python] 파이썬을 이용한 절대값과 제곱/루트 실험
import math

def root_of_square(a):
    print(f"\n[{a}] 실험 시작!")
    # 1. 숫자를 먼저 제곱한다
    squared = a ** 2
    print(f"-> 1단계: 마이너스를 소각시켰습니다. a^2 = {squared}")
    
    # 2. 제곱된 숫자에 루트를 씌운다
    rooted = math.sqrt(squared)
    print(f"-> 2단계: 양의 뿌리를 추출했습니다. sqrt(a^2) = {rooted}")
    
    # 3. 절댓값 내장 함수 abs()와 비교
    absolute_val = abs(a)
    
    if rooted == absolute_val:
        print(f"[결론] sqrt({a}^2) 는 완벽히 |{a}| 와 일치합니다!")
    else:
        print("[결론] 수학이 붕괴되었습니다!")
    
    return int(rooted)

# +5 와 -5 둘 다 실험해보자!
print("수학 공식: sqrt(a^2) = |a| 의 완벽한 검증기")
root_of_square(5)
root_of_square(-5)

[실행 결과]

수학 공식: sqrt(a^2) = |a| 의 완벽한 검증기

[5] 실험 시작!
-> 1단계: 마이너스를 소각시켰습니다. a^2 = 25
-> 2단계: 양의 뿌리를 추출했습니다. sqrt(a^2) = 5.0
[결론] sqrt(5^2) 는 완벽히 |5| 와 일치합니다!

[-5] 실험 시작!
-> 1단계: 마이너스를 소각시켰습니다. a^2 = 25
-> 2단계: 양의 뿌리를 추출했습니다. sqrt(a^2) = 5.0
[결론] sqrt(-5^2) 는 완벽히 |-5| 와 일치합니다!

이 코드에서 알 수 있듯, 어떠한 마이너스 숫자를 집어넣어도 $x^2 \rightarrow \sqrt{y}$ 파이프라인(세탁 과정)을 거치고 나면 무조건적으로 양수로 환생하게 됩니다. 수학의 규칙은 정말로 기계보다 엄격하죠?

서브목차