수리논술, 배움에서 논증의 완성까지.

의예과 2번

문제

<논술 2> 다음 제시문을 읽고 지시에 따라 논술하시오.

[가] x\displaystyle xy\displaystyle y가 매개변수라 불리는 t\displaystyle t의 연속함수로 연립방정식 x=f(t),y=g(t)\displaystyle x=f(t),y=g(t)로 주어졌을 때, 이 방정식을 매개변수방정식이라 한다. t\displaystyle t가 변할 때, 점 (x,y)=(f(t),g(t))\displaystyle (x,y)=(f(t),g(t))도 변하고 그 자취를 따라 곡선이 형성되며 이것을 매개변수곡선이라 부른다. 예를 들어 포물선 y=x2\displaystyle y=x^2x=t,y=t2\displaystyle x=t,y=t^2이라는 매개변수방정식으로 표시할 수 있고, 단위원 x2+y2=1\displaystyle x^2+y^2=1x=cost,y=sint\displaystyle x=\cos t,y=\sin t로 나타낼 수 있다. 단위원의 또 다른 매개변수화로는 유리함수를 사용하여x=1t21+t2,y=2t1+t2\displaystyle x=\frac{1-t^2}{1+t^2},y=\frac{2t}{1+t^2}와 같이 매개변수화할 수도 있다. 이 경우 (x,y)=(1,0)\displaystyle (x,y)=(-1,0)을 제외한 단위원 위의 모든 점이 매개변수화된다.

[나] 두 정수 a,b\displaystyle a,b와 양의 정수 n\displaystyle n에 대해, ab\displaystyle a-bn\displaystyle n의 배수(즉, ab=nq\displaystyle a-b=nq인 정수 q\displaystyle q가 존재)일 때, a\displaystyle ab\displaystyle b는 법 n\displaystyle n에 대해 합동이라고 하고 ab(modn)\displaystyle a\equiv b\pmod n으로 표기한다. 합동식에서는 다음의 법칙들이 성립한다.(i) aa(modn)\displaystyle a\equiv a\pmod n(ii) ab(modn)\displaystyle a\equiv b\pmod n이면, ba(modn)\displaystyle b\equiv a\pmod n(iii) ab(modn)\displaystyle a\equiv b\pmod n이고 bc(modn)\displaystyle b\equiv c\pmod n이면, ac(modn)\displaystyle a\equiv c\pmod n(iv) ab(modn)\displaystyle a\equiv b\pmod n이고 cd(modn)\displaystyle c\equiv d\pmod n이면, a+bc+d(modn)\displaystyle a+b\equiv c+d\pmod n이고 acbd(modn)\displaystyle ac\equiv bd\pmod nCorrection. 합동식을 더한 결론 a+bc+d(modn)\displaystyle a+b\equiv c+d\pmod na+cb+d(modn)\displaystyle a+c\equiv b+d\pmod n의 오기이다. 그러나 원칙에 따라 원문 표기를 그대로 실었다.(v) a\displaystyle an\displaystyle n이 서로 소이면, ab1(modn)\displaystyle ab\equiv1\pmod n이 되는 정수 b\displaystyle b가 존재하고 또한 이의 역도 성립한다. 이 때, b\displaystyle b를 법 n\displaystyle n에 관한 a\displaystyle a의 역수라고 부른다. 법 n\displaystyle n에 관한 a\displaystyle a의 역수는 법 n\displaystyle n에 대해 유일하게 존재한다.

[다] 3이상의 홀수 n\displaystyle n에 대해, 집합 Sn\displaystyle S_nTn\displaystyle T_n을 다음과 같이 정의하자.Sn={(a,b)Z×Z0a,b<n}\displaystyle S_n=\{(a,b)\in\mathbb Z\times\mathbb Z\mid0\le a,b<n\}Tn={(a,b)Sna2b21(modn)}\displaystyle T_n=\{(a,b)\in S_n\mid a^2-b^2\equiv1\pmod n\}예를 들어 n=5\displaystyle n=5일 때, S5\displaystyle S_5의 원소 (0,2)\displaystyle (0,2)02221(mod5)\displaystyle 0^2-2^2\equiv1\pmod5를 만족하므로 T5\displaystyle T_5의 원소이다. 이런 식으로 T5\displaystyle T_5의 모든 원소들을 구하면, T5={(0,2),(0,3),(1,0),(4,0)}\displaystyle T_5=\{(0,2),(0,3),(1,0),(4,0)\}이 되어 총 4개의 원소를 갖는다. 비슷한 방법으로 T3\displaystyle T_3에 들어있는 원소들의 개수는 2이고, T7\displaystyle T_7에 들어있는 원소들의 개수는 6임을 확인할 수 있다.

(1) 쌍곡선 x2y2=1\displaystyle x^2-y^2=1의 유리함수를 사용한 매개변수화 표현에 관하여 논하시오.

2. 제시문 [다]에 주어진 집합 Tn\displaystyle T_n에 들어있는 원소들의 개수에 대하여 논하시오.

해설강의 준비중

(문항 1) x2y2=(x+y)(xy)=1\displaystyle x^2-y^2=(x+y)(x-y)=1로부터 x+y=t\displaystyle x+y=t라고 하면, xy=t1\displaystyle x-y=t^{-1}이 된다. 이제 x\displaystyle xy\displaystyle yt\displaystyle t에 관한 식으로 풀면, 쌍곡선 x2y2=1\displaystyle x^2-y^2=1의 매개변수표현x=t+t12,y=tt12\displaystyle x=\frac{t+t^{-1}}2,y=\frac{t-t^{-1}}2를 얻는다.

(문항 2) 집합 Φn\displaystyle \Phi_n을 다음과 같이 정의하자.Φn={tZ0t<n,gcd(t,n)=1}\displaystyle \Phi_n=\{t\in\mathbb Z\mid0\le t<n,\gcd(t,n)=1\}이제 집합 Tn\displaystyle T_n과 집합 Φn\displaystyle \Phi_n사이에 일대일 대응관계가 있음을 보이도록 하자.

(a,b)\displaystyle (a,b)Tn\displaystyle T_n의 원소일 때, a2b2=(a+b)(ab)1(modn)\displaystyle a^2-b^2=(a+b)(a-b)\equiv1\pmod n이 된다. 제시문 [나]에 주어진 합동식의 성질 (v)에 의해 a+b\displaystyle a+bn\displaystyle n과 서로 소가 된다. 따라서 a+b(modn)\displaystyle a+b\pmod n (즉, a+b\displaystyle a+bn\displaystyle n으로 나눈 나머지)은 Φn\displaystyle \Phi_n의 원소가 된다. 이제 함수 f:TnΦn\displaystyle f:T_n\to\Phi_nf(a,b)=a+b(modn)\displaystyle f(a,b)=a+b\pmod n으로 정의하자.

제시문 [나]에 주어진 합동식의 성질 중 (v)번 성질에 의해, Φn\displaystyle \Phi_n의 원소 t\displaystyle t에 대해 법 n\displaystyle n에 관한 t\displaystyle t의 역수가 존재하는데 이를 t\displaystyle t^*라고 표기하도록 하자. 또한 n\displaystyle n은 홀수이므로 2와 서로 소가 되어 2\displaystyle 2^*가 존재한다. 이제 함수 g:ΦnTn\displaystyle g:\Phi_n\to T_ng(t)=(2(t+t)(modn),2(tt)(modn))\displaystyle g(t)=(2^*(t+t^*)\pmod n,2^*(t-t^*)\pmod n)으로 정의하자. (2(t+t))2(2(tt))21(modn)\displaystyle (2^*(t+t^*))^2-(2^*(t-t^*))^2\equiv1\pmod n이므로 g(t)\displaystyle g(t)Tn\displaystyle T_n의 원소이므로 함수 g\displaystyle g가 잘 정의되어있음을 알 수 있다.

이제 함수 f\displaystyle fg\displaystyle g가 서로 역함수 관계에 있음을 보이도록 하자. (a,b)Tn\displaystyle (a,b)\in T_n에 대해gf(a,b)=g(a+b(modn))=(2((a+b)+(ab))(modn),2((a+b)(ab))(modn))=(a,b)\displaystyle g\circ f(a,b)=g(a+b\pmod n)=(2^*((a+b)+(a-b))\pmod n,2^*((a+b)-(a-b))\pmod n)=(a,b)이고, tΦn\displaystyle t\in\Phi_n에 대해fg(t)=f(2(t+t)(modn),2(tt)(modn))=t\displaystyle f\circ g(t)=f(2^*(t+t^*)\pmod n,2^*(t-t^*)\pmod n)=t이므로, f\displaystyle fg\displaystyle g가 서로 역함수 관계에 있고 따라서 Tn\displaystyle T_n에 들어있는 원소들의 개수는 Φn\displaystyle \Phi_n에 들어있는 원소들의 개수, 즉(0부터 n까지의 정수들 중에서 n과 서로 소인 원소들의 개수)와 같게 된다.

다음 경우는 0점 처리될 수 있습니다.1) 답안을 검정 볼펜으로 작성하지 않은 경우2) 자신의 신원을 드러내는 불필요한 표기를 한 경우3) 수정액이나 수정테이프를 사용한 경우4) 답을 해당 답란에 작성하지 않은 경우

첨삭 사례

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

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

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