e) Vz € C, ez^ 0.
Przypuśćmy, że
ez = 0 ex(cosy + isiny) — 0 •<=>■ excosy — 0 A exsiny — 0.
Ponieważ ex 7^ 0 to cosy = 0 i siny = 0. Pierwsza równość zachodzi dla y = | + /c7r, druga zaś dla y = /c7r, gdzie k E Z. Ponieważ obie równości nie mogą zachodzić jednocześnie, otrzymana sprzeczność dowodzi, że ez ^ 0 dla każdego z E C.
f) funkcja ez jest okresowa o okresie podstawowym T = 2iri.
Dla k EZ korzystając z okresowości funkcji trygonometrycznych sinx i cosx mamy ez+2km _ e2g2fc7rj _ + isin{2kn)) = ez(l + i0) = e2.
g) funkcja ez jest rozszerzeniem do dziedziny zespolonej funkcji wykładniczej ex.
Niech z = x + iO E R. Wtedy ez = ex(cos0 4- isinO) = ex(l + iO) = ex.
Uwaga 3.1
Zostanie później udowodnione, że funkcja wykładnicza ez rozwinie się w szereg Maclaurina tzn. ^
e2 = — dla każdego z E C.
1. 1 ""
Funkcje cos z i sinz w dziedzinie zespolonej definiujemy następująco:
cosz : |
etz + e tz |
e,z - |
2 | ||
sinz |
elz — e~tz |
cosz ctgz = —— stnz |
cosz |
i{eiz + e~iz)' |
Własności
a) Są to funkcje holomorficzne w swojej dziedzinie tzn. sinz i cosz dla z E C,
tgz dla z E {z € C : z ^ kir + k E Z}, ctgz dla z E {z E C : z ^ kn, k E Z}.
18