如图,正比例函数图象经过点a(1,3),该函数解析式是多少