将边长为2,锐角为的菱形沿较短对角线折成二面角,点分别为的中点,给出下列四个命题:①;②是异面直线与的公垂线;③当二面角是直二面角时,与间的距离为;④垂直于截面.其中正确的是 (将正确命题的序号全填上).
若关于x, y的线性方程组的增广矩阵为,该方程组的解为则 的值为.
若实数对满足,则的最大值为 .
方程的解集为 .
函数的反函数为 .
不等式≤1的解集是 .