下面我们分五个命题来证明定理.为此先给出 定义2(积分方程如果一个数学关系式中含有定积分符号且在定积 分符号下含有未知函数则称这样数学关系式为一个积分方程 例如,y=+y就是一个简单的积分方程 定义3(积分方程的解):对于积分方程y=y+Jf(,yd,如果存在定义 在区间=[a,]上的一个连续函数y=g(x),使得 (x)=+f()d 在l上恒成立则称y=x为积分方程y=y+(yd的定义于上 的一个解