Question: Real part wanted

In the attached file, I would like to determine the real part of the complex term2. I'm asking for your help.test.mw

restart

term1 := exp(I*t/2^k)

exp(I*t/2^k)

(1)

term2 := product(term1, k = 1 .. n)

(cos(2*t*(1/2)^(n+1))-I*sin(2*t*(1/2)^(n+1)))/(cos(t)-I*sin(t))

(2)

``

Download test.mw

Please Wait...