(가)적당한 도구를 사용하여 다양한 기하학적 도형을 그리는 것을 작도라 한다. 고대 그리스인들은 눈금 없는 자와 컴퍼스만으로 할 수 있는 작도에 대해 연구하여 여러 가지 도형들의 작도법을 발견하였다. 그 이후로 기하학적 작도는 그들의 전통을 따라 눈금 없는 자와 컴퍼스만으로 하는 작도를 일컫게 되었다.
기하학적 작도에서 컴퍼스는 주어진 점을 중심으로 주어진 길이를 반지름으로 하는 원을 그리는 도구이고, 눈금 없는 자는 주어진 두 점을 지나는 직선이나, 주어진 원에 원 바깥에 주어져 있는 점으로부터 접선을 긋는 도구이다. 예를 들면, 주어진 선분의 수직이등분선, 주어진 각의 이등분선, 주어진 길이를 한 변으로 하는 정삼각형, 정사각형 등은 기하학적으로 작도 가능한 도형이다.
임의의 각을 3등분하기, 주어진 정육면체의 두 배의 부피를 갖는 정육면체의 한 변을 작도하기, 주어진 원과 넓이가 같은 정사각형의 한 변을 작도하기 등을 3대 작도불능 문제라 한다. 오랫동안 미해결로 남아있던 이 작도문제들이 기하학적으로는 불가능하다는 것이 근세에 대수적으로 증명되었다.
다소 변칙적인 방법으로 임의의 각을 3등분하는 방법은 오래전부터 다양하게 알려져 있다. 기원전 사람인 아르키메데스(Archimedes)는 뉴시스 작도(neusis construction)라 하는 다음과 같은 방법으로 임의로 주어진 각을 3등분할 수 있다는 것을 보였다.
[그림 1]에서 ∠AOB가 주어진 각이고, ∠ACB가 ∠AOB의 3등분각이다. ∠ACB를 작도하려면, 먼저 주어진 각의 꼭지점인 O를 중심으로 하는 원을 그려서 주어진 각의 변과 만나는 점 A와 B를 구하고, 각의 변 OA를 점 O의 방향으로 연장한 직선을 긋는다. 다음으로 자를 직선 OA와 맞추어 점 O와 A에 대응되는 위치를 자 위에 표시한다. 전통적인 기하학적 작도에서는 이렇게 자 위에 표시를 할 수 없다. 마지막으로 자 위에 표시된 이 점들이 직선 OA 위의 점 C와 원 O 위의 점 D에 각각 위치하게 자를 움직여 점 B를 지나는 직선 BC를 긋는다. 즉, 선분 CD와 선분 OA의 길이가 같아지게 직선 BC를 긋는다. 이렇게 작도하면 ∠ACB가 ∠AOB의 3등분각이 되는 것은 다음과 같이 증명할 수 있다:CD=OA=OD이므로 △OCD는 이등변삼각형이고∠OCD=∠COD.따라서,∠ODB=∠OCD+∠COD=2∠OCD=2∠ACB.그리고 OB=OD이므로 △OBD는 이등변삼각형이고∠ODB=∠OBD.따라서,∠BOD=180∘−(∠ODB+∠OBD)=180∘−2∠ODB=180∘−4∠ACB.그러므로,∠AOB=180∘−(∠BOD+∠COD)=180∘−((180∘−4∠ACB)+∠ACB)=3∠ACB.
(나)다음 [그림2]와 같이, 각의 한 변 위에 한 점 A를 잡고 점 A를 중심으로 하고 각의 꼭지점 O를 지나는 원호 S를 그린다. 이 원호 S 위에 점 D를 잘 잡아 직선 AD와 각의 다른 변 OB와의 교점 C에 대해 OD=CD가 되면, ∠COD가 주어진 각 ∠AOB의 3등분각이 된다.
전통적인 기하학적 작도법이나 뉴시스 작도법으로는 이와 같은 점 D를 작도할 수 없다. 그러나 다음과 같은 방법으로 D에 임의로 가까운 점들을 작도할 수 있다. 먼저 원호 S 위에 한 점 D1을 잡고, OD1=C1D1인 점 C1을 변 OB 위에 잡는다. 다음으로 직선 AC1과 원호 S의 교점을 D2라 하고 OD2=C2D2인 점 C2를 변 OB 위에 잡는다. 이러한 과정을 반복하여 원호 S 위에 점 D1,D2,D3,⋯를 잡으면 이 점들은 한 점으로 수렴하게 되는데, 이 극한점이 점 D가 된다.
(다)각을 3등분하는 것은 각의 꼭지점을 중심으로 하는 원이 각의 두 변에 의해서 잘려진 원호를 3등분하는 것과 같다. [그림 3]과 같이 현을 3등분하는 것으로는 3등분각을 작도할 수 없으나 주어진 각의 크기가 작을 때에는 3등분각에 가까운 각을 얻을 수 있다.
[그림 3]에서 OA=OB이고 점 C는 현 AB를 2:1로 내분하는 점이다. ∠AOB와 ∠BOC의 크기를 각각 α와 β라 하면 다음 부등식이 성립한다:(1)β−31α≤253α2(단, 각의 단위는 라디안(radian)이다)즉, α가 작을 때 β는 α/3의 근사값이 된다. 실제로, ∠AOB가 30∘일 때 ∠BOC의 3배는 약 29.896∘가 된다.
[문제 1-2](12점) 아래 그림에서 예각 ∠AOB와 점 A는 고정되어 있고, A를 중심으로 하고 AO를 반지름으로 하는 원 S와 변 OB의 교점은 M이다. 점 P는 원 S 위를 움직이며, 점 Q는 직선 AP와 변 OB의 교점이다.
∠AOB와 ∠MAP의 크기를 각각 α와 γ라 할 때, γ→0limOPPQ와 γ→αlimOPPQ를 구하고, 이를 이용하여 원 S 위에 OP=PQ인 점 P가 존재함을 설명하라.
[문제 1-3](12점) 제시문 (나)에 나오는 점 D1,D2,D3,⋯들이 점 D에 수렴함을 보일 때 다음 사실들을 이용할 수 있다.(a)ODn<OD이면 ODn<ODn+1<OD이다.(b)ODn>OD이면 ODn>ODn+1>OD이다.(a)를 증명하라.
[문제 1-4](12점) [그림 3]에서 ∠AOB와 ∠BOC의 크기를 각각 α와 β라 할 때, cos(β)를 α에 관한 식으로 나타내어라.
[문제 1-5](12점) 다음 그림에서 OC는 ∠AOB의 이등분선이고, OD는 ∠BOC의 이등분선이며, 점 E는 현 CD를 2:1로 내분하는 점이다. ∠AOB와 ∠BOE의 크기를 각각 α와 δ라 할 때, δ가 α/3의 근사값이 됨을 설명하고, 부등식δ−31α≤4003α2이 성립함을 증명하라.
해설강의 준비중
아주대 2010학년도 모의 자연계열 1번 · mathesis.kr/archive/ajou/2010mo/jayeon_1
[문제 1-1] OD=CD이므로 △OCD는 이등변삼각형이고 ∠COD=∠OCD이다. 따라서∠ADO=∠COD+∠OCD=2∠COD이다. 그리고 AO=AD이므로 △AOD는 이등변삼각형이고 ∠AOD=∠ADO이다. 따라서∠AOB=∠AOD+∠COD=∠ADO+∠COD=2∠COD+∠COD=3∠COD이다. 그러므로 ∠COD는 ∠AOB의 3등분각이다.
[문제 1-2] γ→0일 때 OP→OM이고 PQ→0이므로 γ→0limOPPQ=0이다.AO=AM이므로 △AOM은 이등변삼각형이고, ∠AMO=∠AOM=∠AOB=α이다. 만약, γ=α이면 직선 AP는 직선 OB에 나란하게 된다. 그러므로 γ→α일 때 PQ→∞이고 OP<2AO이므로 γ→αlimOPPQ=∞이다.OPPQ는 γ에 따라 연속적으로 변한다. 그런데, γ→0일 때 OPPQ→0이고 γ→α일 때 OPPQ→∞이므로 중간값정리에 의해 γ가 적당한 값일 때 OPPQ=1이 된다. 그러므로 OP=PQ인 점 P가 존재한다.
[문제 1-3] 아래 그림처럼 ODn<OD이고, 직선 ADn이 직선 OC와 만나는 점을 E라 하자.
그러면, ∠EODn<∠COD=∠OCD<∠OEDn이므로 EDn<ODn=CnDn이다. 따라서(1) OCn>OE이다. 한편, △ACDn에서 AC<ADn+CDn이므로AC=AD+CD=AD+OD>AD+ODn,ADn+CDn=AD+CDn으로부터 CDn>ODn=CnDn이다. 따라서(2) OCn<OC이다. 그러므로 (1)과 (2)로부터 Cn은 E와 C 사이에 위치하게 됨을 알 수 있고, 그 결과 직선 ACn과 원호 S의 교점인 Dn+1은 Dn과 D 사이에 위치하게 됨을 알 수 있다. 따라서 ODn<ODn+1<OD이다.
[문제 1-4] 좌표평면에 ∠AOB의 꼭지점인 O가 원점에 오게 하고 B가 x-축의 양의 방향에 오게 위치시키고, B의 좌표를 (r,0)이라 두면 A의 좌표는 (rcosα,rsinα)이다. 이제 C의 좌표를 (x,y)이라 두면, C가 현 AB를 2:1로 내분하는 점이므로x=32r+rcosα=32+cosαr,y=32⋅0+rsinα=3sinαr이다. 이로부터cosβ=x2+y2x=(32+cosαr)2+(3sinαr)232+cosαr=5+4cosα2+cosα따라서 cosβ=5+4cosα2+cosα.
[문제 1-5] ∠COD와 ∠DOE의 크기를 각각 α~와 β~라 하자. 제시문 (다)에 의하면 β~는 α~/3의 근사값이 되고 식 (1)에 의해 ∣β~−α~/3∣≤253α~2이다. 한편, α~=α/4이고 β~=δ−α/4이므로δ=β~+α/4,α/3=α/12+α/4=α~/3+α/4이다. 따라서 δ는 α/3의 근사값이 되고∣δ−α/3∣=∣β~−α~/3∣≤253α~2=253⋅(4α)2=4003α2이 성립한다.