第一条直线的倾斜角是135°,第二条直线的斜率是k=－tanα=tan(180°－α),而90°<180°－α<135°,则这两条直线的夹角是：|180°－α－135°|=|45°－α|=α－45°