过点B作BC⊥x轴于点C,根据相似三角形对应边成比例求出AC的长度,然后求出OA的长度,从而得到点A的坐标,再根据旋转变换的性质求出点A1的坐标,然后利用待定系数法求一次函数解析式解答即可.
【解析】
如图,过点B作BC⊥x轴于点C,
∵点B的坐标为(-1,2),
∴OC=1,BC=2,
∵∠ABO=90°,
∴∠BAC+∠AOB=90°,
又∵∠BAC+∠ABC=90°,
∴∠AOB=∠ABC,
∴Rt△ABC∽Rt△BOC,
∴=,
即=,
解得AC=4,
∴OA=OC+AC=1+4=5,
∴点A(-5,0),
根据旋转变换的性质,点A1(0,5),
设过A1,B两点的直线解析式为y=kx+b,
则,
解得.
所以过A1,B两点的直线解析式为y=3x+5.
故答案为:y=3x+5.