如图，在平面直角坐标系中，点A在x轴上，△ABO是直角三角形，∠ABO=90°，点B的坐标为（﹣1，2），将△ABO绕原点O顺时针旋转90°得到△A1B1O，则过A1，B两点的直线解析式为 ．
如图，n个边长为1的相邻正方形的一边均在同一直线上，点M1，M2，M3，…Mn分别为边B1B2，B2B3，B3B4，…，BnBn+1的中点，△B1C1M1的面积为S1，△B2C2M2的面积为S2，…△BnCnMn的面积为Sn，则Sn= ．（用含n的式子表示）
在△ABC中，P是AB上的动点（P异于A、B），过点P的直线截△ABC，使截得的三角形与△ABC相似，我们不妨称这种直线为过点P的△ABC的相似线，简记为P（lx）（x为自然数）．
（1）如图①，∠A=90°，∠B=∠C，当BP=2PA时，P（l1）、P（l2）都是过点P的△ABC的相似线（其中l1⊥BC，l2∥AC），此外，还有 条；
（2）如图②，∠C=90°，∠B=30°，当
= 时，P（lx）截得的三角形面积为△ABC面积的
．
如图，矩形ABCD中，AB=2，AD=4，AC的垂直平分线EF交AD于点E、交BC于点F，则EF= ．
如图，E是▱ABCD的边CD上一点，连接AE并延长交BC的延长线于点F，且AD=4，
=
，则CF的长为 ．
