表述并论证 ay'' + by' + cy = q(x) ， y(x_0) = y_0 ， 的存在性与唯一性定理。