수리논술, 이게 다다.

자연계열 1번

오류 제보

문제

(가) 적당한 도구를 사용하여 다양한 기하학적 도형을 그리는 것을 작도라 한다. 고대 그리스인들은 눈금 없는 자와 컴퍼스만으로 할 수 있는 작도에 대해 연구하여 여러 가지 도형들의 작도법을 발견하였다. 그 이후로 기하학적 작도는 그들의 전통을 따라 눈금 없는 자와 컴퍼스만으로 하는 작도를 일컫게 되었다.

기하학적 작도에서 컴퍼스는 주어진 점을 중심으로 주어진 길이를 반지름으로 하는 원을 그리는 도구이고, 눈금 없는 자는 주어진 두 점을 지나는 직선이나, 주어진 원에 원 바깥에 주어져 있는 점으로부터 접선을 긋는 도구이다. 예를 들면, 주어진 선분의 수직이등분선, 주어진 각의 이등분선, 주어진 길이를 한 변으로 하는 정삼각형, 정사각형 등은 기하학적으로 작도 가능한 도형이다.

임의의 각을 3등분하기, 주어진 정육면체의 두 배의 부피를 갖는 정육면체의 한 변을 작도하기, 주어진 원과 넓이가 같은 정사각형의 한 변을 작도하기 등을 3대 작도불능 문제라 한다. 오랫동안 미해결로 남아있던 이 작도문제들이 기하학적으로는 불가능하다는 것이 근세에 대수적으로 증명되었다.

다소 변칙적인 방법으로 임의의 각을 3등분하는 방법은 오래전부터 다양하게 알려져 있다. 기원전 사람인 아르키메데스(Archimedes)는 뉴시스 작도(neusis construction)라 하는 다음과 같은 방법으로 임의로 주어진 각을 3등분할 수 있다는 것을 보였다.

[그림 1] 아르키메데스의 뉴시스 작도

[그림 1]에서 ∠AOB\displaystyle \angle AOB가 주어진 각이고, ∠ACB\displaystyle \angle ACB가 ∠AOB\displaystyle \angle AOB의 3등분각이다. ∠ACB\displaystyle \angle ACB를 작도하려면, 먼저 주어진 각의 꼭지점인 O\displaystyle O를 중심으로 하는 원을 그려서 주어진 각의 변과 만나는 점 A\displaystyle A와 B\displaystyle B를 구하고, 각의 변 OA\displaystyle OA를 점 O\displaystyle O의 방향으로 연장한 직선을 긋는다. 다음으로 자를 직선 OA\displaystyle OA와 맞추어 점 O\displaystyle O와 A\displaystyle A에 대응되는 위치를 자 위에 표시한다. 전통적인 기하학적 작도에서는 이렇게 자 위에 표시를 할 수 없다. 마지막으로 자 위에 표시된 이 점들이 직선 OA\displaystyle OA 위의 점 C\displaystyle C와 원 O\displaystyle O 위의 점 D\displaystyle D에 각각 위치하게 자를 움직여 점 B\displaystyle B를 지나는 직선 BC\displaystyle BC를 긋는다. 즉, 선분 CD\displaystyle CD와 선분 OA\displaystyle OA의 길이가 같아지게 직선 BC\displaystyle BC를 긋는다. 이렇게 작도하면 ∠ACB\displaystyle \angle ACB가 ∠AOB\displaystyle \angle AOB의 3등분각이 되는 것은 다음과 같이 증명할 수 있다:CD=OA=OD\displaystyle CD=OA=OD이므로 △OCD\displaystyle \triangle OCD는 이등변삼각형이고∠OCD=∠COD\displaystyle \angle OCD=\angle COD.따라서,∠ODB=∠OCD+∠COD=2∠OCD=2∠ACB.\displaystyle \begin{aligned}\angle ODB&=\angle OCD+\angle COD\\&=2\angle OCD\\&=2\angle ACB.\end{aligned}그리고 OB=OD\displaystyle OB=OD이므로 △OBD\displaystyle \triangle OBD는 이등변삼각형이고∠ODB=∠OBD\displaystyle \angle ODB=\angle OBD.따라서,∠BOD=180∘−(∠ODB+∠OBD)=180∘−2∠ODB=180∘−4∠ACB.\displaystyle \begin{aligned}\angle BOD&=180^\circ-(\angle ODB+\angle OBD)\\&=180^\circ-2\angle ODB\\&=180^\circ-4\angle ACB.\end{aligned}그러므로,∠AOB=180∘−(∠BOD+∠COD)=180∘−((180∘−4∠ACB)+∠ACB)=3∠ACB.\displaystyle \begin{aligned}\angle AOB&=180^\circ-(\angle BOD+\angle COD)\\&=180^\circ-((180^\circ-4\angle ACB)+\angle ACB)\\&=3\angle ACB.\end{aligned}

(나) 다음 [그림2]와 같이, 각의 한 변 위에 한 점 A\displaystyle A를 잡고 점 A\displaystyle A를 중심으로 하고 각의 꼭지점 O\displaystyle O를 지나는 원호 S\displaystyle S를 그린다. 이 원호 S\displaystyle S 위에 점 D\displaystyle D를 잘 잡아 직선 AD\displaystyle AD와 각의 다른 변 OB\displaystyle OB와의 교점 C\displaystyle C에 대해 OD=CD\displaystyle OD=CD가 되면, ∠COD\displaystyle \angle COD가 주어진 각 ∠AOB\displaystyle \angle AOB의 3등분각이 된다.

[그림 2] 원호 위의 점과 각의 삼등분

전통적인 기하학적 작도법이나 뉴시스 작도법으로는 이와 같은 점 D\displaystyle D를 작도할 수 없다. 그러나 다음과 같은 방법으로 D\displaystyle D에 임의로 가까운 점들을 작도할 수 있다. 먼저 원호 S\displaystyle S 위에 한 점 D1\displaystyle D_1을 잡고, OD1=C1D1\displaystyle OD_1=C_1D_1인 점 C1\displaystyle C_1을 변 OB\displaystyle OB 위에 잡는다. 다음으로 직선 AC1\displaystyle AC_1과 원호 S\displaystyle S의 교점을 D2\displaystyle D_2라 하고 OD2=C2D2\displaystyle OD_2=C_2D_2인 점 C2\displaystyle C_2를 변 OB\displaystyle OB 위에 잡는다. 이러한 과정을 반복하여 원호 S\displaystyle S 위에 점 D1,D2,D3,⋯\displaystyle D_1,D_2,D_3,\cdots를 잡으면 이 점들은 한 점으로 수렴하게 되는데, 이 극한점이 점 D\displaystyle D가 된다.

(다) 각을 3등분하는 것은 각의 꼭지점을 중심으로 하는 원이 각의 두 변에 의해서 잘려진 원호를 3등분하는 것과 같다. [그림 3]과 같이 현을 3등분하는 것으로는 3등분각을 작도할 수 없으나 주어진 각의 크기가 작을 때에는 3등분각에 가까운 각을 얻을 수 있다.

[그림 3] 현의 삼등분으로 얻는 근사각

[그림 3]에서 OA=OB\displaystyle OA=OB이고 점 C\displaystyle C는 현 AB\displaystyle AB를 2:1\displaystyle 2:1로 내분하는 점이다. ∠AOB\displaystyle \angle AOB와 ∠BOC\displaystyle \angle BOC의 크기를 각각 α\displaystyle \alpha와 β\displaystyle \beta라 하면 다음 부등식이 성립한다:(1) ∣β−13α∣≤325α2\displaystyle \left|\beta-\frac13\alpha\right|\le\frac3{25}\alpha^2 (단, 각의 단위는 라디안(radian)이다)즉, α\displaystyle \alpha가 작을 때 β\displaystyle \beta는 α/3\displaystyle \alpha/3의 근사값이 된다. 실제로, ∠AOB\displaystyle \angle AOB가 30∘\displaystyle 30^\circ일 때 ∠BOC\displaystyle \angle BOC의 3배는 약 29.896∘\displaystyle 29.896^\circ가 된다.

[문제 1-1](12점) [그림 2]에서 AO=AD\displaystyle AO=AD이고 OD=CD\displaystyle OD=CD이면, ∠COD\displaystyle \angle COD가 ∠AOB\displaystyle \angle AOB의 3등분각이 됨을 제시문 (가)를 참조하여 증명하라.

[문제 1-2](12점) 아래 그림에서 예각 ∠AOB\displaystyle \angle AOB와 점 A\displaystyle A는 고정되어 있고, A\displaystyle A를 중심으로 하고 AO\displaystyle AO를 반지름으로 하는 원 S\displaystyle S와 변 OB\displaystyle OB의 교점은 M\displaystyle M이다. 점 P\displaystyle P는 원 S\displaystyle S 위를 움직이며, 점 Q\displaystyle Q는 직선 AP\displaystyle AP와 변 OB\displaystyle OB의 교점이다.

움직이는 점 P와 직선 AP의 교점 Q

∠AOB\displaystyle \angle AOB와 ∠MAP\displaystyle \angle MAP의 크기를 각각 α\displaystyle \alpha와 γ\displaystyle \gamma라 할 때, lim⁡γ→0PQOP\displaystyle \lim_{\gamma\to0}\frac{PQ}{OP}와 lim⁡γ→αPQOP\displaystyle \lim_{\gamma\to\alpha}\frac{PQ}{OP}를 구하고, 이를 이용하여 원 S\displaystyle S 위에 OP=PQ\displaystyle OP=PQ인 점 P\displaystyle P가 존재함을 설명하라.

[문제 1-3](12점) 제시문 (나)에 나오는 점 D1,D2,D3,⋯\displaystyle D_1,D_2,D_3,\cdots들이 점 D\displaystyle D에 수렴함을 보일 때 다음 사실들을 이용할 수 있다.(a) ODn<OD\displaystyle OD_n<OD이면 ODn<ODn+1<OD\displaystyle OD_n<OD_{n+1}<OD이다.(b) ODn>OD\displaystyle OD_n>OD이면 ODn>ODn+1>OD\displaystyle OD_n>OD_{n+1}>OD이다.(a)를 증명하라.

[문제 1-4](12점) [그림 3]에서 ∠AOB\displaystyle \angle AOB와 ∠BOC\displaystyle \angle BOC의 크기를 각각 α\displaystyle \alpha와 β\displaystyle \beta라 할 때, cos⁡(β)\displaystyle \cos(\beta)를 α\displaystyle \alpha에 관한 식으로 나타내어라.

[문제 1-5](12점) 다음 그림에서 OC\displaystyle OC는 ∠AOB\displaystyle \angle AOB의 이등분선이고, OD\displaystyle OD는 ∠BOC\displaystyle \angle BOC의 이등분선이며, 점 E\displaystyle E는 현 CD\displaystyle CD를 2:1\displaystyle 2:1로 내분하는 점이다. ∠AOB\displaystyle \angle AOB와 ∠BOE\displaystyle \angle BOE의 크기를 각각 α\displaystyle \alpha와 δ\displaystyle \delta라 할 때, δ\displaystyle \delta가 α/3\displaystyle \alpha/3의 근사값이 됨을 설명하고, 부등식∣δ−13α∣≤3400α2\displaystyle \left|\delta-\frac13\alpha\right|\le\frac3{400}\alpha^2이 성립함을 증명하라.

이등분선과 현의 내분으로 개선한 근사각
해설강의 준비중

[문제 1-1] OD=CD\displaystyle OD=CD이므로 △OCD\displaystyle \triangle OCD는 이등변삼각형이고 ∠COD=∠OCD\displaystyle \angle COD=\angle OCD이다. 따라서∠ADO=∠COD+∠OCD=2∠COD\displaystyle \angle ADO=\angle COD+\angle OCD=2\angle COD이다. 그리고 AO=AD\displaystyle AO=AD이므로 △AOD\displaystyle \triangle AOD는 이등변삼각형이고 ∠AOD=∠ADO\displaystyle \angle AOD=\angle ADO이다. 따라서∠AOB=∠AOD+∠COD=∠ADO+∠COD=2∠COD+∠COD=3∠COD\displaystyle \angle AOB=\angle AOD+\angle COD=\angle ADO+\angle COD=2\angle COD+\angle COD=3\angle COD이다. 그러므로 ∠COD\displaystyle \angle COD는 ∠AOB\displaystyle \angle AOB의 3등분각이다.

[문제 1-2] γ→0\displaystyle \gamma\to0일 때 OP→OM\displaystyle OP\to OM이고 PQ→0\displaystyle PQ\to0이므로 lim⁡γ→0PQOP=0\displaystyle \lim_{\gamma\to0}\frac{PQ}{OP}=0이다.AO=AM\displaystyle AO=AM이므로 △AOM\displaystyle \triangle AOM은 이등변삼각형이고, ∠AMO=∠AOM=∠AOB=α\displaystyle \angle AMO=\angle AOM=\angle AOB=\alpha이다. 만약, γ=α\displaystyle \gamma=\alpha이면 직선 AP\displaystyle AP는 직선 OB\displaystyle OB에 나란하게 된다. 그러므로 γ→α\displaystyle \gamma\to\alpha일 때 PQ→∞\displaystyle PQ\to\infty이고 OP<2AO\displaystyle OP<2AO이므로 lim⁡γ→αPQOP=∞\displaystyle \lim_{\gamma\to\alpha}\frac{PQ}{OP}=\infty이다.PQOP\displaystyle \frac{PQ}{OP}는 γ\displaystyle \gamma에 따라 연속적으로 변한다. 그런데, γ→0\displaystyle \gamma\to0일 때 PQOP→0\displaystyle \frac{PQ}{OP}\to0이고 γ→α\displaystyle \gamma\to\alpha일 때 PQOP→∞\displaystyle \frac{PQ}{OP}\to\infty이므로 중간값정리에 의해 γ\displaystyle \gamma가 적당한 값일 때 PQOP=1\displaystyle \frac{PQ}{OP}=1이 된다. 그러므로 OP=PQ\displaystyle OP=PQ인 점 P\displaystyle P가 존재한다.

[문제 1-3] 아래 그림처럼 ODn<OD\displaystyle OD_n<OD이고, 직선 ADn\displaystyle AD_n이 직선 OC\displaystyle OC와 만나는 점을 E\displaystyle E라 하자.

반복 작도에서 E, Cn, C의 위치 관계

그러면, ∠EODn<∠COD=∠OCD<∠OEDn\displaystyle \angle EOD_n<\angle COD=\angle OCD<\angle OED_n이므로 EDn<ODn=CnDn\displaystyle ED_n<OD_n=C_nD_n이다. 따라서(1) OCn>OE\displaystyle OC_n>OE이다. 한편, △ACDn\displaystyle \triangle ACD_n에서 AC<ADn+CDn\displaystyle AC<AD_n+CD_n이므로AC=AD+CD=AD+OD>AD+ODn,\displaystyle AC=AD+CD=AD+OD>AD+OD_n,ADn+CDn=AD+CDn\displaystyle AD_n+CD_n=AD+CD_n으로부터 CDn>ODn=CnDn\displaystyle CD_n>OD_n=C_nD_n이다. 따라서(2) OCn<OC\displaystyle OC_n<OC이다. 그러므로 (1)과 (2)로부터 Cn\displaystyle C_n은 E\displaystyle E와 C\displaystyle C 사이에 위치하게 됨을 알 수 있고, 그 결과 직선 ACn\displaystyle AC_n과 원호 S\displaystyle S의 교점인 Dn+1\displaystyle D_{n+1}은 Dn\displaystyle D_n과 D\displaystyle D 사이에 위치하게 됨을 알 수 있다. 따라서 ODn<ODn+1<OD\displaystyle OD_n<OD_{n+1}<OD이다.

[문제 1-4] 좌표평면에 ∠AOB\displaystyle \angle AOB의 꼭지점인 O\displaystyle O가 원점에 오게 하고 B\displaystyle B가 x\displaystyle x-축의 양의 방향에 오게 위치시키고, B\displaystyle B의 좌표를 (r,0)\displaystyle (r,0)이라 두면 A\displaystyle A의 좌표는 (rcos⁡α,rsin⁡α)\displaystyle (r\cos\alpha,r\sin\alpha)이다. 이제 C\displaystyle C의 좌표를 (x,y)\displaystyle (x,y)이라 두면, C\displaystyle C가 현 AB\displaystyle AB를 2:1\displaystyle 2:1로 내분하는 점이므로x=2r+rcos⁡α3=2+cos⁡α3r,\displaystyle x=\frac{2r+r\cos\alpha}3=\frac{2+\cos\alpha}3r,y=2⋅0+rsin⁡α3=sin⁡α3r\displaystyle y=\frac{2\cdot0+r\sin\alpha}3=\frac{\sin\alpha}3r이다. 이로부터cos⁡β=xx2+y2=2+cos⁡α3r(2+cos⁡α3r)2+(sin⁡α3r)2=2+cos⁡α5+4cos⁡α\displaystyle \cos\beta=\frac{x}{\sqrt{x^2+y^2}}=\frac{\frac{2+\cos\alpha}3r}{\sqrt{\left(\frac{2+\cos\alpha}3r\right)^2+\left(\frac{\sin\alpha}3r\right)^2}}=\frac{2+\cos\alpha}{\sqrt{5+4\cos\alpha}}따라서 cos⁡β=2+cos⁡α5+4cos⁡α\displaystyle \cos\beta=\frac{2+\cos\alpha}{\sqrt{5+4\cos\alpha}}.

[문제 1-5] ∠COD\displaystyle \angle COD와 ∠DOE\displaystyle \angle DOE의 크기를 각각 α~\displaystyle \tilde\alpha와 β~\displaystyle \tilde\beta라 하자. 제시문 (다)에 의하면 β~\displaystyle \tilde\beta는 α~/3\displaystyle \tilde\alpha/3의 근사값이 되고 식 (1)에 의해 ∣β~−α~/3∣≤325α~2\displaystyle |\tilde\beta-\tilde\alpha/3|\le\frac3{25}\tilde\alpha^2이다. 한편, α~=α/4\displaystyle \tilde\alpha=\alpha/4이고 β~=δ−α/4\displaystyle \tilde\beta=\delta-\alpha/4이므로δ=β~+α/4,\displaystyle \delta=\tilde\beta+\alpha/4,α/3=α/12+α/4=α~/3+α/4\displaystyle \alpha/3=\alpha/12+\alpha/4=\tilde\alpha/3+\alpha/4이다. 따라서 δ\displaystyle \delta는 α/3\displaystyle \alpha/3의 근사값이 되고∣δ−α/3∣=∣β~−α~/3∣≤325α~2=325⋅(α4)2=3400α2\displaystyle |\delta-\alpha/3|=|\tilde\beta-\tilde\alpha/3|\le\frac3{25}\tilde\alpha^2=\frac3{25}\cdot\left(\frac\alpha4\right)^2=\frac3{400}\alpha^2이 성립한다.

첨삭 사례

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

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

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