들어가며
\(y=x^2\)의 그래프(포물선)는 y축을 기준으로 왼쪽과 오른쪽이 거울처럼 똑같습니다. 그런데 \(y=x^3\)의 그래프는 그렇지 않습니다 — 대신 원점을 중심으로 정확히 반대편에 똑같은 모양이 뒤집혀 있습니다. 교과서는 이걸 "지수가 짝수면 우함수(y축 대칭), 지수가 홀수면 기함수(원점 대칭)"라고 딱 잘라 알려주지만, 정작 "왜 짝수·홀수라는 딱 두 경우로만 갈리는가"는 그냥 외우고 넘어가기 쉽습니다.
여기에는 한 가지 오해도 숨어 있습니다. "원점에 대해 대칭"이라는 말을 들으면 흔히 거울 하나에 비친 모습을 떠올리기 쉬운데, 실제로는 그렇지 않습니다. 이 글은 지수의 짝수·홀수가 부호를 어떻게 정하는지(1절), 그 부호가 어떻게 그래프의 대칭으로 이어지는지(2절), 그리고 원점 대칭이 사실은 거울 한 번이 아니라 두 번 뒤집어야 나오는 것임을(3절) 한 편에서 다룹니다.
1. 거듭제곱의 부호 — 마이너스를 몇 번 곱하나
먼저 마이너스 부호 하나만 따로 떼어 살펴보겠습니다. \(-1\)을 거듭 곱하면 부호가 매번 뒤집힙니다.
$$(-1)^1=-1,\quad (-1)^2=1,\quad (-1)^3=-1,\quad (-1)^4=1,\ \dots$$곱하는 횟수(지수)가 하나씩 늘 때마다 부호가 한 번씩 뒤집히므로, 최종 부호는 짝수 번 뒤집었는지 홀수 번 뒤집었는지에만 달려 있습니다. 짝수 번이면 뒤집기가 짝을 지어 서로 상쇄되어 원래 부호(양수)로 돌아오고, 홀수 번이면 마지막에 뒤집기 하나가 남아 부호가 바뀐 채로 끝납니다. 식으로 정리하면 다음과 같습니다.
$$(-1)^n = \begin{cases} 1 & (n\text{이 짝수}) \\ -1 & (n\text{이 홀수}) \end{cases}$$이제 \(-x\)를 \(n\)제곱한 것, 즉 \((-x)^n\)을 생각해 보겠습니다. \(-x\)는 \((-1)\times x\)이므로, \((-x)^n = (-1)^n \times x^n\)으로 쪼갤 수 있습니다. 방금 본 대로 \((-1)^n\)은 \(n\)의 짝·홀에 따라 \(1\) 또는 \(-1\)이므로,
$$(-x)^n = \begin{cases} x^n & (n\text{이 짝수}) \\ -x^n & (n\text{이 홀수}) \end{cases}$$이 되어, 입력의 부호를 바꿨을 때 결과의 부호가 그대로인지 뒤집히는지가 지수의 패리티(짝수·홀수 여부) 하나로 완전히 결정됩니다.
2. 그 부호가 그래프의 대칭을 만든다 — 우함수와 기함수
이제 이 부호 규칙을 함수 \(f(x)=x^n\)의 그래프에 적용해 보겠습니다. 여기서 \(f(-x)\)는 "입력으로 \(-x\)를 넣었을 때 나오는 출력"을 뜻합니다(예: \(f(x)=x^2\)이면 \(f(-x)=(-x)^2\)).
수학에서는 그래프의 좌우 대칭·점 대칭을 다음 두 가지로 구분해 부릅니다.
- 우함수(even function): 모든 \(x\)에서 \(f(-x)=f(x)\)가 성립. 그래프가 y축에 대해 거울 대칭.
- 기함수(odd function): 모든 \(x\)에서 \(f(-x)=-f(x)\)가 성립. 그래프가 원점에 대해 대칭.
1절에서 구한 식 \((-x)^n = \pm x^n\)을 그대로 대입하면, \(f(x)=x^n\)에 대해
- \(n\)이 짝수면 \(f(-x)=(-x)^n=x^n=f(x)\) → 정의상 곧바로 우함수.
- \(n\)이 홀수면 \(f(-x)=(-x)^n=-x^n=-f(x)\) → 정의상 곧바로 기함수.
가 됩니다. 즉 "지수의 짝·홀이 대칭의 종류를 정한다"는 규칙은 별도의 성질이 아니라, 1절의 부호 규칙을 우함수·기함수의 정의에 그대로 대입한 결과일 뿐입니다.
숫자로 확인해 보겠습니다. \(x_0=1.2\)라 하겠습니다.
- \(n=2\)일 때: \(f(1.2)=1.2^2=1.44\)이고 \(f(-1.2)=(-1.2)^2=1.44\). 정확히 \(f(-1.2)=f(1.2)\) — 우함수의 정의를 만족합니다.
- \(n=3\)일 때: \(f(1.2)=1.2^3=1.728\)이고 \(f(-1.2)=(-1.2)^3=-1.728\). 정확히 \(f(-1.2)=-f(1.2)\) — 기함수의 정의를 만족합니다.
3. 기함수의 대칭은 왜 '거울'이 아니라 '180도 회전'인가 — 두 번 뒤집기
여기서 흔한 오해 하나를 짚고 넘어가겠습니다. "원점에 대해 대칭"이라는 말 때문에, 기함수의 대칭도 우함수처럼 거울 한 번 비친 모습이라고 생각하기 쉽습니다. 하지만 \(f(-x)=-f(x)\)라는 식을 잘 보면, 여기엔 부호 뒤집기가 두 번 들어 있습니다.
점 \((x_0, f(x_0))\)에서 시작해 실제 곡선 위의 점 \((-x_0, f(-x_0))\)까지 가는 과정을 한 단계씩 나눠 보겠습니다.
- 1단계 — y축 거울(좌우 뒤집기): \(x\)좌표의 부호만 바꿉니다. \((x_0, f(x_0)) \to (-x_0, f(x_0))\). 이 점을 A라 하면, A는 "\(x\)를 \(-x_0\)로 바꿨지만 \(y\)는 그대로 둔" 점입니다.
- 2단계 — x축 거울(위아래 뒤집기): 이번엔 A의 \(y\)좌표 부호를 바꿉니다. \((-x_0, f(x_0)) \to (-x_0, -f(x_0))\). 이 점을 B라 하면, B는 A를 다시 위아래로 한 번 더 뒤집은 점입니다.
기함수는 정의상 \(f(-x_0)=-f(x_0)\)이므로, 실제 곡선 위의 점은 A가 아니라 B입니다. 즉 1단계(y축 거울)만으로는 곡선에 닿지 못하고, 2단계(x축 거울)까지 마쳐야 비로소 진짜 곡선 위의 점에 도착합니다. 종이를 한 번 좌우로 뒤집고, 그 뒤집힌 종이를 다시 위아래로 뒤집으면 원래 종이를 그 자리에서 180도 돌린 것과 똑같아지는 것과 같은 이치입니다. 서로 수직인 두 대칭축(y축과 x축)에 대해 차례로 두 번 반사하면, 그 결과는 두 축이 만나는 점(원점)을 중심으로 180도 회전한 것과 정확히 같아지기 때문입니다.
반대로 우함수는 1단계(y축 거울)에서 이미 A가 곡선 위의 점과 일치합니다(\(f(-x_0)=f(x_0)\)이므로). 그래서 우함수의 대칭은 정말로 거울 한 번으로 충분한 대칭이고, 기함수의 대칭은 거울 두 번(=180도 회전)이 필요한, 성격이 다른 대칭입니다.
4. 직접 확인해보기
첫 번째 인터랙티브는 1절 이야기입니다. 지수 \(n\)을 슬라이더로 바꾸면 \(-1\) 칸이 \(n\)개만큼 나란히 곱해지는 과정이 보이고, 몇 번째 칸에서 부호가 뒤집히는지, 최종 부호가 \(n\)의 짝·홀에 따라 어떻게 정해지는지 확인할 수 있습니다.
두 번째 인터랙티브는 2·3절 이야기입니다. \(x_0\) 슬라이더로 곡선 위의 점 하나를 고르고, "0단계 → 1단계(y축 거울) → 2단계(x축 거울)" 버튼을 눌러 그 점이 어떻게 이동하는지 지켜보세요. 곡선 위에 항상 표시되는 초록색 점(실제 \(f(-x_0)\))과, 1단계·2단계에서 나타나는 점의 위치가 언제 겹치는지 비교하면 — 지수 \(n\)이 짝수일 땐 1단계에서, 홀수일 땐 2단계에서 정확히 겹치는 것을 눈으로 확인할 수 있습니다.
핵심 정리
- \((-1)^n\)의 부호는 \(n\)을 짝수 번 곱했는지 홀수 번 곱했는지에만 달려 있다 — 짝수면 \(1\), 홀수면 \(-1\)이다.
- 이 규칙을 \(f(x)=x^n\)에 적용하면 \((-x)^n=\pm x^n\)이 되어, \(n\)이 짝수면 \(f(-x)=f(x)\)(우함수, y축 대칭), 홀수면 \(f(-x)=-f(x)\)(기함수, 원점 대칭)가 자동으로 정해진다.
- "원점 대칭"은 거울 한 번짜리 대칭이 아니다. \(f(-x)=-f(x)\)는 y축 거울(1단계)과 x축 거울(2단계)을 차례로 두 번 적용한 결과이며, 이는 곧 원점을 중심으로 한 180도 회전과 같다.
- 반면 우함수의 y축 대칭은 거울 한 번(1단계)만으로 완성된다 — 그래서 두 대칭은 "닮은 대칭"이 아니라 뒤집는 횟수 자체가 다른 대칭이다.
\(x^2\)은 왜 y축 대칭이고 \(x^3\)은 왜 원점 대칭인지 다음에 다시 묻는다면, 이제는 "외워서"가 아니라 "\(-1\)을 몇 번 곱했는지"와 "거울을 몇 번 거쳤는지"로 답할 수 있을 것입니다.
함께 보면 좋은 글 — 함수란 결국 무엇인가 — '하나만' 대응이라는 한 가지 약속 (이 글에서 다루는 대칭을 이야기하려면 먼저 필요한 함수 자체의 정의) · 근의 공식은 왜 하필 그 모양인가 (대표적인 우함수 \(y=x^2\)이 처음 등장하는 글)