10 10 20 20 30 30 O x y y = x 로그곡선 대칭 지수곡선 대칭곡선 ×2 지수함수의 한 칸 x 높이 h 오른쪽 한 칸 x + 1 높이 4h 밑이 4이면 점근선에서의 높이는 4배 ×2 A C 2C B 이 반직선의 교점은 하나 따라서 B = 2C M A = (63/4, 7/4) B = (7/2, 63/2) M = (77/8, 133/8)

문제

곡선 y=log16(8x+2)y=\log_{16}(8x+2) 위의 점 A(a,b)A(a,b)와 곡선 y=4x112y=4^{x-1}-\tfrac12 위의 점 BB가 제1사분면에 있다.

AA를 직선 y=xy=x에 대하여 대칭이동한 점이 직선 OBOB 위에 있고, 선분 ABAB의 중점이 (778,1338)\left(\tfrac{77}{8},\tfrac{133}{8}\right)일 때 ab=qpab=\tfrac qp이다. 서로소인 자연수 p,qp,q에 대하여 p+qp+q를 구하여라.

곡선 위의 점은 좌표부터 읽는다

A(a,b)A(a,b)라는 표시는 가로좌표가 aa, 세로좌표가 bb라는 뜻이다. 점이 로그곡선 위에 있으므로 식의 x,yx,y 자리에 그대로 넣는다.

b=log16(8a+2)b=\log_{16}(8a+2)

지수·로그 문제의 첫 행동은 그래프를 막연히 보는 것이 아니라, 점의 위치를 좌표식으로 번역하는 것이다.

로그는 가능하면 지수로 바꾼다

로그는 “16을 몇 번 거듭제곱해야 8a+28a+2가 되는가”를 묻는 기호다. 같은 내용을 지수식으로 바꾸면

b=log16(8a+2)16b=8a+2b=\log_{16}(8a+2)\quad\Longleftrightarrow\quad16^b=8a+2

이제 첫 곡선의 밑 1616과 두 번째 곡선의 밑 44가 한눈에 비교된다. 좌표값을 계산하기 전에 이 관계부터 쓴다.

대칭은 좌표 두 칸을 바꾼다

A=(a,b)A=(a,b)y=xy=x에 대칭한 점을 CC라 하자. 대칭은 가로와 세로의 자리를 맞바꾸므로

C=(b,a)C=(b,a)

문제에서 CC는 직선 OBOB 위에 있다. 두 점 모두 제1사분면이므로 C,BC,B는 같은 원점 반직선 위에 있고, B=(kb,ka) (k>0)B=(kb,ka)\ (k>0)로 쓸 수 있다. 아직 배율 kk는 모른다.

지수함수는 x 한 칸에 높이가 4배다

두 번째 곡선을 f(x)=4x112f(x)=4^{x-1}-\tfrac12라 하자. 점근선 y=12y=-\tfrac12에서 잰 높이는

H(x)=f(x)+12=4x1H(x)=f(x)+\frac12=4^{x-1} H(x+1)=4H(x)H(x+1)=4H(x)

밑이 4이므로 오른쪽으로 한 칸 갈 때 높이가 4배가 된다. 지수곡선에서는 가로 이동과 높이의 배율을 함께 읽는다.

16=4²가 ‘두 배’를 알려 준다

앞에서 얻은 16b=8a+216^b=8a+2에서 16b=42b16^b=4^{2b}다. 두 번째 곡선의 가로좌표에 2b2b를 넣으면 같은 거듭제곱이 나타난다.

42b112=16b412=8a+2412=2a4^{2b-1}-\frac12 =\frac{16^b}{4}-\frac12 =\frac{8a+2}{4}-\frac12 =2a

따라서 D=(2b,2a)=2CD=(2b,2a)=2C는 지수곡선 위의 점이다. 두 배는 추측이 아니라 두 밑 16,416,4의 관계에서 나온다.

점 하나가 아니라 곡선 전체가 겹친다

로그곡선 위의 아무 점을 P=(s,t)P=(s,t)라 해도 16t=8s+216^t=8s+2이다. 같은 변환을 적용하면

(s,t) y=x (t,s)×2(2t,2s)(s,t)\xrightarrow{\ y=x\ }(t,s)\xrightarrow{\times2}(2t,2s) 42t112=2s4^{2t-1}-\frac12=2s

모든 점이 지수곡선으로 옮겨진다. 그림의 초록 점선이 대칭된 로그곡선을 두 배 한 자취이고, 주황색 지수곡선과 정확히 포개진다.

이제 B와 2C가 같은 점인지 묻는다

CC가 반직선 OBOB 위에 있으므로 2C2C도 같은 반직선 위에 있다. 그리고 방금 2C2C가 지수곡선 위에 있음을 확인했다.

결국 BB2C2C같은 반직선과 같은 지수곡선 위의 두 점이다. 이 반직선이 곡선을 한 번만 만난다면 두 점은 같을 수밖에 없다.

B?=2CB\mathrel{?}=2C

왜 교점은 하나뿐인가

반직선을 y=mxy=mx라 하고 두 그래프의 높이 차를 F(x)=4x112mxF(x)=4^{x-1}-\tfrac12-mx라 하자. 이 함수는 아래로 볼록하고 F(0)=14<0F(0)=-\tfrac14<0이다.

양의 영점이 x1<x2x_1<x_2 두 개라면, 아래로 볼록한 그래프는 00x2x_2를 잇는 선분보다 아래에 있으므로 F(x1)<0F(x_1)<0이어야 한다. 하지만 영점이면 0이므로 모순이다.

B=2C=(2b,2a)B=2C=(2b,2a)

중점은 좌표의 합을 준다

이제 중점 조건을 쓸 차례다. 중점이 M=(778,1338)M=\left(\tfrac{77}{8},\tfrac{133}{8}\right)이므로 두 끝점의 좌표 합은 그 두 배다.

A+B=(774,1334)A+B=\left(\frac{77}{4},\frac{133}{4}\right)

A=(a,b)A=(a,b), B=(2b,2a)B=(2b,2a)를 넣으면

a+2b=774,2a+b=1334a+2b=\frac{77}{4},\qquad 2a+b=\frac{133}{4}

두 좌표가 정해진다

두 식을 빼면 ab=14a-b=14. 이를 첫 식에 넣으면 3b=2143b=\tfrac{21}{4}이므로

b=74,a=634b=\frac74,\qquad a=\frac{63}{4}

그림의 모든 점이 한꺼번에 닫힌다: C=(74,634)C=\left(\tfrac74,\tfrac{63}{4}\right), B=2C=(72,632)B=2C=\left(\tfrac72,\tfrac{63}{2}\right).

이 문제의 어려움은 로그와 지수를 계산하는 데 있지 않았다. 대칭한 곡선을 원점에서 두 배 하면 다른 곡선이 된다는 관계를 읽는 데 있었다.

ab=63474=44116ab=\frac{63}{4}\cdot\frac74=\frac{441}{16}
p+q=457p+q=\boxed{457}
다음 해설 반지름이 같으면 마주보는 변도 같다 계속 →