Sljedeća dva teorema daju strukturu rješenja homogene jednadžbe
Implikaciju dokazujemo na sljedeći način: kako su i rješenja zadane jednadžbe, vrijedi
odnosno, prema definiciji Wronskijana,
Separacija varijabli i teorem 2.3 daju
odnosno
Kako je po pretpostavci , a eksponencijalna funkcija je uvijek nenegativna, zaključujemo da je za svaki pa je implikacija dokazana.
Implikacija je očita (vidi teorem 5.1).
S ovim smo dokazali ekvivalentnost tvrdnji . Preostaje još uključiti tvrdnju . Dokažimo ekvivalentnost tvrdnji i . Funkcija je opće rješenje jednadžbe (5.11) ako za bilo koje početne uvjete
možemo naći odgovarajuće konstante i tako da uvjeti budu zadovoljeni. Uvrštavanjem zaključujemo da su i rješenja sustava linearnih jednadžbi
Skup linearno nezavisnih rješenja homogene jednadžbe (5.11) zove se fundamentalan skup rješenja.
su
što se lako provjeri uvrštavanjem. Wronskijan je jednak
Očito je za pa su prema teoremu 5.3 funkcije i linearno nezavisne, a opće rješenje jednadžbe glasi
Ukoliko znamo jedno rješenje zadane homogene jednadžbe, drugo linearno nezavisno rješenje možemo dobiti koristeći formulu (5.12). Prema toj formuli je
Dijeljenjem ove jednadžbe s imamo
pa pravilo o deriviranju produkta daje
odnosno,
Kako tražimo samo jedno rješenje, možemo uzeti i pa je
je . Prema formuli (5.13) vrijedi