已知y1经过(0,0)和(1,3),一次函数y2的图像和一次函数y1关于X轴对称,求y2一次函数解析式