已知直线l1垂直l2,且l1的斜率为负根号3