(1)各自然数nに対して、x^2+4ncos(x)+1-4n=0を満たす実数xはただひとつ存在することを示せ。
(2)(1)の方程式を満たす実数xをx[n]とするとき、lim[n→∞]n(x[n])^2を求めよ。

(1)から分かりません。教えてください