Existenz und Eindeutigkeit

Idee: Sind $x$ und $y$ beide Lösungen, vergleichst du ihre definierenden Gleichungen, bis $x=y$ folgt.

Ein „genau ein“-Beweis enthält sichtbar einen Existenzteil und einen unabhängigen Eindeutigkeitsteil.

Existenz, Auffindbarkeit, Optimalität und Eindeutigkeit sind verschiedene Aussagen – jede braucht eine eigene Begründung.