x > 0 x > 0 x > 0 일 때, 함수 g ( x ) g \left( x \right) g ( x ) 를 구하면 다음과 같다.
(ⅰ) 0 < x < m 0 < x < m 0 < x < m 이면 lim n → ∞ ( x m ) n = 0 \displaystyle \lim\limits _{n \rightarrow \infty} {} \left( \frac{x}{m} \right) ^{n} = 0 n → ∞ lim ( m x ) n = 0 이므로 g ( x ) = x g \left( x \right) = x g ( x ) = x
(ⅱ) x = m x = m x = m 이면 lim n → ∞ ( x m ) n = 1 \displaystyle \lim\limits _{n \rightarrow \infty} {} \left( \frac{x}{m} \right) ^{n} = 1 n → ∞ lim ( m x ) n = 1 이므로
g ( m ) = f ( m ) + m 2 \displaystyle g \left( m \right) = \frac{f \left( m \right) + m}{2} g ( m ) = 2 f ( m ) + m
(ⅲ) x > m x > m x > m 이면 lim n → ∞ ( m x ) n = 0 \displaystyle \lim\limits _{n \rightarrow \infty} {} \left( \frac{m}{x} \right) ^{n} = 0 n → ∞ lim ( x m ) n = 0 이므로
g ( x ) = lim n → ∞ f ( x ) + x × ( m x ) n 1 + ( m x ) n = f ( x ) \displaystyle g \left( x \right) = \lim\limits _{n \rightarrow \infty} {} \frac{f \left( x \right) + x \times \left( \frac{m}{x} \right) ^{n}}{1 + \left( \frac{m}{x} \right) ^{n}} = f \left( x \right) g ( x ) = n → ∞ lim 1 + ( x m ) n f ( x ) + x × ( x m ) n = f ( x )
(ⅰ), (ⅱ), (ⅲ)에 의하여
g ( x ) = { x ( 0 < x < m ) f ( m ) + m 2 ( x = m ) f ( x ) ( x > m ) \displaystyle g \left( x \right) = {\begin{cases} x & & \left( 0 < x < m \right) \\ \frac{f \left( m \right) + m}{2} & & \left( x = m \right) \\ f \left( x \right) & & \left( x > m \right) \end{cases}} g ( x ) = ⎩ ⎨ ⎧ x 2 f ( m ) + m f ( x ) ( 0 < x < m ) ( x = m ) ( x > m )
조건 (가)에서 함수 g ( x ) g \left( x \right) g ( x ) 가 x = m x = m x = m 에서 미분가능하고 연속이므로 1 = f ′ ( m ) 1 = f' \left( m \right) 1 = f ′ ( m ) , m = f ( m ) m = f \left( m \right) m = f ( m )
조건 (나)에서 g ( k ) g ( k + 1 ) = 0 g \left( k \right) g \left( k + 1 \right) = 0 g ( k ) g ( k + 1 ) = 0 을 만족시키는 자연수 k k k 의 개수가 3 \mathrm{3} 3 이므로 g ( x ) = 0 g \left( x \right) = 0 g ( x ) = 0 을 만족시키는 자연수 x x x 는 연속된 2 \mathrm{2} 2 개의 자연수이다. 이 두 자연수를 α \alpha α , α + 1 \alpha + 1 α + 1 이라 하면 함수 g ( x ) g \left( x \right) g ( x ) 의 그래프의 개형은 다음과 같다.
방정식 f ( x ) = 0 f \left( x \right) = 0 f ( x ) = 0 의 세 근을 α \alpha α , α + 1 \alpha + 1 α + 1 , β \beta β 라 하자.
(ⅰ) g ( m ) < g ( m + 1 ) g \left( m \right) < g \left( m + 1 \right) g ( m ) < g ( m + 1 ) 일 때,
g ′ ( m + 1 ) ≤ 0 g' ( m + 1 ) \leq 0 g ′ ( m + 1 ) ≤ 0 이므로 조건 (다)에서 g ( l ) ≥ g ( l + 1 ) g ( l ) \geq g ( l + 1 ) g ( l ) ≥ g ( l + 1 ) 을 만족시키는 세 자연수 l l l 은 m + 1 m + 1 m + 1 , m + 2 m + 2 m + 2 , m + 3 m + 3 m + 3 이므로 α = m + 3 \alpha = m + 3 α = m + 3
f ( x ) f \left( x \right) f ( x ) = ( x − α ) ( x − α − 1 ) ( x − β ) = ( x - \alpha ) ( x - \alpha - 1 ) ( x - \beta ) = ( x − α ) ( x − α − 1 ) ( x − β )
= ( x − m − 3 ) ( x − m − 4 ) ( x − β ) = ( x - m - 3 ) ( x - m - 4 ) ( x - \beta ) = ( x − m − 3 ) ( x − m − 4 ) ( x − β )
= { x 2 − ( 2 m + 7 ) x + m 2 + 7 m + 12 } ( x − β ) = \left\{ x ^{2} - ( 2 m + 7 ) x + m ^{2} + 7 m + 12 \right\} ( x - \beta ) = { x 2 − ( 2 m + 7 ) x + m 2 + 7 m + 12 } ( x − β )
f ′ ( x ) = ( 2 x − 2 m − 7 ) ( x − β ) f' \left( x \right) = \left( 2 x - 2 m - 7 \right) \left( x - \beta \right) f ′ ( x ) = ( 2 x − 2 m − 7 ) ( x − β ) + { x 2 − ( 2 m + 7 ) x + m 2 + 7 m + 12 } + \left\{ x ^{2} - ( 2 m + 7 ) x + m ^{2} + 7 m + 12 \right\} + { x 2 − ( 2 m + 7 ) x + m 2 + 7 m + 12 }
f ′ ( m ) = − 7 ( m − β ) + 12 f' \left( m \right) = - 7 \left( m - \beta \right) + 12 f ′ ( m ) = − 7 ( m − β ) + 12
f ′ ( m ) = 1 f' \left( m \right) = 1 f ′ ( m ) = 1 이므로 − 7 ( m − β ) + 12 = 1 - 7 \left( m - \beta \right) + 12 = 1 − 7 ( m − β ) + 12 = 1 ,
m − β = 11 7 \displaystyle m - \beta = \frac{11}{7} m − β = 7 11
m = f ( m ) = 12 ( m − β ) = 132 7 \displaystyle m = f \left( m \right) = 12 \left( m - \beta \right) = \frac{132}{7} m = f ( m ) = 12 ( m − β ) = 7 132 이므로 모순이다.
(ⅱ) g ( m ) ≥ g ( m + 1 ) g \left( m \right) \geq g \left( m + 1 \right) g ( m ) ≥ g ( m + 1 ) 일 때, 조건 (다)에서 g ( l ) ≥ g ( l + 1 ) g \left( l \right) \geq g \left( l + 1 \right) g ( l ) ≥ g ( l + 1 ) 을 만족시키는 세 자연수 l l l 은 m m m , m + 1 m + 1 m + 1 , m + 2 m + 2 m + 2 이므로 α = m + 2 \alpha = m + 2 α = m + 2
f ( x ) f \left( x \right) f ( x ) = ( x − α ) ( x − α − 1 ) ( x − β ) = \left( x - \alpha \right) \left( x - \alpha - 1 \right) \left( x - \beta \right) = ( x − α ) ( x − α − 1 ) ( x − β )
= ( x − m − 2 ) ( x − m − 3 ) ( x − β ) = \left( x - m - 2 \right) \left( x - m - 3 \right) \left( x - \beta \right) = ( x − m − 2 ) ( x − m − 3 ) ( x − β )
= { x 2 − ( 2 m + 5 ) x + m 2 + 5 m + 6 } ( x − β ) = \left\{ x ^{2} - \left( 2 m + 5 \right) x + m ^{2} + 5 m + 6 \right\} \left( x - \beta \right) = { x 2 − ( 2 m + 5 ) x + m 2 + 5 m + 6 } ( x − β )
f ′ ( x ) = ( 2 x − 2 m − 5 ) ( x − β ) f' \left( x \right) = \left( 2 x - 2 m - 5 \right) \left( x - \beta \right) f ′ ( x ) = ( 2 x − 2 m − 5 ) ( x − β ) + { x 2 − ( 2 m + 5 ) x + m 2 + 5 m + 6 } + \left\{ x ^{2} - \left( 2 m + 5 \right) x + m ^{2} + 5 m + 6 \right\} + { x 2 − ( 2 m + 5 ) x + m 2 + 5 m + 6 }
f ′ ( m ) = − 5 ( m − β ) + 6 f' \left( m \right) = - 5 \left( m - \beta \right) + 6 f ′ ( m ) = − 5 ( m − β ) + 6
f ′ ( m ) = 1 f' \left( m \right) = 1 f ′ ( m ) = 1 이므로 − 5 ( m − β ) + 6 = 1 - 5 \left( m - \beta \right) + 6 = 1 − 5 ( m − β ) + 6 = 1 , m − β = 1 m - \beta = 1 m − β = 1
m = f ( m ) = 6 ( m − β ) = 6 m = f \left( m \right) = 6 \left( m - \beta \right) = 6 m = f ( m ) = 6 ( m − β ) = 6
m = 6 m = 6 m = 6 일 때, f ( x ) = ( x − 5 ) ( x − 8 ) ( x − 9 ) f \left( x \right) = \left( x - 5 \right) \left( x - 8 \right) \left( x - 9 \right) f ( x ) = ( x − 5 ) ( x − 8 ) ( x − 9 ) 에서
g ′ ( m + 1 ) = f ′ ( m + 1 ) = − 4 g' \left( m + 1 \right) = f' \left( m + 1 \right) = - 4 g ′ ( m + 1 ) = f ′ ( m + 1 ) = − 4 이므로 조건 (가)를 만족시키고,
g ( m ) = f ( m ) ≥ f ( m + 1 ) = g ( m + 1 ) g \left( m \right) = f \left( m \right) \geq f \left( m + 1 \right) = g \left( m + 1 \right) g ( m ) = f ( m ) ≥ f ( m + 1 ) = g ( m + 1 ) 이다.
(ⅰ), (ⅱ)에 의하여 f ( x ) = ( x − 5 ) ( x − 8 ) ( x − 9 ) f \left( x \right) = \left( x - 5 \right) \left( x - 8 \right) \left( x - 9 \right) f ( x ) = ( x − 5 ) ( x − 8 ) ( x − 9 ) 이므로
g ( 12 ) = f ( 12 ) = 7 × 4 × 3 = 84 g \left( 12 \right) = f \left( 12 \right) = 7 \times 4 \times 3 = 84 g ( 12 ) = f ( 12 ) = 7 × 4 × 3 = 84