验证y1=e-x与y2=e2x都是微分方程,y’’-y’-2y=0的解,并写出方程的同解.