𝟏 − 𝑪𝒐𝒔(𝒙)√𝑪𝒐𝒔(𝟐𝒙) [1 − 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)][1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)]

= =
𝒙𝟐 𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)]
2 2
(1)2 − [𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)] 1 − [𝐶𝑜𝑠(𝑥)]2 [√𝐶𝑜𝑠(2𝑥)] 1 − 𝐶𝑜𝑠 2 (𝑥)𝐶𝑜𝑠(2𝑥)
= = = =
𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)] 𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)] 𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)]

Aplicando la identidad:

𝑆𝑒𝑛2 (𝑥) + 𝐶𝑜𝑠 2 (𝑥) = 1

Se obtiene

1 − 𝐶𝑜𝑠 2 (𝑥)𝐶𝑜𝑠(2𝑥) 𝑆𝑒𝑛2 (𝑥) + 𝐶𝑜𝑠 2 (𝑥) − 𝐶𝑜𝑠 2 (𝑥)𝐶𝑜𝑠(2𝑥)

= =
𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)] 𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)]

Factorizando

𝑆𝑒𝑛2 (𝑥) + 𝐶𝑜𝑠 2 (𝑥)[1 − 𝐶𝑜𝑠(2𝑥)] 𝑆𝑒𝑛2 (𝑥) 𝐶𝑜𝑠 2 (𝑥)[1 − 𝐶𝑜𝑠(2𝑥)]
= = +
𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)] 𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)] 𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)]

Multiplicando y dividiendo al segundo termino [1 + 𝐶𝑜𝑠(2𝑥)]

𝑆𝑒𝑛2 (𝑥) 𝐶𝑜𝑠 2 (𝑥)[1 − 𝐶𝑜𝑠(2𝑥)][1 + 𝐶𝑜𝑠(2𝑥)]

= + =
𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)] 𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)][1 + 𝐶𝑜𝑠(2𝑥)]

𝑆𝑒𝑛2 (𝑥) 𝐶𝑜𝑠 2 (𝑥)[1 − 𝐶𝑜𝑠 2 (2𝑥)]

= +
𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)] 𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)][1 + 𝐶𝑜𝑠(2𝑥)]

Sabemos

𝑆𝑒𝑛2 (2𝑥) + 𝐶𝑜𝑠 2 (2𝑥) = 1 despejando 𝑆𝑒𝑛2 (2𝑥) = 1 − 𝐶𝑜𝑠 2 (2𝑥)

𝑆𝑒𝑛2 (𝑥) 4𝐶𝑜𝑠 2 (𝑥)𝑆𝑒𝑛2 (2𝑥)

= +
𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)] 4𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)][1 + 𝐶𝑜𝑠(2𝑥)]

𝑆𝑒𝑛2 (𝑥) 4𝐶𝑜𝑠 2 (𝑥)𝑆𝑒𝑛2 (2𝑥)

= +
𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)] 22 𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)][1 + 𝐶𝑜𝑠(2𝑥)]

𝑆𝑒𝑛2 (𝑥) 4𝐶𝑜𝑠 2 (𝑥)𝑆𝑒𝑛2 (2𝑥)

= +
𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)] (2𝑥)2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)][1 + 𝐶𝑜𝑠(2𝑥)]

𝑆𝑒𝑛2 (𝑥) 1 𝑆𝑒𝑛2 (2𝑥) 4𝐶𝑜𝑠 2 (𝑥)

= +
𝑥 2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)] (2𝑥)2 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)][1 + 𝐶𝑜𝑠(2𝑥)]

Se sabe:

𝑆𝑒𝑛2 (𝑥) 𝑆𝑒𝑛2 (2𝑥)

=1 𝑦 =1
𝑥2 (2𝑥)2
Entonces lo anterior queda reducido a
 𝟏 𝟒𝑪𝒐𝒔𝟐 (𝒙)
= +
[𝟏 + 𝑪𝒐𝒔(𝒙)√𝑪𝒐𝒔(𝟐𝒙)] [𝟏 + 𝑪𝒐𝒔(𝒙)√𝑪𝒐𝒔(𝟐𝒙)][𝟏 + 𝑪𝒐𝒔(𝟐𝒙)]

Por lo tanto

1 4𝐶𝑜𝑠 2 (𝑥)
lim { + }=
𝑥→0 [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)] [1 + 𝐶𝑜𝑠(𝑥)√𝐶𝑜𝑠(2𝑥)][1 + 𝐶𝑜𝑠(2𝑥)]

1 4𝐶𝑜𝑠 2 (0)
+
[1 + 𝐶𝑜𝑠(0)√𝐶𝑜𝑠(2(0))] [1 + 𝐶𝑜𝑠(0)√𝐶𝑜𝑠(2(0))][1 + 𝐶𝑜𝑠(2(0))]
1 4 1 4 1 3
= + = + = +1 =
[1 + 1(1)] [1 + 1(1)][1 + 1] 2 4 2 2
Sabemos

𝐶𝑜𝑠(0) = 1