给出以下命题:
①平分弦的直径垂直于这条弦;
②已知点A(-1,y1)、B(1,y2)、C(2,y3)均在反比例函数y=kx(k<0)的图象上,则y2<y3<y1;
③若关于x的不等式组x<-1x>a无解,则a⩾-1;
④将点A(1,n)向左平移3个单位到点A1,再将A1绕原点逆时针旋转90°到点A2,则A2的坐标为(-n,-2).
其中所有真命题的序号是 .
不等式组 x - 1 < 0 - x > 3 的解集为 .
若一个多边形的内角和与外角和之和是 900° ,则该多边形的边数是 .
国家发改委发布信息,到2019年12月底,高速公路电子不停车快速收费 (ETC) 用户数量将突破1.8亿,将180 000 000科学记数法表示为 .
阅读材料:设 a ⃗ =( x 1 , y 1 ) , b ⃗ =( x 2 , y 2 ) ,如果 a ⃗ // b ⃗ ,则 x 1 · y 2 = x 2 · y 1 ,根据该材料填空,已知 a ⃗ =(4,3) , b ⃗ =(8,m) ,且 a ⃗ // b ⃗ ,则 m= .
下面是一个简单的数值运算程序,当输入 x 的值为16时,输出的数值为 .(用科学计算器计算或笔算).