수리논술, 이게 다다.

자연계열 1번

오류 제보

문제

[문제 1] (50점) 다음 제시문을 읽고 문항별로 풀이와 함께 답하시오.

1. 모든 정수들의 집합을 Z\displaystyle \mathbb{Z}, 모든 실수들의 집합을 R\displaystyle \mathbb{R}로 나타낸다.

2. 다항식 A\displaystyle A를 다항식 B\displaystyle B (B≠0\displaystyle B \ne 0)로 나누었을 때의 몫을 Q\displaystyle Q, 나머지를 R\displaystyle R라고 하면 A=BQ+R\displaystyle A= BQ+R로 나타낼 수 있다. 이때, R\displaystyle R의 차수는 B\displaystyle B의 차수보다 낮다. 특히, R=0\displaystyle R = 0일 때, A\displaystyle A는 B\displaystyle B로 나누어떨어진다고 한다.

3. 원소가 유한개인 집합을 유한집합이라 하고, 원소가 무한히 많은 집합을 무한집합이라고 한다. 자연수의 집합 N={1,2,3,⋯ }\displaystyle \mathbb{N}=\{1,2,3,\cdots\}은 무한집합이다.

4. 두 집합 A\displaystyle A, B\displaystyle B에 대하여 A\displaystyle A에 속하지만 B\displaystyle B에는 속하지 않는 모든 원소로 이루어진 집합을 A\displaystyle A에 대한 B\displaystyle B의 차집합이라 하고, 기호 A−B\displaystyle A- B로 나타낸다.

5. 함수 f:X→Y\displaystyle f : X \to Y가 일대일함수이고 치역과 공역이 같으면 함수 f\displaystyle f를 일대일대응이라고 한다.

6. 두 함수 f:X→W\displaystyle f : X \to W, g:W→Y\displaystyle g : W \to Y의 합성함수 g∘f\displaystyle g \circ f는 g∘f:X→Y\displaystyle g \circ f : X \to Y, (g∘f)(x)=g(f(x))\displaystyle (g \circ f)(x) = g(f(x))이다.

7. 어떤 명제가 참임을 증명할 때, 결론을 부정하면 가정에 모순되거나 이미 참이라고 알려진 사실에 모순됨을 유도하여 주어진 명제가 참임을 증명하는 증명방법을 귀류법이라고 한다.

[1] 다항식 f(x)=∑n=1100anxn\displaystyle f(x)=\displaystyle\sum_{n=1}^{100}a_nx^n에 대하여 다음 물음에 답하시오. (단, an\displaystyle a_n은 실수)

(1) 다항식 g(x)=∑n=15xn\displaystyle g(x)=\displaystyle\sum_{n=1}^5x^n에 대하여 f(x)={g(x)}20\displaystyle f(x)=\{g(x)\}^{20}일 때, ∑n=150a2n\displaystyle\sum_{n=1}^{50}a_{2n}을 구하시오. [8점]

(2) 다항식 f(x)\displaystyle f(x)가 x2+x+1\displaystyle x^{2} + x + 1로 나누어떨어지고, 다음을 만족할 때, a100\displaystyle a_{100}을 구하시오. [10점]

∑n=133a3n=∑n=133a3n−2=∑n=133a3n−1\displaystyle \sum_{n=1}^{33}a_{3n}=\sum_{n=1}^{33}a_{3n-2}=\sum_{n=1}^{33}a_{3n-1}

[2] 두 집합 X,Y\displaystyle X,Y에 대하여 X⊂R\displaystyle X\subset\mathbb{R},Y={t∣−t2≤t≤t2, t는 실수}∩{t∣0<t≤2, t는 실수}\displaystyle Y=\{t\mid-t^2\le t\le t^2,~t\text{는 실수}\}\cap\{t\mid0<t\le2,~t\text{는 실수}\}일 때, 다음 물음에 답하시오.

(1) 집합 X\displaystyle X가 유한집합이면 집합 R−X\displaystyle \mathbb{R} - X는 무한집합임을 증명하시오. [6점]

(2) (1)을 이용하여 집합 (R−Y)∪(R−Z)\displaystyle (\mathbb{R}-Y)\cup(\mathbb{R}-\mathbb{Z})가 유한집합 또는 무한집합인지 판정하고 그 이유를 설명하시오. [8점]

[3] 집합 X={t∣−5≤t<8, t는 정수}\displaystyle X=\{t\mid-5\le t<8,~t\text{는 정수}\}에 대하여 다음 물음에 답하시오.

(1) 함수 f:X→X\displaystyle f : X \to X와 g:X→X\displaystyle g : X \to X는 일대일함수이고, g∘f=g∘f∘g\displaystyle g \circ f = g \circ f \circ g를 만족한다.이때 함수 g\displaystyle g의 역함수 g−1\displaystyle g^{-1}가 존재함을 증명하고, g−1(7)\displaystyle g^{-1} (7)을 구하시오. [10점]

(2) 집합 X\displaystyle X에서 Z\displaystyle \mathbb{Z}로의 일대일대응인 함수가 존재하지 않는 이유를 설명하시오. [8점]

해설강의 준비중
+2점 · g(1)=5, g(−1)=−1\displaystyle g(1)=5,~g(-1)=-1을 구했으면
+2점 · f(1)=520, f(−1)=1\displaystyle f(1)=5^{20},~f(-1)=1을 구했으면

[1] (1) g(1)=∑n=151n=5\displaystyle g(1)=\displaystyle\sum_{n=1}^51^n=5이고 f(1)=∑n=1100an1n=∑n=1100an\displaystyle f(1)=\displaystyle\sum_{n=1}^{100}a_n1^n=\sum_{n=1}^{100}a_n이다.

f(1)={g(1)}20=520\displaystyle f(1)=\{g(1)\}^{20}=5^{20}이므로 ∑n=1100an=520\displaystyle\sum_{n=1}^{100}a_n=5^{20}이다.

한편 g(−1)=∑n=15(−1)n=−1\displaystyle g(-1)=\displaystyle\sum_{n=1}^5(-1)^n=-1이고 f(−1)=∑n=1100an(−1)n\displaystyle f(-1)=\displaystyle\sum_{n=1}^{100}a_n(-1)^n이다.

f(−1)={g(−1)}20=1\displaystyle f(-1)=\{g(-1)\}^{20}=1이므로 ∑n=1100an(−1)n=1\displaystyle\sum_{n=1}^{100}a_n(-1)^n=1이다.

+4점 · ∑n=150a2n=12(520+1)\displaystyle\sum_{n=1}^{50}a_{2n}=\dfrac12(5^{20}+1)을 구했으면

그런데 2∑n=150a2n=∑n=1100an+∑n=1100an(−1)n=520+1\displaystyle 2\displaystyle\sum_{n=1}^{50}a_{2n}=\sum_{n=1}^{100}a_n+\sum_{n=1}^{100}a_n(-1)^n=5^{20}+1이므로 ∑n=150a2n=12(520+1)\displaystyle\sum_{n=1}^{50}a_{2n}=\dfrac12(5^{20}+1)이다.

+2점 · f(x)=(x2+x+1)Q\displaystyle f(x)=(x^2+x+1)Q인 다항식 Q\displaystyle Q가 존재함을 언급했으면

(2) 다항식 f(x)\displaystyle f(x)가 x2+x+1\displaystyle x^2+x+1로 나누어떨어지므로 f(x)=(x2+x+1)Q\displaystyle f(x)=(x^2+x+1)Q인 다항식 Q\displaystyle Q가 존재한다.

x2+x+1=0\displaystyle x^2+x+1=0을 만족하는 한 허근을 w\displaystyle w라 하면 w2+w+1=0\displaystyle w^2+w+1=0이고 f(w)=0\displaystyle f(w)=0이다.

+2점 · w3=1\displaystyle w^3=1을 구했으면

한편 w3−1=(w−1)(w2+w+1)=0\displaystyle w^3-1=(w-1)(w^2+w+1)=0이므로 w3=1\displaystyle w^3=1이다. 따라서

+2점 · f(w)=∑n=133a3n+∑n=133a3n−2w+∑n=133a3n−1w2+a100w\displaystyle f(w)=\displaystyle\sum_{n=1}^{33}a_{3n}+\sum_{n=1}^{33}a_{3n-2}w+\sum_{n=1}^{33}a_{3n-1}w^2+a_{100}w를 구했으면

f(w)=∑n=1100anwn=(a3+a1w+a2w2)+(a6+a4w+a5w2)+⋯+(a99+a97w+a98w2)+a100w\displaystyle f(w)=\sum_{n=1}^{100}a_nw^n=(a_3+a_1w+a_2w^2)+(a_6+a_4w+a_5w^2)+\cdots+(a_{99}+a_{97}w+a_{98}w^2)+a_{100}w

=∑n=133a3n+∑n=133a3n−2w+∑n=133a3n−1w2+a100w\displaystyle =\sum_{n=1}^{33}a_{3n}+\sum_{n=1}^{33}a_{3n-2}w+\sum_{n=1}^{33}a_{3n-1}w^2+a_{100}w이고

+2점 · f(w)=a100w=0\displaystyle f(w)=a_{100}w=0을 구했으면

가정에 의하여 ∑n=133a3n=∑n=133a3n−2=∑n=133a3n−1\displaystyle\sum_{n=1}^{33}a_{3n}=\sum_{n=1}^{33}a_{3n-2}=\sum_{n=1}^{33}a_{3n-1}이므로

f(w)=∑n=133a3n(1+w+w2)+a100w=a100w\displaystyle f(w)=\sum_{n=1}^{33}a_{3n}(1+w+w^2)+a_{100}w=a_{100}w이다.

+2점 · a100=0\displaystyle a_{100}=0을 구했으면

f(w)=0\displaystyle f(w)=0이므로 a100w=0\displaystyle a_{100}w=0이고 w≠0\displaystyle w\ne0이므로 a100=0\displaystyle a_{100}=0이다.

+2점 · R\displaystyle \mathbb{R}이 무한집합임을 설명했으면

[2] (1) 제시문 3으로부터 N={1,2,3,⋯ }\displaystyle \mathbb{N}=\{1,2,3,\cdots\}은 무한집합이고 N⊂R\displaystyle \mathbb{N}\subset\mathbb{R}이므로 R\displaystyle \mathbb{R}은 무한집합이다.

+2점 · R−X\displaystyle \mathbb{R}-X가 유한집합이라 가정했으면

만일 R−X\displaystyle \mathbb{R}-X가 유한집합이라 가정하면

+2점 · R=X∪(R−X)\displaystyle \mathbb{R}=X\cup(\mathbb{R}-X)이고 X\displaystyle X가 유한집합이므로 R\displaystyle \mathbb{R}은 유한집합임을 유도함으로써 모순을 이끌어냈으면

R=X∪(R−X)\displaystyle \mathbb{R}=X\cup(\mathbb{R}-X)이고 X\displaystyle X가 유한집합이므로 R\displaystyle \mathbb{R}은 유한집합이다. 그런데 이것은 R\displaystyle \mathbb{R}이 무한집합이라는 사실에 모순이다. 따라서 R−X\displaystyle \mathbb{R}-X는 무한집합이다.

+2점 · Y∩Z={1,2}\displaystyle Y\cap\mathbb{Z}=\{1,2\}를 구했으면

(2) Y={t∣−t2≤t≤t2, t는 실수}∩{t∣0<t≤2, t는 실수}={t∣1≤t≤2, t는 실수}\displaystyle Y=\{t\mid-t^2\le t\le t^2,~t\text{는 실수}\}\cap\{t\mid0<t\le2,~t\text{는 실수}\}=\{t\mid1\le t\le2,~t\text{는 실수}\}이다.

따라서 Y∩Z={1,2}\displaystyle Y\cap\mathbb{Z}=\{1,2\}이다.

+2점 · (1)의 결과에 의하여 R−(Y∩Z)\displaystyle \mathbb{R}-(Y\cap\mathbb{Z})가 무한집합임을 이끌어냈으면

그러므로 Y∩Z\displaystyle Y\cap\mathbb{Z}는 유한집합이고 (1)의 결과에 의하여 R−(Y∩Z)\displaystyle \mathbb{R}-(Y\cap\mathbb{Z})는 무한집합이다.

+2점 · (R−Y)∪(R−Z)=R−(Y∩Z)\displaystyle (\mathbb{R}-Y)\cup(\mathbb{R}-\mathbb{Z})=\mathbb{R}-(Y\cap\mathbb{Z})임을 설명했으면

그런데 (R−Y)∪(R−Z)=R−(Y∩Z)\displaystyle (\mathbb{R}-Y)\cup(\mathbb{R}-\mathbb{Z})=\mathbb{R}-(Y\cap\mathbb{Z})이므로

+2점 · (R−Y)∪(R−Z)\displaystyle (\mathbb{R}-Y)\cup(\mathbb{R}-\mathbb{Z})가 무한집합임을 언급했으면

(R−Y)∪(R−Z)\displaystyle (\mathbb{R}-Y)\cup(\mathbb{R}-\mathbb{Z})는 무한집합이다.

+2점 · f(a)=f(g(a))\displaystyle f(a)=f(g(a))을 구했으면

[3] (1) 모든 a∈X\displaystyle a\in X에 대하여 (g∘f)(a)=(g∘f∘g)(a)\displaystyle (g\circ f)(a)=(g\circ f\circ g)(a)이므로 g(f(a))=g(f(g(a)))\displaystyle g(f(a))=g(f(g(a)))이다.

그런데 g\displaystyle g가 일대일함수이므로 f(a)=f(g(a))\displaystyle f(a)=f(g(a))이다.

+2점 · g(a)=a\displaystyle g(a)=a를 구했으면

또한 f\displaystyle f가 일대일함수이므로 g(a)=a\displaystyle g(a)=a이고

+3점 · g(X)=X\displaystyle g(X)=X이므로 g\displaystyle g는 일대일대응이고 g\displaystyle g의 역함수 g−1\displaystyle g^{-1}가 존재함을 보였으면

g(X)=X\displaystyle g(X)=X이므로 g\displaystyle g는 일대일대응이고 g\displaystyle g의 역함수 g−1\displaystyle g^{-1}가 존재한다.

+3점 · g−1(7)=7\displaystyle g^{-1}(7)=7을 구했으면

모든 a∈X\displaystyle a\in X에 대하여 g(a)=a\displaystyle g(a)=a이므로 g−1(a)=a\displaystyle g^{-1}(a)=a이다. 따라서 g−1(7)=7\displaystyle g^{-1}(7)=7이다.

+3점 · X\displaystyle X에서 Z\displaystyle \mathbb{Z}로의 일대일대응 h:X→Z\displaystyle h:X\to\mathbb{Z}가 존재한다고 가정하고 h(X)=Z\displaystyle h(X)=\mathbb{Z}를 언급했으면

(2) 집합 X\displaystyle X에서 Z\displaystyle \mathbb{Z}로의 일대일대응 h:X→Z\displaystyle h:X\to\mathbb{Z}가 존재한다고 가정하자. 그러면 h(X)=Z\displaystyle h(X)=\mathbb{Z}이다.

+2점 · n(X)=13\displaystyle n(X)=13을 구했으면

그런데 n(X)=13\displaystyle n(X)=13이므로

+3점 · h(X)\displaystyle h(X)는 유한집합이고 Z\displaystyle \mathbb{Z}는 무한집합이므로 모순을 유도했으면

h(X)\displaystyle h(X)는 유한집합이고 Z\displaystyle \mathbb{Z}는 무한집합이므로 모순이다. 따라서 h(X)≠Z\displaystyle h(X)\ne\mathbb{Z}이므로 h\displaystyle h는 일대일대응이 아니다. 즉, X\displaystyle X에서 Z\displaystyle \mathbb{Z}로의 일대일대응인 함수가 존재하지 않는다.

첨삭 사례

아직 등록된 첨삭 사례가 없습니다.

질문과 답변 · 0개질문과 답변 · 고정 0개

아직 등록된 질문이 없습니다. 질문 작성은 멤버십 회원만 가능합니다.