Sorunun soruluş amacına uygun değil ama olsun, bilgi dağarcığı en nihayetinde.
Teorem. U⊆C bir açık küme ve f:U→C sıfırdan farklı holomorfik bir fonksiyon ise f'nin sıfır olduğu noktalar kümesi ayrık bir kümedir.
Buna denk olan başka bir teorem.
Teorem. U⊆C bir açık küme ve f,g:U→C birbirinden farklı holomorfik iki fonksiyon iseler, f'in g'ye eşit olduğu noktalar kümesi ayrık bir kümedir.
Kompleks sayılar uzayında sinüs ve kosinüs fonksiyonları ya Doğan Dönmez'in cevabında olduğu gibi kuvvet serileri ile ya da eit=cost+isint eşitliğini sağlayacak şekilde tanımlanabilir. Bunlar her yerde holomorfik fonksiyonlardır. Dolayısıyla f(z)=cos2z+sin2z fonksiyonu da holomorfiktir.
Bu f fonksiyonu ayrık bir küme olmayan reel eksende sabit 1 fonksiyonuna eşit olduğundan dolayı yukarıdaki ikinci teorem gereği her yerde 1 olmalıdır. Yani eşitlik tüm kompleks sayılar için geçerlidir.