시중에 그래프를 이용한 풀이는 많이 있기 때문에 저는 오로지 교과서에 나오는 개념만을 이용해 식으로 풀어내는 풀이가 궁금해졌습니다. 따라서 그래프를 완벽히 배제하고 식으로만 풀어보도록 하겠습니다.
다소 괴랄한 문제로 논란이 많았던 문제인데요, 개념만 알고 있어도 풀 수는 있는 문제라는 것을 보여드리겠습니다.
실용적인 풀이는 아니라는 것 유념해주시고, 재미로만 봐주세요!
\[
f(x) = \pi \sin(2 \pi x)
\]
이 주어져 있습니다.
\[
g(x) = I(x \in S) =
\begin{cases}
1 & \text{if } x \in S, \\
0 & \text{if } x \in S^c
\end{cases}
\quad \text{for some set S}
\]
g(x)를 이렇게 정의하면 더 알아보기 쉽겠죠?
\[
S \subset \mathbb{R}, \quad S^c = \mathbb{R} \setminus S, \quad S \cup S^c = \mathbb{R}, \quad n \in \mathbb{N}
\]
g가 실수 전체에서 정의된다는 것을 확인할 수 있습니다.
S는 g가 1이 되는 정의역 집합이고, S의 여집합은 g가 0이 되는 정의역 집합입니다.
\[
h(x) = \pi \sin(2 n \pi x) \cdot I(x \in S)
\]
그러면 h(x)는 이와 같이 정의 됩니다.
h(x)가 연속이 되려면, 연속의 정의를 이용해서 다음을 보일 수 있습니다.
k가 S집합과 S의 여집합 사이의 경계 원소라고 한다면,
\[
k = \frac{m}{2n}, \quad m \in \mathbb{Z}
\]
S 안에는 여러 구간이 존재할 수 있으므로, S를 새롭게 정의해보겠습니다.
\[
S = \{ S_1, S_2, S_3, \dots \}, \quad |S| = n(S)
\]
\[
S_i = \left\{ x \, \middle| \, \frac{m_i}{2n} < x < \frac{m_i + 1}{2n} \right\}, \quad i = 1, \dots, |S|
\]
Si는 위와 같은 조건을 만족해야합니다. 가능한 모든 케이스를 표현하기 위해 각 Si를 최소 구간으로 잡았습니다.
\[
\int_{-1}^1 h(x) \, dx = \int_{-1}^1 \pi \sin(2 n\pi x) I(x \in S_i) \, dx = \int_{S_i \cap [-1,1]} \pi \sin(2n \pi x) \, dx = 2
\]
조건에 h(x)값을 우리가 구한 것으로 대입해주면 위와 같습니다.
\[
A = S \cap [-1,1]
\]
A를 새롭게 정의해보겠습니다.
\[
-1 \leq \frac{m_i}{2n} < x < \frac{m_i + 1}{2n} \leq 1
\quad \Rightarrow \quad
m_i \geq -2n \quad \& \quad m_i \leq 2n - 1
\quad \therefore \quad
-2n \leq m_i \leq 2n - 1 \quad \text{for all } i
\]
A 집합 안에 있는 m은 위의 조건을 만족해야합니다.
문제에 있는 xh(x) 조건에 이제 대입해보겠습니다.
\[
\int_{-1}^{1} x h(x) \, dx = \int_{S_i \cap [-1,1]} \pi x \sin(2n\pi x) \, dx
\]
\[
= - \frac{\pi x}{2n\pi} \cos(2n\pi x) \Bigg|_{S_i \cap [-1,1]}
+ \int_{S_i \cap [-1,1]} \frac{\pi}{2n\pi} \cos(2n\pi x) \, dx
\]
\[
= \sum_{i=1}^{|A|} \left( -\frac{1}{2n} \right)
\left( \frac{m_i + 1}{2n} \cos(2n\pi \cdot \frac{m_i + 1}{2n})
- \frac{m_i}{2n} \cos(2n\pi \cdot \frac{m_i}{2n}) \right) + 0
\]
cos의 대칭성 때문에 적분값이 0이 됩니다.
또한, A의 부분집합 중에서 부분집합의 하한이 짝수/2n인 경우와, 홀수/2n인 경우로 나눠보겠습니다.
\[
E = \left\{ i \,\middle|\, |m_i| \equiv 0 \pmod{2} \right\} , \quad
O = \left\{ i \,\middle|\, |m_i| \equiv 1 \pmod{2} \right\}
\]
\[
= -\frac{1}{2n} \left[
\sum_{i \in E} \left( \frac{m_i + 1}{2n} (-1) - \frac{m_i}{2n} \right)
+ \sum_{i \in O} \left( \frac{m_i + 1}{2n} (1) + \frac{m_i}{2n} \right)
\right]
\]
\[
= -\frac{1}{4n^2} \left[
\sum_{i \in E} \left( -m_i - 1 - m_i \right)
+ \sum_{i \in O} \left( m_i + 1 + m_i \right)
\right]
\]
\[
= -\frac{1}{4n^2} \left[
\sum_{i \in E} (-2m_i)
+ \sum_{i \in O} (2m_i) - |E| + |O|
\right] = -\frac{1}{32}
\]
\[
\therefore \left[
\sum_{i \in E} (-2m_i)
+ \sum_{i \in O} (2m_i) - |E| + |O|
\right] = \frac{n^2}{8}
\]
이제 식이 잘 정리됐습니다.
h(x)관련 조건도 E와 O에 대해 정리해보겠습니다.
\[
\int_{S_i \cap [-1,1]} \pi \sin(2n \pi x) \, dx
\]
\[
= \frac{1}{n} |E| - \frac{1}{n} |O| = 2
\]
구간마다 적분값이 1/n, -1/n으로 달라지기 때문에 위와 같이 표현됩니다.
적분값이 1/n인 이유는 간단합니다.
\[
\int_0^{\frac{1}{2n}} \pi \sin(2n\pi x) \, dx
\]
\[
= \frac{-\pi}{2n\pi} \cos(2n\pi x) \Bigg|_0^{\frac{1}{2n}}
\]
\[
= \frac{-1}{2n} \left( -1 - 1 \right) = \frac{1}{n}
\]
E의 대표적인 케이스인 [0,1/2n]에서 적분해보았고,
모든 E에 해당하는 구간은 1/n의 적분값을 갖습니다.
O는 적분값이 부호만 반대가 되겠죠.
\[
\left[
\sum_{i \in E} (-2m_i) + \sum_{i \in O} (2m_i) - |E| + |O|
\right] = \frac{n^2}{8}
\]
\[
|E| - |O| = 2n
\]
이제 이 두 식을 연립하기만 하면 됩니다.
\[
\sum_{i \in E} (-2m_i) + \sum_{i \in O} (2m_i) - 2n = \frac{n^2}{8}
\]
\[
\sum_{i \in E} (-m_i) + \sum_{i \in O} (m_i) = \frac{n^2}{16} + n = \frac{n^2 + 16n}{16} \in \mathbb{Z}
\]
그럼 위와 같은 식이 됩니다.
\[
\therefore \frac{n(n+16)}{16} \in \mathbb{Z}
\quad \& \quad |E| - |O| = 2n \quad \&
\]
\[
\sum_{i \in E} (-m_i) + \sum_{i \in O} (m_i) = \frac{n^2 + 16n}{16}
\quad \& \quad -2n \leq m_i \leq 2n - 1
\]
정리하면 이 4개의 조건을 만족하는 n이 답입니다.
이 식은 아름답고, 쉽게 정리되는데요.
우선 첫번째 정수조건을 만족하기 위해서는 n이 4의 배수가 될 수 밖에 없습니다.
이건 귀납적으로 증명하셔도 되고, 귀류법으로 증명하셔도 됩니다.
두번째 조건과 네번째 조건이 결합되면 아주 기분 좋은 형태가 되는데요,
잘 생각해보면 -2n과 2n-1 사이에 E조건을 만족하는 m, 즉 +짝수, 0, -짝수의 개수는 최대 2n개 존재할 수 있습니다.
그런데, O집합의 크기는 항상 0이상이기 때문에, E집합의 크기와 O집합의 크기의 차가 2n을 만족하려면,
반드시 E집합 크기가 2n이고, O집합 크기가 0이어야 합니다.
그러면,
\[
\sum_{i \in E} (-m_i) + \sum_{i \in O} (m_i) = \sum_{i \in E} (-m_i)
\]
입니다.
결국 -2n부터 2n-2까지를 더하는 것이므로 남는 것은 -2n입니다.
부호가 (-)이므로 sum의 결과는 2n이죠.
결론은,
\[
2n = \frac{n(n+16)}{16} \quad (n \equiv 0 \pmod{4})
\]
\[
32n = n^2 + 16n
\]
\[
n^2 - 16n = 0 \quad \therefore n = 0 \text{ or } 16
\]
이므로, 답은 16이며 수능 문제의 중요한 관건인 유일성도 만족됐습니다.