Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

exp niemals 0

473 views
Skip to first unread message

Thomas Heintke

unread,
Aug 17, 2006, 6:30:02 AM8/17/06
to
Hallo!

Wie kann man möglichst elegant zeigen, daß die komplexe
Exponentialfunktion niemals 0 ist?

Viele Grüße
Thomas

phil

unread,
Aug 17, 2006, 6:49:13 AM8/17/06
to
Thomas Heintke schrieb:
Hi,

ich denke das könnte man so zeigen: exp(x)=e^x, wobei e die Eulersche
Zahl ist. Dabei ist es die Regel, dass man in diesem Zusammenhang
annimmt, exp(0)=1. Angenommen es gäbe nun ein x mit exp(x)=0. Dann würde
gelten exp(0)=exp(x-x)=exp(x)*exp(-x)=0. Und da haben wir den Widerspruch.

phil.

Peter Niessen

unread,
Aug 17, 2006, 6:53:34 AM8/17/06
to
Am Thu, 17 Aug 2006 12:30:02 +0200 schrieb Thomas Heintke:

> Hallo!
>
> Wie kann man möglichst elegant zeigen, daß die komplexe
> Exponentialfunktion niemals 0 ist?

In dem man unter Beachtung der üblichen Potenzgesetze die Reihenentwicklung
von exp(z) für komplexes z betrachtet?
exp(a+ib)=exp(a)*exp(ib)
nun gilt doch exp(0)=1 und exp(i0)=1 oder?
Das ist offensichtlich der einzige Fall in dem alle Glieder der Reihe
ausser dem erstem gleich Null sind.
In jedem anderen Fall hast du die Summe der Reihen von
r(cos(phi)+i(sin(phi))
cos und sin ist nie gleichzeitig Null.
--
Mit freundlichen Grüssen
Peter Nießen

Lukas-Fabian Moser

unread,
Aug 17, 2006, 7:41:59 AM8/17/06
to
Thomas Heintke wrote:

> Wie kann man möglichst elegant zeigen, daß die komplexe
> Exponentialfunktion niemals 0 ist?

Das haengt wohl von der gewaehlten Definition der komplexen
Exponentialfunktion ab. Ein Vorschlag: ist exp' = exp bekannt, so
liefert Differenzieren d/dx (exp(x) exp(-x)) = 0, also gilt exp(x)
exp(-x) = exp(0) exp(-0) = 1. (Auf die gleiche Art kann man sogar die
Funktionalgleichung exp(x + y) = exp(x) + exp(y) erhalten.)

Lukas

Jutta Gut

unread,
Aug 17, 2006, 7:45:51 AM8/17/06
to

"phil" <phi...@web.de> schrieb

> Thomas Heintke schrieb:
>> Hallo!
>>
>> Wie kann man möglichst elegant zeigen, daß die komplexe
>> Exponentialfunktion niemals 0 ist?
>
> ich denke das könnte man so zeigen: exp(x)=e^x, wobei e die Eulersche Zahl
> ist. Dabei ist es die Regel, dass man in diesem Zusammenhang annimmt,
> exp(0)=1. Angenommen es gäbe nun ein x mit exp(x)=0. Dann würde gelten
> exp(0)=exp(x-x)=exp(x)*exp(-x)=0. Und da haben wir den Widerspruch.

Es wäre dann sogar exp(y) = 0 für alle y aus C, denn
exp(y) = exp(y-x+x) = exp(y-x)*exp(x) = exp(y-x)*0

Also: Wenn die Exponentialfunktion an irgendeiner Stelle ungleich 0 ist,
dann muss sie überall ungleich 0 sein.

Grüße
Jutta

Roland Franzius

unread,
Aug 17, 2006, 7:46:16 AM8/17/06
to
Thomas Heintke schrieb:

> Hallo!
>
> Wie kann man möglichst elegant zeigen, daß die komplexe
> Exponentialfunktion niemals 0 ist?

Weil e^-y holomorph in C ist.

--

Roland Franzius

Christian Kortes

unread,
Aug 17, 2006, 10:12:51 AM8/17/06
to
Thomas Heintke wrote:
> Wie kann man möglichst elegant zeigen, daß die komplexe
> Exponentialfunktion niemals 0 ist?

Aus exp(z+w) = exp(z)exp(w) und exp(0) = 1 folgt
exp(z)exp(-z) = 1
für alle z.

Christopher Creutzig

unread,
Aug 17, 2006, 11:08:06 AM8/17/06
to
Peter Niessen wrote:

> cos und sin ist nie gleichzeitig Null.

Das ist richtig, aber ich würde es dadurch beweisen, dass sonst exp
Null wäre, was wie schon von anderen geschrieben leicht aus der
Funktionalgleichung oder der definierenden DGl folgt. Wie beweist Du den
oben zitierten Satz, wenn Du exp(z)<>0 noch nicht verwenden kannst?


Gruß,
Christopher

Carsten Schultz

unread,
Aug 17, 2006, 4:27:11 PM8/17/06
to
On 2006-08-17, phil <phi...@web.de> wrote:
> Thomas Heintke schrieb:
>> Hallo!
>>
>> Wie kann man möglichst elegant zeigen, daß die komplexe
>> Exponentialfunktion niemals 0 ist?
>>
>> Viele Grüße
>> Thomas
> Hi,
>
> ich denke das könnte man so zeigen: exp(x)=e^x, wobei e die Eulersche
> Zahl ist.

Wie definierst Du dabei y^x? Das macht man üblicher Weise mit Hilfe
der Exponentialfunktion.

> Dabei ist es die Regel, dass man in diesem Zusammenhang
> annimmt, exp(0)=1. Angenommen es gäbe nun ein x mit exp(x)=0. Dann würde
> gelten exp(0)=exp(x-x)=exp(x)*exp(-x)=0. Und da haben wir den Widerspruch.

Ich würde auch vorschlagen, zunächst die Funktionalgleichung
exp(x+y) = exp(x) * exp(y) zu zeigen.

Gruß,

Carsten

--
Carsten Schultz (2:38, 33:47)
http://carsten.codimi.de/
PGP/GPG key on the pgp.net key servers,
fingerprint on my home page.

Peter Niessen

unread,
Aug 18, 2006, 4:13:29 AM8/18/06
to

Ok etwas anders:
exp(a+bi)=exp(a)*exp(bi) =>
exp(a)*(cos(b)+i*sin(b)) =>
(cos(b)+i*sin(b))*(cos(b)-i*sin(b))=cos^2(b)+sin^2(b)=1
Also gilt:
|exp(ib)|=1 und somit:
|exp(a)|*1
Die Reihenentwicklung von exp(x) macht man zwar üblicherweise über die DGL
aber es geht auch elementar über die binomischen Sätze.
Die Herleitung ist etwas langathmig aber steht zum Beispiel bei
Perron Irrationalzahlen
Unter: Begründung der Logarithmen.
exp(ib)=(cos(b)+i*sin(b))
Lässt sich auch elementar geometrisch zeigen, ist aber ebenfalls mühselig.

0 new messages