邻补角的平分线互相垂直,用符号表示该命题的题设(已知)结论(求证)