Hi, I was playing around with Euler's Identity, and I found something (or at least I think I found something) interesting:(adsbygoogle = window.adsbygoogle || []).push({});

It is a well known identity

sin(z) = [exp(iz) - exp(-iz)]/(2*i), where z is any complex number, exp is the complex exponential function, and i is the imaginary constant.

So if we bring the 2*i upstairs, we get

2*i*sin(z) = exp(iz) - exp(-iz) (2)

From (2), we can see that

-4*sin(z)*sin(w) = [exp(iz) - exp(-iz)]*[exp(iw) - exp(-iw) ]

= exp[i(z+w)] +exp[-i(z+w)] - (exp[i(z-w)] + exp[-i(z-w)] )

Since exp[-i(z+w)] is the complex conjugate of exp[i(z+w)], and exp[-i(z-w)] is the complex conjugate of exp[i(z-w)], we have

exp[i(z+w)] +exp[-i(z+w)] - (exp[i(z-w)] + exp[-i(z-w)] )

=2RealPart{exp[i(z+w)]} - 2RealPart{exp[i(z-w)]}, which is real for every complex w and z.

Is this really true? Am I making some mistake here?

Inquisitively,

Edwin G. Schasteen

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Is the product of two sine functions always real-valued?

**Physics Forums | Science Articles, Homework Help, Discussion**