Ungleichung von Argand

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Die Ungleichung von Argand (oder argandsche Ungleichung oder auch d’Alemberts Lemma) ist eine Ungleichung aus dem mathematischen Teilgebiet der Analysis. Sie geht auf eine Publikation des Schweizer Mathematikers Jean-Robert Argand aus dem Jahre 1814 zurück, in der dieser unter Rückgriff auf eine im Jahre 1746 von Jean-Baptiste le Rond d’Alembert vorgelegte Grundidee eine untere Abschätzung für nicht-konstante komplexe Polynomfunktionen liefert. Mit deren Hilfe lässt sich ein einfacher Beweis des Fundamentalsatzes der Algebra führen.[1][2][3][4][5]

Darstellung der Ungleichung[Bearbeiten | Quelltext bearbeiten]

Die Ungleichung besagt folgendes:[6]

Gegeben seien eine nicht-konstante komplexe Polynomfunktion und eine beliebige komplexe Zahl und es gelte .
Dann existiert stets eine komplexe Zahl mit
.[A 1]

Anwendung[Bearbeiten | Quelltext bearbeiten]

In Anwendung der argandschen Ungleichung gewinnt man einen einfachen Beweis des Fundamentalsatzes der Algebra:[6]

Zunächst erhält man nämlich unter Berücksichtigung der Tatsache, dass komplexe Polynomfunktionen immer stetig sind, die Aussage, dass es eine reelle Zahl gibt, so dass stets

für alle mit

gilt.

Nun ist mit auch die reellwertige Funktion stetig. Da zudem die abgeschlossene Kreisumgebung ein Kompaktum ist, zeigt sich vermöge des Weierstraß'schen Satzes vom Minimum sofort, dass es ein globales Minimum für geben muss, also ein mit

für alle .

Dieses kann dann nur eine Nullstelle sein, da sich andernfalls mit der argandschen Ungleichung unmittelbar ein Widerspruch ergäbe.

Literatur[Bearbeiten | Quelltext bearbeiten]

Weblinks[Bearbeiten | Quelltext bearbeiten]

Einzelnachweise[Bearbeiten | Quelltext bearbeiten]

  1. R. Remmert: Fundamentalsatz der Algebra In: Heinz-Dieter Ebbinghaus et al.: Zahlen. 1992, S. 79–99, S. 88
  2. Hans von Mangoldt, Konrad Knopp: Einführung in die höhere Mathematik. Zweiter Band. 1958, S. 546 ff.
  3. Joachim Engel: Komplexe Zahlen und ebene Geometrie. 1958, S. 87 ff., S. 91
  4. Günter Köhler: Analysis. 2006, S. 167–168
  5. Martin Aigner, Günter M. Ziegler: Das BUCH der Beweise . 2018, S. 171–173.
  6. a b H.-D. Ebbinghaus et al.: Zahlen. 1992, S. 91

Anmerkungen[Bearbeiten | Quelltext bearbeiten]

  1. ist die komplexe Betragsfunktion.