函数y1=cosx y2=sinx 是y''+y=0 的两个解,则y1 与y2 是线性 ? 关,且它们构成该方程的 ?