求一道简单的立体几何题 平面α与平面β的交线a 直线m垂直α 直线n垂直β m与n异面 AB是m和n的公垂线段 证明AB