모든 자연수 k에 대하여
g(xk)=k×g(x)−ak
을 만족시키는 음이 아닌 정수 ak가 존재한다.
조건 (가)에서
k=1∑5g(xk)=5g(x)+k=1∑5ak이고
g(x10)+2=10g(x)+a10+2이므로
k=1∑5g(xk)=g(x10)+2에서
5g(x)=a10−k=1∑5ak+2
위 등식의 우변이 정수이므로 5g(x)도 정수이어야 한다.
∴ g(x)=0, 51, 52, 53, 54 (∵ 0≤g(x)<1) ⋯⋯ ㉠
모든 자연수 k에 대하여
f(kx)≥f(x)
이다. 조건 (나)에서
k=1∑3f(kx)=3f(x)
이므로 f(3x)=f(x)이어야 한다.
log3x=f(x)+g(x)+log3이므로
f(3x)=f(x)이려면 g(x)+log3<1이어야 한다.
∴ g(x)<1−log3=0.5229 ⋯⋯ ㉡
㉠, ㉡에서 g(x)=0, 51, 52
(ⅰ) g(x)=0이면
k=1∑5g(xk)=0이고 g(x10)+2=2이므로
k=1∑5g(xk)=g(x10)+2
(ⅱ) g(x)=51이면
k=1∑5g(xk)=51+52+53+54+0=2이고
g(x10)+2=2이므로
k=1∑5g(xk)=g(x10)+2
(ⅲ) g(x)=52이면
k=1∑5g(xk)=52+54+51+53+0=2
g(x10)+2=2이므로
k=1∑5g(xk)=g(x10)+2
(ⅰ),(ⅱ),(ⅲ)에서 g(x)=51 또는 g(x)=52
1<x<105이므로 0≤f(x)<5이다.
따라서 x가 조건을 만족시킬 때,
logx=f(x)+g(x)
이다. (단, f(x)=0, 1, 2, 3, 4이고 g(x)=51, 52)
∴ logA=k=1∑5{(k−1)+51}+k=1∑5{(k−1)+52}
=11+12=23