정리가 있으면 책에 있는 증명 보지 않고 증명 시도하기.
문제는 내가 멍청해서 한참 고민하다가 결국 책에 있는 증명을 본다는 거 ㅠㅠ
수학 이야기:
열린 구간 I와 I에서 연속인 두 함수 p : I→R와 q : I→R가 주어졌다고 하자.
함수 f : I→R와 g : I→R에 대하여,
함수 y = f(x)와 y = g(x)가 미분방정식 y'' + p(x) * y' + q(x) * y = 0의 I에서의 해일 때,
W(x) := f(x) * g'(x) - g(x) * f'(x) for x in I라 두면,
f와 g가 I에서 1차종속이 되기 위한 필요충분조건 중 하나는 "I의 적당한 원소 x_0가 존재하여 W(x_0) = 0이다"이다.