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
Determinanta matrice ovog sustava je upravo Wronskijan.
Prema Kronecker-Capellijevom teoremu (vidi M1, teorem 2.5) i svojstvu
determinanti D8 (vidi M1, poglavlje 2.9.1), ovaj sustav ima jedinstveno rješenje
ako i samo ako je
za svaki
u intervalu
i
teorem je dokazan.
Q.E.D.
Skup linearno nezavisnih rješenja homogene jednadžbe (5.11) zove se
fundamentalan skup rješenja.
Primjer 5.20Rješenja diferencijalne jednadžbe
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
(5.13)
Funkcije
i
su očito linearno nezavisne jer je funkcija
različita od konstante pa je opće rješenje jednadžbe jednako
Primjer 5.21Jedno rješenje homogene diferencijalne jednadžbe