실수 t에 대하여 f(t)>0이면 g(x)=f(x)+x이므로 함수 g(x)는 x=t에서 연속이고 미분가능하다. f(t)<0이면 g(x)=2f(x)이므로 함수 g(x)는 x=t에서 연속이고 미분가능하다. f(t)=0이면 아래와 같이 경우를 나누어 생각할 수 있다.
∙ x=t의 좌우에서 f(x)의 부호가 서로 다른 경우 g(t)=f(t)+t=t
x→t−limg(x)=x→t−lim{f(x)+x}=f(t)+t=t,
x→t+limg(x)=x→t+lim2f(x)=2f(t)=0
또는
x→t−limg(x)=x→t−lim2f(x)=2f(t)=0,
x→t+limg(x)=x→t+lim{f(x)+x}=f(t)+t=t이므로 함수 g(x)는 t=0이면 x=t에서 연속이고 t=0이면 x=t에서 불연속이다.
∙ x=t의 좌우에서 f(x)의 부호가 모두 양인 경우
g(t)=f(t)+t=t,
x→tlimg(x)=x→tlim{f(x)+x}=f(t)+t=t이므로 함수 g(x)는 x=t에서 연속이다.
∙ x=t의 좌우에서 f(x)의 부호가 모두 음인 경우
g(t)=f(t)+t=t,
x→tlimg(x)=x→tlim2f(x)=2f(t)=0이므로 함수 g(x)는 t=0이면 x=t에서 연속, t=0이면 x=t에서 불연속이다.
f(x)=0을 만족시키는 실근의 개수가 1이면 함수 g(x)가 x=t에서 미분가능하지 않은 t의 개수가 1 이하이므로 (나)를 만족시키지 않는다.
f(x)=0을 만족시키는 서로 다른 실근의 개수가 3이면 0이 아닌 서로 다른 실근의 개수가 2 이상이고 함수 g(x)가 x=t에서 불연속인 t의 개수가 2 이상이므로 (가)를 만족시키지 않는다.
그러므로 f(x)=0을 만족시키는 서로 다른 실근의 개수는 2이고 a<b인 두 실수 a, b가 존재하여 f(x)=(x−a)(x−b)2 또는 f(x)=(x−a)2(x−b)
(ⅰ) f(x)=(x−a)(x−b)2인 경우
h→0limhg(b+h)−g(b)=h→0limh(b+h−a)h2+h=1
g′(b)=1이며 함수 g(x)가 x=t에서 미분가능하지 않은 실수 t의 개수가 1 이하이므로 (나)를 만족시키지 않는다.
(ⅱ) f(x)=(x−a)2(x−b), a=0, b=0인 경우함수 g(x)가 x=a, x=b에서 불연속이므로 (가)를 만족시키지 않는다.
(ⅲ) f(x)=(x−a)2(x−b), a=0, b=0인 경우x=a에서 연속이며 g(a)=f(a)+a=0이다.
h→0limhg(a+h)−g(a)=h→0limh2h2(a+h−b)=0
g′(a)=0이므로 (나)를 만족시키지 않는다.
(ⅳ) f(x)=(x−a)2(x−b), a=0, b=0인 경우 함수 g(x)는 x=a에서 불연속이며 미분가능하지 않다. x=b에서 연속이며 g(b)=f(b)+b=0
h→0−limhg(b+h)−g(b)=h→0−limh2h(h−a)2=2a2
h→0+limhg(b+h)−g(b)=h→0+limh(h−a)2h+h=a2+1
2a2=a2+1, a2=1이면 함수 g(x)는 x=b에서 미분가능하지 않다.
(ⅰ)∼(ⅳ)에서 f(x)=x(x−a)2, a<0, a2=1
f(−2)=−2(−2−a)2=−2에서 a=−3
따라서 f(x)=x(x+3)2이고 f(6)=486