在进入变分法前需要先了解下面这个定理,这个定理非常直观,很好理解,这里也会给出非常简洁的代数证明。
对于函数M(x) 和任意满足h(a)=h(b)=0的函数 h(x) ,若有
∫abM(x)h(x)dx=0
那么
M(x)=0
令h(x)=−M(x)(x−a)(x−b),其满足h(a)=h(b)=0。
代入得
∫abM(x)h(x)dx=∫abM(x)⋅−M(x)(x−a)(x−b))=∫abM2(x)(−(x−a)(x−b))dx=0
易知在(a,b)区间−(x−a)(x−b)>0,若要使得该式成立,那么一定有M2(x)=0,所以可以得到
M(x)=0