Lineares Differentialgleichungssystem/Konstante Koeffizienten/R/Lösbarkeit/Fakt/Beweis

Beweis

Aufgrund von Fakt gibt es eine eindeutige komplexwertige Lösung

für dieses Differentialgleichungssystem. Da eine reellwertige Lösung insbesondere eine komplexwertige Lösung ist, liegt Eindeutigkeit vor. Der Realteil der komplexen Lösung, also

ist ebenfalls eine Lösung dieses Systems. Wegen der Eindeutigkeit muss sein.