logx의 지표를 g(x)라 하면 logx=g(x)+f(x)이고 조건 (나)에서
{g(b)+f(b)}−{g(a)+f(a)}≤f(a)−f(b)
g(b)+2f(b)≤g(a)+2f(a)
(1) g(a)=g(b)=0인 경우 또는 g(a)=g(b)=1인 경우
g(b)+2f(b)≤g(a)+2f(a)에서 f(b)≤f(a)인데 logx의 가수 f(x)=logx−[logx]가 증가함수이므로 주어진 조건을 만족하는 a와 b는 같은 경우이다. 따라서 순서쌍 (a,b)의 개수는 20이다.
(2) g(a)=0, g(b)=1인 경우
g(b)+2f(b)≤g(a)+2f(a)에서 1+2f(b)≤2f(a)
2+2f(b)≤1+2f(a)
2logb≤1+2loga=log10a2, b2≤10a2
부등식을 만족하는 순서쌍은
a=4일 때, b는 10에서 12까지 3가지
a=5일 때, b는 10에서 15까지 6가지
a=6일 때, b는 10에서 18까지 9가지
a=7일 때, b는 10에서 20까지 11가지
a=8일 때, b는 10에서 20까지 11가지
a=9일 때, b는 10에서 20까지 11가지 따라서 순서쌍 (a,b)의 개수는 51이다.
그러므로 총 71개