조건 (나)에서 sing(π)=0이므로 tang(π)=0
f′(x)=g′(x){1−sec2g(x)}=−g′(x)tan2g(x) ⋯⋯ ㉠
이므로 f′(π)=0
x→∞limg(x)=23π이고 두 함수 f(x), g(x)가 실수 전체의 집합에서 미분가능하므로 함수 g(x)의 치역은 구간 (2π,23π) 또는 (23π,25π)이다.
(ⅰ) 함수 g(x)의 치역이 (2π,23π)일 때
sing(π)=0이므로 g(π)=π
f(π)=g(π)−tang(π)=π이고 f(0)=0, f′(π)=0, f′′(π)=0이므로 f(x)=π21(x−π)3+π
이때 x→∞limf(x)=∞이므로
x→∞lim{g(x)−tang(x)}=∞ ⋯⋯ ㉡
x→∞limg(x)=23π이고 g(x)=t라 하면 x→∞일 때 t→23π−이므로 x→∞limtang(x)=t→23π−limtant=∞
따라서 x→∞lim{g(x)−tang(x)}=−∞이고 ㉡과 모순이다.
(ⅱ) 함수 g(x)의 치역이 (23π,25π)일 때
sing(π)=0이므로 g(π)=2π
f(π)=g(π)−tang(π)=2π이고 f(0)=0, f′(π)=0, f′′(π)=0이므로
f(x)=π22(x−π)3+2π
이때 x→∞limf(x)=∞이므로
x→∞lim{g(x)−tang(x)}=∞ ⋯⋯ ㉢
x→∞limg(x)=23π이고 g(x)=t라 하면 x→∞일 때 t→23π+이므로 x→∞limtang(x)=t→23π+limtant=−∞
따라서 x→∞lim{g(x)−tang(x)}=∞이고 ㉢을 만족시킨다.
(ⅰ), (ⅱ)에서 f(x)=π22(x−π)3+2π
조건 (가)에서 f(0)=0이므로
g(0)−tang(0)=0, tang(0)=g(0)
㉠에서
f′(0)=−g′(0)tan2g(0)=−g′(0){g(0)}2
f′(0)=π26(0−π)2=6이므로
∴g′(0)×{g(0)}2=−6