# How to prove that $\cos^2(z)+\sin^2(z)=1$, where $z$ is a complex variable (if it is true)?

Can someone show me:

If $x$ is a real number, then $\cos^2(x)+\sin^2(x)= 1$.

Is it true that $\cos^2(z)+\sin^2(z)=1$, where $z$ is a complex variable?

Note :look [this ] in wolfram alpha showed that's true !!!!

• How do you define $\cos$ and $\sin$ on $\mathbb{C}$ ? Jun 14, 2015 at 23:30
• In R ( real number) but z is a complex variable Jun 14, 2015 at 23:31
• @salimmath15: That doesn't sound like a definition. Say, if claim that $\sin i=42$, how would you argue that I'm wrong? Jun 14, 2015 at 23:35
• The LHS and RHS are both entire functions on $\mathbb{C}$. Since they coincides over $\mathbb{R}$, the coincides over the whole $\mathbb{C}$. Jun 14, 2015 at 23:35
• look :wolframalpha.com/input/… Jun 14, 2015 at 23:35

$$\cos^2z+\sin^2z=(\cos z+i\sin z)(\cos z-i\sin z)=e^{iz}e^{-iz}=e^{iz-iz}=e^0=1.$$

You can use the identity theorem. As they are just sums of exponentials, $\sin(z)$ and $\cos(z)$ are holomorphic, and on the real axis $\sin^2(x)+\cos^2(x)=1$. As $\mathbb{R}$ is a set with an accumulation point (namely any point in $\mathbb{R}$), they agree everywhere.

Mercy's answer is a bit simpler, but this is a good principle to keep in mind when trying to show other identities that are true for real numbers.

• :The answer of mercy is enough and clear at all and for all Jun 14, 2015 at 23:44
• @ Andrew ledesma , sorry your answer is very complicated and it's not helpful Jun 14, 2015 at 23:54
• @salimmath15 his answer is not complicated and it is very helpful for you as you learn more about complex variables. That is part of the beauty of this website. You don't just get answers at your level, you get a spectrum of understanding. Jun 15, 2015 at 0:17
• @salinmath15 actually if you want to learn complex analysis this is something you want to keep in mind. This answer is not complicated at all and it is very helpful, perhaps not for you. Jun 15, 2015 at 0:42
• @salimmath15 I would strongly suggest that you have a look at the link that was provided herein. This is a robust answer and ought to be quite useful to many others. Jun 15, 2015 at 3:55

by definition (In complex Analysis):

cosz= ((e^iz)+(e^-iz))/2

sinz= ((e^iz)-(e^-iz))/2

L.H.S=(cosz+isinz)(cosz-sinz)

substitute with definitions above and manipulate algebraically. You should get this at the end: (e^iz)(e^-iz)= e^0=1= R.H.S