Hello, I need some help digesting what has been done here. Not in the details of the proof, but rather in its semantics.
I read the proof as 'y(x) is a solution to the inhomogeneous linear ODE iff y(x) can be written as y(x)=yc(x)+yp(x), where yc(x) solves the corresponding homogeneous linear ODE'. This is equivalent to 'If y(x) is a solution to the inhomogeneous linear ODE, it can be written as y(x)=yc(x)+yp(x),where yc(x) solves the corresponding homogeneous linear ODE ' but also 'If y(x) can be written as y(x)=yc(x)+yp(x) where yc(x) solves the corresponding homogeneous linear ODE, then y(x) is a solution of the corresponding inhomogeneous ODE'.
My confusion is in which direction the attached image actually takes for the proof? Because they start by saying 'If y(x)=yc(x) + yp(x) is a solution' but surely only if they were proving the forward direction they would assume y(x) to be a solution since the point of the other direction is to say that if y(x)=... then it is a solution. However, they've also said that y(x)=yc(x)+yp(x), which surely constitutes the other direction...






















