f(x)=(n-1)(cosx)^2+2cosx-nとおくと
f'(x)=2(n^2+1)sinxだからf(0)=1、f(π)=-n
ここでRolleの定理より解が一つしかないことが示された