[출제의도] 로그의 성질을 이해하여 수열을 구하고, 수열의 합 문제를 해결한다.
자연수 n에 대하여 m=2n−1일 때
log2m, log4m의 값은 유리수가 아니다.
따라서 f(1)=0이고, m=2n−1(n≥2)일 때,
f(m)=f(2n−1)=log42n−1=2n−1 은 유리수이다.
따라서 수열 {an}의 일반항 an은
a1=0, an=2n−1(n≥2)
즉 an=2n−1(n≥1)이다.
k=1∑nak=k=1∑n2k−1=21×2n(n−1)=4n(n−1)
k=1∑nak>50에서
4n(n−1)>50
n(n−1)>200
n=14일 때,
n(n−1)=14×13=182
n=15일 때,
n(n−1)=15×14=210
이므로 n≥15일 때 부등식이 성립한다.
따라서 자연수 n의 최솟값은 15이다.
[참고]
자연수 m은 m=2n−1(n은 자연수)일 때 음이 아닌 정수 k와 1이 아닌 홀수 p에 대하여
m=2k×p
로 나타내어진다.
만약 log2m의 값이 유리수라 가정하면
log2m=log2(2k×p)=k+log2p
즉 log2p의 값이 유리수이어야 한다.
이때 log2p=ab (a와 b는 서로소인 자연수)라 하면
log2p=ab에서 2ab=p
2b=pa …… ㉠
이때 ㉠의 좌변은 짝수이고, 우변은 홀수이므로 모순이다.
따라서 log2p의 값이 유리수가 아니므로 log2m의 값도 유리수가 아니다.