如图，在平面直角坐标系中，把矩形OBCD沿对角线OC所在直线折叠，点B落在点B′处，OB′与CD相交于点E，BC＝4，对角线OC所在直线的函数表达式为y＝2x.