구의 방정식
본문수박을 칼로 자르면 단면은 언제나 원이다. 한가운데를 자르면 가장 큰 원이, 가장자리 가까이를 자르면 작은 원이 나온다. 지구에서 적도는 가장 큰 원이고, 위도가 높아질수록 위도선의 원은 작아진다. 단면의 반지름은 자르는 위치에 따라 어떤 규칙으로 정해질까? 구를 식 하나로 쓸 수 있다면 답이 보일 것이다.
2.5.1구의 방정식
구는 공간에서 한 점(중심)으로부터 거리가 일정한 점들의 집합이다. 원의 방정식이 평면에서의 거리 공식에서 나왔듯이, 구의 방정식은 공간의 거리 공식에서 나온다.
중심이 \(C(a, b, c)\)이고 반지름이 \(r\)인 구의 방정식은 \[(x - a)^2 + (y - b)^2 + (z - c)^2 = r^2\] 이다. 전개한 꼴 \(x^2 + y^2 + z^2 + Ax + By + Cz + D = 0\)은 완전제곱식으로 고쳐 중심과 반지름을 찾는다.
전개한 식에서 \(x^2\), \(y^2\), \(z^2\)의 계수가 모두 같고 \(xy\) 같은 항이 없어야 구가 된다. 완전제곱식으로 고친 뒤 우변이 양수이면 구, 0이면 한 점, 음수이면 그런 점이 없다.
2.5.2구와 평면의 교선
구 \(x^2 + y^2 + z^2 = r^2\)을 평면 \(z = k\)로 자르면, \(z = k\)를 대입하여 \(x^2 + y^2 = r^2 - k^2\)이다. 따라서 \(|k| < r\)이면 단면은 평면 \(z = k\) 위의 반지름 \(\sqrt{r^2 - k^2}\)인 원이다. 이는 중심에서 평면까지의 거리 \(|k|\), 단면의 반지름, 구의 반지름 \(r\)이 직각삼각형을 이루기 때문이다.1
그림 1에서 \(k\)를 0에서 4까지 움직여 보자. \(k = 0\)이면 단면이 반지름 4인 가장 큰 원이고, \(k\)가 커질수록 작아지다가 \(k = 4\)에서 한 점이 된다. 지구의 위도선이 극으로 갈수록 작아지는 것과 같다.
2.5.3예제 풀이
구 \(x^2 + y^2 + z^2 - 2x + 4y - 6z - 11 = 0\)의 중심과 반지름을 구하고, 이 구를 \(xy\)평면으로 자른 단면의 넓이를 구하여라.
완전제곱식으로 고치면 \((x - 1)^2 + (y + 2)^2 + (z - 3)^2 = 11 + 1 + 4 + 9 = 25\)이다. 중심은 \((1, -2, 3)\), 반지름은 5이다.
\(xy\)평면은 \(z = 0\)이고, 중심에서 \(xy\)평면까지의 거리는 \(z\)좌표의 절댓값 3이다. 단면의 반지름은 \(\sqrt{25 - 9} = 4\)이므로 넓이는 \(16\pi\)이다. 대입으로 확인하면 \(z = 0\)일 때 \((x - 1)^2 + (y + 2)^2 = 16\)으로 같다.
아래 탐구 카드에서 구의 방정식을 쓰고, 전개된 식에서 중심과 반지름을 되찾고, 단면의 크기를 직접 구해 보자.
- 구 위의 점에서 중심까지 그은 반지름에 수직인 평면은 구에 한 점에서만 닿는다. 이를 접평면이라 하며, 원의 접선이 반지름에 수직인 것을 공간으로 넓힌 것이다.
중심이 \((a, b, c)\), 반지름이 \(r\)인 구의 방정식은 \((x - a)^2 + (y - b)^2 + (z - c)^2 = r^2\)이며, 전개한 식은 완전제곱식으로 고쳐 읽는다. 중심에서 거리 \(d\)인 평면으로 자른 단면은 반지름 \(\sqrt{r^2 - d^2}\)인 원이다. 그래서 처음 질문의 수박 단면은 중심에서 멀리 자를수록 작아지며, 그 반지름은 피타고라스 정리로 정해진다.