已知的解集为
命题“若,则”的否命题是 .
直线将圆平分,且与直线垂直,则直线的方程为 .
已知两条直线和互相垂直,则= .
直线与直线的距离等于 .
在空间直角坐标系中,点关于轴的对称点的坐标是________.